Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb
MD5SUMf85d0079133f298b06c25764b03ff228
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50233
Optimality of the best value was proved NO
Number of terms in the objective function 8627
Biggest coefficient in the objective function 1859
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 4587852
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 1859
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4587852
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1182.3
Number of variables8627
Total number of constraints9452
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9452
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint461

Trace number 22331 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-22 02:56:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11683 boxname=wulflinc23 idbench=899 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f85d0079133f298b06c25764b03ff228  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-air06.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-air06.opb
IDLAUNCH: 11683
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        296784 kB
Buffers:         29024 kB
Cached:         684292 kB
SwapCached:        548 kB
Active:         129300 kB
Inactive:       586024 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        296532 kB
SwapTotal:     2097136 kB
SwapFree:      2095732 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            16872 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 03:17:27 (client local time) WITH STATUS 143 IN 1258.44 SECONDS
stats: 11683 7 1258.44 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-air06.opb
c reading problem 
c [nbvar=8627]
c [nbconstr=9452]
c time 31.507
c #vars     8627
c #clauses  1645
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.92 0.89 2/54 22134
Raw data (stat): 22134 (runsolver) R 22133 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550291153 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0025 s]
Raw data (loadavg): 0.94 0.94 0.89 2/63 22143
Raw data (stat): 22134 (java) S 22133 3260 3259 0 -1 0 17988 0 1 0 895 38 0 0 25 0 10 0 550291153 853692416 19199 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 19199 13073 16 0 208405 0
vsize: 833684
[startup+20.0027 s]
Raw data (loadavg): 0.95 0.94 0.89 2/63 22143
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 17989 0 1 0 1783 39 0 0 25 0 10 0 550291153 853594112 19660 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208397 19660 13073 16 0 208381 0
vsize: 833588
[startup+30.0108 s]
Raw data (loadavg): 1.04 0.96 0.90 3/63 22143
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18014 0 1 0 2541 39 0 0 25 0 10 0 550291153 871862272 24220 4294967295 134512640 134569956 3221224400 3221214896 1131164820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212857 24220 13073 16 0 212841 0
vsize: 851428
[startup+40.0113 s]
Raw data (loadavg): 1.03 0.96 0.90 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18082 0 1 0 3348 41 0 0 25 0 11 0 550291153 870084608 25989 4294967295 134512640 134569956 3221224400 3221214832 1131385799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212423 25989 13073 16 0 212407 0
vsize: 849692
[startup+50.0116 s]
Raw data (loadavg): 1.03 0.96 0.90 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18083 0 1 0 4289 41 0 0 25 0 11 0 550291153 870084608 26006 4294967295 134512640 134569956 3221224400 3221214688 1131537696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212423 26006 13073 16 0 212407 0
vsize: 849692
[startup+60.0115 s]
Raw data (loadavg): 1.02 0.96 0.90 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18083 0 1 0 5229 41 0 0 25 0 11 0 550291153 870084608 26033 4294967295 134512640 134569956 3221224400 3221214676 1131327648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212423 26033 13073 16 0 212407 0
vsize: 849692
[startup+70.0121 s]
Raw data (loadavg): 1.10 0.98 0.91 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18083 0 1 0 6167 41 0 0 25 0 11 0 550291153 870084608 26066 4294967295 134512640 134569956 3221224400 3221214720 1131385904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212423 26066 13073 16 0 212407 0
vsize: 849692
[startup+80.0124 s]
Raw data (loadavg): 1.08 0.98 0.91 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18083 0 1 0 7102 41 0 0 25 0 11 0 550291153 870084608 26103 4294967295 134512640 134569956 3221224400 3221214544 1131350493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212423 26103 13073 16 0 212407 0
vsize: 849692
[startup+90.0136 s]
Raw data (loadavg): 1.07 0.98 0.91 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18083 0 1 0 8064 41 0 0 25 0 11 0 550291153 870084608 26780 4294967295 134512640 134569956 3221224400 3221214720 1131537766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212423 26780 13073 16 0 212407 0
vsize: 849692
[startup+100.014 s]
Raw data (loadavg): 1.06 0.98 0.91 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18083 0 1 0 9036 42 0 0 25 0 11 0 550291153 870084608 26821 4294967295 134512640 134569956 3221224400 3221214752 1131385888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212423 26821 13073 16 0 212407 0
vsize: 849692
[startup+110.014 s]
Raw data (loadavg): 1.05 0.98 0.91 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 10007 42 0 0 25 0 11 0 550291153 871133184 26936 4294967295 134512640 134569956 3221224400 3221214672 1131392921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212679 26936 13073 16 0 212663 0
vsize: 850716
[startup+120.014 s]
Raw data (loadavg): 1.04 0.98 0.91 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 10972 42 0 0 25 0 11 0 550291153 871133184 26970 4294967295 134512640 134569956 3221224400 3221214752 1131385664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212679 26970 13073 16 0 212663 0
vsize: 850716
[startup+130.014 s]
Raw data (loadavg): 1.03 0.98 0.91 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 11940 42 0 0 25 0 11 0 550291153 871133184 27024 4294967295 134512640 134569956 3221224400 3221214752 1131385632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212679 27024 13073 16 0 212663 0
vsize: 850716
[startup+140.014 s]
Raw data (loadavg): 1.03 0.98 0.91 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 12899 42 0 0 25 0 11 0 550291153 871133184 27075 4294967295 134512640 134569956 3221224400 3221214720 1131539969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212679 27075 13073 16 0 212663 0
vsize: 850716
[startup+150.016 s]
Raw data (loadavg): 1.02 0.98 0.91 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 13864 42 0 0 25 0 11 0 550291153 871133184 27149 4294967295 134512640 134569956 3221224400 3221214544 1131346048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212679 27149 13073 16 0 212663 0
vsize: 850716
[startup+160.015 s]
Raw data (loadavg): 1.02 0.98 0.91 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 14832 42 0 0 25 0 11 0 550291153 871133184 27214 4294967295 134512640 134569956 3221224400 3221214476 1076460929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212679 27214 13073 16 0 212663 0
vsize: 850716
[startup+170.015 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 15797 42 0 0 25 0 11 0 550291153 876376064 28763 4294967295 134512640 134569956 3221224400 3221214672 1131531139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 28763 13073 16 0 213943 0
vsize: 855836
[startup+180.017 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 16771 43 0 0 25 0 11 0 550291153 876376064 28796 4294967295 134512640 134569956 3221224400 3221214720 1131537789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 28796 13073 16 0 213943 0
vsize: 855836
[startup+190.017 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 22144
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 17745 43 0 0 25 0 11 0 550291153 876376064 28813 4294967295 134512640 134569956 3221224400 3221214592 1131753652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 28813 13073 16 0 213943 0
vsize: 855836
[startup+200.018 s]
Raw data (loadavg): 1.05 1.00 0.92 2/67 22147
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 18708 43 0 0 25 0 11 0 550291153 876376064 28850 4294967295 134512640 134569956 3221224400 3221214728 1131398281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 28850 13073 16 0 213943 0
vsize: 855836
[startup+210.017 s]
Raw data (loadavg): 1.12 1.01 0.92 2/64 22197
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 19667 45 0 0 25 0 11 0 550291153 876376064 28873 4294967295 134512640 134569956 3221224400 3221214660 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 28873 13073 16 0 213943 0
vsize: 855836
[startup+220.018 s]
Raw data (loadavg): 1.10 1.01 0.92 2/64 22197
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 20618 45 0 0 25 0 11 0 550291153 876376064 28916 4294967295 134512640 134569956 3221224400 3221214716 1131530924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 28916 13073 16 0 213943 0
vsize: 855836
[startup+230.017 s]
Raw data (loadavg): 1.08 1.01 0.92 2/64 22197
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 21568 45 0 0 25 0 11 0 550291153 876376064 28979 4294967295 134512640 134569956 3221224400 3221214592 1131753668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 28979 13073 16 0 213943 0
vsize: 855836
[startup+240.018 s]
Raw data (loadavg): 1.07 1.01 0.92 2/64 22197
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 22521 45 0 0 25 0 11 0 550291153 876376064 29113 4294967295 134512640 134569956 3221224400 3221214632 1131511204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 29113 13073 16 0 213943 0
vsize: 855836
[startup+250.019 s]
Raw data (loadavg): 1.06 1.01 0.92 2/64 22197
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 23477 45 0 0 24 0 11 0 550291153 876376064 29199 4294967295 134512640 134569956 3221224400 3221214552 1131522198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 29199 13073 16 0 213943 0
vsize: 855836
[startup+260.018 s]
Raw data (loadavg): 1.05 1.01 0.92 2/64 22197
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 24438 46 0 0 25 0 11 0 550291153 876376064 29264 4294967295 134512640 134569956 3221224400 3221214592 1131753652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 29264 13073 16 0 213943 0
vsize: 855836
[startup+270.018 s]
Raw data (loadavg): 1.04 1.01 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 25395 46 0 0 25 0 11 0 550291153 876376064 29321 4294967295 134512640 134569956 3221224400 3221214672 1131393077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 29321 13073 16 0 213943 0
vsize: 855836
[startup+280.018 s]
Raw data (loadavg): 1.03 1.01 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18087 0 1 0 26351 46 0 0 25 0 11 0 550291153 876376064 29408 4294967295 134512640 134569956 3221224400 3221214392 1131296380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 29408 13073 16 0 213943 0
vsize: 855836
[startup+290.019 s]
Raw data (loadavg): 1.03 1.01 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 27318 46 0 0 25 0 11 0 550291153 876376064 29471 4294967295 134512640 134569956 3221224400 3221214752 1131385904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 29471 13073 16 0 213943 0
vsize: 855836
[startup+300.019 s]
Raw data (loadavg): 1.02 1.01 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 28283 46 0 0 24 0 11 0 550291153 876376064 29528 4294967295 134512640 134569956 3221224400 3221214752 1131385632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 29528 13073 16 0 213943 0
vsize: 855836
[startup+310.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 29245 46 0 0 25 0 11 0 550291153 876376064 29573 4294967295 134512640 134569956 3221224400 3221214712 1131264852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 29573 13073 16 0 213943 0
vsize: 855836
[startup+320.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 30199 47 0 0 25 0 11 0 550291153 876376064 29625 4294967295 134512640 134569956 3221224400 3221214632 1131510780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 29625 13073 16 0 213943 0
vsize: 855836
[startup+330.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 31142 47 0 0 25 0 11 0 550291153 876376064 29653 4294967295 134512640 134569956 3221224400 3221214672 1131667988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 29653 13073 16 0 213943 0
vsize: 855836
[startup+340.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 32087 47 0 0 25 0 11 0 550291153 876376064 29751 4294967295 134512640 134569956 3221224400 3221214704 1131532297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 29751 13073 16 0 213943 0
vsize: 855836
[startup+350.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 33021 47 0 0 25 0 11 0 550291153 876376064 29890 4294967295 134512640 134569956 3221224400 3221214720 1131537640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 29890 13073 16 0 213943 0
vsize: 855836
[startup+360.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 33955 48 0 0 25 0 11 0 550291153 876376064 29984 4294967295 134512640 134569956 3221224400 3221214720 1131539801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 29984 13073 16 0 213943 0
vsize: 855836
[startup+370.022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 34889 48 0 0 25 0 11 0 550291153 876376064 30137 4294967295 134512640 134569956 3221224400 3221214592 1131753616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 30137 13073 16 0 213943 0
vsize: 855836
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 35833 48 0 0 24 0 11 0 550291153 876376064 30349 4294967295 134512640 134569956 3221224400 3221214752 1131386051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 30349 13073 16 0 213943 0
vsize: 855836
[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 36790 49 0 0 25 0 11 0 550291153 876376064 30428 4294967295 134512640 134569956 3221224400 3221214640 1131327807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 30428 13073 16 0 213943 0
vsize: 855836
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 37746 49 0 0 25 0 11 0 550291153 876376064 30552 4294967295 134512640 134569956 3221224400 3221214744 1131243481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 30552 13073 16 0 213943 0
vsize: 855836
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 38700 50 0 0 25 0 11 0 550291153 876376064 30564 4294967295 134512640 134569956 3221224400 3221214656 1131342861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 30564 13073 16 0 213943 0
vsize: 855836
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 39656 50 0 0 25 0 11 0 550291153 876376064 30650 4294967295 134512640 134569956 3221224400 3221214496 1131529580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213959 30650 13073 16 0 213943 0
vsize: 855836
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 40608 50 0 0 25 0 11 0 550291153 873230336 29912 4294967295 134512640 134569956 3221224400 3221214716 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 29912 13073 16 0 213175 0
vsize: 852764
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18088 0 1 0 41558 51 0 0 25 0 11 0 550291153 873230336 30013 4294967295 134512640 134569956 3221224400 3221214388 1131215045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30013 13073 16 0 213175 0
vsize: 852764
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 42514 51 0 0 25 0 11 0 550291153 873230336 30067 4294967295 134512640 134569956 3221224400 3221214496 1131529591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30067 13073 16 0 213175 0
vsize: 852764
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) S 22133 3260 3259 0 -1 0 18089 0 1 0 43477 51 0 0 25 0 11 0 550291153 873230336 30183 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30183 13073 16 0 213175 0
vsize: 852764
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 44431 52 0 0 24 0 11 0 550291153 873230336 30264 4294967295 134512640 134569956 3221224400 3221214744 1131215036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30264 13073 16 0 213175 0
vsize: 852764
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 45384 52 0 0 25 0 11 0 550291153 873230336 30306 4294967295 134512640 134569956 3221224400 3221214792 1131617097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213191 30306 13073 16 0 213175 0
vsize: 852764
[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 46338 52 0 0 25 0 11 0 550291153 873230336 30384 4294967295 134512640 134569956 3221224400 3221214384 1131346446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30384 13073 16 0 213175 0
vsize: 852764
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 47293 52 0 0 25 0 11 0 550291153 873230336 30404 4294967295 134512640 134569956 3221224400 3221214584 1131715337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30404 13073 16 0 213175 0
vsize: 852764
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 48247 52 0 0 25 0 11 0 550291153 873230336 30505 4294967295 134512640 134569956 3221224400 3221214480 1131294256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213191 30505 13073 16 0 213175 0
vsize: 852764
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 49214 52 0 0 25 0 11 0 550291153 873230336 30607 4294967295 134512640 134569956 3221224400 3221214376 1131346048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30607 13073 16 0 213175 0
vsize: 852764
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 50188 52 0 0 25 0 11 0 550291153 873230336 30684 4294967295 134512640 134569956 3221224400 3221214384 1131346195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30684 13073 16 0 213175 0
vsize: 852764
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 51170 53 0 0 25 0 11 0 550291153 873230336 30809 4294967295 134512640 134569956 3221224400 3221214376 1131346019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213191 30809 13073 16 0 213175 0
vsize: 852764
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 52165 53 0 0 25 0 11 0 550291153 873230336 30824 4294967295 134512640 134569956 3221224400 3221214384 1131346125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30824 13073 16 0 213175 0
vsize: 852764
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 53161 53 0 0 25 0 11 0 550291153 873230336 30842 4294967295 134512640 134569956 3221224400 3221214588 1131527916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30842 13073 16 0 213175 0
vsize: 852764
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22199
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 54158 53 0 0 25 0 11 0 550291153 873230336 30842 4294967295 134512640 134569956 3221224400 3221214480 1131294248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30842 13073 16 0 213175 0
vsize: 852764
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 55156 53 0 0 25 0 11 0 550291153 873230336 30842 4294967295 134512640 134569956 3221224400 3221214592 1131719052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30842 13073 16 0 213175 0
vsize: 852764
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 56153 54 0 0 25 0 11 0 550291153 873230336 30842 4294967295 134512640 134569956 3221224400 3221214376 1131346458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30842 13073 16 0 213175 0
vsize: 852764
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 57148 54 0 0 25 0 11 0 550291153 873230336 30843 4294967295 134512640 134569956 3221224400 3221214384 1131346195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30843 13073 16 0 213175 0
vsize: 852764
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 58133 54 0 0 25 0 11 0 550291153 873230336 30843 4294967295 134512640 134569956 3221224400 3221214720 1131537795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30843 13073 16 0 213175 0
vsize: 852764
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 59111 54 0 0 25 0 11 0 550291153 873230336 30843 4294967295 134512640 134569956 3221224400 3221214384 1131346048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30843 13073 16 0 213175 0
vsize: 852764
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 60087 55 0 0 25 0 11 0 550291153 873230336 30843 4294967295 134512640 134569956 3221224400 3221214376 1131346048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30843 13073 16 0 213175 0
vsize: 852764
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 61046 55 0 0 25 0 11 0 550291153 873230336 30871 4294967295 134512640 134569956 3221224400 3221214544 1131346048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30871 13073 16 0 213175 0
vsize: 852764
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 61995 55 0 0 25 0 11 0 550291153 873230336 30908 4294967295 134512640 134569956 3221224400 3221214384 1131346003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 30908 13073 16 0 213175 0
vsize: 852764
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 62940 56 0 0 25 0 11 0 550291153 873230336 31049 4294967295 134512640 134569956 3221224400 3221214376 1131346188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31049 13073 16 0 213175 0
vsize: 852764
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 63894 56 0 0 25 0 11 0 550291153 873230336 31057 4294967295 134512640 134569956 3221224400 3221214568 1131527929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31057 13073 16 0 213175 0
vsize: 852764
[startup+680.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 64849 56 0 0 25 0 11 0 550291153 873230336 31215 4294967295 134512640 134569956 3221224400 3221214568 1131527981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31215 13073 16 0 213175 0
vsize: 852764
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 65823 56 0 0 25 0 11 0 550291153 873230336 31313 4294967295 134512640 134569956 3221224400 3221214584 1131715168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31313 13073 16 0 213175 0
vsize: 852764
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) S 22133 3260 3259 0 -1 0 18089 0 1 0 66803 57 0 0 25 0 11 0 550291153 873230336 31408 4294967295 134512640 134569956 3221224400 3221213080 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31408 13073 16 0 213175 0
vsize: 852764
[startup+710.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 67789 57 0 0 25 0 11 0 550291153 873230336 31484 4294967295 134512640 134569956 3221224400 3221214488 1131346159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31484 13073 16 0 213175 0
vsize: 852764
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 68758 57 0 0 25 0 11 0 550291153 873230336 31484 4294967295 134512640 134569956 3221224400 3221214480 1131294256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31484 13073 16 0 213175 0
vsize: 852764
[startup+730.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 69727 57 0 0 25 0 11 0 550291153 873230336 31484 4294967295 134512640 134569956 3221224400 3221214600 1131327768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31484 13073 16 0 213175 0
vsize: 852764
[startup+740.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) S 22133 3260 3259 0 -1 0 18089 0 1 0 70685 58 0 0 25 0 11 0 550291153 873230336 31484 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31484 13073 16 0 213175 0
vsize: 852764
[startup+750.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 71629 58 0 0 25 0 11 0 550291153 873230336 31619 4294967295 134512640 134569956 3221224400 3221214592 1131719147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31619 13073 16 0 213175 0
vsize: 852764
[startup+760.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 72591 58 0 0 25 0 11 0 550291153 873230336 31720 4294967295 134512640 134569956 3221224400 3221214656 1131343167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31720 13073 16 0 213175 0
vsize: 852764
[startup+770.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 73540 58 0 0 25 0 11 0 550291153 873230336 31776 4294967295 134512640 134569956 3221224400 3221214652 1080204282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31776 13073 16 0 213175 0
vsize: 852764
[startup+780.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 74506 58 0 0 25 0 11 0 550291153 873230336 31857 4294967295 134512640 134569956 3221224400 3221214592 1131719055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31857 13073 16 0 213175 0
vsize: 852764
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 75481 59 0 0 25 0 11 0 550291153 873230336 31933 4294967295 134512640 134569956 3221224400 3221214480 1131762139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31933 13073 16 0 213175 0
vsize: 852764
[startup+800.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 76460 59 0 0 25 0 11 0 550291153 873230336 31957 4294967295 134512640 134569956 3221224400 3221214384 1131346458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 31957 13073 16 0 213175 0
vsize: 852764
[startup+810.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 77446 59 0 0 25 0 11 0 550291153 873230336 32010 4294967295 134512640 134569956 3221224400 3221214488 1131296353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32010 13073 16 0 213175 0
vsize: 852764
[startup+820.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 78439 59 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214384 1131346159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 79437 60 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214480 1131762609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 80435 60 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214480 1131764459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 81433 60 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214384 1131346048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 82430 60 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214480 1131296412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+870.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 83428 61 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214592 1131719055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 84426 61 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214480 1131296406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 85423 62 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214384 1131346195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 86421 62 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214632 1131569787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 87419 62 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214592 1131719057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 88417 63 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214628 1131760967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 89415 63 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214568 1131527981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 90413 63 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214384 1131346458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 91411 64 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214584 1131715175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 92408 65 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214592 1131719055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 93405 65 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214476 1131771748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 94403 65 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214592 1131719052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 95401 66 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214384 1131346048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 96399 66 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214480 1131762609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 97396 67 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214376 1131346145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 98394 67 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214440 1131590786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 99392 67 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214480 1131763656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 100390 68 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214384 1131346048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 101387 68 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214384 1131346159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 102382 68 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214592 1131719055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 103376 68 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214384 1131346159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 104372 68 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214384 1131346412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 105366 68 0 0 25 0 11 0 550291153 873230336 32048 4294967295 134512640 134569956 3221224400 3221214584 1131715182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32048 13073 16 0 213175 0
vsize: 852764
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 106362 69 0 0 25 0 11 0 550291153 873230336 32068 4294967295 134512640 134569956 3221224400 3221214384 1131346195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32068 13073 16 0 213175 0
vsize: 852764
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 107358 69 0 0 25 0 11 0 550291153 873230336 32079 4294967295 134512640 134569956 3221224400 3221214376 1131346195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32079 13073 16 0 213175 0
vsize: 852764
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 108343 69 0 0 25 0 11 0 550291153 873230336 32083 4294967295 134512640 134569956 3221224400 3221214720 1131540364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32083 13073 16 0 213175 0
vsize: 852764
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 109316 70 0 0 25 0 11 0 550291153 873230336 32083 4294967295 134512640 134569956 3221224400 3221214632 1131512777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32083 13073 16 0 213175 0
vsize: 852764
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 110290 70 0 0 25 0 11 0 550291153 873230336 32083 4294967295 134512640 134569956 3221224400 3221214584 1131715331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32083 13073 16 0 213175 0
vsize: 852764
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 111258 70 0 0 25 0 11 0 550291153 873230336 32083 4294967295 134512640 134569956 3221224400 3221214672 1131393036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32083 13073 16 0 213175 0
vsize: 852764
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 112232 71 0 0 25 0 11 0 550291153 873230336 32155 4294967295 134512640 134569956 3221224400 3221214640 1131382690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32155 13073 16 0 213175 0
vsize: 852764
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 113207 71 0 0 25 0 11 0 550291153 873230336 32209 4294967295 134512640 134569956 3221224400 3221214752 1131385909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32209 13073 16 0 213175 0
vsize: 852764
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 114175 72 0 0 25 0 11 0 550291153 873230336 32249 4294967295 134512640 134569956 3221224400 3221214632 1131511020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32249 13073 16 0 213175 0
vsize: 852764
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 115145 72 0 0 25 0 11 0 550291153 873230336 32260 4294967295 134512640 134569956 3221224400 3221214720 1131537779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32260 13073 16 0 213175 0
vsize: 852764
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) S 22133 3260 3259 0 -1 0 18089 0 1 0 116120 73 0 0 25 0 11 0 550291153 873230336 32302 4294967295 134512640 134569956 3221224400 3221213080 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32302 13073 16 0 213175 0
vsize: 852764
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 117093 73 0 0 24 0 11 0 550291153 873230336 32342 4294967295 134512640 134569956 3221224400 3221214752 1131386044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32342 13073 16 0 213175 0
vsize: 852764
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 118071 73 0 0 25 0 11 0 550291153 873230336 32360 4294967295 134512640 134569956 3221224400 3221214488 1131296406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32360 13073 16 0 213175 0
vsize: 852764
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 119051 73 0 0 25 0 11 0 550291153 873230336 32387 4294967295 134512640 134569956 3221224400 3221214592 1131719052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32387 13073 16 0 213175 0
vsize: 852764
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22201
Raw data (stat): 22134 (java) R 22133 3260 3259 0 -1 0 18089 0 1 0 120031 74 0 0 25 0 11 0 550291153 873230336 32415 4294967295 134512640 134569956 3221224400 3221214592 1131719069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213191 32415 13073 16 0 213175 0
vsize: 852764
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 22203
Raw data (stat): 22134 (java) Z 22133 3260 3259 0 -1 1036 18089 24788 1 0 120037 80 5659 67 25 0 1 0 550291153 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.17
CPU time (s): 1258.44
CPU user time (s): 1256.96
CPU system time (s): 1.47878
CPU usage (%): 101.473
Max. virtual memory (Kb): 855836
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####