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/miplib3/normalized-mps-v2-20-10-qnet1.opb
MD5SUMf52b19653c4b2560629833931dd98a65
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 3720
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 133143986052
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 8388608000000
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 17124187591735
Number of bits of the biggest sum of numbers44
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.05499
Number of variables5380
Total number of constraints632
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints544
Minimum length of a constraint2
Maximum length of a constraint77

Trace number 21080

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        677664 kB
Buffers:         24644 kB
Cached:         308992 kB
SwapCached:        516 kB
Active:          38768 kB
Inactive:       296912 kB
HighTotal:      131008 kB
HighFree:          616 kB
LowTotal:       903652 kB
LowFree:        677048 kB
SwapTotal:     2097892 kB
SwapFree:      2096480 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            15652 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 23:01:48 (client local time) WITH STATUS 143 IN 1238.74 SECONDS
stats: 13815 7 1238.74 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-qnet1.opb
c reading problem 
c [nbvar=5380]
c [nbconstr=632]
c time 14.791
c #vars     5380
c #clauses  963
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.68 0.92 0.90 2/54 15420
Raw data (stat): 15420 (runsolver) R 15419 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548758809 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.0004 s]
Raw data (loadavg): 0.96 0.97 0.92 4/63 15429
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18018 0 1 0 841 36 0 0 25 0 10 0 548758809 878379008 24726 4294967295 134512640 134569956 3221224400 3221214736 1131201757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214448 24726 13073 16 0 214432 0
vsize: 857792
[startup+20.0009 s]
Raw data (loadavg): 1.27 1.04 0.94 4/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18102 0 1 0 1402 38 0 0 25 0 11 0 548758809 880340992 26145 4294967295 134512640 134569956 3221224400 3221214428 1130892134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214927 26145 13073 16 0 214911 0
vsize: 859708
[startup+30.0018 s]
Raw data (loadavg): 1.30 1.05 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 2303 38 0 0 25 0 11 0 548758809 880308224 26900 4294967295 134512640 134569956 3221224400 3221214448 1131629539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 26900 13073 16 0 214903 0
vsize: 859676
[startup+40.0013 s]
Raw data (loadavg): 1.26 1.05 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 3274 38 0 0 25 0 11 0 548758809 880308224 26900 4294967295 134512640 134569956 3221224400 3221214448 1131629580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 26900 13073 16 0 214903 0
vsize: 859676
[startup+50.0016 s]
Raw data (loadavg): 1.22 1.05 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 4247 38 0 0 25 0 11 0 548758809 880308224 26907 4294967295 134512640 134569956 3221224400 3221214696 1131506862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 26907 13073 16 0 214903 0
vsize: 859676
[startup+60.0019 s]
Raw data (loadavg): 1.18 1.05 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 5219 38 0 0 25 0 11 0 548758809 880308224 26950 4294967295 134512640 134569956 3221224400 3221214448 1131627126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 26950 13073 16 0 214903 0
vsize: 859676
[startup+70.0025 s]
Raw data (loadavg): 1.15 1.04 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 6200 38 0 0 25 0 11 0 548758809 880308224 27059 4294967295 134512640 134569956 3221224400 3221214240 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 27059 13073 16 0 214903 0
vsize: 859676
[startup+80.0032 s]
Raw data (loadavg): 1.13 1.04 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 7183 39 0 0 25 0 11 0 548758809 880308224 27115 4294967295 134512640 134569956 3221224400 3221214240 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 27115 13073 16 0 214903 0
vsize: 859676
[startup+90.003 s]
Raw data (loadavg): 1.11 1.04 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 8167 39 0 0 25 0 11 0 548758809 880308224 27115 4294967295 134512640 134569956 3221224400 3221214696 1131507230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27115 13073 16 0 214903 0
vsize: 859676
[startup+100.003 s]
Raw data (loadavg): 1.09 1.04 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 9150 39 0 0 25 0 11 0 548758809 880308224 27115 4294967295 134512640 134569956 3221224400 3221214448 1131628120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 27115 13073 16 0 214903 0
vsize: 859676
[startup+110.004 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 10133 40 0 0 25 0 11 0 548758809 880308224 27115 4294967295 134512640 134569956 3221224400 3221214448 1131629787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27115 13073 16 0 214903 0
vsize: 859676
[startup+120.004 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 11116 40 0 0 25 0 11 0 548758809 880308224 27137 4294967295 134512640 134569956 3221224400 3221214448 1131628222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27137 13073 16 0 214903 0
vsize: 859676
[startup+130.005 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 12099 40 0 0 25 0 11 0 548758809 880308224 27268 4294967295 134512640 134569956 3221224400 3221214448 1131629361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27268 13073 16 0 214903 0
vsize: 859676
[startup+140.005 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 13085 40 0 0 25 0 11 0 548758809 880308224 27325 4294967295 134512640 134569956 3221224400 3221214448 1131627205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 27325 13073 16 0 214903 0
vsize: 859676
[startup+150.004 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 14072 41 0 0 25 0 11 0 548758809 880308224 27386 4294967295 134512640 134569956 3221224400 3221214696 1131507357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27386 13073 16 0 214903 0
vsize: 859676
[startup+160.005 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 15057 41 0 0 25 0 11 0 548758809 880308224 27721 4294967295 134512640 134569956 3221224400 3221214448 1131629509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 27721 13073 16 0 214903 0
vsize: 859676
[startup+170.005 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 16052 41 0 0 25 0 11 0 548758809 880308224 27797 4294967295 134512640 134569956 3221224400 3221214464 1131556093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27797 13073 16 0 214903 0
vsize: 859676
[startup+180.006 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 17050 42 0 0 25 0 11 0 548758809 880308224 27808 4294967295 134512640 134569956 3221224400 3221214240 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27808 13073 16 0 214903 0
vsize: 859676
[startup+190.006 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 18045 42 0 0 25 0 11 0 548758809 880308224 27838 4294967295 134512640 134569956 3221224400 3221214448 1131627052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27838 13073 16 0 214903 0
vsize: 859676
[startup+200.006 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 19042 42 0 0 25 0 11 0 548758809 880308224 27867 4294967295 134512640 134569956 3221224400 3221214448 1131627223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27867 13073 16 0 214903 0
vsize: 859676
[startup+210.007 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 20040 42 0 0 25 0 11 0 548758809 880308224 27898 4294967295 134512640 134569956 3221224400 3221214448 1131629516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27898 13073 16 0 214903 0
vsize: 859676
[startup+220.008 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 21037 42 0 0 25 0 11 0 548758809 880308224 27912 4294967295 134512640 134569956 3221224400 3221214448 1131628604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 27912 13073 16 0 214903 0
vsize: 859676
[startup+230.008 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 22034 42 0 0 25 0 11 0 548758809 880308224 27927 4294967295 134512640 134569956 3221224400 3221214448 1131628303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 27927 13073 16 0 214903 0
vsize: 859676
[startup+240.008 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 23031 42 0 0 25 0 11 0 548758809 880308224 27936 4294967295 134512640 134569956 3221224400 3221214448 1131628507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27936 13073 16 0 214903 0
vsize: 859676
[startup+250.009 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 24029 43 0 0 25 0 11 0 548758809 880308224 27943 4294967295 134512640 134569956 3221224400 3221214464 1131556069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27943 13073 16 0 214903 0
vsize: 859676
[startup+260.009 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 25026 43 0 0 25 0 11 0 548758809 880308224 27950 4294967295 134512640 134569956 3221224400 3221214448 1131623913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27950 13073 16 0 214903 0
vsize: 859676
[startup+270.009 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 26024 43 0 0 25 0 11 0 548758809 880308224 27953 4294967295 134512640 134569956 3221224400 3221214464 1131556198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27953 13073 16 0 214903 0
vsize: 859676
[startup+280.01 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 27021 43 0 0 25 0 11 0 548758809 880308224 27958 4294967295 134512640 134569956 3221224400 3221214448 1131627348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27958 13073 16 0 214903 0
vsize: 859676
[startup+290.01 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 28019 44 0 0 25 0 11 0 548758809 880308224 27962 4294967295 134512640 134569956 3221224400 3221214448 1131627813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27962 13073 16 0 214903 0
vsize: 859676
[startup+300.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 29016 44 0 0 25 0 11 0 548758809 880308224 27972 4294967295 134512640 134569956 3221224400 3221214448 1131627665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27972 13073 16 0 214903 0
vsize: 859676
[startup+310.011 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 30014 44 0 0 25 0 11 0 548758809 880308224 27973 4294967295 134512640 134569956 3221224400 3221214448 1131623856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27973 13073 16 0 214903 0
vsize: 859676
[startup+320.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 31010 45 0 0 25 0 11 0 548758809 880308224 27976 4294967295 134512640 134569956 3221224400 3221214448 1131627850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27976 13073 16 0 214903 0
vsize: 859676
[startup+330.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 32010 45 0 0 25 0 11 0 548758809 880308224 27980 4294967295 134512640 134569956 3221224400 3221214400 1131684300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27980 13073 16 0 214903 0
vsize: 859676
[startup+340.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 33006 45 0 0 25 0 11 0 548758809 880308224 27994 4294967295 134512640 134569956 3221224400 3221214512 1131628954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 27994 13073 16 0 214903 0
vsize: 859676
[startup+350.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 34004 45 0 0 25 0 11 0 548758809 880308224 28012 4294967295 134512640 134569956 3221224400 3221214616 1131686682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28012 13073 16 0 214903 0
vsize: 859676
[startup+360.013 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 35003 45 0 0 25 0 11 0 548758809 880308224 28018 4294967295 134512640 134569956 3221224400 3221214448 1131627364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28018 13073 16 0 214903 0
vsize: 859676
[startup+370.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 36001 46 0 0 25 0 11 0 548758809 880308224 28029 4294967295 134512640 134569956 3221224400 3221214380 1080216944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28029 13073 16 0 214903 0
vsize: 859676
[startup+380.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 36999 46 0 0 25 0 11 0 548758809 880308224 28042 4294967295 134512640 134569956 3221224400 3221214448 1131627433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28042 13073 16 0 214903 0
vsize: 859676
[startup+390.013 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 37997 46 0 0 25 0 11 0 548758809 880308224 28051 4294967295 134512640 134569956 3221224400 3221214696 1131507263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28051 13073 16 0 214903 0
vsize: 859676
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 38995 47 0 0 25 0 11 0 548758809 880308224 28056 4294967295 134512640 134569956 3221224400 3221214376 1080217376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28056 13073 16 0 214903 0
vsize: 859676
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 39993 47 0 0 25 0 11 0 548758809 880308224 28061 4294967295 134512640 134569956 3221224400 3221214240 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28061 13073 16 0 214903 0
vsize: 859676
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 40991 48 0 0 25 0 11 0 548758809 880308224 28065 4294967295 134512640 134569956 3221224400 3221214448 1131629456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28065 13073 16 0 214903 0
vsize: 859676
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 41990 48 0 0 25 0 11 0 548758809 880308224 28072 4294967295 134512640 134569956 3221224400 3221214432 1131627274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28072 13073 16 0 214903 0
vsize: 859676
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 42988 48 0 0 25 0 11 0 548758809 880308224 28079 4294967295 134512640 134569956 3221224400 3221214432 1131627274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28079 13073 16 0 214903 0
vsize: 859676
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 43985 48 0 0 25 0 11 0 548758809 880308224 28084 4294967295 134512640 134569956 3221224400 3221214448 1131629602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28084 13073 16 0 214903 0
vsize: 859676
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 44983 49 0 0 25 0 11 0 548758809 880308224 28089 4294967295 134512640 134569956 3221224400 3221214448 1131630149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28089 13073 16 0 214903 0
vsize: 859676
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 45982 49 0 0 25 0 11 0 548758809 880308224 28091 4294967295 134512640 134569956 3221224400 3221214448 1131628296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28091 13073 16 0 214903 0
vsize: 859676
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 46980 49 0 0 25 0 11 0 548758809 880308224 28092 4294967295 134512640 134569956 3221224400 3221214448 1131624076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28092 13073 16 0 214903 0
vsize: 859676
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 47979 49 0 0 25 0 11 0 548758809 880308224 28106 4294967295 134512640 134569956 3221224400 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28106 13073 16 0 214903 0
vsize: 859676
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 48979 49 0 0 25 0 11 0 548758809 880308224 28106 4294967295 134512640 134569956 3221224400 3221214688 1131619154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28106 13073 16 0 214903 0
vsize: 859676
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 49977 49 0 0 25 0 11 0 548758809 880308224 28109 4294967295 134512640 134569956 3221224400 3221214448 1131628230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28109 13073 16 0 214903 0
vsize: 859676
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 50974 50 0 0 25 0 11 0 548758809 880308224 28115 4294967295 134512640 134569956 3221224400 3221214448 1131628303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28115 13073 16 0 214903 0
vsize: 859676
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 51972 50 0 0 25 0 11 0 548758809 880308224 28122 4294967295 134512640 134569956 3221224400 3221214688 1131619237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28122 13073 16 0 214903 0
vsize: 859676
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 52970 50 0 0 25 0 11 0 548758809 880308224 28123 4294967295 134512640 134569956 3221224400 3221214448 1131627069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28123 13073 16 0 214903 0
vsize: 859676
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 53968 50 0 0 25 0 11 0 548758809 880308224 28123 4294967295 134512640 134569956 3221224400 3221214448 1131628260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28123 13073 16 0 214903 0
vsize: 859676
[startup+560.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 54965 50 0 0 25 0 11 0 548758809 880308224 28130 4294967295 134512640 134569956 3221224400 3221214448 1131627229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28130 13073 16 0 214903 0
vsize: 859676
[startup+570.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 55963 51 0 0 25 0 11 0 548758809 880308224 28144 4294967295 134512640 134569956 3221224400 3221214448 1131628260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28144 13073 16 0 214903 0
vsize: 859676
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 56960 51 0 0 25 0 11 0 548758809 880308224 28157 4294967295 134512640 134569956 3221224400 3221214448 1131624386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28157 13073 16 0 214903 0
vsize: 859676
[startup+590.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 57957 51 0 0 25 0 11 0 548758809 880308224 28162 4294967295 134512640 134569956 3221224400 3221214448 1131627120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28162 13073 16 0 214903 0
vsize: 859676
[startup+600.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 58955 51 0 0 25 0 11 0 548758809 880308224 28173 4294967295 134512640 134569956 3221224400 3221214240 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28173 13073 16 0 214903 0
vsize: 859676
[startup+610.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 59953 51 0 0 25 0 11 0 548758809 880308224 28178 4294967295 134512640 134569956 3221224400 3221214696 1131507343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28178 13073 16 0 214903 0
vsize: 859676
[startup+620.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 60952 52 0 0 25 0 11 0 548758809 880308224 28182 4294967295 134512640 134569956 3221224400 3221214448 1131628410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28182 13073 16 0 214903 0
vsize: 859676
[startup+630.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 61951 52 0 0 25 0 11 0 548758809 880308224 28182 4294967295 134512640 134569956 3221224400 3221214568 1131556159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28182 13073 16 0 214903 0
vsize: 859676
[startup+640.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 62950 52 0 0 25 0 11 0 548758809 880308224 28182 4294967295 134512640 134569956 3221224400 3221214240 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28182 13073 16 0 214903 0
vsize: 859676
[startup+650.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 63948 52 0 0 25 0 11 0 548758809 880308224 28187 4294967295 134512640 134569956 3221224400 3221214448 1131627901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28187 13073 16 0 214903 0
vsize: 859676
[startup+660.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 64945 53 0 0 25 0 11 0 548758809 880308224 28189 4294967295 134512640 134569956 3221224400 3221214300 1080217184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28189 13073 16 0 214903 0
vsize: 859676
[startup+670.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 65942 53 0 0 25 0 11 0 548758809 880308224 28191 4294967295 134512640 134569956 3221224400 3221214688 1131619233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28191 13073 16 0 214903 0
vsize: 859676
[startup+680.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 66939 53 0 0 25 0 11 0 548758809 880308224 28195 4294967295 134512640 134569956 3221224400 3221214448 1131628613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28195 13073 16 0 214903 0
vsize: 859676
[startup+690.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 67937 53 0 0 25 0 11 0 548758809 880308224 28195 4294967295 134512640 134569956 3221224400 3221214616 1131686605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28195 13073 16 0 214903 0
vsize: 859676
[startup+700.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 68935 53 0 0 25 0 11 0 548758809 880308224 28195 4294967295 134512640 134569956 3221224400 3221214448 1131629798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28195 13073 16 0 214903 0
vsize: 859676
[startup+710.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 69934 54 0 0 25 0 11 0 548758809 880308224 28195 4294967295 134512640 134569956 3221224400 3221214448 1131627243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28195 13073 16 0 214903 0
vsize: 859676
[startup+720.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 70931 54 0 0 25 0 11 0 548758809 880308224 28207 4294967295 134512640 134569956 3221224400 3221214448 1131629306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28207 13073 16 0 214903 0
vsize: 859676
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 71929 54 0 0 25 0 11 0 548758809 880308224 28209 4294967295 134512640 134569956 3221224400 3221214448 1131629598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28209 13073 16 0 214903 0
vsize: 859676
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 72928 54 0 0 25 0 11 0 548758809 880308224 28209 4294967295 134512640 134569956 3221224400 3221214672 1131507263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28209 13073 16 0 214903 0
vsize: 859676
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 73927 55 0 0 25 0 11 0 548758809 880308224 28209 4294967295 134512640 134569956 3221224400 3221214428 1079721456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28209 13073 16 0 214903 0
vsize: 859676
[startup+760.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 74925 55 0 0 25 0 11 0 548758809 880308224 28217 4294967295 134512640 134569956 3221224400 3221214616 1131686662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28217 13073 16 0 214903 0
vsize: 859676
[startup+770.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 75923 55 0 0 25 0 11 0 548758809 880308224 28217 4294967295 134512640 134569956 3221224400 3221214448 1131627069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28217 13073 16 0 214903 0
vsize: 859676
[startup+780.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 76921 55 0 0 25 0 11 0 548758809 880308224 28219 4294967295 134512640 134569956 3221224400 3221214448 1131627077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28219 13073 16 0 214903 0
vsize: 859676
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 77918 56 0 0 25 0 11 0 548758809 880308224 28219 4294967295 134512640 134569956 3221224400 3221214568 1131556311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28219 13073 16 0 214903 0
vsize: 859676
[startup+800.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 78916 56 0 0 25 0 11 0 548758809 880308224 28227 4294967295 134512640 134569956 3221224400 3221214424 1079721553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28227 13073 16 0 214903 0
vsize: 859676
[startup+810.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 79914 56 0 0 25 0 11 0 548758809 880308224 28230 4294967295 134512640 134569956 3221224400 3221214448 1131627205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28230 13073 16 0 214903 0
vsize: 859676
[startup+820.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 80912 57 0 0 25 0 11 0 548758809 880308224 28230 4294967295 134512640 134569956 3221224400 3221214448 1131627778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28230 13073 16 0 214903 0
vsize: 859676
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 81911 57 0 0 25 0 11 0 548758809 880308224 28230 4294967295 134512640 134569956 3221224400 3221214240 1080217219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28230 13073 16 0 214903 0
vsize: 859676
[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 82910 57 0 0 25 0 11 0 548758809 880308224 28230 4294967295 134512640 134569956 3221224400 3221214568 1131556245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28230 13073 16 0 214903 0
vsize: 859676
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 83909 57 0 0 25 0 11 0 548758809 880308224 28236 4294967295 134512640 134569956 3221224400 3221214712 1131795108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28236 13073 16 0 214903 0
vsize: 859676
[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 84907 58 0 0 25 0 11 0 548758809 880308224 28236 4294967295 134512640 134569956 3221224400 3221214376 1080217338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28236 13073 16 0 214903 0
vsize: 859676
[startup+870.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 85905 58 0 0 25 0 11 0 548758809 880308224 28243 4294967295 134512640 134569956 3221224400 3221214448 1131629580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28243 13073 16 0 214903 0
vsize: 859676
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 86904 58 0 0 25 0 11 0 548758809 880308224 28245 4294967295 134512640 134569956 3221224400 3221214448 1131628364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28245 13073 16 0 214903 0
vsize: 859676
[startup+890.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 87902 59 0 0 25 0 11 0 548758809 880308224 28245 4294967295 134512640 134569956 3221224400 3221214792 1131483081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28245 13073 16 0 214903 0
vsize: 859676
[startup+900.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 88899 59 0 0 25 0 11 0 548758809 880308224 28251 4294967295 134512640 134569956 3221224400 3221214240 1080217319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28251 13073 16 0 214903 0
vsize: 859676
[startup+910.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 89897 59 0 0 25 0 11 0 548758809 880308224 28252 4294967295 134512640 134569956 3221224400 3221214688 1131619316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28252 13073 16 0 214903 0
vsize: 859676
[startup+920.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 90895 59 0 0 25 0 11 0 548758809 880308224 28252 4294967295 134512640 134569956 3221224400 3221214432 1131627448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28252 13073 16 0 214903 0
vsize: 859676
[startup+930.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 91893 59 0 0 25 0 11 0 548758809 880308224 28252 4294967295 134512640 134569956 3221224400 3221214696 1131507334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28252 13073 16 0 214903 0
vsize: 859676
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 92891 59 0 0 25 0 11 0 548758809 880308224 28252 4294967295 134512640 134569956 3221224400 3221214292 1080217188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28252 13073 16 0 214903 0
vsize: 859676
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 93889 60 0 0 25 0 11 0 548758809 880308224 28252 4294967295 134512640 134569956 3221224400 3221214448 1131627069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28252 13073 16 0 214903 0
vsize: 859676
[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 94885 60 0 0 25 0 11 0 548758809 880308224 28252 4294967295 134512640 134569956 3221224400 3221214448 1131627873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28252 13073 16 0 214903 0
vsize: 859676
[startup+970.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 95881 60 0 0 25 0 11 0 548758809 880308224 28252 4294967295 134512640 134569956 3221224400 3221214240 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28252 13073 16 0 214903 0
vsize: 859676
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 96876 61 0 0 25 0 11 0 548758809 880308224 28252 4294967295 134512640 134569956 3221224400 3221214304 1080217023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28252 13073 16 0 214903 0
vsize: 859676
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 97873 61 0 0 25 0 11 0 548758809 880308224 28266 4294967295 134512640 134569956 3221224400 3221214680 1131654689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28266 13073 16 0 214903 0
vsize: 859676
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 98867 61 0 0 25 0 11 0 548758809 880308224 28285 4294967295 134512640 134569956 3221224400 3221214512 1131628701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28285 13073 16 0 214903 0
vsize: 859676
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 99861 62 0 0 25 0 11 0 548758809 880308224 28299 4294967295 134512640 134569956 3221224400 3221214640 1131685377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28299 13073 16 0 214903 0
vsize: 859676
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 100858 62 0 0 25 0 11 0 548758809 880308224 28303 4294967295 134512640 134569956 3221224400 3221214304 1080217093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28303 13073 16 0 214903 0
vsize: 859676
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 101854 62 0 0 25 0 11 0 548758809 880308224 28322 4294967295 134512640 134569956 3221224400 3221214448 1131628114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28322 13073 16 0 214903 0
vsize: 859676
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18104 0 1 0 102850 63 0 0 25 0 11 0 548758809 880308224 28332 4294967295 134512640 134569956 3221224400 3221214584 1131539463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28332 13073 16 0 214903 0
vsize: 859676
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 103843 63 0 0 25 0 11 0 548758809 880308224 28351 4294967295 134512640 134569956 3221224400 3221214448 1131623856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28351 13073 16 0 214903 0
vsize: 859676
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 104839 63 0 0 25 0 11 0 548758809 880308224 28356 4294967295 134512640 134569956 3221224400 3221214448 1131624003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28356 13073 16 0 214903 0
vsize: 859676
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 105834 64 0 0 25 0 11 0 548758809 880308224 28372 4294967295 134512640 134569956 3221224400 3221214448 1131628396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28372 13073 16 0 214903 0
vsize: 859676
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 106830 64 0 0 25 0 11 0 548758809 880308224 28427 4294967295 134512640 134569956 3221224400 3221214680 1131654648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28427 13073 16 0 214903 0
vsize: 859676
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 107826 65 0 0 25 0 11 0 548758809 880308224 28476 4294967295 134512640 134569956 3221224400 3221214792 1131570465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28476 13073 16 0 214903 0
vsize: 859676
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 108821 65 0 0 25 0 11 0 548758809 880308224 28502 4294967295 134512640 134569956 3221224400 3221214568 1131556100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28502 13073 16 0 214903 0
vsize: 859676
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 15430
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 109817 65 0 0 25 0 11 0 548758809 880308224 28526 4294967295 134512640 134569956 3221224400 3221214420 1079721460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28526 13073 16 0 214903 0
vsize: 859676
[startup+1120.03 s]
Raw data (loadavg): 1.08 1.02 0.95 2/68 15477
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 110813 65 0 0 25 0 11 0 548758809 880308224 28537 4294967295 134512640 134569956 3221224400 3221214616 1131686626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28537 13073 16 0 214903 0
vsize: 859676
[startup+1130.03 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 15483
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 111811 66 0 0 25 0 11 0 548758809 880308224 28550 4294967295 134512640 134569956 3221224400 3221214448 1131627751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28550 13073 16 0 214903 0
vsize: 859676
[startup+1140.03 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 15483
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 112807 66 0 0 25 0 11 0 548758809 880308224 28566 4294967295 134512640 134569956 3221224400 3221214448 1131627229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28566 13073 16 0 214903 0
vsize: 859676
[startup+1150.03 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 15483
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 113805 66 0 0 25 0 11 0 548758809 880308224 28576 4294967295 134512640 134569956 3221224400 3221214448 1131628591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214919 28576 13073 16 0 214903 0
vsize: 859676
[startup+1160.03 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 15483
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 114802 66 0 0 25 0 11 0 548758809 880308224 28586 4294967295 134512640 134569956 3221224400 3221214752 1131722832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28586 13073 16 0 214903 0
vsize: 859676
[startup+1170.03 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 15483
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 115799 66 0 0 25 0 11 0 548758809 880308224 28595 4294967295 134512640 134569956 3221224400 3221214400 1131684115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28595 13073 16 0 214903 0
vsize: 859676
[startup+1180.03 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 15483
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 116796 66 0 0 25 0 11 0 548758809 880308224 28613 4294967295 134512640 134569956 3221224400 3221214448 1131628024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28613 13073 16 0 214903 0
vsize: 859676
[startup+1190.03 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 15485
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 117793 66 0 0 25 0 11 0 548758809 880308224 28624 4294967295 134512640 134569956 3221224400 3221214448 1131627118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28624 13073 16 0 214903 0
vsize: 859676
[startup+1200.03 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 15485
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 118791 66 0 0 25 0 11 0 548758809 880308224 28632 4294967295 134512640 134569956 3221224400 3221214448 1131629779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28632 13073 16 0 214903 0
vsize: 859676
[startup+1210.03 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 15485
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 119789 66 0 0 25 0 11 0 548758809 880308224 28638 4294967295 134512640 134569956 3221224400 3221214672 1131507403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28638 13073 16 0 214903 0
vsize: 859676
[startup+1220.03 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 15485
Raw data (stat): 15420 (java) R 15419 27565 27564 0 -1 0 18105 0 1 0 120787 66 0 0 25 0 11 0 548758809 880308224 28645 4294967295 134512640 134569956 3221224400 3221214304 1080217093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214919 28645 13073 16 0 214903 0
vsize: 859676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.11 s]
Raw data (loadavg): 1.01 1.01 0.95 1/54 15487
Raw data (stat): 15420 (java) Z 15419 27565 27564 0 -1 1036 18105 19225 1 0 120789 71 2964 48 25 0 1 0 548758809 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): 1220.11
CPU time (s): 1238.74
CPU user time (s): 1237.54
CPU system time (s): 1.20182
CPU usage (%): 101.527
Max. virtual memory (Kb): 859708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####