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/submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
MD5SUM	022f43a9cfc62e9c9c77f51c14f8e5bf
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.88771
Number of variables	1838
Total number of constraints	1330
Number of constraints which are clauses	1260
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 4223

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-13 15:53:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=459 boxname=wulflinc22 idbench=51 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  022f43a9cfc62e9c9c77f51c14f8e5bf  /oldhome/oroussel/tmp/wulflinc22/normalized-fpga35_35_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-fpga35_35_sat_pb.cnf.cr.opb
IDLAUNCH: 459
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        881328 kB
Buffers:         25792 kB
Cached:          84252 kB
SwapCached:        524 kB
Active:          25724 kB
Inactive:        87660 kB
HighTotal:      131008 kB
HighFree:        42616 kB
LowTotal:       903652 kB
LowFree:        838712 kB
SwapTotal:     2097892 kB
SwapFree:      2097368 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            34320 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:14:35 (client local time) WITH STATUS 143 IN  SECONDS
stats: 459 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-fpga35_35_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=1838]
c [nbconstr=1330]
c time 4.021
c #vars     1838
c #clauses  1330
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.96 0.31 0.10 2/54 26444
Raw data (stat): 26444 (runsolver) R 26443 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477180611 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.13 0.36 0.12 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18144 0 1 0 691 46 0 0 25 0 11 0 477180611 865611776 22003 4294967295 134512640 134569956 3221224400 3221214848 1131292192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211331 22003 13073 16 0 211315 0
vsize: 845324
[startup+20.0017 s]
Raw data (loadavg): 1.19 0.40 0.14 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18145 0 1 0 1618 46 0 0 25 0 11 0 477180611 866852864 23109 4294967295 134512640 134569956 3221224400 3221214800 1131411460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211634 23109 13073 16 0 211618 0
vsize: 846536
[startup+30.0024 s]
Raw data (loadavg): 1.16 0.42 0.15 2/64 26454
Raw data (stat): 26444 (java) S 26443 26298 26297 0 -1 0 18146 0 1 0 2533 46 0 0 25 0 11 0 477180611 865640448 23160 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211338 23160 13073 16 0 211322 0
vsize: 845352
[startup+40.0026 s]
Raw data (loadavg): 1.13 0.44 0.16 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 3451 46 0 0 25 0 11 0 477180611 865312768 23405 4294967295 134512640 134569956 3221224400 3221214592 1131301779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 23405 13073 16 0 211242 0
vsize: 845032
[startup+50.0037 s]
Raw data (loadavg): 1.11 0.45 0.16 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 4371 46 0 0 25 0 11 0 477180611 865312768 23658 4294967295 134512640 134569956 3221224400 3221214656 1131220241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 23658 13073 16 0 211242 0
vsize: 845032
[startup+60.0047 s]
Raw data (loadavg): 1.10 0.47 0.17 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 5305 46 0 0 25 0 11 0 477180611 865312768 23959 4294967295 134512640 134569956 3221224400 3221214704 1131391242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 23959 13073 16 0 211242 0
vsize: 845032
[startup+70.0047 s]
Raw data (loadavg): 1.08 0.49 0.18 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 6268 47 0 0 25 0 11 0 477180611 865312768 24206 4294967295 134512640 134569956 3221224400 3221214800 1131410765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 24206 13073 16 0 211242 0
vsize: 845032
[startup+80.0058 s]
Raw data (loadavg): 1.07 0.50 0.19 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 7228 47 0 0 25 0 11 0 477180611 865312768 24315 4294967295 134512640 134569956 3221224400 3221214712 1131295987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 24315 13073 16 0 211242 0
vsize: 845032
[startup+90.0065 s]
Raw data (loadavg): 1.06 0.52 0.20 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 8161 47 0 0 25 0 11 0 477180611 865312768 24356 4294967295 134512640 134569956 3221224400 3221214712 1131296102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 24356 13073 16 0 211242 0
vsize: 845032
[startup+100.007 s]
Raw data (loadavg): 1.05 0.54 0.21 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 9065 48 0 0 25 0 11 0 477180611 865312768 24414 4294967295 134512640 134569956 3221224400 3221214736 1131384997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 24414 13073 16 0 211242 0
vsize: 845032
[startup+110.008 s]
Raw data (loadavg): 1.04 0.55 0.21 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 9975 48 0 0 25 0 11 0 477180611 865312768 24695 4294967295 134512640 134569956 3221224400 3221214796 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 24695 13073 16 0 211242 0
vsize: 845032
[startup+120.009 s]
Raw data (loadavg): 1.03 0.57 0.22 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 10901 48 0 0 25 0 11 0 477180611 865312768 25124 4294967295 134512640 134569956 3221224400 3221214680 1131278825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 25124 13073 16 0 211242 0
vsize: 845032
[startup+130.009 s]
Raw data (loadavg): 1.03 0.58 0.23 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 11856 49 0 0 25 0 11 0 477180611 865312768 25332 4294967295 134512640 134569956 3221224400 3221214704 1131393415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 25332 13073 16 0 211242 0
vsize: 845032
[startup+140.01 s]
Raw data (loadavg): 1.02 0.59 0.24 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 12793 49 0 0 25 0 11 0 477180611 865312768 25411 4294967295 134512640 134569956 3221224400 3221214704 1131393479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 25411 13073 16 0 211242 0
vsize: 845032
[startup+150.01 s]
Raw data (loadavg): 1.02 0.61 0.24 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 13706 50 0 0 25 0 11 0 477180611 865312768 25512 4294967295 134512640 134569956 3221224400 3221214680 1131278446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 25512 13073 16 0 211242 0
vsize: 845032
[startup+160.011 s]
Raw data (loadavg): 1.02 0.62 0.25 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 14613 50 0 0 25 0 11 0 477180611 865312768 25735 4294967295 134512640 134569956 3221224400 3221214528 1131361089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 25735 13073 16 0 211242 0
vsize: 845032
[startup+170.011 s]
Raw data (loadavg): 1.01 0.63 0.26 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 15556 50 0 0 25 0 11 0 477180611 865312768 26040 4294967295 134512640 134569956 3221224400 3221214800 1131411508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 26040 13073 16 0 211242 0
vsize: 845032
[startup+180.012 s]
Raw data (loadavg): 1.01 0.64 0.27 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 16461 50 0 0 25 0 11 0 477180611 865312768 26340 4294967295 134512640 134569956 3221224400 3221214704 1131392450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 26340 13073 16 0 211242 0
vsize: 845032
[startup+190.012 s]
Raw data (loadavg): 1.01 0.65 0.28 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 17363 50 0 0 25 0 11 0 477180611 865312768 26520 4294967295 134512640 134569956 3221224400 3221214624 1131469216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 26520 13073 16 0 211242 0
vsize: 845032
[startup+200.012 s]
Raw data (loadavg): 1.01 0.66 0.28 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 18283 51 0 0 25 0 11 0 477180611 865312768 26917 4294967295 134512640 134569956 3221224400 3221214840 1131292623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 26917 13073 16 0 211242 0
vsize: 845032
[startup+210.012 s]
Raw data (loadavg): 1.00 0.67 0.29 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 19224 51 0 0 25 0 11 0 477180611 865312768 27227 4294967295 134512640 134569956 3221224400 3221214800 1131410719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 27227 13073 16 0 211242 0
vsize: 845032
[startup+220.013 s]
Raw data (loadavg): 1.00 0.68 0.30 2/64 26454
Raw data (stat): 26444 (java) S 26443 26298 26297 0 -1 0 18147 0 1 0 20165 51 0 0 25 0 11 0 477180611 865312768 27307 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 27307 13073 16 0 211242 0
vsize: 845032
[startup+230.013 s]
Raw data (loadavg): 1.00 0.69 0.30 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 21075 51 0 0 25 0 11 0 477180611 865312768 27520 4294967295 134512640 134569956 3221224400 3221214840 1131292471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 27520 13073 16 0 211242 0
vsize: 845032
[startup+240.014 s]
Raw data (loadavg): 1.00 0.70 0.31 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 21994 52 0 0 25 0 11 0 477180611 865312768 27971 4294967295 134512640 134569956 3221224400 3221214680 1131278868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 27971 13073 16 0 211242 0
vsize: 845032
[startup+250.014 s]
Raw data (loadavg): 1.00 0.71 0.32 3/64 26454
Raw data (stat): 26444 (java) S 26443 26298 26297 0 -1 0 18147 0 1 0 22934 52 0 0 25 0 11 0 477180611 865312768 28238 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 28238 13073 16 0 211242 0
vsize: 845032
[startup+260.015 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 23899 52 0 0 25 0 11 0 477180611 865312768 28370 4294967295 134512640 134569956 3221224400 3221214624 1131485075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 28370 13073 16 0 211242 0
vsize: 845032
[startup+270.015 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 24851 52 0 0 24 0 11 0 477180611 865312768 28481 4294967295 134512640 134569956 3221224400 3221214776 1131335765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 28481 13073 16 0 211242 0
vsize: 845032
[startup+280.015 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 25765 53 0 0 25 0 11 0 477180611 865312768 28676 4294967295 134512640 134569956 3221224400 3221214776 1131337712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 28676 13073 16 0 211242 0
vsize: 845032
[startup+290.016 s]
Raw data (loadavg): 1.00 0.75 0.34 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 26676 53 0 0 25 0 11 0 477180611 865312768 28925 4294967295 134512640 134569956 3221224400 3221214680 1131279219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 28925 13073 16 0 211242 0
vsize: 845032
[startup+300.017 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 27591 53 0 0 24 0 11 0 477180611 865312768 29321 4294967295 134512640 134569956 3221224400 3221214840 1131541201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 29321 13073 16 0 211242 0
vsize: 845032
[startup+310.017 s]
Raw data (loadavg): 1.00 0.76 0.36 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 28546 54 0 0 25 0 11 0 477180611 865312768 29393 4294967295 134512640 134569956 3221224400 3221214704 1131391815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 29393 13073 16 0 211242 0
vsize: 845032
[startup+320.018 s]
Raw data (loadavg): 1.00 0.77 0.36 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 29477 54 0 0 25 0 11 0 477180611 865312768 29551 4294967295 134512640 134569956 3221224400 3221214656 1131332653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 29551 13073 16 0 211242 0
vsize: 845032
[startup+330.017 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 30421 54 0 0 25 0 11 0 477180611 865312768 29661 4294967295 134512640 134569956 3221224400 3221214680 1131501687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 29661 13073 16 0 211242 0
vsize: 845032
[startup+340.018 s]
Raw data (loadavg): 1.00 0.78 0.38 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 31379 55 0 0 25 0 11 0 477180611 865312768 29798 4294967295 134512640 134569956 3221224400 3221214680 1131500003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 29798 13073 16 0 211242 0
vsize: 845032
[startup+350.019 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 32337 55 0 0 25 0 11 0 477180611 865312768 29941 4294967295 134512640 134569956 3221224400 3221214680 1131500081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 29941 13073 16 0 211242 0
vsize: 845032
[startup+360.02 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 26454
Raw data (stat): 26444 (java) S 26443 26298 26297 0 -1 0 18148 0 1 0 33305 55 0 0 25 0 11 0 477180611 865312768 30104 4294967295 134512640 134569956 3221224400 3221213344 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 30104 13073 16 0 211242 0
vsize: 845032
[startup+370.02 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 34280 55 0 0 25 0 11 0 477180611 865312768 30328 4294967295 134512640 134569956 3221224400 3221214680 1131278309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 30328 13073 16 0 211242 0
vsize: 845032
[startup+380.02 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 35250 55 0 0 25 0 11 0 477180611 865312768 30383 4294967295 134512640 134569956 3221224400 3221214568 1131622244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 30383 13073 16 0 211242 0
vsize: 845032
[startup+390.021 s]
Raw data (loadavg): 1.00 0.81 0.41 2/64 26454
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 36222 56 0 0 25 0 11 0 477180611 865312768 30449 4294967295 134512640 134569956 3221224400 3221214124 1131511120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 30449 13073 16 0 211242 0
vsize: 845032
[startup+400.02 s]
Raw data (loadavg): 1.07 0.84 0.42 2/64 26507
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 37173 66 0 0 25 0 11 0 477180611 865312768 30502 4294967295 134512640 134569956 3221224400 3221214800 1131412495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 30502 13073 16 0 211242 0
vsize: 845032
[startup+410.02 s]
Raw data (loadavg): 1.06 0.84 0.42 2/64 26507
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 38133 66 0 0 25 0 11 0 477180611 865312768 30546 4294967295 134512640 134569956 3221224400 3221214600 1131526485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 30546 13073 16 0 211242 0
vsize: 845032
[startup+420.021 s]
Raw data (loadavg): 1.05 0.85 0.43 2/64 26507
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 39075 66 0 0 25 0 11 0 477180611 865312768 30679 4294967295 134512640 134569956 3221224400 3221214656 1131332657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 30679 13073 16 0 211242 0
vsize: 845032
[startup+430.02 s]
Raw data (loadavg): 1.04 0.85 0.43 2/64 26507
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 40014 66 0 0 25 0 11 0 477180611 865312768 30929 4294967295 134512640 134569956 3221224400 3221214680 1131500026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 30929 13073 16 0 211242 0
vsize: 845032
[startup+440.021 s]
Raw data (loadavg): 1.04 0.86 0.44 2/64 26507
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 40965 66 0 0 25 0 11 0 477180611 865312768 31058 4294967295 134512640 134569956 3221224400 3221214568 1131622973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 31058 13073 16 0 211242 0
vsize: 845032
[startup+450.022 s]
Raw data (loadavg): 1.03 0.86 0.45 2/64 26507
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 41913 66 0 0 25 0 11 0 477180611 865312768 31130 4294967295 134512640 134569956 3221224400 3221213956 1085632316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 31130 13073 16 0 211242 0
vsize: 845032
[startup+460.021 s]
Raw data (loadavg): 1.02 0.86 0.45 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 42851 66 0 0 25 0 11 0 477180611 865312768 31250 4294967295 134512640 134569956 3221224400 3221214840 1131292486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 31250 13073 16 0 211242 0
vsize: 845032
[startup+470.021 s]
Raw data (loadavg): 1.02 0.87 0.46 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 43805 66 0 0 25 0 11 0 477180611 865312768 31480 4294967295 134512640 134569956 3221224400 3221214680 1131500041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 31480 13073 16 0 211242 0
vsize: 845032
[startup+480.021 s]
Raw data (loadavg): 1.02 0.87 0.46 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 44749 66 0 0 25 0 11 0 477180611 865312768 31759 4294967295 134512640 134569956 3221224400 3221214776 1131335669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 31759 13073 16 0 211242 0
vsize: 845032
[startup+490.021 s]
Raw data (loadavg): 1.01 0.88 0.47 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 45707 66 0 0 25 0 11 0 477180611 865312768 31880 4294967295 134512640 134569956 3221224400 3221214680 1131501679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 31880 13073 16 0 211242 0
vsize: 845032
[startup+500.021 s]
Raw data (loadavg): 1.01 0.88 0.47 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 46655 66 0 0 25 0 11 0 477180611 865312768 31968 4294967295 134512640 134569956 3221224400 3221214400 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 31968 13073 16 0 211242 0
vsize: 845032
[startup+510.021 s]
Raw data (loadavg): 1.01 0.88 0.48 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 47601 66 0 0 25 0 11 0 477180611 865312768 32098 4294967295 134512640 134569956 3221224400 3221214800 1131416256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 32098 13073 16 0 211242 0
vsize: 845032
[startup+520.021 s]
Raw data (loadavg): 1.01 0.89 0.48 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 48549 66 0 0 25 0 11 0 477180611 865312768 32255 4294967295 134512640 134569956 3221224400 3221214680 1131501799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 32255 13073 16 0 211242 0
vsize: 845032
[startup+530.021 s]
Raw data (loadavg): 1.01 0.89 0.49 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 49501 66 0 0 25 0 11 0 477180611 865312768 32352 4294967295 134512640 134569956 3221224400 3221214576 1131462563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 32352 13073 16 0 211242 0
vsize: 845032
[startup+540.022 s]
Raw data (loadavg): 1.00 0.89 0.49 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 50454 66 0 0 25 0 11 0 477180611 865312768 32578 4294967295 134512640 134569956 3221224400 3221214576 1131462696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 32578 13073 16 0 211242 0
vsize: 845032
[startup+550.022 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 51416 66 0 0 25 0 11 0 477180611 865312768 32775 4294967295 134512640 134569956 3221224400 3221214680 1131499996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 32775 13073 16 0 211242 0
vsize: 845032
[startup+560.022 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 52379 66 0 0 25 0 11 0 477180611 865312768 32852 4294967295 134512640 134569956 3221224400 3221214680 1131501676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 32852 13073 16 0 211242 0
vsize: 845032
[startup+570.022 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 53333 66 0 0 25 0 11 0 477180611 865312768 33023 4294967295 134512640 134569956 3221224400 3221214740 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 33023 13073 16 0 211242 0
vsize: 845032
[startup+580.021 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 54299 66 0 0 25 0 11 0 477180611 865312768 33136 4294967295 134512640 134569956 3221224400 3221214568 1131621422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 33136 13073 16 0 211242 0
vsize: 845032
[startup+590.022 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 55255 66 0 0 25 0 11 0 477180611 865312768 33223 4294967295 134512640 134569956 3221224400 3221214680 1131278485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 33223 13073 16 0 211242 0
vsize: 845032
[startup+600.022 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 56219 67 0 0 25 0 11 0 477180611 865312768 33344 4294967295 134512640 134569956 3221224400 3221214728 1131326445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 33344 13073 16 0 211242 0
vsize: 845032
[startup+610.021 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 57181 67 0 0 24 0 11 0 477180611 865312768 33443 4294967295 134512640 134569956 3221224400 3221214704 1131391684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 33443 13073 16 0 211242 0
vsize: 845032
[startup+620.021 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 58138 67 0 0 25 0 11 0 477180611 865312768 33518 4294967295 134512640 134569956 3221224400 3221214776 1131336536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 33518 13073 16 0 211242 0
vsize: 845032
[startup+630.021 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 59092 67 0 0 25 0 11 0 477180611 865312768 33655 4294967295 134512640 134569956 3221224400 3221214680 1131278759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 33655 13073 16 0 211242 0
vsize: 845032
[startup+640.022 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 60046 67 0 0 25 0 11 0 477180611 865312768 33734 4294967295 134512640 134569956 3221224400 3221214776 1131336595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 33734 13073 16 0 211242 0
vsize: 845032
[startup+650.021 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 61013 67 0 0 25 0 11 0 477180611 865312768 33835 4294967295 134512640 134569956 3221224400 3221214008 1131640984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 33835 13073 16 0 211242 0
vsize: 845032
[startup+660.021 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 61982 67 0 0 25 0 11 0 477180611 865312768 33915 4294967295 134512640 134569956 3221224400 3221214484 1131511120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 33915 13073 16 0 211242 0
vsize: 845032
[startup+670.022 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 62953 67 0 0 25 0 11 0 477180611 865312768 33951 4294967295 134512640 134569956 3221224400 3221214096 1131511121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 33951 13073 16 0 211242 0
vsize: 845032
[startup+680.021 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 63926 67 0 0 25 0 11 0 477180611 865312768 34130 4294967295 134512640 134569956 3221224400 3221214680 1131500067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34130 13073 16 0 211242 0
vsize: 845032
[startup+690.022 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 64901 67 0 0 25 0 11 0 477180611 865312768 34280 4294967295 134512640 134569956 3221224400 3221214568 1131621217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34280 13073 16 0 211242 0
vsize: 845032
[startup+700.023 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 65876 67 0 0 25 0 11 0 477180611 865312768 34435 4294967295 134512640 134569956 3221224400 3221214572 1131466739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34435 13073 16 0 211242 0
vsize: 845032
[startup+710.022 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 66853 67 0 0 25 0 11 0 477180611 865312768 34520 4294967295 134512640 134569956 3221224400 3221214800 1131412079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34520 13073 16 0 211242 0
vsize: 845032
[startup+720.023 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 67833 67 0 0 25 0 11 0 477180611 865312768 34561 4294967295 134512640 134569956 3221224400 3221214680 1131501781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34561 13073 16 0 211242 0
vsize: 845032
[startup+730.023 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 68811 67 0 0 25 0 11 0 477180611 865312768 34593 4294967295 134512640 134569956 3221224400 3221214736 1131385012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34593 13073 16 0 211242 0
vsize: 845032
[startup+740.023 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 69791 67 0 0 25 0 11 0 477180611 865312768 34680 4294967295 134512640 134569956 3221224400 3221214704 1131391381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34680 13073 16 0 211242 0
vsize: 845032
[startup+750.023 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 70777 67 0 0 25 0 11 0 477180611 865312768 34726 4294967295 134512640 134569956 3221224400 3221214528 1131361414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34726 13073 16 0 211242 0
vsize: 845032
[startup+760.023 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 26509
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 71759 67 0 0 25 0 11 0 477180611 865312768 34760 4294967295 134512640 134569956 3221224400 3221214704 1131391289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34760 13073 16 0 211242 0
vsize: 845032
[startup+770.024 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 72740 67 0 0 25 0 11 0 477180611 865312768 34789 4294967295 134512640 134569956 3221224400 3221214296 1131637758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34789 13073 16 0 211242 0
vsize: 845032
[startup+780.024 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 73722 67 0 0 25 0 11 0 477180611 865312768 34846 4294967295 134512640 134569956 3221224400 3221214680 1131501735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34846 13073 16 0 211242 0
vsize: 845032
[startup+790.024 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 74706 67 0 0 25 0 11 0 477180611 865312768 34871 4294967295 134512640 134569956 3221224400 3221214388 1085679264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34871 13073 16 0 211242 0
vsize: 845032
[startup+800.024 s]
Raw data (loadavg): 1.00 0.95 0.60 3/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 75686 67 0 0 25 0 11 0 477180611 865312768 34908 4294967295 134512640 134569956 3221224400 3221214776 1131337626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34908 13073 16 0 211242 0
vsize: 845032
[startup+810.024 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 76659 67 0 0 25 0 11 0 477180611 865312768 34960 4294967295 134512640 134569956 3221224400 3221214072 1131511096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 34960 13073 16 0 211242 0
vsize: 845032
[startup+820.024 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 77624 67 0 0 25 0 11 0 477180611 865312768 35027 4294967295 134512640 134569956 3221224400 3221214528 1131621214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35027 13073 16 0 211242 0
vsize: 845032
[startup+830.023 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 78599 67 0 0 25 0 11 0 477180611 865312768 35063 4294967295 134512640 134569956 3221224400 3221214536 1131462851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35063 13073 16 0 211242 0
vsize: 845032
[startup+840.024 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 79571 67 0 0 25 0 11 0 477180611 865312768 35109 4294967295 134512640 134569956 3221224400 3221214596 1131511120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35109 13073 16 0 211242 0
vsize: 845032
[startup+850.024 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 80557 67 0 0 25 0 11 0 477180611 865312768 35129 4294967295 134512640 134569956 3221224400 3221214600 1131510969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35129 13073 16 0 211242 0
vsize: 845032
[startup+860.024 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 81532 67 0 0 25 0 11 0 477180611 865312768 35177 4294967295 134512640 134569956 3221224400 3221214648 1131498730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35177 13073 16 0 211242 0
vsize: 845032
[startup+870.024 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 82516 68 0 0 25 0 11 0 477180611 865312768 35245 4294967295 134512640 134569956 3221224400 3221214720 1131336871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35245 13073 16 0 211242 0
vsize: 845032
[startup+880.024 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 83492 68 0 0 25 0 11 0 477180611 865312768 35318 4294967295 134512640 134569956 3221224400 3221214176 1085679379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35318 13073 16 0 211242 0
vsize: 845032
[startup+890.025 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 84476 68 0 0 25 0 11 0 477180611 865312768 35358 4294967295 134512640 134569956 3221224400 3221214640 1131501679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35358 13073 16 0 211242 0
vsize: 845032
[startup+900.025 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 85443 68 0 0 25 0 11 0 477180611 865312768 35443 4294967295 134512640 134569956 3221224400 3221214528 1131622170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35443 13073 16 0 211242 0
vsize: 845032
[startup+910.024 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 86408 68 0 0 25 0 11 0 477180611 865312768 35498 4294967295 134512640 134569956 3221224400 3221214640 1131501679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35498 13073 16 0 211242 0
vsize: 845032
[startup+920.024 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 87369 68 0 0 25 0 11 0 477180611 865312768 35566 4294967295 134512640 134569956 3221224400 3221214528 1131621318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35566 13073 16 0 211242 0
vsize: 845032
[startup+930.023 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 88329 68 0 0 25 0 11 0 477180611 865312768 35651 4294967295 134512640 134569956 3221224400 3221214616 1131332641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35651 13073 16 0 211242 0
vsize: 845032
[startup+940.024 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 89288 68 0 0 25 0 11 0 477180611 865312768 35758 4294967295 134512640 134569956 3221224400 3221214616 1131326385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35758 13073 16 0 211242 0
vsize: 845032
[startup+950.024 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 90244 68 0 0 25 0 11 0 477180611 865312768 35870 4294967295 134512640 134569956 3221224400 3221214528 1131622269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 35870 13073 16 0 211242 0
vsize: 845032
[startup+960.024 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 91203 68 0 0 25 0 11 0 477180611 865312768 36019 4294967295 134512640 134569956 3221224400 3221214640 1131501792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 36019 13073 16 0 211242 0
vsize: 845032
[startup+970.024 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 92162 68 0 0 25 0 11 0 477180611 865312768 36139 4294967295 134512640 134569956 3221224400 3221214632 1131363048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 36139 13073 16 0 211242 0
vsize: 845032
[startup+980.024 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 93120 68 0 0 25 0 11 0 477180611 865312768 36265 4294967295 134512640 134569956 3221224400 3221214640 1131501679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 36265 13073 16 0 211242 0
vsize: 845032
[startup+990.024 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 94067 68 0 0 25 0 11 0 477180611 865312768 36440 4294967295 134512640 134569956 3221224400 3221214560 1131620896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 36440 13073 16 0 211242 0
vsize: 845032
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 95025 68 0 0 25 0 11 0 477180611 865312768 36535 4294967295 134512640 134569956 3221224400 3221214672 1131501792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 36535 13073 16 0 211242 0
vsize: 845032
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 95974 68 0 0 25 0 11 0 477180611 865312768 36643 4294967295 134512640 134569956 3221224400 3221214072 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211258 36643 13073 16 0 211242 0
vsize: 845032
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 96925 68 0 0 25 0 11 0 477180611 865312768 36811 4294967295 134512640 134569956 3221224400 3221214680 1131498940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 36811 13073 16 0 211242 0
vsize: 845032
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 97874 68 0 0 25 0 11 0 477180611 865312768 36975 4294967295 134512640 134569956 3221224400 3221214696 1131393123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 36975 13073 16 0 211242 0
vsize: 845032
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 98830 69 0 0 25 0 11 0 477180611 865312768 37184 4294967295 134512640 134569956 3221224400 3221214792 1131413070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 37184 13073 16 0 211242 0
vsize: 845032
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 99799 69 0 0 25 0 11 0 477180611 865312768 37353 4294967295 134512640 134569956 3221224400 3221214520 1131361414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 37353 13073 16 0 211242 0
vsize: 845032
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 100784 69 0 0 25 0 11 0 477180611 865312768 37393 4294967295 134512640 134569956 3221224400 3221214564 1131361004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 37393 13073 16 0 211242 0
vsize: 845032
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 101755 69 0 0 25 0 11 0 477180611 865312768 37463 4294967295 134512640 134569956 3221224400 3221214800 1131329248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 37463 13073 16 0 211242 0
vsize: 845032
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 102737 70 0 0 25 0 11 0 477180611 865312768 37581 4294967295 134512640 134569956 3221224400 3221214672 1131501785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 37581 13073 16 0 211242 0
vsize: 845032
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 103710 70 0 0 25 0 11 0 477180611 865312768 37612 4294967295 134512640 134569956 3221224400 3221214560 1131621207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 37612 13073 16 0 211242 0
vsize: 845032
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 104687 71 0 0 25 0 11 0 477180611 865312768 37661 4294967295 134512640 134569956 3221224400 3221213960 1131511148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 37661 13073 16 0 211242 0
vsize: 845032
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 105659 71 0 0 25 0 11 0 477180611 865312768 37718 4294967295 134512640 134569956 3221224400 3221214696 1131392050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 37718 13073 16 0 211242 0
vsize: 845032
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 106625 71 0 0 25 0 11 0 477180611 865312768 37769 4294967295 134512640 134569956 3221224400 3221214560 1131621304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 37769 13073 16 0 211242 0
vsize: 845032
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 26511
Raw data (stat): 26444 (java) S 26443 26298 26297 0 -1 0 18148 0 1 0 107598 72 0 0 25 0 11 0 477180611 865312768 37854 4294967295 134512640 134569956 3221224400 3221213584 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 37854 13073 16 0 211242 0
vsize: 845032
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 108566 72 0 0 25 0 11 0 477180611 865312768 37999 4294967295 134512640 134569956 3221224400 3221214672 1131501702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 37999 13073 16 0 211242 0
vsize: 845032
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 109532 72 0 0 25 0 11 0 477180611 865312768 38085 4294967295 134512640 134569956 3221224400 3221214624 1131498730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38085 13073 16 0 211242 0
vsize: 845032
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 110506 72 0 0 25 0 11 0 477180611 865312768 38170 4294967295 134512640 134569956 3221224400 3221214672 1131501676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38170 13073 16 0 211242 0
vsize: 845032
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 111474 72 0 0 25 0 11 0 477180611 865312768 38252 4294967295 134512640 134569956 3221224400 3221214696 1131393154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38252 13073 16 0 211242 0
vsize: 845032
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 112452 72 0 0 25 0 11 0 477180611 865312768 38345 4294967295 134512640 134569956 3221224400 3221214616 1131469216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38345 13073 16 0 211242 0
vsize: 845032
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 113432 73 0 0 25 0 11 0 477180611 865312768 38383 4294967295 134512640 134569956 3221224400 3221214152 1131641003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38383 13073 16 0 211242 0
vsize: 845032
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 114401 73 0 0 25 0 11 0 477180611 865312768 38442 4294967295 134512640 134569956 3221224400 3221214376 1085679533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38442 13073 16 0 211242 0
vsize: 845032
[startup+1210.03 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 115375 73 0 0 25 0 11 0 477180611 865312768 38478 4294967295 134512640 134569956 3221224400 3221214792 1131411304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38478 13073 16 0 211242 0
vsize: 845032
[startup+1220.03 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 116349 74 0 0 25 0 11 0 477180611 865312768 38544 4294967295 134512640 134569956 3221224400 3221214440 1131637906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38544 13073 16 0 211242 0
vsize: 845032
[startup+1230.03 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 117322 74 0 0 25 0 11 0 477180611 865312768 38585 4294967295 134512640 134569956 3221224400 3221214560 1131621304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38585 13073 16 0 211242 0
vsize: 845032
[startup+1240.03 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 118287 74 0 0 25 0 11 0 477180611 865312768 38646 4294967295 134512640 134569956 3221224400 3221214560 1131620587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38646 13073 16 0 211242 0
vsize: 845032
[startup+1250.03 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 119245 74 0 0 25 0 11 0 477180611 865312768 38743 4294967295 134512640 134569956 3221224400 3221214644 1130885207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38743 13073 16 0 211242 0
vsize: 845032
[startup+1260.03 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 26511
Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 120215 75 0 0 25 0 11 0 477180611 865312768 38896 4294967295 134512640 134569956 3221224400 3221214648 1131220355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211258 38896 13073 16 0 211242 0
vsize: 845032
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.14 s]
Raw data (loadavg): 1.00 0.97 0.74 1/54 26513
Raw data (stat): 26444 (java) Z 26443 26298 26297 0 -1 1036 18148 26262 1 1 120217 83 6862 68 25 0 1 0 477180611 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): 1260.14
CPU time (s): 1272.32
CPU user time (s): 1270.8
CPU system time (s): 1.51877
CPU usage (%): 100.966
Max. virtual memory (Kb): 846536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####