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-fpga13_12_sat_pb.cnf.cr.opb
MD5SUM	b895465c3a135658947941250991e4de
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	14
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.100984
Number of variables	234
Total number of constraints	193
Number of constraints which are clauses	168
Number of constraints which are cardinality constraints (but not clauses)	25
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	13
Trace number 4203

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        874572 kB
Buffers:         39492 kB
Cached:          95828 kB
SwapCached:          0 kB
Active:         101828 kB
Inactive:        37128 kB
HighTotal:      131008 kB
HighFree:        41664 kB
LowTotal:       903652 kB
LowFree:        832908 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           8436 kB
Slab:            15300 kB
Committed_AS:    96664 kB
PageTables:        388 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:13:33 (client local time) WITH STATUS 143 IN  SECONDS
stats: 288 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-fpga13_12_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=234]
c [nbconstr=193]
c time 0.806
c #vars     234
c #clauses  193
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.54 0.15 0.08 1/59 12704
Raw data (stat): 12704 (runsolver) D 12703 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 362102181 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.91 0.25 0.11 4/69 12716
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 9506 0 1 0 598 24 0 0 25 0 11 0 362102181 919068672 24752 4294967295 134512640 134569956 3221224400 3221214292 1076461217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 224382 24753 13073 16 0 224366 0
vsize: 897528
[startup+20.1131 s]
Raw data (loadavg): 1.23 0.34 0.14 4/69 12719
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18227 0 1 0 1083 43 0 0 25 0 11 0 362102181 920440832 34301 4294967295 134512640 134569956 3221224400 3221214700 1130891096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 224717 34301 13073 16 0 224701 0
vsize: 898868
[startup+30.1139 s]
Raw data (loadavg): 1.43 0.41 0.17 2/69 12721
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18232 0 1 0 1748 43 0 0 25 0 11 0 362102181 917127168 34462 4294967295 134512640 134569956 3221224400 3221214260 1078020060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223908 34462 13073 16 0 223892 0
vsize: 895632
[startup+40.1135 s]
Raw data (loadavg): 1.36 0.43 0.18 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18232 0 1 0 2703 44 0 0 25 0 11 0 362102181 915947520 34840 4294967295 134512640 134569956 3221224400 3221214632 1131715152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 223620 34840 13073 16 0 223604 0
vsize: 894480
[startup+50.1134 s]
Raw data (loadavg): 1.30 0.45 0.18 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18232 0 1 0 3645 44 0 0 25 0 11 0 362102181 915947520 35462 4294967295 134512640 134569956 3221224400 3221214808 1131210099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 35462 13073 16 0 223604 0
vsize: 894480
[startup+60.1141 s]
Raw data (loadavg): 1.26 0.46 0.19 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 4586 44 0 0 24 0 11 0 362102181 915947520 35734 4294967295 134512640 134569956 3221224400 3221214552 1131420211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 35734 13073 16 0 223604 0
vsize: 894480
[startup+70.1148 s]
Raw data (loadavg): 1.22 0.48 0.20 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 5546 44 0 0 25 0 11 0 362102181 915947520 35930 4294967295 134512640 134569956 3221224400 3221214632 1131717164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 35930 13073 16 0 223604 0
vsize: 894480
[startup+80.1156 s]
Raw data (loadavg): 1.18 0.50 0.21 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 6486 44 0 0 25 0 11 0 362102181 915947520 36123 4294967295 134512640 134569956 3221224400 3221214632 1131710198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 36123 13073 16 0 223604 0
vsize: 894480
[startup+90.1154 s]
Raw data (loadavg): 1.15 0.51 0.22 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 7434 44 0 0 25 0 11 0 362102181 915947520 36323 4294967295 134512640 134569956 3221224400 3221214184 1131651516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 36323 13073 16 0 223604 0
vsize: 894480
[startup+100.116 s]
Raw data (loadavg): 1.13 0.53 0.22 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 8394 44 0 0 25 0 11 0 362102181 915947520 36443 4294967295 134512640 134569956 3221224400 3221214688 1131255172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 36443 13073 16 0 223604 0
vsize: 894480
[startup+110.117 s]
Raw data (loadavg): 1.11 0.54 0.23 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 9344 45 0 0 25 0 11 0 362102181 915947520 36594 4294967295 134512640 134569956 3221224400 3221214264 1131643417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 36594 13073 16 0 223604 0
vsize: 894480
[startup+120.117 s]
Raw data (loadavg): 1.09 0.56 0.24 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 10304 45 0 0 25 0 11 0 362102181 915947520 36723 4294967295 134512640 134569956 3221224400 3221214548 1131702592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 36723 13073 16 0 223604 0
vsize: 894480
[startup+130.117 s]
Raw data (loadavg): 1.08 0.57 0.25 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 11274 45 0 0 25 0 11 0 362102181 915947520 36852 4294967295 134512640 134569956 3221224400 3221214856 1130916198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 36852 13073 16 0 223604 0
vsize: 894480
[startup+140.118 s]
Raw data (loadavg): 1.07 0.59 0.26 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 12225 45 0 0 25 0 11 0 362102181 915947520 36973 4294967295 134512640 134569956 3221224400 3221214664 1131709334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 36973 13073 16 0 223604 0
vsize: 894480
[startup+150.118 s]
Raw data (loadavg): 1.06 0.60 0.26 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 13177 45 0 0 25 0 11 0 362102181 915947520 37073 4294967295 134512640 134569956 3221224400 3221214752 1131289021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 37073 13073 16 0 223604 0
vsize: 894480
[startup+160.119 s]
Raw data (loadavg): 1.05 0.61 0.27 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 14138 45 0 0 25 0 11 0 362102181 915947520 37169 4294967295 134512640 134569956 3221224400 3221214752 1131283757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 37169 13073 16 0 223604 0
vsize: 894480
[startup+170.119 s]
Raw data (loadavg): 1.04 0.62 0.28 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 15118 46 0 0 25 0 11 0 362102181 915947520 37225 4294967295 134512640 134569956 3221224400 3221214376 1131643204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 37225 13073 16 0 223604 0
vsize: 894480
[startup+180.12 s]
Raw data (loadavg): 1.03 0.64 0.29 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 16088 46 0 0 25 0 11 0 362102181 915947520 37343 4294967295 134512640 134569956 3221224400 3221214752 1131285929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 37343 13073 16 0 223604 0
vsize: 894480
[startup+190.12 s]
Raw data (loadavg): 1.03 0.65 0.29 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 17058 46 0 0 25 0 11 0 362102181 915947520 37465 4294967295 134512640 134569956 3221224400 3221214328 1131651488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 37465 13073 16 0 223604 0
vsize: 894480
[startup+200.12 s]
Raw data (loadavg): 1.02 0.66 0.30 2/69 12722
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 18038 46 0 0 25 0 11 0 362102181 915947520 37526 4294967295 134512640 134569956 3221224400 3221214368 1131643216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 37526 13073 16 0 223604 0
vsize: 894480
[startup+210.121 s]
Raw data (loadavg): 1.10 0.69 0.31 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 19006 47 0 0 25 0 11 0 362102181 915947520 37694 4294967295 134512640 134569956 3221224400 3221214356 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 37694 13073 16 0 223604 0
vsize: 894480
[startup+220.122 s]
Raw data (loadavg): 1.08 0.70 0.32 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 19986 47 0 0 25 0 11 0 362102181 915947520 37773 4294967295 134512640 134569956 3221224400 3221214500 1131651531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 37773 13073 16 0 223604 0
vsize: 894480
[startup+230.122 s]
Raw data (loadavg): 1.07 0.71 0.32 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 20966 47 0 0 25 0 11 0 362102181 915947520 37856 4294967295 134512640 134569956 3221224400 3221214328 1131651512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 37856 13073 16 0 223604 0
vsize: 894480
[startup+240.122 s]
Raw data (loadavg): 1.06 0.71 0.33 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 21935 47 0 0 25 0 11 0 362102181 915947520 37916 4294967295 134512640 134569956 3221224400 3221214392 1131651530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 37916 13073 16 0 223604 0
vsize: 894480
[startup+250.122 s]
Raw data (loadavg): 1.05 0.72 0.34 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 22915 47 0 0 25 0 11 0 362102181 915947520 37979 4294967295 134512640 134569956 3221224400 3221214376 1131643204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 37979 13073 16 0 223604 0
vsize: 894480
[startup+260.122 s]
Raw data (loadavg): 1.04 0.73 0.35 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 23884 47 0 0 25 0 11 0 362102181 915947520 38072 4294967295 134512640 134569956 3221224400 3221214736 1131273699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38072 13073 16 0 223604 0
vsize: 894480
[startup+270.122 s]
Raw data (loadavg): 1.03 0.74 0.35 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 24865 47 0 0 25 0 11 0 362102181 915947520 38112 4294967295 134512640 134569956 3221224400 3221214752 1131283922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38112 13073 16 0 223604 0
vsize: 894480
[startup+280.122 s]
Raw data (loadavg): 1.03 0.75 0.36 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 25824 47 0 0 25 0 11 0 362102181 915947520 38215 4294967295 134512640 134569956 3221224400 3221214544 1131419842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38215 13073 16 0 223604 0
vsize: 894480
[startup+290.123 s]
Raw data (loadavg): 1.02 0.76 0.37 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 26805 47 0 0 25 0 11 0 362102181 915947520 38259 4294967295 134512640 134569956 3221224400 3221214440 1131717986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38259 13073 16 0 223604 0
vsize: 894480
[startup+300.123 s]
Raw data (loadavg): 1.02 0.76 0.37 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 27785 48 0 0 25 0 11 0 362102181 915947520 38299 4294967295 134512640 134569956 3221224400 3221214688 1131257185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38299 13073 16 0 223604 0
vsize: 894480
[startup+310.123 s]
Raw data (loadavg): 1.02 0.77 0.38 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 28755 48 0 0 25 0 11 0 362102181 915947520 38374 4294967295 134512640 134569956 3221224400 3221214440 1131708086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38374 13073 16 0 223604 0
vsize: 894480
[startup+320.124 s]
Raw data (loadavg): 1.01 0.78 0.38 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 29724 48 0 0 25 0 11 0 362102181 915947520 38503 4294967295 134512640 134569956 3221224400 3221214612 1131651536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38503 13073 16 0 223604 0
vsize: 894480
[startup+330.124 s]
Raw data (loadavg): 1.01 0.79 0.39 2/69 12724
Raw data (stat): 12704 (java) S 12703 12452 12451 0 -1 0 18233 0 1 0 30697 48 0 0 25 0 11 0 362102181 915947520 38561 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38561 13073 16 0 223604 0
vsize: 894480
[startup+340.124 s]
Raw data (loadavg): 1.01 0.79 0.39 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 31676 49 0 0 25 0 11 0 362102181 915947520 38669 4294967295 134512640 134569956 3221224400 3221214504 1131651597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38669 13073 16 0 223604 0
vsize: 894480
[startup+350.123 s]
Raw data (loadavg): 1.01 0.80 0.40 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 32657 49 0 0 25 0 11 0 362102181 915947520 38736 4294967295 134512640 134569956 3221224400 3221214752 1131288234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38736 13073 16 0 223604 0
vsize: 894480
[startup+360.124 s]
Raw data (loadavg): 1.00 0.80 0.41 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 33630 49 0 0 25 0 11 0 362102181 915947520 38817 4294967295 134512640 134569956 3221224400 3221214504 1131651597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38817 13073 16 0 223604 0
vsize: 894480
[startup+370.124 s]
Raw data (loadavg): 1.00 0.81 0.41 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 34603 49 0 0 25 0 11 0 362102181 915947520 38906 4294967295 134512640 134569956 3221224400 3221214388 1131651536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38906 13073 16 0 223604 0
vsize: 894480
[startup+380.124 s]
Raw data (loadavg): 1.00 0.82 0.42 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 35585 49 0 0 25 0 11 0 362102181 915947520 38964 4294967295 134512640 134569956 3221224400 3221214552 1131713101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 38964 13073 16 0 223604 0
vsize: 894480
[startup+390.124 s]
Raw data (loadavg): 1.00 0.82 0.42 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 36567 49 0 0 25 0 11 0 362102181 915947520 39007 4294967295 134512640 134569956 3221224400 3221214376 1131643184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39007 13073 16 0 223604 0
vsize: 894480
[startup+400.125 s]
Raw data (loadavg): 1.00 0.83 0.43 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 37540 50 0 0 25 0 11 0 362102181 915947520 39070 4294967295 134512640 134569956 3221224400 3221214416 1085679366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39070 13073 16 0 223604 0
vsize: 894480
[startup+410.125 s]
Raw data (loadavg): 1.00 0.83 0.44 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 38514 50 0 0 25 0 11 0 362102181 915947520 39135 4294967295 134512640 134569956 3221224400 3221214752 1131285020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 223620 39135 13073 16 0 223604 0
vsize: 894480
[startup+420.125 s]
Raw data (loadavg): 1.00 0.84 0.44 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 39478 50 0 0 25 0 11 0 362102181 915947520 39238 4294967295 134512640 134569956 3221224400 3221214524 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39238 13073 16 0 223604 0
vsize: 894480
[startup+430.125 s]
Raw data (loadavg): 1.00 0.84 0.45 2/69 12724
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 40453 50 0 0 25 0 11 0 362102181 915947520 39344 4294967295 134512640 134569956 3221224400 3221214432 1131702615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39344 13073 16 0 223604 0
vsize: 894480
[startup+440.125 s]
Raw data (loadavg): 1.00 0.85 0.45 2/69 12777
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 41436 50 0 0 25 0 11 0 362102181 915947520 39392 4294967295 134512640 134569956 3221224400 3221214260 1131651360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39392 13073 16 0 223604 0
vsize: 894480
[startup+450.125 s]
Raw data (loadavg): 1.00 0.85 0.46 2/69 12777
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 42404 51 0 0 24 0 11 0 362102181 915947520 39494 4294967295 134512640 134569956 3221224400 3221214752 1131288169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39494 13073 16 0 223604 0
vsize: 894480
[startup+460.126 s]
Raw data (loadavg): 1.00 0.86 0.46 2/69 12777
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 43388 51 0 0 25 0 11 0 362102181 915947520 39539 4294967295 134512640 134569956 3221224400 3221214752 1131284001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39539 13073 16 0 223604 0
vsize: 894480
[startup+470.127 s]
Raw data (loadavg): 1.00 0.86 0.47 2/69 12777
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 44357 51 0 0 25 0 11 0 362102181 915947520 39626 4294967295 134512640 134569956 3221224400 3221214656 1131710124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39626 13073 16 0 223604 0
vsize: 894480
[startup+480.126 s]
Raw data (loadavg): 1.00 0.86 0.47 2/69 12777
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 45334 51 0 0 25 0 11 0 362102181 915947520 39680 4294967295 134512640 134569956 3221224400 3221214752 1131283922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39680 13073 16 0 223604 0
vsize: 894480
[startup+490.126 s]
Raw data (loadavg): 1.00 0.87 0.48 3/69 12777
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 46312 51 0 0 24 0 11 0 362102181 915947520 39774 4294967295 134512640 134569956 3221224400 3221214180 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39774 13073 16 0 223604 0
vsize: 894480
[startup+500.127 s]
Raw data (loadavg): 1.00 0.87 0.48 2/69 12779
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 47297 51 0 0 25 0 11 0 362102181 915947520 39813 4294967295 134512640 134569956 3221224400 3221214500 1131651536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39813 13073 16 0 223604 0
vsize: 894480
[startup+510.128 s]
Raw data (loadavg): 1.00 0.88 0.49 2/69 12783
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 48268 52 0 0 25 0 11 0 362102181 915947520 39882 4294967295 134512640 134569956 3221224400 3221214656 1131707822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39882 13073 16 0 223604 0
vsize: 894480
[startup+520.127 s]
Raw data (loadavg): 1.00 0.88 0.49 2/69 12784
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 49254 52 0 0 25 0 11 0 362102181 915947520 39926 4294967295 134512640 134569956 3221224400 3221214552 1131707801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39926 13073 16 0 223604 0
vsize: 894480
[startup+530.127 s]
Raw data (loadavg): 1.00 0.88 0.50 2/69 12784
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 50232 53 0 0 25 0 11 0 362102181 915947520 39972 4294967295 134512640 134569956 3221224400 3221214388 1131651536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 39972 13073 16 0 223604 0
vsize: 894480
[startup+540.127 s]
Raw data (loadavg): 1.00 0.89 0.50 2/69 12784
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 51211 53 0 0 25 0 11 0 362102181 915947520 40036 4294967295 134512640 134569956 3221224400 3221214264 1131643204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40036 13073 16 0 223604 0
vsize: 894480
[startup+550.127 s]
Raw data (loadavg): 1.00 0.89 0.51 2/69 12784
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 52189 53 0 0 25 0 11 0 362102181 915947520 40097 4294967295 134512640 134569956 3221224400 3221214144 1131643216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40097 13073 16 0 223604 0
vsize: 894480
[startup+560.127 s]
Raw data (loadavg): 1.00 0.89 0.51 2/69 12784
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 53168 53 0 0 25 0 11 0 362102181 915947520 40151 4294967295 134512640 134569956 3221224400 3221214432 1131702615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40151 13073 16 0 223604 0
vsize: 894480
[startup+570.128 s]
Raw data (loadavg): 1.00 0.89 0.52 2/69 12784
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 54154 53 0 0 25 0 11 0 362102181 915947520 40190 4294967295 134512640 134569956 3221224400 3221214688 1131570717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40190 13073 16 0 223604 0
vsize: 894480
[startup+580.128 s]
Raw data (loadavg): 1.00 0.90 0.52 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 55141 53 0 0 25 0 11 0 362102181 915947520 40229 4294967295 134512640 134569956 3221224400 3221214192 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40229 13073 16 0 223604 0
vsize: 894480
[startup+590.128 s]
Raw data (loadavg): 1.00 0.90 0.53 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 56127 53 0 0 24 0 11 0 362102181 915947520 40257 4294967295 134512640 134569956 3221224400 3221214616 1131651512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40257 13073 16 0 223604 0
vsize: 894480
[startup+600.127 s]
Raw data (loadavg): 1.00 0.90 0.53 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 57119 54 0 0 25 0 11 0 362102181 915947520 40275 4294967295 134512640 134569956 3221224400 3221214432 1131707828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40275 13073 16 0 223604 0
vsize: 894480
[startup+610.128 s]
Raw data (loadavg): 1.00 0.91 0.54 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 58104 54 0 0 25 0 11 0 362102181 915947520 40313 4294967295 134512640 134569956 3221224400 3221214240 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40313 13073 16 0 223604 0
vsize: 894480
[startup+620.128 s]
Raw data (loadavg): 1.00 0.91 0.54 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 59074 54 0 0 25 0 11 0 362102181 915947520 40389 4294967295 134512640 134569956 3221224400 3221214752 1131304678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40389 13073 16 0 223604 0
vsize: 894480
[startup+630.128 s]
Raw data (loadavg): 1.00 0.91 0.55 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 60050 54 0 0 25 0 11 0 362102181 915947520 40443 4294967295 134512640 134569956 3221224400 3221214264 1131642929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40443 13073 16 0 223604 0
vsize: 894480
[startup+640.129 s]
Raw data (loadavg): 1.07 0.93 0.56 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 61016 54 0 0 25 0 11 0 362102181 915947520 40513 4294967295 134512640 134569956 3221224400 3221214552 1131710004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40513 13073 16 0 223604 0
vsize: 894480
[startup+650.128 s]
Raw data (loadavg): 1.06 0.93 0.56 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 61999 54 0 0 25 0 11 0 362102181 915947520 40544 4294967295 134512640 134569956 3221224400 3221214552 1131709565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40544 13073 16 0 223604 0
vsize: 894480
[startup+660.129 s]
Raw data (loadavg): 1.05 0.93 0.56 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 62991 54 0 0 25 0 11 0 362102181 915947520 40556 4294967295 134512640 134569956 3221224400 3221214192 1085679337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40556 13073 16 0 223604 0
vsize: 894480
[startup+670.13 s]
Raw data (loadavg): 1.04 0.94 0.57 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 63964 55 0 0 25 0 11 0 362102181 915947520 40616 4294967295 134512640 134569956 3221224400 3221214100 1131651531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40616 13073 16 0 223604 0
vsize: 894480
[startup+680.13 s]
Raw data (loadavg): 1.04 0.94 0.57 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 64946 55 0 0 25 0 11 0 362102181 915947520 40647 4294967295 134512640 134569956 3221224400 3221214104 1131651500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 223620 40647 13073 16 0 223604 0
vsize: 894480
[startup+690.129 s]
Raw data (loadavg): 1.03 0.94 0.58 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 65927 55 0 0 25 0 11 0 362102181 915947520 40681 4294967295 134512640 134569956 3221224400 3221214752 1131703316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40681 13073 16 0 223604 0
vsize: 894480
[startup+700.13 s]
Raw data (loadavg): 1.02 0.94 0.58 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 66899 55 0 0 25 0 11 0 362102181 915947520 40720 4294967295 134512640 134569956 3221224400 3221214264 1131643154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40720 13073 16 0 223604 0
vsize: 894480
[startup+710.13 s]
Raw data (loadavg): 1.02 0.94 0.58 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 67869 55 0 0 25 0 11 0 362102181 915947520 40779 4294967295 134512640 134569956 3221224400 3221214664 1131711751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40779 13073 16 0 223604 0
vsize: 894480
[startup+720.13 s]
Raw data (loadavg): 1.02 0.94 0.59 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 68839 55 0 0 25 0 11 0 362102181 915947520 40859 4294967295 134512640 134569956 3221224400 3221214928 1131666905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40859 13073 16 0 223604 0
vsize: 894480
[startup+730.129 s]
Raw data (loadavg): 1.01 0.95 0.59 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 69820 55 0 0 25 0 11 0 362102181 915947520 40919 4294967295 134512640 134569956 3221224400 3221214664 1131713040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 40919 13073 16 0 223604 0
vsize: 894480
[startup+740.13 s]
Raw data (loadavg): 1.01 0.95 0.60 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 70792 55 0 0 25 0 11 0 362102181 915947520 41008 4294967295 134512640 134569956 3221224400 3221214392 1131651537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41008 13073 16 0 223604 0
vsize: 894480
[startup+750.13 s]
Raw data (loadavg): 1.01 0.95 0.60 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 71774 55 0 0 25 0 11 0 362102181 915947520 41061 4294967295 134512640 134569956 3221224400 3221214612 1131651536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41061 13073 16 0 223604 0
vsize: 894480
[startup+760.131 s]
Raw data (loadavg): 1.01 0.95 0.60 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 72757 56 0 0 25 0 11 0 362102181 915947520 41105 4294967295 134512640 134569956 3221224400 3221214260 1131702624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41105 13073 16 0 223604 0
vsize: 894480
[startup+770.131 s]
Raw data (loadavg): 1.01 0.95 0.61 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 73739 56 0 0 25 0 11 0 362102181 915947520 41145 4294967295 134512640 134569956 3221224400 3221214264 1131643132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41145 13073 16 0 223604 0
vsize: 894480
[startup+780.131 s]
Raw data (loadavg): 1.00 0.95 0.61 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 74722 56 0 0 25 0 11 0 362102181 915947520 41198 4294967295 134512640 134569956 3221224400 3221214280 1131651537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41198 13073 16 0 223604 0
vsize: 894480
[startup+790.131 s]
Raw data (loadavg): 1.00 0.95 0.61 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 75704 56 0 0 25 0 11 0 362102181 915947520 41243 4294967295 134512640 134569956 3221224400 3221214388 1131651536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41243 13073 16 0 223604 0
vsize: 894480
[startup+800.131 s]
Raw data (loadavg): 1.00 0.95 0.62 2/69 12785
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 76678 56 0 0 25 0 11 0 362102181 915947520 41320 4294967295 134512640 134569956 3221224400 3221214752 1131286757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41320 13073 16 0 223604 0
vsize: 894480
[startup+810.132 s]
Raw data (loadavg): 1.00 0.95 0.62 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 77660 56 0 0 25 0 11 0 362102181 915947520 41376 4294967295 134512640 134569956 3221224400 3221214264 1131643011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41376 13073 16 0 223604 0
vsize: 894480
[startup+820.132 s]
Raw data (loadavg): 1.00 0.95 0.63 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 78651 56 0 0 25 0 11 0 362102181 915947520 41397 4294967295 134512640 134569956 3221224400 3221214544 1131707828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41397 13073 16 0 223604 0
vsize: 894480
[startup+830.131 s]
Raw data (loadavg): 1.00 0.95 0.63 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 79634 57 0 0 25 0 11 0 362102181 915947520 41445 4294967295 134512640 134569956 3221224400 3221214280 1131651594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41445 13073 16 0 223604 0
vsize: 894480
[startup+840.131 s]
Raw data (loadavg): 1.00 0.96 0.63 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 80616 57 0 0 25 0 11 0 362102181 915947520 41500 4294967295 134512640 134569956 3221224400 3221214528 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41500 13073 16 0 223604 0
vsize: 894480
[startup+850.131 s]
Raw data (loadavg): 1.00 0.96 0.64 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 81590 57 0 0 25 0 11 0 362102181 915947520 41566 4294967295 134512640 134569956 3221224400 3221214304 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41566 13073 16 0 223604 0
vsize: 894480
[startup+860.131 s]
Raw data (loadavg): 1.00 0.96 0.64 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 82574 57 0 0 25 0 11 0 362102181 915947520 41605 4294967295 134512640 134569956 3221224400 3221214128 1085679366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41605 13073 16 0 223604 0
vsize: 894480
[startup+870.131 s]
Raw data (loadavg): 1.00 0.96 0.64 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 83565 57 0 0 25 0 11 0 362102181 915947520 41624 4294967295 134512640 134569956 3221224400 3221214752 1131283922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41624 13073 16 0 223604 0
vsize: 894480
[startup+880.131 s]
Raw data (loadavg): 1.00 0.96 0.65 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 84547 57 0 0 25 0 11 0 362102181 915947520 41668 4294967295 134512640 134569956 3221224400 3221214972 1131130867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41668 13073 16 0 223604 0
vsize: 894480
[startup+890.132 s]
Raw data (loadavg): 1.00 0.96 0.65 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 85530 57 0 0 25 0 11 0 362102181 915947520 41713 4294967295 134512640 134569956 3221224400 3221214504 1131651537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41713 13073 16 0 223604 0
vsize: 894480
[startup+900.131 s]
Raw data (loadavg): 1.00 0.96 0.65 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 86521 57 0 0 25 0 11 0 362102181 915947520 41725 4294967295 134512640 134569956 3221224400 3221214264 1131643056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41725 13073 16 0 223604 0
vsize: 894480
[startup+910.132 s]
Raw data (loadavg): 1.00 0.96 0.66 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 87504 58 0 0 25 0 11 0 362102181 915947520 41758 4294967295 134512640 134569956 3221224400 3221214616 1131651460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 223620 41758 13073 16 0 223604 0
vsize: 894480
[startup+920.133 s]
Raw data (loadavg): 1.00 0.96 0.66 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 88486 58 0 0 25 0 11 0 362102181 915947520 41787 4294967295 134512640 134569956 3221224400 3221214264 1131643247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41787 13073 16 0 223604 0
vsize: 894480
[startup+930.133 s]
Raw data (loadavg): 1.00 0.96 0.66 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 89477 58 0 0 25 0 11 0 362102181 915947520 41812 4294967295 134512640 134569956 3221224400 3221214328 1131711224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41812 13073 16 0 223604 0
vsize: 894480
[startup+940.133 s]
Raw data (loadavg): 1.00 0.97 0.66 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 90460 58 0 0 25 0 11 0 362102181 915947520 41858 4294967295 134512640 134569956 3221224400 3221214552 1131718224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41858 13073 16 0 223604 0
vsize: 894480
[startup+950.133 s]
Raw data (loadavg): 1.00 0.97 0.67 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 91442 58 0 0 25 0 11 0 362102181 915947520 41912 4294967295 134512640 134569956 3221224400 3221214440 1131709828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41912 13073 16 0 223604 0
vsize: 894480
[startup+960.134 s]
Raw data (loadavg): 1.00 0.97 0.67 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 92426 58 0 0 25 0 11 0 362102181 915947520 41968 4294967295 134512640 134569956 3221224400 3221214504 1131651537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41968 13073 16 0 223604 0
vsize: 894480
[startup+970.134 s]
Raw data (loadavg): 1.00 0.97 0.67 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 93418 58 0 0 25 0 11 0 362102181 915947520 41991 4294967295 134512640 134569956 3221224400 3221214616 1131651550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 41991 13073 16 0 223604 0
vsize: 894480
[startup+980.134 s]
Raw data (loadavg): 1.00 0.97 0.68 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 94402 58 0 0 25 0 11 0 362102181 915947520 42059 4294967295 134512640 134569956 3221224400 3221214544 1131708376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42059 13073 16 0 223604 0
vsize: 894480
[startup+990.133 s]
Raw data (loadavg): 1.00 0.97 0.68 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 95386 58 0 0 25 0 11 0 362102181 915947520 42110 4294967295 134512640 134569956 3221224400 3221214104 1131714705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42110 13073 16 0 223604 0
vsize: 894480
[startup+1000.13 s]
Raw data (loadavg): 1.00 0.97 0.68 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 96371 59 0 0 25 0 11 0 362102181 915947520 42160 4294967295 134512640 134569956 3221224400 3221214616 1131651500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42160 13073 16 0 223604 0
vsize: 894480
[startup+1010.13 s]
Raw data (loadavg): 1.00 0.97 0.68 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 97363 59 0 0 25 0 11 0 362102181 915947520 42169 4294967295 134512640 134569956 3221224400 3221214264 1131643191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42169 13073 16 0 223604 0
vsize: 894480
[startup+1020.13 s]
Raw data (loadavg): 1.00 0.97 0.69 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 98348 59 0 0 25 0 11 0 362102181 915947520 42211 4294967295 134512640 134569956 3221224400 3221214664 1131707808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42211 13073 16 0 223604 0
vsize: 894480
[startup+1030.13 s]
Raw data (loadavg): 1.00 0.97 0.69 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 99333 59 0 0 25 0 11 0 362102181 915947520 42251 4294967295 134512640 134569956 3221224400 3221214928 1131666908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42251 13073 16 0 223604 0
vsize: 894480
[startup+1040.13 s]
Raw data (loadavg): 1.00 0.97 0.69 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 100325 59 0 0 25 0 11 0 362102181 915947520 42275 4294967295 134512640 134569956 3221224400 3221214552 1131707611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 223620 42275 13073 16 0 223604 0
vsize: 894480
[startup+1050.13 s]
Raw data (loadavg): 1.00 0.97 0.70 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 101311 59 0 0 25 0 11 0 362102181 915947520 42315 4294967295 134512640 134569956 3221224400 3221214376 1131643132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42315 13073 16 0 223604 0
vsize: 894480
[startup+1060.14 s]
Raw data (loadavg): 1.00 0.97 0.70 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 102304 59 0 0 25 0 11 0 362102181 915947520 42343 4294967295 134512640 134569956 3221224400 3221214080 1085679452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42343 13073 16 0 223604 0
vsize: 894480
[startup+1070.14 s]
Raw data (loadavg): 1.00 0.97 0.70 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 103290 60 0 0 25 0 11 0 362102181 915947520 42382 4294967295 134512640 134569956 3221224400 3221214360 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42382 13073 16 0 223604 0
vsize: 894480
[startup+1080.14 s]
Raw data (loadavg): 1.00 0.97 0.71 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 104275 60 0 0 25 0 11 0 362102181 915947520 42429 4294967295 134512640 134569956 3221224400 3221214192 1085679452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42429 13073 16 0 223604 0
vsize: 894480
[startup+1090.14 s]
Raw data (loadavg): 1.00 0.97 0.71 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 105268 60 0 0 25 0 11 0 362102181 915947520 42447 4294967295 134512640 134569956 3221224400 3221214276 1131651531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42447 13073 16 0 223604 0
vsize: 894480
[startup+1100.13 s]
Raw data (loadavg): 1.00 0.97 0.71 2/69 12787
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 106260 60 0 0 25 0 11 0 362102181 915947520 42465 4294967295 134512640 134569956 3221224400 3221214664 1131713040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42465 13073 16 0 223604 0
vsize: 894480
[startup+1110.14 s]
Raw data (loadavg): 1.00 0.97 0.71 2/69 12789
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 107237 60 0 0 25 0 11 0 362102181 915947520 42518 4294967295 134512640 134569956 3221224400 3221214416 1085679452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42518 13073 16 0 223604 0
vsize: 894480
[startup+1120.14 s]
Raw data (loadavg): 1.00 0.97 0.72 2/69 12789
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 108221 60 0 0 25 0 11 0 362102181 915947520 42547 4294967295 134512640 134569956 3221224400 3221214440 1131708040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42547 13073 16 0 223604 0
vsize: 894480
[startup+1130.14 s]
Raw data (loadavg): 1.00 0.97 0.72 2/69 12789
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 109197 61 0 0 25 0 11 0 362102181 915947520 42608 4294967295 134512640 134569956 3221224400 3221214660 1131702604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42608 13073 16 0 223604 0
vsize: 894480
[startup+1140.14 s]
Raw data (loadavg): 1.00 0.97 0.72 2/69 12789
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 110180 61 0 0 25 0 11 0 362102181 915947520 42637 4294967295 134512640 134569956 3221224400 3221214436 1131702601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42637 13073 16 0 223604 0
vsize: 894480
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.97 0.73 2/69 12789
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 111163 61 0 0 25 0 11 0 362102181 915947520 42672 4294967295 134512640 134569956 3221224400 3221214752 1131703316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42672 13073 16 0 223604 0
vsize: 894480
[startup+1160.14 s]
Raw data (loadavg): 1.00 0.97 0.73 2/69 12789
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 112145 61 0 0 25 0 11 0 362102181 915947520 42710 4294967295 134512640 134569956 3221224400 3221214544 1131419769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42710 13073 16 0 223604 0
vsize: 894480
[startup+1170.14 s]
Raw data (loadavg): 1.00 0.97 0.73 2/69 12790
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 113136 61 0 0 25 0 11 0 362102181 915947520 42727 4294967295 134512640 134569956 3221224400 3221214784 1131536249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42727 13073 16 0 223604 0
vsize: 894480
[startup+1180.14 s]
Raw data (loadavg): 1.00 0.97 0.73 2/69 12790
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 114118 61 0 0 25 0 11 0 362102181 915947520 42758 4294967295 134512640 134569956 3221224400 3221214616 1131651537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42758 13073 16 0 223604 0
vsize: 894480
[startup+1190.14 s]
Raw data (loadavg): 1.00 0.97 0.73 2/69 12790
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 115100 61 0 0 25 0 11 0 362102181 915947520 42787 4294967295 134512640 134569956 3221224400 3221214192 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42787 13073 16 0 223604 0
vsize: 894480
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.97 0.74 2/69 12790
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 116082 61 0 0 25 0 11 0 362102181 915947520 42824 4294967295 134512640 134569956 3221224400 3221214216 1131651537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42824 13073 16 0 223604 0
vsize: 894480
[startup+1210.14 s]
Raw data (loadavg): 1.00 0.97 0.74 2/69 12790
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 117072 62 0 0 25 0 11 0 362102181 915947520 42840 4294967295 134512640 134569956 3221224400 3221214440 1131714768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42840 13073 16 0 223604 0
vsize: 894480
[startup+1220.14 s]
Raw data (loadavg): 1.00 0.97 0.74 2/69 12791
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 118053 62 0 0 25 0 11 0 362102181 915947520 42868 4294967295 134512640 134569956 3221224400 3221214752 1131289132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42868 13073 16 0 223604 0
vsize: 894480
[startup+1230.14 s]
Raw data (loadavg): 1.00 0.97 0.74 2/69 12791
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 119025 62 0 0 25 0 11 0 362102181 915947520 42938 4294967295 134512640 134569956 3221224400 3221214656 1131708367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 42938 13073 16 0 223604 0
vsize: 894480
[startup+1240.14 s]
Raw data (loadavg): 1.00 0.97 0.74 2/69 12792
Raw data (stat): 12704 (java) R 12703 12452 12451 0 -1 0 18233 0 1 0 119996 62 0 0 25 0 11 0 362102181 915947520 43018 4294967295 134512640 134569956 3221224400 3221214552 1131709948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 223620 43018 13073 16 0 223604 0
vsize: 894480
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.29 s]
Raw data (loadavg): 1.00 0.97 0.74 1/59 12794
Raw data (stat): 12704 (java) Z 12703 12452 12451 0 -1 1036 18233 45483 1 1 120002 71 6530 110 25 0 1 0 362102181 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.29
CPU time (s): 1267.16
CPU user time (s): 1265.33
CPU system time (s): 1.82672
CPU usage (%): 102.166
Max. virtual memory (Kb): 898868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####