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-swath.opb
MD5SUM88ff0d04f1767526eb86ccd93c80fd2c
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 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 16777216000000
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 66042304016951
Number of bits of the biggest sum of numbers46
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.269958
Number of variables9155
Total number of constraints7608
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7147
Number of constraints which are nor clauses,nor cardinality constraints461
Minimum length of a constraint1
Maximum length of a constraint6754

Trace number 21057

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-21 22:31:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13932 boxname=wulflinc26 idbench=1072 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  88ff0d04f1767526eb86ccd93c80fd2c  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-swath.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-swath.opb
IDLAUNCH: 13932
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        359960 kB
Buffers:         34476 kB
Cached:         612204 kB
SwapCached:         68 kB
Active:         195700 kB
Inactive:       453816 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        359708 kB
SwapTotal:     2097892 kB
SwapFree:      2097800 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6880 kB
Slab:            19588 kB
Committed_AS:    63720 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 22:51:45 (client local time) WITH STATUS 143 IN 1229.55 SECONDS
stats: 13932 7 1229.55 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-swath.opb
c reading problem 
c [nbvar=9155]
c [nbconstr=7608]
c time 36.875
c #vars     9155
c #clauses  987
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.71 0.90 0.89 2/54 11344
Raw data (stat): 11344 (runsolver) R 11343 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548704179 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.0007 s]
Raw data (loadavg): 0.83 0.91 0.90 2/63 11353
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18026 0 1 0 887 37 0 0 25 0 10 0 548704179 855212032 19495 4294967295 134512640 134569956 3221224400 3221214648 1131207993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 19495 13073 16 0 208776 0
vsize: 835168
[startup+20.0026 s]
Raw data (loadavg): 0.86 0.92 0.90 2/63 11353
Raw data (stat): 11344 (java) S 11343 22612 22611 0 -1 0 18026 0 1 0 1809 38 0 0 25 0 10 0 548704179 855179264 19773 4294967295 134512640 134569956 3221224400 3221213852 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208784 19773 13073 16 0 208768 0
vsize: 835136
[startup+30.0069 s]
Raw data (loadavg): 0.88 0.92 0.90 2/63 11353
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18027 0 1 0 2655 38 0 0 24 0 10 0 548704179 855179264 20762 4294967295 134512640 134569956 3221224400 3221213848 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208784 20762 13073 16 0 208768 0
vsize: 835136
[startup+40.007 s]
Raw data (loadavg): 1.06 0.95 0.91 4/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18093 0 1 0 3492 40 0 0 25 0 11 0 548704179 857862144 23261 4294967295 134512640 134569956 3221224400 3221214036 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209439 23263 13073 16 0 209423 0
vsize: 837756
[startup+50.0127 s]
Raw data (loadavg): 1.05 0.95 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 4405 41 0 0 24 0 11 0 548704179 857481216 24973 4294967295 134512640 134569956 3221224400 3221214624 1131216779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 24973 13073 16 0 209330 0
vsize: 837384
[startup+60.0124 s]
Raw data (loadavg): 1.04 0.96 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 5379 41 0 0 20 0 11 0 548704179 857481216 24973 4294967295 134512640 134569956 3221224400 3221214696 1131216868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 24973 13073 16 0 209330 0
vsize: 837384
[startup+70.0138 s]
Raw data (loadavg): 1.03 0.96 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 6354 41 0 0 25 0 11 0 548704179 857481216 24973 4294967295 134512640 134569956 3221224400 3221214376 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 24973 13073 16 0 209330 0
vsize: 837384
[startup+80.0148 s]
Raw data (loadavg): 1.03 0.96 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 7328 41 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214664 1131404626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+90.0145 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 8325 42 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214744 1131442916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+100.015 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 9321 42 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214744 1131441940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+110.015 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 10318 42 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214592 1131505562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+120.015 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 11315 42 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214744 1131444165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+130.017 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 12311 43 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214696 1131518036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+140.017 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 13307 43 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214640 1131518036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+150.017 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 14302 44 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214592 1131505036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+160.017 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 15299 44 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214744 1131442842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+170.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 16279 44 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+180.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 17256 45 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214744 1131441570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+190.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 18231 45 0 0 25 0 11 0 548704179 857481216 25115 4294967295 134512640 134569956 3221224400 3221214728 1131287297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25115 13073 16 0 209330 0
vsize: 837384
[startup+200.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 19221 46 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214664 1131404760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+210.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 20218 46 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214668 1131490700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+220.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 21214 47 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214672 1131429700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+230.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 22211 47 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214728 1131287293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+240.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 23207 48 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214692 1131216879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+250.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 24204 48 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214544 1131490776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+260.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 25200 49 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214824 1131367991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+270.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 26197 49 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214176 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+280.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 27194 49 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214744 1131442971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+290.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 28178 50 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214672 1131430205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+300.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 29155 50 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214592 1131505057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+310.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 30131 51 0 0 25 0 11 0 548704179 857481216 25230 4294967295 134512640 134569956 3221224400 3221214744 1131441977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25230 13073 16 0 209330 0
vsize: 837384
[startup+320.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 31123 51 0 0 25 0 11 0 548704179 857481216 25356 4294967295 134512640 134569956 3221224400 3221214888 1131340060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25356 13073 16 0 209330 0
vsize: 837384
[startup+330.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18095 0 1 0 32108 51 0 0 25 0 11 0 548704179 857481216 25356 4294967295 134512640 134569956 3221224400 3221214744 1131443761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25356 13073 16 0 209330 0
vsize: 837384
[startup+340.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 33092 51 0 0 25 0 11 0 548704179 857481216 25357 4294967295 134512640 134569956 3221224400 3221214744 1131442255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25357 13073 16 0 209330 0
vsize: 837384
[startup+350.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 34078 51 0 0 25 0 11 0 548704179 857481216 25400 4294967295 134512640 134569956 3221224400 3221214672 1131430504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25400 13073 16 0 209330 0
vsize: 837384
[startup+360.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 35074 51 0 0 25 0 11 0 548704179 857481216 25400 4294967295 134512640 134569956 3221224400 3221214744 1131444190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25400 13073 16 0 209330 0
vsize: 837384
[startup+370.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 36070 51 0 0 25 0 11 0 548704179 857481216 25400 4294967295 134512640 134569956 3221224400 3221214732 1080203752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25400 13073 16 0 209330 0
vsize: 837384
[startup+380.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 37064 51 0 0 25 0 11 0 548704179 857481216 25400 4294967295 134512640 134569956 3221224400 3221214696 1131518036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25400 13073 16 0 209330 0
vsize: 837384
[startup+390.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 38057 51 0 0 25 0 11 0 548704179 857481216 25400 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25400 13073 16 0 209330 0
vsize: 837384
[startup+400.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 39052 51 0 0 25 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214696 1131518036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+410.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 40048 51 0 0 25 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+420.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 41045 51 0 0 25 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214704 1131398273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+430.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 42041 52 0 0 25 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214744 1131441489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+440.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 43037 52 0 0 25 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214160 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+450.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 44034 52 0 0 25 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214744 1131442971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+460.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 45029 52 0 0 25 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214696 1131216800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+470.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 46026 52 0 0 25 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214616 1131423534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+480.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 47020 52 0 0 24 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214672 1131431077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+490.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 48007 52 0 0 25 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+500.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 48993 52 0 0 25 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214888 1131340619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+510.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 49959 52 0 0 25 0 11 0 548704179 857481216 25410 4294967295 134512640 134569956 3221224400 3221214744 1131444165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25410 13073 16 0 209330 0
vsize: 837384
[startup+520.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 50916 52 0 0 25 0 11 0 548704179 857481216 25493 4294967295 134512640 134569956 3221224400 3221214816 1131277357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25493 13073 16 0 209330 0
vsize: 837384
[startup+530.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 51875 52 0 0 24 0 11 0 548704179 857481216 25498 4294967295 134512640 134569956 3221224400 3221214744 1131442155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25498 13073 16 0 209330 0
vsize: 837384
[startup+540.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 52860 53 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214592 1131505608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+550.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 53855 53 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214672 1131431054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+560.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 54851 54 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214480 1131411602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+570.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 55848 54 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214728 1131286571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+580.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 56845 54 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214728 1131286367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+590.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 57840 55 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214104 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+600.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 58837 55 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214696 1131216779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+610.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 59833 56 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214592 1131505608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+620.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 60830 56 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+630.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 61827 56 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214008 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+640.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 62824 56 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214740 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+650.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 63821 57 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214728 1131365538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+660.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 64807 57 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+670.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 65794 58 0 0 25 0 11 0 548704179 857481216 25745 4294967295 134512640 134569956 3221224400 3221214744 1131441774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25745 13073 16 0 209330 0
vsize: 837384
[startup+680.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 66779 58 0 0 25 0 11 0 548704179 857481216 25779 4294967295 134512640 134569956 3221224400 3221214684 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25779 13073 16 0 209330 0
vsize: 837384
[startup+690.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 67775 59 0 0 25 0 11 0 548704179 857481216 25780 4294967295 134512640 134569956 3221224400 3221214688 1131421564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25780 13073 16 0 209330 0
vsize: 837384
[startup+700.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 68772 59 0 0 25 0 11 0 548704179 857481216 25780 4294967295 134512640 134569956 3221224400 3221214664 1131404620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25780 13073 16 0 209330 0
vsize: 837384
[startup+710.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 69767 59 0 0 25 0 11 0 548704179 857481216 25780 4294967295 134512640 134569956 3221224400 3221214744 1131442692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25780 13073 16 0 209330 0
vsize: 837384
[startup+720.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 70764 60 0 0 25 0 11 0 548704179 857481216 25780 4294967295 134512640 134569956 3221224400 3221214448 1080217044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25780 13073 16 0 209330 0
vsize: 837384
[startup+730.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 71760 61 0 0 25 0 11 0 548704179 857481216 25780 4294967295 134512640 134569956 3221224400 3221214740 1131421804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25780 13073 16 0 209330 0
vsize: 837384
[startup+740.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 72757 61 0 0 25 0 11 0 548704179 857481216 25780 4294967295 134512640 134569956 3221224400 3221214672 1131430153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25780 13073 16 0 209330 0
vsize: 837384
[startup+750.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 73753 62 0 0 25 0 11 0 548704179 857481216 25780 4294967295 134512640 134569956 3221224400 3221214744 1131443363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25780 13073 16 0 209330 0
vsize: 837384
[startup+760.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 74749 62 0 0 25 0 11 0 548704179 857481216 25780 4294967295 134512640 134569956 3221224400 3221214800 1131290963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25780 13073 16 0 209330 0
vsize: 837384
[startup+770.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 75733 62 0 0 25 0 11 0 548704179 857481216 25780 4294967295 134512640 134569956 3221224400 3221214744 1131443687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25780 13073 16 0 209330 0
vsize: 837384
[startup+780.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 76704 62 0 0 25 0 11 0 548704179 857481216 25780 4294967295 134512640 134569956 3221224400 3221214824 1131367984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25780 13073 16 0 209330 0
vsize: 837384
[startup+790.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 77677 62 0 0 25 0 11 0 548704179 857481216 25822 4294967295 134512640 134569956 3221224400 3221214824 1131368320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25822 13073 16 0 209330 0
vsize: 837384
[startup+800.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 78662 63 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214744 1131442842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+810.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 79659 63 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214744 1131441489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+820.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 80655 63 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214696 1131216790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+830.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 81652 64 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214656 1131518036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+840.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 82648 65 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214696 1131216835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+850.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 83644 65 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214080 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+860.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 84640 65 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214696 1131216790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+870.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 85637 66 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214744 1131441977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+880.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 86633 66 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214672 1131430153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+890.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 87630 67 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214592 1131505562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+900.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 88626 67 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214624 1131216835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+910.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 89622 67 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214540 1131411564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+920.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 90619 68 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214616 1131423534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+930.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 91615 68 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214732 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+940.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 92612 68 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221213900 1079753248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+950.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 93609 68 0 0 25 0 11 0 548704179 857481216 25915 4294967295 134512640 134569956 3221224400 3221214696 1131216779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25915 13073 16 0 209330 0
vsize: 837384
[startup+960.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18096 0 1 0 94595 68 0 0 25 0 11 0 548704179 857481216 25917 4294967295 134512640 134569956 3221224400 3221214480 1131286367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25917 13073 16 0 209330 0
vsize: 837384
[startup+970.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 95584 69 0 0 25 0 11 0 548704179 857481216 25918 4294967295 134512640 134569956 3221224400 3221214576 1131512699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25918 13073 16 0 209330 0
vsize: 837384
[startup+980.074 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 96574 69 0 0 25 0 11 0 548704179 857481216 25920 4294967295 134512640 134569956 3221224400 3221214680 1131326832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25920 13073 16 0 209330 0
vsize: 837384
[startup+990.074 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 97563 69 0 0 24 0 11 0 548704179 857481216 25921 4294967295 134512640 134569956 3221224400 3221214768 1131524336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25921 13073 16 0 209330 0
vsize: 837384
[startup+1000.07 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 98560 69 0 0 25 0 11 0 548704179 857481216 26027 4294967295 134512640 134569956 3221224400 3221214572 1131277378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 26027 13073 16 0 209330 0
vsize: 837384
[startup+1010.07 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 99558 69 0 0 25 0 11 0 548704179 857481216 26035 4294967295 134512640 134569956 3221224400 3221214752 1131403657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 26035 13073 16 0 209330 0
vsize: 837384
[startup+1020.07 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 100557 69 0 0 25 0 11 0 548704179 857481216 26037 4294967295 134512640 134569956 3221224400 3221214768 1131524336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 26037 13073 16 0 209330 0
vsize: 837384
[startup+1030.08 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 101555 70 0 0 25 0 11 0 548704179 857481216 26037 4294967295 134512640 134569956 3221224400 3221214768 1131524297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 26037 13073 16 0 209330 0
vsize: 837384
[startup+1040.08 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 102554 70 0 0 25 0 11 0 548704179 857481216 26037 4294967295 134512640 134569956 3221224400 3221214680 1131326839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 26037 13073 16 0 209330 0
vsize: 837384
[startup+1050.08 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 103552 70 0 0 25 0 11 0 548704179 857481216 26037 4294967295 134512640 134569956 3221224400 3221214680 1131326839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 26037 13073 16 0 209330 0
vsize: 837384
[startup+1060.08 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 104544 71 0 0 25 0 11 0 548704179 857481216 26037 4294967295 134512640 134569956 3221224400 3221214604 1080203733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 26037 13073 16 0 209330 0
vsize: 837384
[startup+1070.08 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 105528 71 0 0 25 0 11 0 548704179 857481216 26037 4294967295 134512640 134569956 3221224400 3221214684 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 26037 13073 16 0 209330 0
vsize: 837384
[startup+1080.08 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 106499 71 0 0 25 0 11 0 548704179 860651520 26786 4294967295 134512640 134569956 3221224400 3221214696 1131518036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 26786 13073 16 0 210104 0
vsize: 840480
[startup+1090.08 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 107452 71 0 0 24 0 11 0 548704179 860651520 26888 4294967295 134512640 134569956 3221224400 3221214744 1131441570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 26888 13073 16 0 210104 0
vsize: 840480
[startup+1100.08 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 108414 71 0 0 25 0 11 0 548704179 860651520 26888 4294967295 134512640 134569956 3221224400 3221214744 1131444190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 26888 13073 16 0 210104 0
vsize: 840480
[startup+1110.08 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 109389 71 0 0 25 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214684 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 110385 71 0 0 25 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214744 1131441634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 111382 71 0 0 25 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214684 1080204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 112379 71 0 0 25 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214684 1080204274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 113376 71 0 0 25 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214688 1131421648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 114373 71 0 0 25 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214672 1131429557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 115369 72 0 0 25 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214616 1131423531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 116366 72 0 0 22 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214744 1131441595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 117362 72 0 0 25 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214592 1131505134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 118359 72 0 0 25 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214176 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
[startup+1210.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 119356 72 0 0 25 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214624 1131216835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
[startup+1220.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 11354
Raw data (stat): 11344 (java) R 11343 22612 22611 0 -1 0 18097 0 1 0 120352 72 0 0 25 0 11 0 548704179 860651520 27140 4294967295 134512640 134569956 3221224400 3221214744 1131442971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210120 27140 13073 16 0 210104 0
vsize: 840480
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.16 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 11356
Raw data (stat): 11344 (java) Z 11343 22612 22611 0 -1 1036 18097 12561 1 0 120355 77 2480 40 25 0 1 0 548704179 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.16
CPU time (s): 1229.55
CPU user time (s): 1228.36
CPU system time (s): 1.18982
CPU usage (%): 100.769
Max. virtual memory (Kb): 840480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####