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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bnl1.opb
MD5SUM03a27b3b499acf5b0d4b0eee83413d97
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 19660
Biggest coefficient in the objective function 12635026227200
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 1038651120525150
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 12635026227200
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 1038651120525150
Number of bits of the biggest sum of numbers50
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.202968
Number of variables23500
Total number of constraints632
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints632
Minimum length of a constraint20
Maximum length of a constraint1520

Trace number 20144 

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        808772 kB
Buffers:          9628 kB
Cached:         194576 kB
SwapCached:          0 kB
Active:          30780 kB
Inactive:       175964 kB
HighTotal:      131008 kB
HighFree:        41216 kB
LowTotal:       903652 kB
LowFree:        767556 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            13660 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 20:36:27 (client local time) WITH STATUS 143 IN 1227.61 SECONDS
stats: 15544 7 1227.61 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-bnl1.opb
c reading problem 
c [nbvar=23500]
c [nbconstr=632]
c time 169.453
c #vars     23500
c #clauses  856
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.86 0.97 0.92 1/54 4600
Raw data (stat): 4600 (runsolver) D 4599 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 489672943 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.88 0.97 0.92 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17982 0 1 0 855 40 0 0 25 0 10 0 489672943 853311488 19079 4294967295 134512640 134569956 3221224400 3221214704 1131189738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208328 19079 13073 16 0 208312 0
vsize: 833312
[startup+20.0015 s]
Raw data (loadavg): 0.90 0.97 0.92 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17983 0 1 0 1748 41 0 0 24 0 10 0 489672943 854933504 19939 4294967295 134512640 134569956 3221224400 3221214824 1131204426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208724 19939 13073 16 0 208708 0
vsize: 834896
[startup+30.0014 s]
Raw data (loadavg): 0.91 0.97 0.92 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17983 0 1 0 2649 41 0 0 25 0 10 0 489672943 854933504 20375 4294967295 134512640 134569956 3221224400 3221214800 1130896321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208724 20375 13073 16 0 208708 0
vsize: 834896
[startup+40.0224 s]
Raw data (loadavg): 0.93 0.97 0.92 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17983 0 1 0 3583 41 0 0 25 0 10 0 489672943 854933504 20605 4294967295 134512640 134569956 3221224400 3221214824 1131202732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208724 20605 13073 16 0 208708 0
vsize: 834896
[startup+50.0225 s]
Raw data (loadavg): 0.94 0.97 0.92 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17983 0 1 0 4518 41 0 0 25 0 10 0 489672943 854933504 20726 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208724 20726 13073 16 0 208708 0
vsize: 834896
[startup+60.023 s]
Raw data (loadavg): 0.95 0.97 0.92 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17983 0 1 0 5451 41 0 0 25 0 10 0 489672943 854933504 20827 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208724 20827 13073 16 0 208708 0
vsize: 834896
[startup+70.023 s]
Raw data (loadavg): 0.95 0.97 0.92 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17983 0 1 0 6392 42 0 0 25 0 10 0 489672943 854310912 20891 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208572 20891 13073 16 0 208556 0
vsize: 834288
[startup+80.0243 s]
Raw data (loadavg): 0.96 0.97 0.92 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17983 0 1 0 7341 42 0 0 25 0 10 0 489672943 854310912 20971 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208572 20971 13073 16 0 208556 0
vsize: 834288
[startup+90.0239 s]
Raw data (loadavg): 0.97 0.97 0.92 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17983 0 1 0 8290 42 0 0 25 0 10 0 489672943 854310912 21044 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208572 21044 13073 16 0 208556 0
vsize: 834288
[startup+100.023 s]
Raw data (loadavg): 0.97 0.97 0.92 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17983 0 1 0 9239 43 0 0 24 0 10 0 489672943 854310912 21111 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208572 21111 13073 16 0 208556 0
vsize: 834288
[startup+110.024 s]
Raw data (loadavg): 0.97 0.97 0.92 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17983 0 1 0 10193 43 0 0 25 0 10 0 489672943 854310912 21171 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208572 21171 13073 16 0 208556 0
vsize: 834288
[startup+120.025 s]
Raw data (loadavg): 1.06 0.99 0.93 2/63 4609
Raw data (stat): 4600 (java) S 4599 25347 25346 0 -1 0 17994 0 1 0 10972 43 0 0 25 0 10 0 489672943 858468352 22636 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 22636 13073 16 0 209571 0
vsize: 838348
[startup+130.025 s]
Raw data (loadavg): 1.05 0.99 0.93 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17994 0 1 0 11851 44 0 0 24 0 10 0 489672943 861614080 23908 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210355 23908 13073 16 0 210339 0
vsize: 841420
[startup+140.03 s]
Raw data (loadavg): 1.04 0.99 0.93 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17994 0 1 0 12737 44 0 0 17 0 10 0 489672943 861614080 24168 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210355 24168 13073 16 0 210339 0
vsize: 841420
[startup+150.03 s]
Raw data (loadavg): 1.03 0.99 0.93 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17994 0 1 0 13618 45 0 0 20 0 10 0 489672943 861614080 24640 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210355 24640 13073 16 0 210339 0
vsize: 841420
[startup+160.03 s]
Raw data (loadavg): 1.03 0.99 0.93 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17994 0 1 0 14482 46 0 0 17 0 10 0 489672943 861614080 24796 4294967295 134512640 134569956 3221224400 3221214280 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210355 24796 13073 16 0 210339 0
vsize: 841420
[startup+170.03 s]
Raw data (loadavg): 1.02 0.99 0.93 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 17995 0 1 0 15340 47 0 0 17 0 10 0 489672943 861614080 26483 4294967295 134512640 134569956 3221224400 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210355 26483 13073 16 0 210339 0
vsize: 841420
[startup+180.031 s]
Raw data (loadavg): 1.17 1.02 0.94 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18017 0 1 0 16261 47 0 0 25 0 10 0 489672943 861614080 26584 4294967295 134512640 134569956 3221224400 3221214840 1131473820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210355 26584 13073 16 0 210339 0
vsize: 841420
[startup+190.031 s]
Raw data (loadavg): 1.15 1.02 0.94 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18017 0 1 0 17179 47 0 0 25 0 10 0 489672943 861614080 26584 4294967295 134512640 134569956 3221224400 3221214840 1131475257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210355 26584 13073 16 0 210339 0
vsize: 841420
[startup+200.031 s]
Raw data (loadavg): 1.12 1.02 0.94 2/63 4609
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18017 0 1 0 18098 48 0 0 25 0 10 0 489672943 861614080 26798 4294967295 134512640 134569956 3221224400 3221214840 1131476024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210355 26798 13073 16 0 210339 0
vsize: 841420
[startup+210.048 s]
Raw data (loadavg): 1.10 1.02 0.94 3/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18024 0 1 0 19038 48 0 0 25 0 11 0 489672943 862142464 27475 4294967295 134512640 134569956 3221224400 3221214792 1131475860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27475 13073 16 0 210468 0
vsize: 841936
[startup+220.1 s]
Raw data (loadavg): 1.23 1.05 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18063 0 1 0 19978 49 0 0 25 0 11 0 489672943 862142464 27566 4294967295 134512640 134569956 3221224400 3221214608 1131541481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 27566 13073 16 0 210468 0
vsize: 841936
[startup+230.101 s]
Raw data (loadavg): 1.28 1.06 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18064 0 1 0 20950 50 0 0 25 0 11 0 489672943 867385344 28958 4294967295 134512640 134569956 3221224400 3221214552 1131147933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211764 28958 13073 16 0 211748 0
vsize: 847056
[startup+240.102 s]
Raw data (loadavg): 1.24 1.06 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 21939 50 0 0 25 0 11 0 489672943 866336768 28755 4294967295 134512640 134569956 3221224400 3221214592 1131541481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211508 28755 13073 16 0 211492 0
vsize: 846032
[startup+250.102 s]
Raw data (loadavg): 1.20 1.06 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 22926 50 0 0 25 0 11 0 489672943 866336768 28766 4294967295 134512640 134569956 3221224400 3221214584 1131622108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211508 28766 13073 16 0 211492 0
vsize: 846032
[startup+260.102 s]
Raw data (loadavg): 1.17 1.06 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 23911 50 0 0 25 0 11 0 489672943 862142464 27849 4294967295 134512640 134569956 3221224400 3221214680 1131715795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27849 13073 16 0 210468 0
vsize: 841936
[startup+270.106 s]
Raw data (loadavg): 1.14 1.05 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 24902 50 0 0 25 0 11 0 489672943 862142464 27858 4294967295 134512640 134569956 3221224400 3221214656 1131288857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27858 13073 16 0 210468 0
vsize: 841936
[startup+280.106 s]
Raw data (loadavg): 1.12 1.05 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 25894 50 0 0 25 0 11 0 489672943 862142464 27868 4294967295 134512640 134569956 3221224400 3221214680 1131715671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27868 13073 16 0 210468 0
vsize: 841936
[startup+290.111 s]
Raw data (loadavg): 1.10 1.05 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 26888 50 0 0 25 0 11 0 489672943 862142464 27876 4294967295 134512640 134569956 3221224400 3221214584 1131278935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27876 13073 16 0 210468 0
vsize: 841936
[startup+300.111 s]
Raw data (loadavg): 1.08 1.05 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 27882 50 0 0 25 0 11 0 489672943 862142464 27885 4294967295 134512640 134569956 3221224400 3221214584 1131621271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27885 13073 16 0 210468 0
vsize: 841936
[startup+310.111 s]
Raw data (loadavg): 1.07 1.05 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 28877 51 0 0 25 0 11 0 489672943 862142464 27912 4294967295 134512640 134569956 3221224400 3221214680 1131715668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27912 13073 16 0 210468 0
vsize: 841936
[startup+320.112 s]
Raw data (loadavg): 1.06 1.04 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 29873 51 0 0 25 0 11 0 489672943 862142464 27960 4294967295 134512640 134569956 3221224400 3221214680 1131715671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27960 13073 16 0 210468 0
vsize: 841936
[startup+330.113 s]
Raw data (loadavg): 1.05 1.04 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 30870 51 0 0 25 0 11 0 489672943 862142464 27997 4294967295 134512640 134569956 3221224400 3221214584 1131278935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27997 13073 16 0 210468 0
vsize: 841936
[startup+340.113 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 31869 51 0 0 25 0 11 0 489672943 862142464 27999 4294967295 134512640 134569956 3221224400 3221214680 1131715673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27999 13073 16 0 210468 0
vsize: 841936
[startup+350.115 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 32868 51 0 0 25 0 11 0 489672943 862142464 27999 4294967295 134512640 134569956 3221224400 3221214584 1131278769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27999 13073 16 0 210468 0
vsize: 841936
[startup+360.131 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 33868 51 0 0 25 0 11 0 489672943 862142464 27999 4294967295 134512640 134569956 3221224400 3221214680 1131715754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27999 13073 16 0 210468 0
vsize: 841936
[startup+370.13 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 34865 51 0 0 25 0 11 0 489672943 862142464 27999 4294967295 134512640 134569956 3221224400 3221214680 1131715733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27999 13073 16 0 210468 0
vsize: 841936
[startup+380.131 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 35863 51 0 0 25 0 11 0 489672943 862142464 27999 4294967295 134512640 134569956 3221224400 3221214680 1131715671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27999 13073 16 0 210468 0
vsize: 841936
[startup+390.132 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 36862 51 0 0 25 0 11 0 489672943 862142464 27999 4294967295 134512640 134569956 3221224400 3221214584 1131278935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27999 13073 16 0 210468 0
vsize: 841936
[startup+400.131 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 37860 51 0 0 25 0 11 0 489672943 862142464 27999 4294967295 134512640 134569956 3221224400 3221214584 1131278894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27999 13073 16 0 210468 0
vsize: 841936
[startup+410.131 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 38858 51 0 0 25 0 11 0 489672943 862142464 27999 4294967295 134512640 134569956 3221224400 3221214584 1131622089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 27999 13073 16 0 210468 0
vsize: 841936
[startup+420.131 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 39857 51 0 0 25 0 11 0 489672943 862142464 28017 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28017 13073 16 0 210468 0
vsize: 841936
[startup+430.132 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 40856 51 0 0 25 0 11 0 489672943 862142464 28017 4294967295 134512640 134569956 3221224400 3221214584 1131622105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28017 13073 16 0 210468 0
vsize: 841936
[startup+440.137 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 41855 51 0 0 25 0 11 0 489672943 862142464 28018 4294967295 134512640 134569956 3221224400 3221214680 1131715648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28018 13073 16 0 210468 0
vsize: 841936
[startup+450.136 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 42854 51 0 0 25 0 11 0 489672943 862142464 28018 4294967295 134512640 134569956 3221224400 3221214584 1131278894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28018 13073 16 0 210468 0
vsize: 841936
[startup+460.136 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 43852 51 0 0 25 0 11 0 489672943 862142464 28018 4294967295 134512640 134569956 3221224400 3221214584 1131620048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28018 13073 16 0 210468 0
vsize: 841936
[startup+470.142 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 44851 51 0 0 25 0 11 0 489672943 862142464 28023 4294967295 134512640 134569956 3221224400 3221214680 1131715671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28023 13073 16 0 210468 0
vsize: 841936
[startup+480.152 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 45851 51 0 0 25 0 11 0 489672943 862142464 28023 4294967295 134512640 134569956 3221224400 3221214680 1131715733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28023 13073 16 0 210468 0
vsize: 841936
[startup+490.152 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 46849 51 0 0 25 0 11 0 489672943 862142464 28023 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28023 13073 16 0 210468 0
vsize: 841936
[startup+500.166 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 47850 51 0 0 25 0 11 0 489672943 862142464 28023 4294967295 134512640 134569956 3221224400 3221214584 1131620483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28023 13073 16 0 210468 0
vsize: 841936
[startup+510.165 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 48847 51 0 0 25 0 11 0 489672943 862142464 28028 4294967295 134512640 134569956 3221224400 3221214584 1131620108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28028 13073 16 0 210468 0
vsize: 841936
[startup+520.165 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 49846 51 0 0 25 0 11 0 489672943 862142464 28028 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28028 13073 16 0 210468 0
vsize: 841936
[startup+530.169 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 50845 51 0 0 25 0 11 0 489672943 862142464 28028 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28028 13073 16 0 210468 0
vsize: 841936
[startup+540.169 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 51843 51 0 0 25 0 11 0 489672943 862142464 28028 4294967295 134512640 134569956 3221224400 3221214680 1131715656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28028 13073 16 0 210468 0
vsize: 841936
[startup+550.169 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 52842 51 0 0 25 0 11 0 489672943 862142464 28033 4294967295 134512640 134569956 3221224400 3221214824 1131548477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 28033 13073 16 0 210468 0
vsize: 841936
[startup+560.168 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 53841 51 0 0 25 0 11 0 489672943 862142464 28033 4294967295 134512640 134569956 3221224400 3221214584 1131278852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28033 13073 16 0 210468 0
vsize: 841936
[startup+570.172 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 54839 51 0 0 25 0 11 0 489672943 862142464 28033 4294967295 134512640 134569956 3221224400 3221214584 1131278583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28033 13073 16 0 210468 0
vsize: 841936
[startup+580.172 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 55838 52 0 0 25 0 11 0 489672943 862142464 28037 4294967295 134512640 134569956 3221224400 3221214584 1131278935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 28037 13073 16 0 210468 0
vsize: 841936
[startup+590.172 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 56836 52 0 0 25 0 11 0 489672943 862142464 28037 4294967295 134512640 134569956 3221224400 3221214680 1131715805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28037 13073 16 0 210468 0
vsize: 841936
[startup+600.174 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 57834 52 0 0 25 0 11 0 489672943 862142464 28037 4294967295 134512640 134569956 3221224400 3221214584 1131278642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28037 13073 16 0 210468 0
vsize: 841936
[startup+610.174 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 58833 52 0 0 25 0 11 0 489672943 862142464 28037 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28037 13073 16 0 210468 0
vsize: 841936
[startup+620.173 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 59831 52 0 0 25 0 11 0 489672943 862142464 28042 4294967295 134512640 134569956 3221224400 3221214584 1131278852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28042 13073 16 0 210468 0
vsize: 841936
[startup+630.174 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 60829 52 0 0 25 0 11 0 489672943 862142464 28042 4294967295 134512640 134569956 3221224400 3221214584 1131621347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28042 13073 16 0 210468 0
vsize: 841936
[startup+640.175 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 61828 52 0 0 25 0 11 0 489672943 862142464 28042 4294967295 134512640 134569956 3221224400 3221214680 1131715673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28042 13073 16 0 210468 0
vsize: 841936
[startup+650.174 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 62826 52 0 0 25 0 11 0 489672943 862142464 28047 4294967295 134512640 134569956 3221224400 3221214680 1131715816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28047 13073 16 0 210468 0
vsize: 841936
[startup+660.185 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 63825 52 0 0 25 0 11 0 489672943 862142464 28047 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28047 13073 16 0 210468 0
vsize: 841936
[startup+670.194 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 64824 52 0 0 25 0 11 0 489672943 862142464 28052 4294967295 134512640 134569956 3221224400 3221214608 1131651733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28052 13073 16 0 210468 0
vsize: 841936
[startup+680.195 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 65822 52 0 0 25 0 11 0 489672943 862142464 28052 4294967295 134512640 134569956 3221224400 3221214584 1131278894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28052 13073 16 0 210468 0
vsize: 841936
[startup+690.196 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 66815 52 0 0 25 0 11 0 489672943 862142464 28054 4294967295 134512640 134569956 3221224400 3221214680 1131718936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28054 13073 16 0 210468 0
vsize: 841936
[startup+700.195 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 67811 52 0 0 25 0 11 0 489672943 862142464 28059 4294967295 134512640 134569956 3221224400 3221214680 1131719121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28059 13073 16 0 210468 0
vsize: 841936
[startup+710.196 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 68809 52 0 0 25 0 11 0 489672943 862142464 28059 4294967295 134512640 134569956 3221224400 3221214584 1131620547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28059 13073 16 0 210468 0
vsize: 841936
[startup+720.196 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 69806 52 0 0 25 0 11 0 489672943 862142464 28064 4294967295 134512640 134569956 3221224400 3221214584 1131620547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28064 13073 16 0 210468 0
vsize: 841936
[startup+730.196 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 70803 52 0 0 25 0 11 0 489672943 862142464 28064 4294967295 134512640 134569956 3221224400 3221214584 1131620090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28064 13073 16 0 210468 0
vsize: 841936
[startup+740.201 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 71801 52 0 0 25 0 11 0 489672943 862142464 28069 4294967295 134512640 134569956 3221224400 3221214584 1131279357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28069 13073 16 0 210468 0
vsize: 841936
[startup+750.201 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 72795 52 0 0 25 0 11 0 489672943 862142464 28078 4294967295 134512640 134569956 3221224400 3221214440 1131313276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28078 13073 16 0 210468 0
vsize: 841936
[startup+760.201 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 73781 52 0 0 25 0 11 0 489672943 862142464 28103 4294967295 134512640 134569956 3221224400 3221214704 1131282869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28103 13073 16 0 210468 0
vsize: 841936
[startup+770.201 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 74770 52 0 0 25 0 11 0 489672943 862142464 28104 4294967295 134512640 134569956 3221224400 3221214680 1131715673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28104 13073 16 0 210468 0
vsize: 841936
[startup+780.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 75763 52 0 0 25 0 11 0 489672943 862142464 28104 4294967295 134512640 134569956 3221224400 3221214680 1131715805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 28104 13073 16 0 210468 0
vsize: 841936
[startup+790.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 76755 52 0 0 25 0 11 0 489672943 862142464 28104 4294967295 134512640 134569956 3221224400 3221214584 1131620315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28104 13073 16 0 210468 0
vsize: 841936
[startup+800.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 77748 52 0 0 25 0 11 0 489672943 862142464 28104 4294967295 134512640 134569956 3221224400 3221214680 1131715795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28104 13073 16 0 210468 0
vsize: 841936
[startup+810.203 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 78740 52 0 0 25 0 11 0 489672943 862142464 28104 4294967295 134512640 134569956 3221224400 3221214584 1131278914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28104 13073 16 0 210468 0
vsize: 841936
[startup+820.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 79733 52 0 0 25 0 11 0 489672943 862142464 28136 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 28136 13073 16 0 210468 0
vsize: 841936
[startup+830.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 80727 52 0 0 25 0 11 0 489672943 862142464 28173 4294967295 134512640 134569956 3221224400 3221214680 1131715805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 28173 13073 16 0 210468 0
vsize: 841936
[startup+840.203 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 81721 53 0 0 25 0 11 0 489672943 862142464 28197 4294967295 134512640 134569956 3221224400 3221214584 1131279066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28197 13073 16 0 210468 0
vsize: 841936
[startup+850.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 82715 53 0 0 25 0 11 0 489672943 862142464 28243 4294967295 134512640 134569956 3221224400 3221214680 1131715668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28243 13073 16 0 210468 0
vsize: 841936
[startup+860.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 83710 53 0 0 25 0 11 0 489672943 862142464 28250 4294967295 134512640 134569956 3221224400 3221214680 1131718966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28250 13073 16 0 210468 0
vsize: 841936
[startup+870.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 84706 53 0 0 25 0 11 0 489672943 862142464 28257 4294967295 134512640 134569956 3221224400 3221214680 1131715660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28257 13073 16 0 210468 0
vsize: 841936
[startup+880.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 85700 53 0 0 24 0 11 0 489672943 862142464 28296 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28296 13073 16 0 210468 0
vsize: 841936
[startup+890.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 86695 53 0 0 25 0 11 0 489672943 862142464 28296 4294967295 134512640 134569956 3221224400 3221214680 1131715795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28296 13073 16 0 210468 0
vsize: 841936
[startup+900.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 87691 53 0 0 25 0 11 0 489672943 862142464 28296 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28296 13073 16 0 210468 0
vsize: 841936
[startup+910.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 88683 53 0 0 25 0 11 0 489672943 862142464 28317 4294967295 134512640 134569956 3221224400 3221214680 1131715671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28317 13073 16 0 210468 0
vsize: 841936
[startup+920.203 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 89677 53 0 0 25 0 11 0 489672943 862142464 28317 4294967295 134512640 134569956 3221224400 3221214680 1131715795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28317 13073 16 0 210468 0
vsize: 841936
[startup+930.203 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 90671 53 0 0 25 0 11 0 489672943 862142464 28317 4294967295 134512640 134569956 3221224400 3221214680 1131715795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28317 13073 16 0 210468 0
vsize: 841936
[startup+940.204 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 91665 53 0 0 25 0 11 0 489672943 862142464 28340 4294967295 134512640 134569956 3221224400 3221214584 1131278894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28340 13073 16 0 210468 0
vsize: 841936
[startup+950.204 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 92659 53 0 0 25 0 11 0 489672943 862142464 28340 4294967295 134512640 134569956 3221224400 3221214680 1131715678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28340 13073 16 0 210468 0
vsize: 841936
[startup+960.204 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 93653 53 0 0 25 0 11 0 489672943 862142464 28361 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28361 13073 16 0 210468 0
vsize: 841936
[startup+970.204 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 94646 53 0 0 25 0 11 0 489672943 862142464 28366 4294967295 134512640 134569956 3221224400 3221214644 1131651619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28366 13073 16 0 210468 0
vsize: 841936
[startup+980.205 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 95639 53 0 0 25 0 11 0 489672943 862142464 28388 4294967295 134512640 134569956 3221224400 3221214680 1131715678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28388 13073 16 0 210468 0
vsize: 841936
[startup+990.206 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 96631 53 0 0 25 0 11 0 489672943 862142464 28431 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28431 13073 16 0 210468 0
vsize: 841936
[startup+1000.2 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 97625 53 0 0 25 0 11 0 489672943 862142464 28453 4294967295 134512640 134569956 3221224400 3221214680 1131715816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28453 13073 16 0 210468 0
vsize: 841936
[startup+1010.2 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 98618 53 0 0 25 0 11 0 489672943 862142464 28470 4294967295 134512640 134569956 3221224400 3221214680 1131715678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28470 13073 16 0 210468 0
vsize: 841936
[startup+1020.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 99612 53 0 0 25 0 11 0 489672943 862142464 28470 4294967295 134512640 134569956 3221224400 3221214680 1131715678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28470 13073 16 0 210468 0
vsize: 841936
[startup+1030.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 100606 53 0 0 25 0 11 0 489672943 862142464 28493 4294967295 134512640 134569956 3221224400 3221214680 1131715671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210484 28493 13073 16 0 210468 0
vsize: 841936
[startup+1040.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 101600 53 0 0 25 0 11 0 489672943 862142464 28493 4294967295 134512640 134569956 3221224400 3221214680 1131715673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28493 13073 16 0 210468 0
vsize: 841936
[startup+1050.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 102593 53 0 0 25 0 11 0 489672943 862142464 28498 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28498 13073 16 0 210468 0
vsize: 841936
[startup+1060.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 103587 54 0 0 25 0 11 0 489672943 862142464 28521 4294967295 134512640 134569956 3221224400 3221214680 1131718951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28521 13073 16 0 210468 0
vsize: 841936
[startup+1070.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 104580 54 0 0 25 0 11 0 489672943 862142464 28543 4294967295 134512640 134569956 3221224400 3221214584 1131278894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28543 13073 16 0 210468 0
vsize: 841936
[startup+1080.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 105572 54 0 0 25 0 11 0 489672943 862142464 28566 4294967295 134512640 134569956 3221224400 3221214680 1131715660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28566 13073 16 0 210468 0
vsize: 841936
[startup+1090.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 106565 54 0 0 25 0 11 0 489672943 862142464 28611 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28611 13073 16 0 210468 0
vsize: 841936
[startup+1100.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 107559 54 0 0 25 0 11 0 489672943 862142464 28629 4294967295 134512640 134569956 3221224400 3221214680 1131715813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28629 13073 16 0 210468 0
vsize: 841936
[startup+1110.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 108553 54 0 0 25 0 11 0 489672943 862142464 28629 4294967295 134512640 134569956 3221224400 3221214680 1131715673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28629 13073 16 0 210468 0
vsize: 841936
[startup+1120.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 109546 54 0 0 25 0 11 0 489672943 862142464 28652 4294967295 134512640 134569956 3221224400 3221214584 1131279357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28652 13073 16 0 210468 0
vsize: 841936
[startup+1130.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 110540 54 0 0 25 0 11 0 489672943 862142464 28652 4294967295 134512640 134569956 3221224400 3221214680 1131715678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28652 13073 16 0 210468 0
vsize: 841936
[startup+1140.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 111534 54 0 0 25 0 11 0 489672943 862142464 28657 4294967295 134512640 134569956 3221224400 3221214584 1131278935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28657 13073 16 0 210468 0
vsize: 841936
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 112526 54 0 0 25 0 11 0 489672943 862142464 28674 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28674 13073 16 0 210468 0
vsize: 841936
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 113519 54 0 0 25 0 11 0 489672943 862142464 28697 4294967295 134512640 134569956 3221224400 3221214584 1131278894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28697 13073 16 0 210468 0
vsize: 841936
[startup+1170.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 114510 54 0 0 25 0 11 0 489672943 862142464 28724 4294967295 134512640 134569956 3221224400 3221214680 1131715795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28724 13073 16 0 210468 0
vsize: 841936
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 115503 54 0 0 25 0 11 0 489672943 862142464 28770 4294967295 134512640 134569956 3221224400 3221214680 1131715648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28770 13073 16 0 210468 0
vsize: 841936
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 116496 54 0 0 25 0 11 0 489672943 862142464 28786 4294967295 134512640 134569956 3221224400 3221214680 1131715664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28786 13073 16 0 210468 0
vsize: 841936
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 117489 54 0 0 25 0 11 0 489672943 862142464 28786 4294967295 134512640 134569956 3221224400 3221214680 1131715813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28786 13073 16 0 210468 0
vsize: 841936
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 118480 54 0 0 25 0 11 0 489672943 862142464 28814 4294967295 134512640 134569956 3221224400 3221214680 1131715805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28814 13073 16 0 210468 0
vsize: 841936
[startup+1220.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 119474 55 0 0 25 0 11 0 489672943 862142464 28814 4294967295 134512640 134569956 3221224400 3221214680 1131715678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28814 13073 16 0 210468 0
vsize: 841936
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4610
Raw data (stat): 4600 (java) R 4599 25347 25346 0 -1 0 18065 0 1 0 120467 55 0 0 25 0 11 0 489672943 862142464 28840 4294967295 134512640 134569956 3221224400 3221214584 1131621388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 28840 13073 16 0 210468 0
vsize: 841936
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.32 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 4612
Raw data (stat): 4600 (java) Z 4599 25347 25346 0 -1 1036 18065 8247 1 0 120473 55 2207 25 25 0 1 0 489672943 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): 1230.32
CPU time (s): 1227.61
CPU user time (s): 1226.8
CPU system time (s): 0.805877
CPU usage (%): 99.7799
Max. virtual memory (Kb): 847056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####