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/miplib/normalized-mps-v2-13-7-gen.opb
MD5SUM	56b5875081183b5ab8f7e29cbac05646
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	8814
Biggest coefficient in the objective function	3375324200960
Number of bits for the biggest coefficient in the objective function	42
Sum of the numbers in the objective function	2061624536571104
Number of bits of the sum of numbers in the objective function	51
Biggest number in a constraint	3375324200960
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	2061624536571104
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.112982
Number of variables	12846
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	192
Trace number 19216

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-21 18:21:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16870 boxname=wulflinc5 idbench=1298 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  56b5875081183b5ab8f7e29cbac05646  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gen.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gen.opb
IDLAUNCH: 16870
/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:        632836 kB
Buffers:         13060 kB
Cached:         367232 kB
SwapCached:        304 kB
Active:          57044 kB
Inactive:       325668 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        632584 kB
SwapTotal:     2097136 kB
SwapFree:      2096444 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            13496 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 18:42:06 (client local time) WITH STATUS 143 IN 1227.62 SECONDS
stats: 16870 7 1227.62 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gen.opb
c reading problem 
c [nbvar=12846]
c [nbconstr=1074]
c time 51.978
c #vars     12846
c #clauses  1081
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### 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.95 0.95 2/54 27053
Raw data (stat): 27053 (runsolver) R 27052 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488978992 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0013 s]
Raw data (loadavg): 0.87 0.95 0.95 2/63 27062
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 17976 0 1 0 887 39 0 0 25 0 10 0 488978992 855199744 19521 4294967295 134512640 134569956 3221224416 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208789 19521 13073 16 0 208773 0
vsize: 835156
[startup+20.002 s]
Raw data (loadavg): 0.97 0.97 0.96 2/63 27062
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 17976 0 1 0 1774 39 0 0 25 0 10 0 488978992 854511616 19962 4294967295 134512640 134569956 3221224416 3221214840 1131219580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208621 19962 13073 16 0 208605 0
vsize: 834484
[startup+30.0023 s]
Raw data (loadavg): 1.21 1.02 0.97 2/63 27062
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18079 0 1 0 2608 39 0 0 25 0 10 0 488978992 869670912 23950 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 23950 13073 16 0 212306 0
vsize: 849288
[startup+40.0026 s]
Raw data (loadavg): 1.18 1.02 0.97 2/63 27062
Raw data (stat): 27053 (java) S 27052 24215 24214 0 -1 0 18079 0 1 0 3487 40 0 0 25 0 10 0 488978992 867311616 23733 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211746 23733 13073 16 0 211730 0
vsize: 846984
[startup+50.0034 s]
Raw data (loadavg): 1.15 1.02 0.97 2/63 27062
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18079 0 1 0 4387 40 0 0 25 0 10 0 488978992 867311616 24074 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211746 24074 13073 16 0 211730 0
vsize: 846984
[startup+60.0035 s]
Raw data (loadavg): 1.20 1.04 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18107 0 1 0 5292 41 0 0 25 0 11 0 488978992 865861632 24410 4294967295 134512640 134569956 3221224416 3221214696 1131270602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 24410 13073 16 0 211376 0
vsize: 845568
[startup+70.0048 s]
Raw data (loadavg): 1.25 1.05 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18146 0 1 0 6123 42 0 0 25 0 11 0 488978992 865861632 24547 4294967295 134512640 134569956 3221224416 3221214616 1131459381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 24547 13073 16 0 211376 0
vsize: 845568
[startup+80.0064 s]
Raw data (loadavg): 1.21 1.05 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 7086 42 0 0 25 0 11 0 488978992 865861632 24615 4294967295 134512640 134569956 3221224416 3221214712 1131676432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 24615 13073 16 0 211376 0
vsize: 845568
[startup+90.0068 s]
Raw data (loadavg): 1.18 1.05 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 8068 42 0 0 25 0 11 0 488978992 865861632 25437 4294967295 134512640 134569956 3221224416 3221214712 1131676557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 25437 13073 16 0 211376 0
vsize: 845568
[startup+100.007 s]
Raw data (loadavg): 1.15 1.04 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 9061 42 0 0 25 0 11 0 488978992 865861632 25437 4294967295 134512640 134569956 3221224416 3221214712 1131676432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 25437 13073 16 0 211376 0
vsize: 845568
[startup+110.009 s]
Raw data (loadavg): 1.13 1.04 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 10055 42 0 0 25 0 11 0 488978992 865861632 25453 4294967295 134512640 134569956 3221224416 3221214704 1131676571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 25453 13073 16 0 211376 0
vsize: 845568
[startup+120.009 s]
Raw data (loadavg): 1.11 1.04 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 11045 42 0 0 25 0 11 0 488978992 865861632 25453 4294967295 134512640 134569956 3221224416 3221214600 1131255612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 25453 13073 16 0 211376 0
vsize: 845568
[startup+130.01 s]
Raw data (loadavg): 1.09 1.04 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 12022 42 0 0 25 0 11 0 488978992 865861632 25453 4294967295 134512640 134569956 3221224416 3221214696 1131270654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 25453 13073 16 0 211376 0
vsize: 845568
[startup+140.011 s]
Raw data (loadavg): 1.08 1.04 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 13005 42 0 0 25 0 11 0 488978992 865861632 25453 4294967295 134512640 134569956 3221224416 3221214744 1131473696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 25453 13073 16 0 211376 0
vsize: 845568
[startup+150.01 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 13976 42 0 0 25 0 11 0 488978992 865861632 25561 4294967295 134512640 134569956 3221224416 3221214704 1131676564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 25561 13073 16 0 211376 0
vsize: 845568
[startup+160.012 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 14954 43 0 0 25 0 11 0 488978992 865861632 25657 4294967295 134512640 134569956 3221224416 3221214704 1131676435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 25657 13073 16 0 211376 0
vsize: 845568
[startup+170.012 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 15923 43 0 0 25 0 11 0 488978992 865861632 25799 4294967295 134512640 134569956 3221224416 3221214600 1131255415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 25799 13073 16 0 211376 0
vsize: 845568
[startup+180.012 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 16904 43 0 0 25 0 11 0 488978992 865861632 25879 4294967295 134512640 134569956 3221224416 3221214616 1131739793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 25879 13073 16 0 211376 0
vsize: 845568
[startup+190.014 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 17883 43 0 0 25 0 11 0 488978992 865861632 26078 4294967295 134512640 134569956 3221224416 3221214704 1131676432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 26078 13073 16 0 211376 0
vsize: 845568
[startup+200.017 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 27063
Raw data (stat): 27053 (java) S 27052 24215 24214 0 -1 0 18148 0 1 0 18859 43 0 0 25 0 11 0 488978992 865861632 26253 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 26253 13073 16 0 211376 0
vsize: 845568
[startup+210.017 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 19833 43 0 0 25 0 11 0 488978992 865861632 26383 4294967295 134512640 134569956 3221224416 3221214704 1131676564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 26383 13073 16 0 211376 0
vsize: 845568
[startup+220.018 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 20812 43 0 0 25 0 11 0 488978992 865861632 26522 4294967295 134512640 134569956 3221224416 3221214560 1079721529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 26522 13073 16 0 211376 0
vsize: 845568
[startup+230.019 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 21781 43 0 0 25 0 11 0 488978992 865861632 26715 4294967295 134512640 134569956 3221224416 3221214408 1080217322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 26715 13073 16 0 211376 0
vsize: 845568
[startup+240.019 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 22744 43 0 0 25 0 11 0 488978992 865861632 26874 4294967295 134512640 134569956 3221224416 3221214440 1131679850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 26874 13073 16 0 211376 0
vsize: 845568
[startup+250.019 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 23708 43 0 0 25 0 11 0 488978992 865861632 26945 4294967295 134512640 134569956 3221224416 3221214192 1085679321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 26945 13073 16 0 211376 0
vsize: 845568
[startup+260.02 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 24681 43 0 0 25 0 11 0 488978992 865861632 27017 4294967295 134512640 134569956 3221224416 3221214192 1085679533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 27017 13073 16 0 211376 0
vsize: 845568
[startup+270.02 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 25647 43 0 0 25 0 11 0 488978992 865861632 27017 4294967295 134512640 134569956 3221224416 3221214592 1131541468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 27017 13073 16 0 211376 0
vsize: 845568
[startup+280.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 26628 44 0 0 25 0 11 0 488978992 865861632 27086 4294967295 134512640 134569956 3221224416 3221214704 1131676428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 27086 13073 16 0 211376 0
vsize: 845568
[startup+290.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 27600 44 0 0 25 0 11 0 488978992 865861632 27263 4294967295 134512640 134569956 3221224416 3221214664 1131668385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 27263 13073 16 0 211376 0
vsize: 845568
[startup+300.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 28572 44 0 0 25 0 11 0 488978992 865861632 27381 4294967295 134512640 134569956 3221224416 3221214704 1131676416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 27381 13073 16 0 211376 0
vsize: 845568
[startup+310.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 29553 44 0 0 25 0 11 0 488978992 865861632 27498 4294967295 134512640 134569956 3221224416 3221214744 1131472192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 27498 13073 16 0 211376 0
vsize: 845568
[startup+320.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 30525 44 0 0 25 0 11 0 488978992 865861632 27612 4294967295 134512640 134569956 3221224416 3221214696 1131270409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 27612 13073 16 0 211376 0
vsize: 845568
[startup+330.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 31498 44 0 0 25 0 11 0 488978992 865861632 27723 4294967295 134512640 134569956 3221224416 3221214592 1131541426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 27723 13073 16 0 211376 0
vsize: 845568
[startup+340.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 32469 44 0 0 25 0 11 0 488978992 865861632 27850 4294967295 134512640 134569956 3221224416 3221214704 1131676437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 27850 13073 16 0 211376 0
vsize: 845568
[startup+350.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 33442 44 0 0 25 0 11 0 488978992 865861632 28028 4294967295 134512640 134569956 3221224416 3221214704 1131676435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 28028 13073 16 0 211376 0
vsize: 845568
[startup+360.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 34414 44 0 0 25 0 11 0 488978992 865861632 28128 4294967295 134512640 134569956 3221224416 3221214560 1131739793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 28128 13073 16 0 211376 0
vsize: 845568
[startup+370.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 35395 44 0 0 25 0 11 0 488978992 865861632 28258 4294967295 134512640 134569956 3221224416 3221214696 1131270486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 28258 13073 16 0 211376 0
vsize: 845568
[startup+380.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 36375 44 0 0 25 0 11 0 488978992 865861632 28324 4294967295 134512640 134569956 3221224416 3221214792 1131416369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 28324 13073 16 0 211376 0
vsize: 845568
[startup+390.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 37329 44 0 0 25 0 11 0 488978992 865861632 28460 4294967295 134512640 134569956 3221224416 3221214600 1131255507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 28460 13073 16 0 211376 0
vsize: 845568
[startup+400.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 38294 44 0 0 25 0 11 0 488978992 865861632 28544 4294967295 134512640 134569956 3221224416 3221214792 1131417243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 28544 13073 16 0 211376 0
vsize: 845568
[startup+410.027 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 39259 44 0 0 25 0 11 0 488978992 865861632 28637 4294967295 134512640 134569956 3221224416 3221214696 1131270409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 28637 13073 16 0 211376 0
vsize: 845568
[startup+420.027 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 40222 44 0 0 25 0 11 0 488978992 865861632 28736 4294967295 134512640 134569956 3221224416 3221214696 1131270648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 28736 13073 16 0 211376 0
vsize: 845568
[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 41186 44 0 0 24 0 11 0 488978992 865861632 28868 4294967295 134512640 134569956 3221224416 3221214696 1131270664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 28868 13073 16 0 211376 0
vsize: 845568
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 42149 44 0 0 25 0 11 0 488978992 865861632 28981 4294967295 134512640 134569956 3221224416 3221214864 1131456565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 28981 13073 16 0 211376 0
vsize: 845568
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 43113 44 0 0 25 0 11 0 488978992 865861632 29118 4294967295 134512640 134569956 3221224416 3221214704 1131676564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 29118 13073 16 0 211376 0
vsize: 845568
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 44078 44 0 0 24 0 11 0 488978992 865861632 29278 4294967295 134512640 134569956 3221224416 3221214616 1131739756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 29278 13073 16 0 211376 0
vsize: 845568
[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 45043 44 0 0 25 0 11 0 488978992 865861632 29345 4294967295 134512640 134569956 3221224416 3221214704 1131676432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 29345 13073 16 0 211376 0
vsize: 845568
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 46006 44 0 0 25 0 11 0 488978992 865861632 29443 4294967295 134512640 134569956 3221224416 3221214696 1131270648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 29443 13073 16 0 211376 0
vsize: 845568
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 46968 44 0 0 25 0 11 0 488978992 865861632 29600 4294967295 134512640 134569956 3221224416 3221214864 1131456693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 29600 13073 16 0 211376 0
vsize: 845568
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 47933 44 0 0 25 0 11 0 488978992 865861632 29798 4294967295 134512640 134569956 3221224416 3221214720 1131317140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 29798 13073 16 0 211376 0
vsize: 845568
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 48891 44 0 0 25 0 11 0 488978992 865861632 29981 4294967295 134512640 134569956 3221224416 3221214704 1131676432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 29981 13073 16 0 211376 0
vsize: 845568
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 49858 44 0 0 25 0 11 0 488978992 865861632 30097 4294967295 134512640 134569956 3221224416 3221214744 1131472192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30097 13073 16 0 211376 0
vsize: 845568
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 50818 44 0 0 25 0 11 0 488978992 865861632 30237 4294967295 134512640 134569956 3221224416 3221213976 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30237 13073 16 0 211376 0
vsize: 845568
[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 51776 44 0 0 25 0 11 0 488978992 865861632 30416 4294967295 134512640 134569956 3221224416 3221214704 1131743390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30416 13073 16 0 211376 0
vsize: 845568
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 52760 44 0 0 25 0 11 0 488978992 865861632 30481 4294967295 134512640 134569956 3221224416 3221214104 1131680074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30481 13073 16 0 211376 0
vsize: 845568
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 53745 44 0 0 25 0 11 0 488978992 865861632 30481 4294967295 134512640 134569956 3221224416 3221214560 1131739804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30481 13073 16 0 211376 0
vsize: 845568
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 54729 44 0 0 25 0 11 0 488978992 865861632 30481 4294967295 134512640 134569956 3221224416 3221214604 1131678089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30481 13073 16 0 211376 0
vsize: 845568
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 55714 44 0 0 25 0 11 0 488978992 865861632 30547 4294967295 134512640 134569956 3221224416 3221214552 1131679850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 30547 13073 16 0 211376 0
vsize: 845568
[startup+590.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 56698 44 0 0 25 0 11 0 488978992 865861632 30627 4294967295 134512640 134569956 3221224416 3221214164 1131739787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30627 13073 16 0 211376 0
vsize: 845568
[startup+600.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 57685 44 0 0 25 0 11 0 488978992 865861632 30724 4294967295 134512640 134569956 3221224416 3221214696 1131270547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30724 13073 16 0 211376 0
vsize: 845568
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 58678 44 0 0 25 0 11 0 488978992 865861632 30755 4294967295 134512640 134569956 3221224416 3221214152 1131681148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30755 13073 16 0 211376 0
vsize: 845568
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 59666 44 0 0 25 0 11 0 488978992 865861632 30818 4294967295 134512640 134569956 3221224416 3221214696 1131270482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30818 13073 16 0 211376 0
vsize: 845568
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 60666 44 0 0 25 0 11 0 488978992 865861632 30818 4294967295 134512640 134569956 3221224416 3221214912 1131749343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30818 13073 16 0 211376 0
vsize: 845568
[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 61660 44 0 0 25 0 11 0 488978992 865861632 30844 4294967295 134512640 134569956 3221224416 3221213920 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30844 13073 16 0 211376 0
vsize: 845568
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 62660 44 0 0 25 0 11 0 488978992 865861632 30844 4294967295 134512640 134569956 3221224416 3221214744 1131473744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30844 13073 16 0 211376 0
vsize: 845568
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 63654 44 0 0 25 0 11 0 488978992 865861632 30879 4294967295 134512640 134569956 3221224416 3221214600 1131255373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30879 13073 16 0 211376 0
vsize: 845568
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 64648 44 0 0 25 0 11 0 488978992 865861632 30909 4294967295 134512640 134569956 3221224416 3221214112 1131739716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 30909 13073 16 0 211376 0
vsize: 845568
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 65636 44 0 0 25 0 11 0 488978992 865861632 30961 4294967295 134512640 134569956 3221224416 3221214704 1131676437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 30961 13073 16 0 211376 0
vsize: 845568
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 66617 44 0 0 25 0 11 0 488978992 865861632 31050 4294967295 134512640 134569956 3221224416 3221214156 1131678080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31050 13073 16 0 211376 0
vsize: 845568
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 67605 44 0 0 25 0 11 0 488978992 865861632 31096 4294967295 134512640 134569956 3221224416 3221214704 1131676435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31096 13073 16 0 211376 0
vsize: 845568
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 68593 44 0 0 25 0 11 0 488978992 865861632 31171 4294967295 134512640 134569956 3221224416 3221214872 1131486976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31171 13073 16 0 211376 0
vsize: 845568
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 69577 44 0 0 25 0 11 0 488978992 865861632 31273 4294967295 134512640 134569956 3221224416 3221214704 1131676432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31273 13073 16 0 211376 0
vsize: 845568
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 70562 44 0 0 25 0 11 0 488978992 865861632 31323 4294967295 134512640 134569956 3221224416 3221214704 1131676437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31323 13073 16 0 211376 0
vsize: 845568
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 71552 44 0 0 25 0 11 0 488978992 865861632 31332 4294967295 134512640 134569956 3221224416 3221214864 1131456565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31332 13073 16 0 211376 0
vsize: 845568
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 72536 44 0 0 25 0 11 0 488978992 865861632 31361 4294967295 134512640 134569956 3221224416 3221214792 1131417428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31361 13073 16 0 211376 0
vsize: 845568
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 73520 44 0 0 25 0 11 0 488978992 865861632 31394 4294967295 134512640 134569956 3221224416 3221213992 1131680014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31394 13073 16 0 211376 0
vsize: 845568
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 74502 44 0 0 25 0 11 0 488978992 865861632 31418 4294967295 134512640 134569956 3221224416 3221214224 1131739748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31418 13073 16 0 211376 0
vsize: 845568
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 75484 44 0 0 25 0 11 0 488978992 865861632 31463 4294967295 134512640 134569956 3221224416 3221214704 1131676437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31463 13073 16 0 211376 0
vsize: 845568
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 76466 45 0 0 25 0 11 0 488978992 865861632 31592 4294967295 134512640 134569956 3221224416 3221214696 1131270877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31592 13073 16 0 211376 0
vsize: 845568
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 77456 45 0 0 25 0 11 0 488978992 865861632 31657 4294967295 134512640 134569956 3221224416 3221214500 1131739792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31657 13073 16 0 211376 0
vsize: 845568
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 78441 45 0 0 25 0 11 0 488978992 865861632 31706 4294967295 134512640 134569956 3221224416 3221214328 1131680047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31706 13073 16 0 211376 0
vsize: 845568
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 79426 45 0 0 25 0 11 0 488978992 865861632 31759 4294967295 134512640 134569956 3221224416 3221214704 1131676435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31759 13073 16 0 211376 0
vsize: 845568
[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 80411 45 0 0 25 0 11 0 488978992 865861632 31800 4294967295 134512640 134569956 3221224416 3221214592 1131540386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31800 13073 16 0 211376 0
vsize: 845568
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) S 27052 24215 24214 0 -1 0 18148 0 1 0 81391 45 0 0 25 0 11 0 488978992 865861632 31878 4294967295 134512640 134569956 3221224416 3221213240 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31878 13073 16 0 211376 0
vsize: 845568
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 82377 45 0 0 25 0 11 0 488978992 865861632 31941 4294967295 134512640 134569956 3221224416 3221214528 1131655296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31941 13073 16 0 211376 0
vsize: 845568
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 83364 45 0 0 25 0 11 0 488978992 865861632 31982 4294967295 134512640 134569956 3221224416 3221214696 1131270656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 31982 13073 16 0 211376 0
vsize: 845568
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 84347 45 0 0 25 0 11 0 488978992 865861632 32043 4294967295 134512640 134569956 3221224416 3221214332 1131739787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 32043 13073 16 0 211376 0
vsize: 845568
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 85335 45 0 0 25 0 11 0 488978992 865861632 32101 4294967295 134512640 134569956 3221224416 3221214744 1131473744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 32101 13073 16 0 211376 0
vsize: 845568
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 86319 45 0 0 25 0 11 0 488978992 865861632 32162 4294967295 134512640 134569956 3221224416 3221214500 1131739787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 32162 13073 16 0 211376 0
vsize: 845568
[startup+900.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 87308 46 0 0 25 0 11 0 488978992 865861632 32220 4294967295 134512640 134569956 3221224416 3221214740 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 32220 13073 16 0 211376 0
vsize: 845568
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 88298 46 0 0 25 0 11 0 488978992 865861632 32283 4294967295 134512640 134569956 3221224416 3221214744 1131472716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 32283 13073 16 0 211376 0
vsize: 845568
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 89286 46 0 0 25 0 11 0 488978992 865861632 32346 4294967295 134512640 134569956 3221224416 3221213944 1131739713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 32346 13073 16 0 211376 0
vsize: 845568
[startup+930.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18148 0 1 0 90277 46 0 0 25 0 11 0 488978992 865861632 32385 4294967295 134512640 134569956 3221224416 3221214528 1131657742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 32385 13073 16 0 211376 0
vsize: 845568
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 91266 46 0 0 25 0 11 0 488978992 865861632 32437 4294967295 134512640 134569956 3221224416 3221214712 1131557420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32437 13073 16 0 211376 0
vsize: 845568
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 92257 46 0 0 25 0 11 0 488978992 865861632 32466 4294967295 134512640 134569956 3221224416 3221214488 1131657555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 32466 13073 16 0 211376 0
vsize: 845568
[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 93246 47 0 0 25 0 11 0 488978992 865861632 32493 4294967295 134512640 134569956 3221224416 3221214480 1131743634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32493 13073 16 0 211376 0
vsize: 845568
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 94238 47 0 0 25 0 11 0 488978992 865861632 32526 4294967295 134512640 134569956 3221224416 3221214728 1131270279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 32526 13073 16 0 211376 0
vsize: 845568
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 95227 47 0 0 25 0 11 0 488978992 865861632 32566 4294967295 134512640 134569956 3221224416 3221214392 1131739768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32566 13073 16 0 211376 0
vsize: 845568
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 96219 48 0 0 25 0 11 0 488978992 865861632 32586 4294967295 134512640 134569956 3221224416 3221214568 1131596163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32586 13073 16 0 211376 0
vsize: 845568
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 97212 48 0 0 25 0 11 0 488978992 865861632 32619 4294967295 134512640 134569956 3221224416 3221214640 1131270578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32619 13073 16 0 211376 0
vsize: 845568
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 98205 48 0 0 25 0 11 0 488978992 865861632 32649 4294967295 134512640 134569956 3221224416 3221214416 1080217189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 32649 13073 16 0 211376 0
vsize: 845568
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 99196 49 0 0 25 0 11 0 488978992 865861632 32681 4294967295 134512640 134569956 3221224416 3221214576 1131492057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32681 13073 16 0 211376 0
vsize: 845568
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 100189 49 0 0 25 0 11 0 488978992 865861632 32716 4294967295 134512640 134569956 3221224416 3221214640 1131270547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32716 13073 16 0 211376 0
vsize: 845568
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 101183 49 0 0 25 0 11 0 488978992 865861632 32741 4294967295 134512640 134569956 3221224416 3221214664 1131676437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32741 13073 16 0 211376 0
vsize: 845568
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 102177 49 0 0 25 0 11 0 488978992 865861632 32758 4294967295 134512640 134569956 3221224416 3221214568 1131595954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32758 13073 16 0 211376 0
vsize: 845568
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 103171 49 0 0 25 0 11 0 488978992 865861632 32786 4294967295 134512640 134569956 3221224416 3221214544 1131665431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32786 13073 16 0 211376 0
vsize: 845568
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 104165 49 0 0 25 0 11 0 488978992 865861632 32817 4294967295 134512640 134569956 3221224416 3221214568 1131596116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32817 13073 16 0 211376 0
vsize: 845568
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 105157 49 0 0 25 0 11 0 488978992 865861632 32849 4294967295 134512640 134569956 3221224416 3221214472 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32849 13073 16 0 211376 0
vsize: 845568
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 106151 50 0 0 25 0 11 0 488978992 865861632 32866 4294967295 134512640 134569956 3221224416 3221214712 1131555455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32866 13073 16 0 211376 0
vsize: 845568
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 107147 50 0 0 25 0 11 0 488978992 865861632 32871 4294967295 134512640 134569956 3221224416 3221214516 1079721495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32871 13073 16 0 211376 0
vsize: 845568
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 108141 50 0 0 25 0 11 0 488978992 865861632 32887 4294967295 134512640 134569956 3221224416 3221214328 1080217319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32887 13073 16 0 211376 0
vsize: 845568
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 109134 51 0 0 25 0 11 0 488978992 865861632 32898 4294967295 134512640 134569956 3221224416 3221214488 1131657817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32898 13073 16 0 211376 0
vsize: 845568
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 110130 51 0 0 25 0 11 0 488978992 865861632 32909 4294967295 134512640 134569956 3221224416 3221214568 1131592902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32909 13073 16 0 211376 0
vsize: 845568
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 111124 52 0 0 25 0 11 0 488978992 865861632 32920 4294967295 134512640 134569956 3221224416 3221214712 1131555455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211392 32920 13073 16 0 211376 0
vsize: 845568
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 112115 52 0 0 25 0 11 0 488978992 865861632 32932 4294967295 134512640 134569956 3221224416 3221214736 1131417502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32932 13073 16 0 211376 0
vsize: 845568
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 113108 52 0 0 25 0 11 0 488978992 865861632 32954 4294967295 134512640 134569956 3221224416 3221214664 1131551462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32954 13073 16 0 211376 0
vsize: 845568
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 114102 53 0 0 25 0 11 0 488978992 865861632 32976 4294967295 134512640 134569956 3221224416 3221214664 1131551238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 32976 13073 16 0 211376 0
vsize: 845568
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 115095 53 0 0 25 0 11 0 488978992 865861632 33001 4294967295 134512640 134569956 3221224416 3221214368 1080217370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 33001 13073 16 0 211376 0
vsize: 845568
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 116089 53 0 0 25 0 11 0 488978992 865861632 33031 4294967295 134512640 134569956 3221224416 3221214568 1131593676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 33031 13073 16 0 211376 0
vsize: 845568
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 117082 53 0 0 25 0 11 0 488978992 865861632 33050 4294967295 134512640 134569956 3221224416 3221214552 1131572438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 33050 13073 16 0 211376 0
vsize: 845568
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 118076 54 0 0 25 0 11 0 488978992 865861632 33058 4294967295 134512640 134569956 3221224416 3221214488 1131657768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 33058 13073 16 0 211376 0
vsize: 845568
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 119069 54 0 0 25 0 11 0 488978992 865861632 33063 4294967295 134512640 134569956 3221224416 3221214528 1131635325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 33063 13073 16 0 211376 0
vsize: 845568
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27063
Raw data (stat): 27053 (java) R 27052 24215 24214 0 -1 0 18149 0 1 0 120063 55 0 0 25 0 11 0 488978992 865861632 33074 4294967295 134512640 134569956 3221224416 3221214488 1131657510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211392 33074 13073 16 0 211376 0
vsize: 845568
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 27065
Raw data (stat): 27053 (java) Z 27052 24215 24214 0 -1 1036 18149 11709 1 0 120066 55 2611 27 25 0 1 0 488978992 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.16
CPU time (s): 1227.62
CPU user time (s): 1226.79
CPU system time (s): 0.827874
CPU usage (%): 99.7931
Max. virtual memory (Kb): 849288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####