PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	c1b4c3ad409db732d2b559e570b6f24c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	138
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	84
Trace number 21637

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-22 00:32:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13139 boxname=wulflinc27 idbench=1011 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c1b4c3ad409db732d2b559e570b6f24c  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 13139
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        593868 kB
Buffers:         17816 kB
Cached:         400200 kB
SwapCached:        524 kB
Active:          66104 kB
Inactive:       353876 kB
HighTotal:      131008 kB
HighFree:        23464 kB
LowTotal:       903652 kB
LowFree:        570404 kB
SwapTotal:     2097892 kB
SwapFree:      2096452 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            15128 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 00:53:48 (client local time) WITH STATUS 143 IN 1262.34 SECONDS
stats: 13139 7 1262.34 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-vpm2.opb
c reading problem 
c [nbvar=2754]
c [nbconstr=612]
c time 5.572
c #vars     2754
c #clauses  486
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.88 0.96 0.91 2/54 30668
Raw data (stat): 30668 (runsolver) R 30667 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549425680 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.0007 s]
Raw data (loadavg): 1.13 1.01 0.93 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18073 0 1 0 669 42 0 0 24 0 11 0 549425680 861396992 20889 4294967295 134512640 134569956 3221224400 3221214524 1130918966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 20889 13073 16 0 210286 0
vsize: 841208
[startup+20.0059 s]
Raw data (loadavg): 1.26 1.04 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18076 0 1 0 1482 42 0 0 25 0 11 0 549425680 863666176 22060 4294967295 134512640 134569956 3221224400 3221214480 1131236525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210856 22060 13073 16 0 210840 0
vsize: 843424
[startup+30.0053 s]
Raw data (loadavg): 1.22 1.04 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18076 0 1 0 2428 42 0 0 25 0 11 0 549425680 862412800 22211 4294967295 134512640 134569956 3221224400 3221214776 1131373978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 22211 13073 16 0 210534 0
vsize: 842200
[startup+40.0099 s]
Raw data (loadavg): 1.18 1.04 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18076 0 1 0 3360 42 0 0 24 0 11 0 549425680 862412800 22514 4294967295 134512640 134569956 3221224400 3221214672 1131245119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 22514 13073 16 0 210534 0
vsize: 842200
[startup+50.0102 s]
Raw data (loadavg): 1.15 1.04 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18076 0 1 0 4310 42 0 0 25 0 11 0 549425680 862412800 22801 4294967295 134512640 134569956 3221224400 3221214696 1131653824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 22801 13073 16 0 210534 0
vsize: 842200
[startup+60.0107 s]
Raw data (loadavg): 1.13 1.04 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18076 0 1 0 5253 42 0 0 25 0 11 0 549425680 862412800 22836 4294967295 134512640 134569956 3221224400 3221214672 1131245159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 22836 13073 16 0 210534 0
vsize: 842200
[startup+70.011 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18076 0 1 0 6197 42 0 0 25 0 11 0 549425680 862412800 23047 4294967295 134512640 134569956 3221224400 3221214672 1131244748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 23047 13073 16 0 210534 0
vsize: 842200
[startup+80.0117 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18076 0 1 0 7143 42 0 0 25 0 11 0 549425680 862412800 23303 4294967295 134512640 134569956 3221224400 3221214632 1131678198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 23303 13073 16 0 210534 0
vsize: 842200
[startup+90.0121 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18076 0 1 0 8096 43 0 0 25 0 11 0 549425680 862412800 23473 4294967295 134512640 134569956 3221224400 3221214488 1131236634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 23473 13073 16 0 210534 0
vsize: 842200
[startup+100.013 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18076 0 1 0 9048 43 0 0 25 0 11 0 549425680 862412800 23680 4294967295 134512640 134569956 3221224400 3221214672 1131245159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 23680 13073 16 0 210534 0
vsize: 842200
[startup+110.014 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 10010 43 0 0 25 0 11 0 549425680 862412800 23849 4294967295 134512640 134569956 3221224400 3221214672 1131244741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 23849 13073 16 0 210534 0
vsize: 842200
[startup+120.015 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 10973 43 0 0 25 0 11 0 549425680 862412800 23982 4294967295 134512640 134569956 3221224400 3221214776 1131373903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 23982 13073 16 0 210534 0
vsize: 842200
[startup+130.015 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 11935 43 0 0 25 0 11 0 549425680 862412800 24094 4294967295 134512640 134569956 3221224400 3221213960 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 24094 13073 16 0 210534 0
vsize: 842200
[startup+140.016 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 12895 43 0 0 25 0 11 0 549425680 862412800 24242 4294967295 134512640 134569956 3221224400 3221214896 1131684233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 24242 13073 16 0 210534 0
vsize: 842200
[startup+150.016 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 13850 43 0 0 25 0 11 0 549425680 862412800 24413 4294967295 134512640 134569956 3221224400 3221214672 1131245091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 24413 13073 16 0 210534 0
vsize: 842200
[startup+160.018 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 14812 43 0 0 25 0 11 0 549425680 862412800 24618 4294967295 134512640 134569956 3221224400 3221214672 1131244733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 24618 13073 16 0 210534 0
vsize: 842200
[startup+170.018 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 15776 43 0 0 25 0 11 0 549425680 862412800 24765 4294967295 134512640 134569956 3221224400 3221214304 1131675336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 24765 13073 16 0 210534 0
vsize: 842200
[startup+180.018 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 16742 43 0 0 25 0 11 0 549425680 862412800 24937 4294967295 134512640 134569956 3221224400 3221214776 1131377494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 24937 13073 16 0 210534 0
vsize: 842200
[startup+190.019 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 17706 43 0 0 25 0 11 0 549425680 862412800 25076 4294967295 134512640 134569956 3221224400 3221214776 1131377618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 25076 13073 16 0 210534 0
vsize: 842200
[startup+200.02 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 18672 43 0 0 25 0 11 0 549425680 862412800 25195 4294967295 134512640 134569956 3221224400 3221214688 1131267048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 25195 13073 16 0 210534 0
vsize: 842200
[startup+210.02 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 19639 43 0 0 25 0 11 0 549425680 862412800 25329 4294967295 134512640 134569956 3221224400 3221214632 1131321333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 25329 13073 16 0 210534 0
vsize: 842200
[startup+220.022 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 20605 43 0 0 25 0 11 0 549425680 862412800 25436 4294967295 134512640 134569956 3221224400 3221214772 1131244716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 25436 13073 16 0 210534 0
vsize: 842200
[startup+230.022 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 21567 44 0 0 24 0 11 0 549425680 862412800 25617 4294967295 134512640 134569956 3221224400 3221214672 1131245159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 25617 13073 16 0 210534 0
vsize: 842200
[startup+240.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 22536 44 0 0 25 0 11 0 549425680 862412800 25776 4294967295 134512640 134569956 3221224400 3221214672 1131245330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 25776 13073 16 0 210534 0
vsize: 842200
[startup+250.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 23506 44 0 0 25 0 11 0 549425680 862412800 25960 4294967295 134512640 134569956 3221224400 3221214696 1131653824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 25960 13073 16 0 210534 0
vsize: 842200
[startup+260.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 24475 44 0 0 25 0 11 0 549425680 862412800 26066 4294967295 134512640 134569956 3221224400 3221214672 1131245102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 26066 13073 16 0 210534 0
vsize: 842200
[startup+270.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 25439 44 0 0 25 0 11 0 549425680 862412800 26175 4294967295 134512640 134569956 3221224400 3221214488 1131534689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 26175 13073 16 0 210534 0
vsize: 842200
[startup+280.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30678
Raw data (stat): 30668 (java) S 30667 18865 18864 0 -1 0 18077 0 1 0 26403 44 0 0 25 0 11 0 549425680 862412800 26304 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 26304 13073 16 0 210534 0
vsize: 842200
[startup+290.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 27365 44 0 0 25 0 11 0 549425680 862412800 26460 4294967295 134512640 134569956 3221224400 3221214776 1131374133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 26460 13073 16 0 210534 0
vsize: 842200
[startup+300.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 28327 44 0 0 25 0 11 0 549425680 862412800 26689 4294967295 134512640 134569956 3221224400 3221214776 1131377618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 26689 13073 16 0 210534 0
vsize: 842200
[startup+310.033 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 29287 44 0 0 25 0 11 0 549425680 862412800 26851 4294967295 134512640 134569956 3221224400 3221214672 1131245392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 26851 13073 16 0 210534 0
vsize: 842200
[startup+320.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30678
Raw data (stat): 30668 (java) S 30667 18865 18864 0 -1 0 18077 0 1 0 30250 44 0 0 25 0 11 0 549425680 862412800 27068 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27068 13073 16 0 210534 0
vsize: 842200
[startup+330.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 31218 44 0 0 25 0 11 0 549425680 862412800 27254 4294967295 134512640 134569956 3221224400 3221214960 1131463311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27254 13073 16 0 210534 0
vsize: 842200
[startup+340.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 32186 44 0 0 24 0 11 0 549425680 862412800 27347 4294967295 134512640 134569956 3221224400 3221214696 1131653824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27347 13073 16 0 210534 0
vsize: 842200
[startup+350.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 33149 45 0 0 25 0 11 0 549425680 862412800 27446 4294967295 134512640 134569956 3221224400 3221214776 1131374076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27446 13073 16 0 210534 0
vsize: 842200
[startup+360.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 34119 45 0 0 25 0 11 0 549425680 862412800 27582 4294967295 134512640 134569956 3221224400 3221214200 1131675324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27582 13073 16 0 210534 0
vsize: 842200
[startup+370.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 35084 45 0 0 25 0 11 0 549425680 862412800 27755 4294967295 134512640 134569956 3221224400 3221214736 1131347810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27755 13073 16 0 210534 0
vsize: 842200
[startup+380.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 36052 45 0 0 25 0 11 0 549425680 862412800 27871 4294967295 134512640 134569956 3221224400 3221214672 1131245159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27871 13073 16 0 210534 0
vsize: 842200
[startup+390.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 37017 45 0 0 24 0 11 0 549425680 862412800 27995 4294967295 134512640 134569956 3221224400 3221214672 1131244737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 27995 13073 16 0 210534 0
vsize: 842200
[startup+400.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 37986 45 0 0 25 0 11 0 549425680 862412800 28104 4294967295 134512640 134569956 3221224400 3221214616 1131523221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 28104 13073 16 0 210534 0
vsize: 842200
[startup+410.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 38956 45 0 0 25 0 11 0 549425680 862412800 28292 4294967295 134512640 134569956 3221224400 3221214672 1131245119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 28292 13073 16 0 210534 0
vsize: 842200
[startup+420.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 39921 45 0 0 25 0 11 0 549425680 862412800 28406 4294967295 134512640 134569956 3221224400 3221214144 1131675248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 28406 13073 16 0 210534 0
vsize: 842200
[startup+430.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 40890 45 0 0 25 0 11 0 549425680 862412800 28517 4294967295 134512640 134569956 3221224400 3221214544 1131361039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 28517 13073 16 0 210534 0
vsize: 842200
[startup+440.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 41852 46 0 0 25 0 11 0 549425680 862412800 28651 4294967295 134512640 134569956 3221224400 3221214672 1131245318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 28651 13073 16 0 210534 0
vsize: 842200
[startup+450.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 42818 46 0 0 25 0 11 0 549425680 862412800 28803 4294967295 134512640 134569956 3221224400 3221214672 1131245265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 28803 13073 16 0 210534 0
vsize: 842200
[startup+460.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 43777 46 0 0 25 0 11 0 549425680 862412800 28934 4294967295 134512640 134569956 3221224400 3221214672 1131245110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 28934 13073 16 0 210534 0
vsize: 842200
[startup+470.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 44742 46 0 0 25 0 11 0 549425680 862412800 29182 4294967295 134512640 134569956 3221224400 3221214672 1131244773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 29182 13073 16 0 210534 0
vsize: 842200
[startup+480.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 45701 46 0 0 25 0 11 0 549425680 862412800 29324 4294967295 134512640 134569956 3221224400 3221214144 1131675324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 29324 13073 16 0 210534 0
vsize: 842200
[startup+490.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) S 30667 18865 18864 0 -1 0 18077 0 1 0 46662 46 0 0 25 0 11 0 549425680 862412800 29612 4294967295 134512640 134569956 3221224400 3221213272 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 29612 13073 16 0 210534 0
vsize: 842200
[startup+500.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 47630 46 0 0 25 0 11 0 549425680 862412800 29761 4294967295 134512640 134569956 3221224400 3221214616 1131523221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 29761 13073 16 0 210534 0
vsize: 842200
[startup+510.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) S 30667 18865 18864 0 -1 0 18077 0 1 0 48597 46 0 0 25 0 11 0 549425680 862412800 29981 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 29981 13073 16 0 210534 0
vsize: 842200
[startup+520.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 49563 46 0 0 25 0 11 0 549425680 862412800 30143 4294967295 134512640 134569956 3221224400 3221214776 1131373087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 30143 13073 16 0 210534 0
vsize: 842200
[startup+530.105 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 50528 46 0 0 25 0 11 0 549425680 862412800 30253 4294967295 134512640 134569956 3221224400 3221214840 1131316033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 30253 13073 16 0 210534 0
vsize: 842200
[startup+540.106 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 51497 46 0 0 25 0 11 0 549425680 862412800 30412 4294967295 134512640 134569956 3221224400 3221214600 1131667868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 30412 13073 16 0 210534 0
vsize: 842200
[startup+550.106 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 52465 46 0 0 25 0 11 0 549425680 862412800 30563 4294967295 134512640 134569956 3221224400 3221214672 1131245787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 30563 13073 16 0 210534 0
vsize: 842200
[startup+560.107 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 53434 46 0 0 25 0 11 0 549425680 862412800 30697 4294967295 134512640 134569956 3221224400 3221214672 1131244773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 30697 13073 16 0 210534 0
vsize: 842200
[startup+570.108 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 54403 46 0 0 25 0 11 0 549425680 862412800 30793 4294967295 134512640 134569956 3221224400 3221214776 1131374086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 30793 13073 16 0 210534 0
vsize: 842200
[startup+580.108 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 55368 46 0 0 25 0 11 0 549425680 862412800 30893 4294967295 134512640 134569956 3221224400 3221214672 1131245380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210550 30893 13073 16 0 210534 0
vsize: 842200
[startup+590.109 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 56334 47 0 0 25 0 11 0 549425680 862412800 31033 4294967295 134512640 134569956 3221224400 3221213864 1131675324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 31033 13073 16 0 210534 0
vsize: 842200
[startup+600.109 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 57303 47 0 0 25 0 11 0 549425680 862412800 31161 4294967295 134512640 134569956 3221224400 3221214672 1131245098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 31161 13073 16 0 210534 0
vsize: 842200
[startup+610.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 58273 48 0 0 25 0 11 0 549425680 862412800 31284 4294967295 134512640 134569956 3221224400 3221214776 1131373051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 31284 13073 16 0 210534 0
vsize: 842200
[startup+620.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 59246 48 0 0 25 0 11 0 549425680 862412800 31374 4294967295 134512640 134569956 3221224400 3221214672 1131245102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 31374 13073 16 0 210534 0
vsize: 842200
[startup+630.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 60213 48 0 0 25 0 11 0 549425680 862412800 31462 4294967295 134512640 134569956 3221224400 3221214368 1131675114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 31462 13073 16 0 210534 0
vsize: 842200
[startup+640.111 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 61182 49 0 0 25 0 11 0 549425680 862412800 31578 4294967295 134512640 134569956 3221224400 3221214672 1131245712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 31578 13073 16 0 210534 0
vsize: 842200
[startup+650.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 62162 49 0 0 25 0 11 0 549425680 862412800 31660 4294967295 134512640 134569956 3221224400 3221214776 1131374133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 31660 13073 16 0 210534 0
vsize: 842200
[startup+660.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 63140 49 0 0 25 0 11 0 549425680 862412800 31719 4294967295 134512640 134569956 3221224400 3221214776 1131377618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 31719 13073 16 0 210534 0
vsize: 842200
[startup+670.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 64121 49 0 0 25 0 11 0 549425680 862412800 31795 4294967295 134512640 134569956 3221224400 3221214672 1131245091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 31795 13073 16 0 210534 0
vsize: 842200
[startup+680.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 65097 49 0 0 25 0 11 0 549425680 862412800 31903 4294967295 134512640 134569956 3221224400 3221214208 1131667921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 31903 13073 16 0 210534 0
vsize: 842200
[startup+690.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 66080 50 0 0 25 0 11 0 549425680 862412800 31960 4294967295 134512640 134569956 3221224400 3221214456 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 31960 13073 16 0 210534 0
vsize: 842200
[startup+700.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 67054 50 0 0 25 0 11 0 549425680 862412800 32022 4294967295 134512640 134569956 3221224400 3221214696 1131653840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 32022 13073 16 0 210534 0
vsize: 842200
[startup+710.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 68025 50 0 0 25 0 11 0 549425680 862412800 32101 4294967295 134512640 134569956 3221224400 3221214256 1131675114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 32101 13073 16 0 210534 0
vsize: 842200
[startup+720.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 68995 50 0 0 25 0 11 0 549425680 862412800 32153 4294967295 134512640 134569956 3221224400 3221214696 1131653840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 32153 13073 16 0 210534 0
vsize: 842200
[startup+730.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 69954 51 0 0 25 0 11 0 549425680 862412800 32230 4294967295 134512640 134569956 3221224400 3221214776 1131373087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 32230 13073 16 0 210534 0
vsize: 842200
[startup+740.116 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 70912 51 0 0 25 0 11 0 549425680 862412800 32315 4294967295 134512640 134569956 3221224400 3221214776 1131377618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 32315 13073 16 0 210534 0
vsize: 842200
[startup+750.116 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 71870 51 0 0 25 0 11 0 549425680 862412800 32448 4294967295 134512640 134569956 3221224400 3221214308 1131674688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 32448 13073 16 0 210534 0
vsize: 842200
[startup+760.117 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 72827 51 0 0 25 0 11 0 549425680 862412800 32623 4294967295 134512640 134569956 3221224400 3221214840 1131316306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 32623 13073 16 0 210534 0
vsize: 842200
[startup+770.117 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 73794 52 0 0 25 0 11 0 549425680 862412800 32756 4294967295 134512640 134569956 3221224400 3221213708 1131667915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 32756 13073 16 0 210534 0
vsize: 842200
[startup+780.117 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 74757 52 0 0 25 0 11 0 549425680 862412800 32885 4294967295 134512640 134569956 3221224400 3221213936 1131667896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 32885 13073 16 0 210534 0
vsize: 842200
[startup+790.118 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 75722 53 0 0 25 0 11 0 549425680 862412800 33005 4294967295 134512640 134569956 3221224400 3221214696 1131653963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 33005 13073 16 0 210534 0
vsize: 842200
[startup+800.119 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 76688 53 0 0 25 0 11 0 549425680 862412800 33130 4294967295 134512640 134569956 3221224400 3221214664 1131460258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 33130 13073 16 0 210534 0
vsize: 842200
[startup+810.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 77654 54 0 0 25 0 11 0 549425680 862412800 33253 4294967295 134512640 134569956 3221224400 3221214792 1131471540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 33253 13073 16 0 210534 0
vsize: 842200
[startup+820.121 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 78623 54 0 0 25 0 11 0 549425680 862412800 33365 4294967295 134512640 134569956 3221224400 3221214584 1131245182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 33365 13073 16 0 210534 0
vsize: 842200
[startup+830.121 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 79592 54 0 0 25 0 11 0 549425680 862412800 33478 4294967295 134512640 134569956 3221224400 3221214672 1131245829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 33478 13073 16 0 210534 0
vsize: 842200
[startup+840.122 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 80559 55 0 0 25 0 11 0 549425680 862412800 33621 4294967295 134512640 134569956 3221224400 3221214672 1131245117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 33621 13073 16 0 210534 0
vsize: 842200
[startup+850.123 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 81530 55 0 0 25 0 11 0 549425680 862412800 33728 4294967295 134512640 134569956 3221224400 3221214776 1131377694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 33728 13073 16 0 210534 0
vsize: 842200
[startup+860.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 82497 55 0 0 25 0 11 0 549425680 862412800 33862 4294967295 134512640 134569956 3221224400 3221214672 1131245748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 33862 13073 16 0 210534 0
vsize: 842200
[startup+870.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 83465 56 0 0 25 0 11 0 549425680 862412800 33991 4294967295 134512640 134569956 3221224400 3221214672 1131245159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 33991 13073 16 0 210534 0
vsize: 842200
[startup+880.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 84433 56 0 0 25 0 11 0 549425680 862412800 34101 4294967295 134512640 134569956 3221224400 3221214696 1131653963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 34101 13073 16 0 210534 0
vsize: 842200
[startup+890.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 85402 57 0 0 25 0 11 0 549425680 862412800 34250 4294967295 134512640 134569956 3221224400 3221214792 1131471516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 34250 13073 16 0 210534 0
vsize: 842200
[startup+900.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 86372 57 0 0 25 0 11 0 549425680 862412800 34392 4294967295 134512640 134569956 3221224400 3221214776 1131374118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 34392 13073 16 0 210534 0
vsize: 842200
[startup+910.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 87344 57 0 0 25 0 11 0 549425680 862412800 34525 4294967295 134512640 134569956 3221224400 3221214688 1131267048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 34525 13073 16 0 210534 0
vsize: 842200
[startup+920.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 88316 58 0 0 25 0 11 0 549425680 862412800 34619 4294967295 134512640 134569956 3221224400 3221214592 1131267222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 34619 13073 16 0 210534 0
vsize: 842200
[startup+930.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) S 30667 18865 18864 0 -1 0 18077 0 1 0 89283 58 0 0 25 0 11 0 549425680 862412800 34737 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 34737 13073 16 0 210534 0
vsize: 842200
[startup+940.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 90245 59 0 0 25 0 11 0 549425680 862412800 34872 4294967295 134512640 134569956 3221224400 3221214672 1131245843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 34872 13073 16 0 210534 0
vsize: 842200
[startup+950.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 91202 59 0 0 25 0 11 0 549425680 862412800 35017 4294967295 134512640 134569956 3221224400 3221213596 1131667920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 35017 13073 16 0 210534 0
vsize: 842200
[startup+960.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 92165 59 0 0 25 0 11 0 549425680 862412800 35139 4294967295 134512640 134569956 3221224400 3221213928 1085632273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 35139 13073 16 0 210534 0
vsize: 842200
[startup+970.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 93135 59 0 0 25 0 11 0 549425680 862412800 35317 4294967295 134512640 134569956 3221224400 3221214696 1131653840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 35317 13073 16 0 210534 0
vsize: 842200
[startup+980.129 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 94104 59 0 0 25 0 11 0 549425680 862412800 35401 4294967295 134512640 134569956 3221224400 3221214592 1131675114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 35401 13073 16 0 210534 0
vsize: 842200
[startup+990.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 95075 60 0 0 25 0 11 0 549425680 862412800 35504 4294967295 134512640 134569956 3221224400 3221214696 1131653836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 35504 13073 16 0 210534 0
vsize: 842200
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 96045 60 0 0 25 0 11 0 549425680 862412800 35603 4294967295 134512640 134569956 3221224400 3221214776 1131377578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 35603 13073 16 0 210534 0
vsize: 842200
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 97015 60 0 0 25 0 11 0 549425680 862412800 35742 4294967295 134512640 134569956 3221224400 3221214248 1131674709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 35742 13073 16 0 210534 0
vsize: 842200
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 97982 61 0 0 25 0 11 0 549425680 862412800 35917 4294967295 134512640 134569956 3221224400 3221214672 1131245159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 35917 13073 16 0 210534 0
vsize: 842200
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 98953 61 0 0 25 0 11 0 549425680 862412800 36053 4294967295 134512640 134569956 3221224400 3221214776 1131377740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 36053 13073 16 0 210534 0
vsize: 842200
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 99925 61 0 0 25 0 11 0 549425680 862412800 36171 4294967295 134512640 134569956 3221224400 3221214776 1131372851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 36171 13073 16 0 210534 0
vsize: 842200
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 100897 61 0 0 25 0 11 0 549425680 862412800 36301 4294967295 134512640 134569956 3221224400 3221214672 1131244810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 36301 13073 16 0 210534 0
vsize: 842200
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 101866 62 0 0 25 0 11 0 549425680 862412800 36504 4294967295 134512640 134569956 3221224400 3221214128 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 36504 13073 16 0 210534 0
vsize: 842200
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 102840 62 0 0 25 0 11 0 549425680 862412800 36602 4294967295 134512640 134569956 3221224400 3221214696 1131653824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 36602 13073 16 0 210534 0
vsize: 842200
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 103810 62 0 0 25 0 11 0 549425680 862412800 36757 4294967295 134512640 134569956 3221224400 3221214696 1131653971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 36757 13073 16 0 210534 0
vsize: 842200
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 104785 63 0 0 25 0 11 0 549425680 862412800 36872 4294967295 134512640 134569956 3221224400 3221214256 1131675296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 36872 13073 16 0 210534 0
vsize: 842200
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 105759 63 0 0 25 0 11 0 549425680 862412800 36977 4294967295 134512640 134569956 3221224400 3221214232 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 36977 13073 16 0 210534 0
vsize: 842200
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 106732 63 0 0 25 0 11 0 549425680 862412800 37097 4294967295 134512640 134569956 3221224400 3221214776 1131374888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 37097 13073 16 0 210534 0
vsize: 842200
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 107702 64 0 0 25 0 11 0 549425680 862412800 37212 4294967295 134512640 134569956 3221224400 3221214672 1131245159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 37212 13073 16 0 210534 0
vsize: 842200
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 108672 64 0 0 25 0 11 0 549425680 862412800 37306 4294967295 134512640 134569956 3221224400 3221214672 1131244952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 37306 13073 16 0 210534 0
vsize: 842200
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 109640 65 0 0 25 0 11 0 549425680 862412800 37515 4294967295 134512640 134569956 3221224400 3221214672 1131244750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 37515 13073 16 0 210534 0
vsize: 842200
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 110612 65 0 0 25 0 11 0 549425680 862412800 37588 4294967295 134512640 134569956 3221224400 3221214672 1131245102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 37588 13073 16 0 210534 0
vsize: 842200
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 111580 66 0 0 25 0 11 0 549425680 862412800 37853 4294967295 134512640 134569956 3221224400 3221214672 1131245246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 37853 13073 16 0 210534 0
vsize: 842200
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 112550 66 0 0 25 0 11 0 549425680 862412800 37948 4294967295 134512640 134569956 3221224400 3221214696 1131653840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 37948 13073 16 0 210534 0
vsize: 842200
[startup+1180.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 113521 67 0 0 25 0 11 0 549425680 862412800 38075 4294967295 134512640 134569956 3221224400 3221214672 1131245342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 38075 13073 16 0 210534 0
vsize: 842200
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 114486 67 0 0 25 0 11 0 549425680 862412800 38255 4294967295 134512640 134569956 3221224400 3221214672 1131244823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 38255 13073 16 0 210534 0
vsize: 842200
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 115457 68 0 0 25 0 11 0 549425680 862412800 38447 4294967295 134512640 134569956 3221224400 3221214048 1131667799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 38447 13073 16 0 210534 0
vsize: 842200
[startup+1210.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 116427 68 0 0 25 0 11 0 549425680 862412800 38618 4294967295 134512640 134569956 3221224400 3221214672 1131245159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 38618 13073 16 0 210534 0
vsize: 842200
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 117400 68 0 0 25 0 11 0 549425680 862412800 38792 4294967295 134512640 134569956 3221224400 3221214672 1131245342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 38792 13073 16 0 210534 0
vsize: 842200
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 118374 69 0 0 25 0 11 0 549425680 862412800 38884 4294967295 134512640 134569956 3221224400 3221214672 1131245159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 38884 13073 16 0 210534 0
vsize: 842200
[startup+1240.17 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 119344 69 0 0 25 0 11 0 549425680 862412800 38956 4294967295 134512640 134569956 3221224400 3221214776 1131372865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 38956 13073 16 0 210534 0
vsize: 842200
[startup+1250.18 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 30678
Raw data (stat): 30668 (java) R 30667 18865 18864 0 -1 0 18077 0 1 0 120317 70 0 0 25 0 11 0 549425680 862412800 39081 4294967295 134512640 134569956 3221224400 3221214672 1131245159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210550 39081 13073 16 0 210534 0
vsize: 842200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.33 s]
Raw data (loadavg): 1.06 1.02 0.94 1/54 30680
Raw data (stat): 30668 (java) Z 30667 18865 18864 0 -1 1036 18077 27849 1 0 120322 77 5754 79 24 0 1 0 549425680 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.33
CPU time (s): 1262.34
CPU user time (s): 1260.77
CPU system time (s): 1.57376
CPU usage (%): 100.961
Max. virtual memory (Kb): 843424
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####