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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mas76.opb
MD5SUMb1fd6c38da7449fc7e2d19c48a4dd7a9
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2147483647
Optimality of the best value was proved NO
Number of terms in the objective function 237
Biggest coefficient in the objective function 241785163922925834941235200000
Number of bits for the biggest coefficient in the objective function 98
Sum of the numbers in the objective function 483570327845851669882470400000
Number of bits of the sum of numbers in the objective function 99
Biggest number in a constraint 302231454903657293676544000000000
Number of bits of the biggest number in a constraint 108
Biggest sum of numbers in a constraint 604462909807314587353088000000000
Number of bits of the biggest sum of numbers109
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1216.97
Number of variables237
Total number of constraints163
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)151
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint1
Maximum length of a constraint236

Trace number 30036 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 14:04:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21439 boxname=wulflinc24 idbench=1427 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  b1fd6c38da7449fc7e2d19c48a4dd7a9  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-mas76.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-mas76.opb
IDLAUNCH: 21439
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        641980 kB
Buffers:         31028 kB
Cached:         339460 kB
SwapCached:        588 kB
Active:          66764 kB
Inactive:       305832 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        641644 kB
SwapTotal:     2097892 kB
SwapFree:      2096416 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            14292 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:24:25 (client local time) WITH STATUS 143 IN 1216.97 SECONDS
stats: 21439 0 1216.97 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-mas76.opb
c reading problem ... done. Time 1.404 ms.
c #vars     237
c #constraints  13
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=  219902325555200000 		Current CPU time: 1.71 ms
c CURRENT OPTIMUM=  109951162777600000 		Current CPU time: 2.12 ms
c CURRENT OPTIMUM=   54975581388800000 		Current CPU time: 2.39 ms
c CURRENT OPTIMUM=   27487790694400000 		Current CPU time: 2.45 ms
c CURRENT OPTIMUM=   13743895347200000 		Current CPU time: 2.50 ms
c CURRENT OPTIMUM=    6871947673600000 		Current CPU time: 2.56 ms
c CURRENT OPTIMUM=    3435973836800000 		Current CPU time: 2.76 ms
c CURRENT OPTIMUM=    1717986918400000 		Current CPU time: 2.91 ms
c CURRENT OPTIMUM=     858993459200000 		Current CPU time: 3.02 ms
c CURRENT OPTIMUM=     429496729600000 		Current CPU time: 3.18 ms
c CURRENT OPTIMUM=     214748364800000 		Current CPU time: 3.31 ms
c CURRENT OPTIMUM=     107374182400000 		Current CPU time: 3.42 ms
c CURRENT OPTIMUM=      53687091200000 		Current CPU time: 3.60 ms
c CURRENT OPTIMUM=      26843545600000 		Current CPU time: 3.73 ms
c CURRENT OPTIMUM=      13421772800000 		Current CPU time: 3.92 ms
c CURRENT OPTIMUM=       6710886400000 		Current CPU time: 3.98 ms
c CURRENT OPTIMUM=       3355443200000 		Current CPU time: 4.07 ms
c CURRENT OPTIMUM=       1677721600000 		Current CPU time: 4.12 ms
c CURRENT OPTIMUM=        838860800000 		Current CPU time: 4.16 ms
c CURRENT OPTIMUM=        419430400000 		Current CPU time: 4.20 ms
c CURRENT OPTIMUM=        209715200000 		Current CPU time: 4.23 ms
c CURRENT OPTIMUM=        104857600000 		Current CPU time: 4.27 ms
c CURRENT OPTIMUM=         78643200000 		Current CPU time: 4.35 ms
c CURRENT OPTIMUM=         65536000000 		Current CPU time: 4.71 ms
c CURRENT OPTIMUM=         63897600000 		Current CPU time: 5.03 ms
c CURRENT OPTIMUM=         63078400000 		Current CPU time: 5.43 ms
c CURRENT OPTIMUM=         62976000000 		Current CPU time: 5.71 ms
c CURRENT OPTIMUM=         62950400000 		Current CPU time: 5.91 ms
c CURRENT OPTIMUM=         62944000000 		Current CPU time: 6.19 ms
c CURRENT OPTIMUM=         62940800000 		Current CPU time: 6.57 ms
c CURRENT OPTIMUM=         62939200000 		Current CPU time: 6.82 ms
c CURRENT OPTIMUM=         62938400000 		Current CPU time: 7.15 ms
c CURRENT OPTIMUM=         62938000000 		Current CPU time: 7.39 ms
c CURRENT OPTIMUM=         62937900000 		Current CPU time: 7.64 ms
c CURRENT OPTIMUM=         62937850000 		Current CPU time: 7.85 ms
c CURRENT OPTIMUM=         62937846875 		Current CPU time: 8.09 ms
c CURRENT OPTIMUM=         26214396931 		Current CPU time: 10.54 ms
c CURRENT OPTIMUM=         26214393810 		Current CPU time: 10.77 ms
c CURRENT OPTIMUM=         26214390685 		Current CPU time: 11.06 ms
c CURRENT OPTIMUM=         26214387560 		Current CPU time: 11.20 ms
c CURRENT OPTIMUM=         26214384435 		Current CPU time: 11.36 ms
c CURRENT OPTIMUM=         26214381310 		Current CPU time: 11.54 ms
c CURRENT OPTIMUM=         26214378185 		Current CPU time: 11.76 ms
c CURRENT OPTIMUM=         26214375060 		Current CPU time: 12.04 ms
c CURRENT OPTIMUM=         26214371935 		Current CPU time: 12.32 ms
c CURRENT OPTIMUM=         26214368810 		Current CPU time: 12.64 ms
c CURRENT OPTIMUM=         26214365685 		Current CPU time: 13.02 ms
c CURRENT OPTIMUM=         26214362560 		Current CPU time: 13.40 ms
c CURRENT OPTIMUM=         26214359435 		Current CPU time: 13.85 ms
c CURRENT OPTIMUM=         26214356310 		Current CPU time: 14.29 ms
c CURRENT OPTIMUM=         26214353185 		Current CPU time: 14.80 ms
c CURRENT OPTIMUM=         26214350060 		Current CPU time: 15.32 ms
c CURRENT OPTIMUM=         26214196935 		Current CPU time: 15.87 ms
c CURRENT OPTIMUM=         26214193810 		Current CPU time: 16.49 ms
c CURRENT OPTIMUM=         26214190685 		Current CPU time: 17.13 ms
c CURRENT OPTIMUM=         26214187560 		Current CPU time: 17.77 ms
c CURRENT OPTIMUM=         26214184435 		Current CPU time: 18.47 ms
c CURRENT OPTIMUM=         26214181310 		Current CPU time: 19.21 ms
c CURRENT OPTIMUM=         26214178185 		Current CPU time: 19.96 ms
c CURRENT OPTIMUM=         26214175060 		Current CPU time: 20.73 ms
c CURRENT OPTIMUM=         26214171935 		Current CPU time: 21.57 ms
c CURRENT OPTIMUM=         26214168810 		Current CPU time: 22.42 ms
c CURRENT OPTIMUM=         26214165685 		Current CPU time: 23.31 ms
c CURRENT OPTIMUM=         26214162560 		Current CPU time: 24.20 ms
c CURRENT OPTIMUM=         26214159435 		Current CPU time: 25.14 ms
c CURRENT OPTIMUM=         26214156310 		Current CPU time: 26.10 ms
c CURRENT OPTIMUM=         26214153185 		Current CPU time: 27.09 ms
c CURRENT OPTIMUM=         26214150060 		Current CPU time: 28.08 ms
c CURRENT OPTIMUM=         26201596935 		Current CPU time: 29.21 ms
c CURRENT OPTIMUM=         26201593810 		Current CPU time: 30.38 ms
c CURRENT OPTIMUM=         26201590685 		Current CPU time: 31.55 ms
c CURRENT OPTIMUM=         26201587560 		Current CPU time: 32.71 ms
c CURRENT OPTIMUM=         26201584435 		Current CPU time: 33.98 ms
c CURRENT OPTIMUM=         26201581310 		Current CPU time: 35.21 ms
c CURRENT OPTIMUM=         26201578185 		Current CPU time: 36.50 ms
c CURRENT OPTIMUM=         26201575060 		Current CPU time: 37.74 ms
c CURRENT OPTIMUM=         26201571935 		Current CPU time: 39.09 ms
c CURRENT OPTIMUM=         26201568810 		Current CPU time: 40.42 ms
c CURRENT OPTIMUM=         26201565685 		Current CPU time: 41.80 ms
c CURRENT OPTIMUM=         26201562560 		Current CPU time: 43.18 ms
c CURRENT OPTIMUM=         26201559435 		Current CPU time: 44.60 ms
c CURRENT OPTIMUM=         26201556310 		Current CPU time: 46.02 ms
c CURRENT OPTIMUM=         26201553185 		Current CPU time: 47.49 ms
c CURRENT OPTIMUM=         26201550060 		Current CPU time: 48.93 ms
c CURRENT OPTIMUM=         26201396935 		Current CPU time: 50.53 ms
c CURRENT OPTIMUM=         26201393810 		Current CPU time: 52.11 ms
c CURRENT OPTIMUM=         26201390685 		Current CPU time: 53.73 ms
c CURRENT OPTIMUM=         26201387560 		Current CPU time: 55.34 ms
c CURRENT OPTIMUM=         26201384435 		Current CPU time: 57.02 ms
c CURRENT OPTIMUM=         26201381310 		Current CPU time: 58.69 ms
c CURRENT OPTIMUM=         26201378185 		Current CPU time: 60.39 ms
c CURRENT OPTIMUM=         26201375060 		Current CPU time: 62.07 ms
c CURRENT OPTIMUM=         26201371935 		Current CPU time: 63.87 ms
c CURRENT OPTIMUM=         26201368810 		Current CPU time: 65.66 ms
c CURRENT OPTIMUM=         26201365685 		Current CPU time: 67.48 ms
c CURRENT OPTIMUM=         26201362560 		Current CPU time: 69.30 ms
c CURRENT OPTIMUM=         26201359435 		Current CPU time: 71.17 ms
c CURRENT OPTIMUM=         26201356310 		Current CPU time: 73.04 ms
c CURRENT OPTIMUM=         26201353185 		Current CPU time: 74.91 ms
c CURRENT OPTIMUM=         26201350060 		Current CPU time: 76.79 ms
c CURRENT OPTIMUM=         26163196935 		Current CPU time: 78.95 ms
c CURRENT OPTIMUM=         26163193810 		Current CPU time: 81.08 ms
c CURRENT OPTIMUM=         26163190685 		Current CPU time: 83.26 ms
c CURRENT OPTIMUM=         26163187560 		Current CPU time: 85.40 ms
c CURRENT OPTIMUM=         26163184435 		Current CPU time: 87.62 ms
c CURRENT OPTIMUM=         26163181310 		Current CPU time: 89.83 ms
c CURRENT OPTIMUM=         26163178185 		Current CPU time: 92.07 ms
c CURRENT OPTIMUM=         26163175060 		Current CPU time: 94.27 ms
c CURRENT OPTIMUM=         26163171935 		Current CPU time: 96.63 ms
c CURRENT OPTIMUM=         26163168810 		Current CPU time: 98.97 ms
c CURRENT OPTIMUM=         26163165685 		Current CPU time: 101.34 ms
c CURRENT OPTIMUM=         26163162560 		Current CPU time: 103.67 ms
c CURRENT OPTIMUM=         26163159435 		Current CPU time: 106.08 ms
c CURRENT OPTIMUM=         26163156310 		Current CPU time: 108.47 ms
c CURRENT OPTIMUM=         26163153185 		Current CPU time: 110.90 ms
c CURRENT OPTIMUM=         26163150060 		Current CPU time: 113.29 ms
c CURRENT OPTIMUM=         26162996935 		Current CPU time: 115.90 ms
c CURRENT OPTIMUM=         26162993810 		Current CPU time: 118.47 ms
c CURRENT OPTIMUM=         26162990685 		Current CPU time: 121.08 ms
c CURRENT OPTIMUM=         26162987560 		Current CPU time: 123.64 ms
c CURRENT OPTIMUM=         26162984435 		Current CPU time: 126.31 ms
c CURRENT OPTIMUM=         26162981310 		Current CPU time: 128.93 ms
c CURRENT OPTIMUM=         26162978185 		Current CPU time: 131.60 ms
c CURRENT OPTIMUM=         26162975060 		Current CPU time: 134.21 ms
c CURRENT OPTIMUM=         26162971935 		Current CPU time: 137.02 ms
c CURRENT OPTIMUM=         26162968810 		Current CPU time: 139.79 ms
c CURRENT OPTIMUM=         26162965685 		Current CPU time: 142.57 ms
c CURRENT OPTIMUM=         26162962560 		Current CPU time: 145.30 ms
c CURRENT OPTIMUM=         26162959435 		Current CPU time: 148.16 ms
c CURRENT OPTIMUM=         26162956310 		Current CPU time: 150.97 ms
c CURRENT OPTIMUM=         26162953185 		Current CPU time: 153.82 ms
c CURRENT OPTIMUM=         26162950060 		Current CPU time: 156.60 ms
c CURRENT OPTIMUM=         26150396935 		Current CPU time: 159.73 ms
c CURRENT OPTIMUM=         26150393810 		Current CPU time: 162.81 ms
c CURRENT OPTIMUM=         26150390685 		Current CPU time: 165.94 ms
c CURRENT OPTIMUM=         26150387560 		Current CPU time: 169.03 ms
c CURRENT OPTIMUM=         26150384435 		Current CPU time: 172.22 ms
c CURRENT OPTIMUM=         26150381310 		Current CPU time: 175.37 ms
c CURRENT OPTIMUM=         26150378185 		Current CPU time: 178.53 ms
c CURRENT OPTIMUM=         26150375060 		Current CPU time: 181.64 ms
c CURRENT OPTIMUM=         26150371935 		Current CPU time: 184.95 ms
c CURRENT OPTIMUM=         26150368810 		Current CPU time: 188.21 ms
c CURRENT OPTIMUM=         26150365685 		Current CPU time: 191.49 ms
c CURRENT OPTIMUM=         26150362560 		Current CPU time: 194.71 ms
c CURRENT OPTIMUM=         26150359435 		Current CPU time: 198.07 ms
c CURRENT OPTIMUM=         26150356310 		Current CPU time: 201.36 ms
c CURRENT OPTIMUM=         26150353185 		Current CPU time: 204.66 ms
c CURRENT OPTIMUM=         26150350060 		Current CPU time: 207.92 ms
c CURRENT OPTIMUM=         26150196935 		Current CPU time: 211.47 ms
c CURRENT OPTIMUM=         26150193810 		Current CPU time: 214.96 ms
c CURRENT OPTIMUM=         26150190685 		Current CPU time: 218.47 ms
c CURRENT OPTIMUM=         26150187560 		Current CPU time: 221.94 ms
c CURRENT OPTIMUM=         26150184435 		Current CPU time: 225.53 ms
c CURRENT OPTIMUM=         26150181310 		Current CPU time: 229.05 ms
c CURRENT OPTIMUM=         26150178185 		Current CPU time: 232.61 ms
c CURRENT OPTIMUM=         26150175060 		Current CPU time: 236.07 ms
c CURRENT OPTIMUM=         26150171935 		Current CPU time: 239.77 ms
c CURRENT OPTIMUM=         26150168810 		Current CPU time: 243.41 ms
c CURRENT OPTIMUM=         26150165685 		Current CPU time: 247.08 ms
c CURRENT OPTIMUM=         26150162560 		Current CPU time: 250.67 ms
c CURRENT OPTIMUM=         26150159435 		Current CPU time: 254.39 ms
c CURRENT OPTIMUM=         26150156310 		Current CPU time: 258.04 ms
c CURRENT OPTIMUM=         26150153185 		Current CPU time: 261.70 ms
c CURRENT OPTIMUM=         26150150060 		Current CPU time: 265.28 ms
c CURRENT OPTIMUM=         26009596935 		Current CPU time: 269.50 ms
c CURRENT OPTIMUM=         26009593810 		Current CPU time: 273.65 ms
c CURRENT OPTIMUM=         26009590685 		Current CPU time: 277.85 ms
c CURRENT OPTIMUM=         26009587560 		Current CPU time: 281.98 ms
c CURRENT OPTIMUM=         26009584435 		Current CPU time: 286.24 ms
c CURRENT OPTIMUM=         26009581310 		Current CPU time: 290.41 ms
c CURRENT OPTIMUM=         26009578185 		Current CPU time: 294.60 ms
c CURRENT OPTIMUM=         26009575060 		Current CPU time: 298.72 ms
c CURRENT OPTIMUM=         26009571935 		Current CPU time: 303.12 ms
c CURRENT OPTIMUM=         26009568810 		Current CPU time: 307.42 ms
c CURRENT OPTIMUM=         26009565685 		Current CPU time: 311.77 ms
c CURRENT OPTIMUM=         26009562560 		Current CPU time: 316.03 ms
c CURRENT OPTIMUM=         26009559435 		Current CPU time: 320.40 ms
c CURRENT OPTIMUM=         26009556310 		Current CPU time: 324.71 ms
c CURRENT OPTIMUM=         26009553185 		Current CPU time: 329.05 ms
c CURRENT OPTIMUM=         26009550060 		Current CPU time: 333.29 ms
c CURRENT OPTIMUM=         26009396935 		Current CPU time: 337.95 ms
c CURRENT OPTIMUM=         26009393810 		Current CPU time: 342.49 ms
c CURRENT OPTIMUM=         26009390685 		Current CPU time: 347.08 ms
c CURRENT OPTIMUM=         26009387560 		Current CPU time: 351.58 ms
c CURRENT OPTIMUM=         26009384435 		Current CPU time: 356.23 ms
c CURRENT OPTIMUM=         26009381310 		Current CPU time: 360.79 ms
c CURRENT OPTIMUM=         26009378185 		Current CPU time: 365.36 ms
c CURRENT OPTIMUM=         26009375060 		Current CPU time: 369.87 ms
c CURRENT OPTIMUM=         26009371935 		Current CPU time: 374.63 ms
c CURRENT OPTIMUM=         26009368810 		Current CPU time: 379.30 ms
c CURRENT OPTIMUM=         26009365685 		Current CPU time: 384.00 ms
c CURRENT OPTIMUM=         26009362560 		Current CPU time: 388.62 ms
c CURRENT OPTIMUM=         26009359435 		Current CPU time: 393.38 ms
c CURRENT OPTIMUM=         26009356310 		Current CPU time: 398.05 ms
c CURRENT OPTIMUM=         26009353185 		Current CPU time: 402.74 ms
c CURRENT OPTIMUM=         26009350060 		Current CPU time: 407.33 ms
c CURRENT OPTIMUM=         25996796935 		Current CPU time: 412.49 ms
c CURRENT OPTIMUM=         25996793810 		Current CPU time: 417.56 ms
c CURRENT OPTIMUM=         25996790685 		Current CPU time: 422.66 ms
c CURRENT OPTIMUM=         25996787560 		Current CPU time: 427.65 ms
c CURRENT OPTIMUM=         25996784435 		Current CPU time: 432.79 ms
c CURRENT OPTIMUM=         25996781310 		Current CPU time: 437.81 ms
c CURRENT OPTIMUM=         25996778185 		Current CPU time: 442.89 ms
c CURRENT OPTIMUM=         25996775060 		Current CPU time: 447.85 ms
c CURRENT OPTIMUM=         25996771935 		Current CPU time: 453.14 ms
c CURRENT OPTIMUM=         25996768810 		Current CPU time: 458.29 ms
c CURRENT OPTIMUM=         25996765685 		Current CPU time: 463.49 ms
c CURRENT OPTIMUM=         25996762560 		Current CPU time: 468.56 ms
c CURRENT OPTIMUM=         25996759435 		Current CPU time: 473.81 ms
c CURRENT OPTIMUM=         25996756310 		Current CPU time: 478.94 ms
c CURRENT OPTIMUM=         25996753185 		Current CPU time: 484.09 ms
c CURRENT OPTIMUM=         25996750060 		Current CPU time: 489.14 ms
c CURRENT OPTIMUM=         25996596935 		Current CPU time: 494.67 ms
c CURRENT OPTIMUM=         25996593810 		Current CPU time: 500.09 ms
c CURRENT OPTIMUM=         25996590685 		Current CPU time: 505.55 ms
c CURRENT OPTIMUM=         25996587560 		Current CPU time: 510.86 ms
c CURRENT OPTIMUM=         25996584435 		Current CPU time: 516.37 ms
c CURRENT OPTIMUM=         25996581310 		Current CPU time: 521.75 ms
c CURRENT OPTIMUM=         25996578185 		Current CPU time: 527.13 ms
c CURRENT OPTIMUM=         25996575060 		Current CPU time: 532.38 ms
c CURRENT OPTIMUM=         25996571935 		Current CPU time: 537.97 ms
c CURRENT OPTIMUM=         25996568810 		Current CPU time: 543.45 ms
c CURRENT OPTIMUM=         25996565685 		Current CPU time: 548.98 ms
c CURRENT OPTIMUM=         25996562560 		Current CPU time: 554.35 ms
c CURRENT OPTIMUM=         25996559435 		Current CPU time: 559.95 ms
c CURRENT OPTIMUM=         25996556310 		Current CPU time: 565.39 ms
c CURRENT OPTIMUM=         25996553185 		Current CPU time: 570.89 ms
c CURRENT OPTIMUM=         25996550060 		Current CPU time: 576.25 ms
c CURRENT OPTIMUM=         25958396935 		Current CPU time: 582.44 ms
c CURRENT OPTIMUM=         25958393810 		Current CPU time: 588.50 ms
c CURRENT OPTIMUM=         25958390685 		Current CPU time: 594.61 ms
c CURRENT OPTIMUM=         25958387560 		Current CPU time: 600.59 ms
c CURRENT OPTIMUM=         25958384435 		Current CPU time: 606.74 ms
c CURRENT OPTIMUM=         25958381310 		Current CPU time: 612.77 ms
c CURRENT OPTIMUM=         25958378185 		Current CPU time: 618.83 ms
c CURRENT OPTIMUM=         25958375060 		Current CPU time: 624.71 ms
c CURRENT OPTIMUM=         25958371935 		Current CPU time: 630.97 ms
c CURRENT OPTIMUM=         25958368810 		Current CPU time: 637.11 ms
c CURRENT OPTIMUM=         25958365685 		Current CPU time: 643.28 ms
c CURRENT OPTIMUM=         25958362560 		Current CPU time: 649.29 ms
c CURRENT OPTIMUM=         25958359435 		Current CPU time: 655.51 ms
c CURRENT OPTIMUM=         25958356310 		Current CPU time: 661.58 ms
c CURRENT OPTIMUM=         25958353185 		Current CPU time: 667.67 ms
c CURRENT OPTIMUM=         25958350060 		Current CPU time: 673.64 ms
c CURRENT OPTIMUM=         25958196935 		Current CPU time: 680.15 ms
c CURRENT OPTIMUM=         25958193810 		Current CPU time: 686.54 ms
c CURRENT OPTIMUM=         25958190685 		Current CPU time: 692.94 ms
c CURRENT OPTIMUM=         25958187560 		Current CPU time: 699.16 ms
c CURRENT OPTIMUM=         25958184435 		Current CPU time: 705.63 ms
c CURRENT OPTIMUM=         25958181310 		Current CPU time: 711.95 ms
c CURRENT OPTIMUM=         25958178185 		Current CPU time: 718.29 ms
c CURRENT OPTIMUM=         25958175060 		Current CPU time: 724.49 ms
c CURRENT OPTIMUM=         25958171935 		Current CPU time: 731.08 ms
c CURRENT OPTIMUM=         25958168810 		Current CPU time: 737.51 ms
c CURRENT OPTIMUM=         25958165685 		Current CPU time: 743.96 ms
c CURRENT OPTIMUM=         25958162560 		Current CPU time: 750.26 ms
c CURRENT OPTIMUM=         25958159435 		Current CPU time: 756.77 ms
c CURRENT OPTIMUM=         25958156310 		Current CPU time: 763.12 ms
c CURRENT OPTIMUM=         25958153185 		Current CPU time: 769.51 ms
c CURRENT OPTIMUM=         25958150060 		Current CPU time: 775.72 ms
c CURRENT OPTIMUM=         25945596935 		Current CPU time: 782.74 ms
c CURRENT OPTIMUM=         25945593810 		Current CPU time: 789.61 ms
c CURRENT OPTIMUM=         25945590685 		Current CPU time: 796.48 ms
c CURRENT OPTIMUM=         25945587560 		Current CPU time: 803.18 ms
c CURRENT OPTIMUM=         25945584435 		Current CPU time: 810.15 ms
c CURRENT OPTIMUM=         25945581310 		Current CPU time: 816.93 ms
c CURRENT OPTIMUM=         25945578185 		Current CPU time: 823.73 ms
c CURRENT OPTIMUM=         25945575060 		Current CPU time: 830.35 ms
c CURRENT OPTIMUM=         25945571935 		Current CPU time: 837.41 ms
c CURRENT OPTIMUM=         25945568810 		Current CPU time: 844.29 ms
c CURRENT OPTIMUM=         25945565685 		Current CPU time: 851.20 ms
c CURRENT OPTIMUM=         25945562560 		Current CPU time: 857.94 ms
c CURRENT OPTIMUM=         25945559435 		Current CPU time: 864.92 ms
c CURRENT OPTIMUM=         25945556310 		Current CPU time: 871.72 ms
c CURRENT OPTIMUM=         25945553185 		Current CPU time: 878.56 ms
c CURRENT OPTIMUM=         25945550060 		Current CPU time: 885.23 ms
c CURRENT OPTIMUM=         25945396935 		Current CPU time: 892.52 ms
c CURRENT OPTIMUM=         25945393810 		Current CPU time: 899.66 ms
c CURRENT OPTIMUM=         25945390685 		Current CPU time: 906.80 ms
c CURRENT OPTIMUM=         25945387560 		Current CPU time: 913.79 ms
c CURRENT OPTIMUM=         25945384435 		Current CPU time: 921.03 ms
c CURRENT OPTIMUM=         25945381310 		Current CPU time: 928.07 ms
c CURRENT OPTIMUM=         25945378185 		Current CPU time: 935.12 ms
c CURRENT OPTIMUM=         25945375060 		Current CPU time: 942.00 ms
c CURRENT OPTIMUM=         25945371935 		Current CPU time: 949.32 ms
c CURRENT OPTIMUM=         25945368810 		Current CPU time: 956.47 ms
c CURRENT OPTIMUM=         25945365685 		Current CPU time: 963.67 ms
c CURRENT OPTIMUM=         25945362560 		Current CPU time: 970.67 ms
c CURRENT OPTIMUM=         25945359435 		Current CPU time: 977.93 ms
c CURRENT OPTIMUM=         25945356310 		Current CPU time: 984.99 ms
c CURRENT OPTIMUM=         25945353185 		Current CPU time: 992.05 ms
c CURRENT OPTIMUM=         25945350060 		Current CPU time: 998.95 ms
c CURRENT OPTIMUM=         25804796935 		Current CPU time: 1007.38 ms
c CURRENT OPTIMUM=         25804793810 		Current CPU time: 1015.66 ms
c CURRENT OPTIMUM=         25804790685 		Current CPU time: 1023.93 ms
c CURRENT OPTIMUM=         25804787560 		Current CPU time: 1032.01 ms
c CURRENT OPTIMUM=         25804784435 		Current CPU time: 1040.34 ms
c CURRENT OPTIMUM=         25804781310 		Current CPU time: 1048.51 ms
c CURRENT OPTIMUM=         25804778185 		Current CPU time: 1056.69 ms
c CURRENT OPTIMUM=         25804775060 		Current CPU time: 1064.70 ms
c CURRENT OPTIMUM=         25804771935 		Current CPU time: 1073.16 ms
c CURRENT OPTIMUM=         25804768810 		Current CPU time: 1081.45 ms
c CURRENT OPTIMUM=         25804765685 		Current CPU time: 1089.78 ms
c CURRENT OPTIMUM=         25804762560 		Current CPU time: 1097.91 ms
c CURRENT OPTIMUM=         25804759435 		Current CPU time: 1106.29 ms
c CURRENT OPTIMUM=         25804756310 		Current CPU time: 1114.47 ms
c CURRENT OPTIMUM=         25804753185 		Current CPU time: 1122.70 ms
c CURRENT OPTIMUM=         25804750060 		Current CPU time: 1130.71 ms
c CURRENT OPTIMUM=         25804596935 		Current CPU time: 1139.46 ms
c CURRENT OPTIMUM=         25804593810 		Current CPU time: 1148.01 ms
c CURRENT OPTIMUM=         25804590685 		Current CPU time: 1156.55 ms
c CURRENT OPTIMUM=         25804587560 		Current CPU time: 1164.92 ms
c CURRENT OPTIMUM=         25804584435 		Current CPU time: 1173.57 ms
c CURRENT OPTIMUM=         25804581310 		Current CPU time: 1182.00 ms
c CURRENT OPTIMUM=         25804578185 		Current CPU time: 1190.45 ms
c CURRENT OPTIMUM=         25804575060 		Current CPU time: 1198.69 ms
c CURRENT OPTIMUM=         25804571935 		Current CPU time: 1207.44 ms
c CURRENT OPTIMUM=         25804568810 		Current CPU time: 1216.01 ms
c starts	: 319
c conflicts	: 6
c decisions	: 52629
c propagations	: 55933
c inspects	: 1363251
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 320
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 x19_bit0 x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x52_bit0 x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 -x132_bit0 x133_bit0 x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 x148_bit0 x149_bit0 -x150_bit0 -x151_bit_7 x151_bit_6 x151_bit_5 -x151_bit_4 x151_bit_3 x151_bit_2 -x151_bit_1 x151_bit0 x151_bit1 x151_bit2 x151_bit3 x151_bit4 x151_bit5 x151_bit6 x151_bit7 x151_bit8 x151_bit9 -x151_bit10 x151_bit11 x151_bit12 x151_bit13 x151_bit14 x151_bit15 -x151_bit16 -x151_bit17 -x151_bit18 -x151_bit19 -x151_bit20 -x151_bit21 -x151_bit22 -x151_bit23 -x151_bit24 -x151_bit25 -x151_bit26 -x151_bit27 -x151_bit28 -x151_bit29 -x151_bit30 -x151_bit31 -x151_bit32 -x151_bit33 -x151_bit34 -x151_bit35 -x151_bit36 -x151_bit37 -x151_bit38 -x151_bit39 -x151_bit40 -x151_bit41 -x151_bit42 -x151_bit43 -x151_bit44 -x151_bit45 -x151_bit46 -x151_bit47 -x151_bit48 -x151_bit49 -x151_bit50 -x151_bit51 -x151_bit52 -x151_bit53 -x151_bit54 -x151_bit55 -x151_bit56 -x151_bit57 -x151_bit58 -x151_bit59 -x151_bit60 -x151_bit61 -x151_bit62 -x151_bit63 -x151_bit64 -x151_bit65 -x151_bit66 -x151_bit67 -x151_bit68 -x151_bit69 -x151_bit70 -x151_bit71 -x151_bit72 -x151_bit73 -x151_bit74 -x151_bit75 -x151_bit76 -x151_bit77 -x151_bit78 -x151_bit79 
c objectif function=25804568810
c Total CPU time (ms) : 1219.08
#### 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.99 1.00 1.00 2/54 21993
Raw data (stat): 21993 (runsolver) R 21992 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839451904 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.30 1.06 1.02 4/64 22039
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 628 39 1 0 25 0 11 0 839451904 870834176 22972 4294967295 134512640 134569956 3221224368 3221214492 1130892668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212606 22972 13086 16 0 212590 0
vsize: 850424
[startup+20.0018 s]
Raw data (loadavg): 1.25 1.06 1.02 2/64 22060
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 1554 40 1 0 25 0 11 0 839451904 865034240 21819 4294967295 134512640 134569956 3221224368 3221214504 1131228202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211190 21819 13086 16 0 211174 0
vsize: 844760
[startup+30.003 s]
Raw data (loadavg): 1.21 1.06 1.02 2/64 22071
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 2511 40 2 0 25 0 11 0 839451904 863723520 21602 4294967295 134512640 134569956 3221224368 3221214504 1131228371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 21602 13086 16 0 210854 0
vsize: 843480
[startup+40.0027 s]
Raw data (loadavg): 1.18 1.06 1.02 2/64 22079
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 3467 41 2 0 25 0 11 0 839451904 863723520 21915 4294967295 134512640 134569956 3221224368 3221214504 1131227361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 21915 13086 16 0 210854 0
vsize: 843480
[startup+50.0029 s]
Raw data (loadavg): 1.15 1.05 1.02 2/64 22087
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 4450 41 2 0 24 0 11 0 839451904 863723520 21992 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 21992 13086 16 0 210854 0
vsize: 843480
[startup+60.0033 s]
Raw data (loadavg): 1.13 1.05 1.02 2/64 22093
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 5436 42 2 1 25 0 11 0 839451904 863723520 21989 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 21989 13086 16 0 210854 0
vsize: 843480
[startup+70.0048 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 22098
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 6421 42 3 1 25 0 11 0 839451904 863723520 22023 4294967295 134512640 134569956 3221224368 3221214504 1131227855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22023 13086 16 0 210854 0
vsize: 843480
[startup+80.008 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 22104
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 7409 42 3 1 25 0 11 0 839451904 863723520 22092 4294967295 134512640 134569956 3221224368 3221214408 1131181734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22092 13086 16 0 210854 0
vsize: 843480
[startup+90.0081 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 22108
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 8398 43 3 1 25 0 11 0 839451904 863723520 22120 4294967295 134512640 134569956 3221224368 3221214600 1131264875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22120 13086 16 0 210854 0
vsize: 843480
[startup+100.009 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 22115
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 9388 44 3 1 25 0 11 0 839451904 863723520 22141 4294967295 134512640 134569956 3221224368 3221214408 1131181371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22141 13086 16 0 210854 0
vsize: 843480
[startup+110.009 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 22119
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 10378 44 3 1 25 0 11 0 839451904 863723520 22162 4294967295 134512640 134569956 3221224368 3221214600 1131267298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22162 13086 16 0 210854 0
vsize: 843480
[startup+120.012 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 22123
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 11368 45 3 1 25 0 11 0 839451904 863723520 22183 4294967295 134512640 134569956 3221224368 3221214504 1131228202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22183 13086 16 0 210854 0
vsize: 843480
[startup+130.012 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 22127
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 12359 45 4 1 25 0 11 0 839451904 863723520 22200 4294967295 134512640 134569956 3221224368 3221214504 1131227763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22200 13086 16 0 210854 0
vsize: 843480
[startup+140.011 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 22130
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 13349 46 4 1 25 0 11 0 839451904 863723520 22217 4294967295 134512640 134569956 3221224368 3221214600 1131263697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22217 13086 16 0 210854 0
vsize: 843480
[startup+150.012 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 22134
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 14340 47 4 1 25 0 11 0 839451904 863723520 22234 4294967295 134512640 134569956 3221224368 3221214504 1131228067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22234 13086 16 0 210854 0
vsize: 843480
[startup+160.013 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 22137
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 15327 47 4 1 25 0 11 0 839451904 863723520 22250 4294967295 134512640 134569956 3221224368 3221214600 1131263762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22250 13086 16 0 210854 0
vsize: 843480
[startup+170.013 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 22140
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 16314 48 4 1 25 0 10 0 839451904 863723520 22297 4294967295 134512640 134569956 3221224368 3221214680 1131334502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22297 13086 16 0 210854 0
vsize: 843480
[startup+180.014 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 22144
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 17301 48 4 1 25 0 11 0 839451904 863723520 22334 4294967295 134512640 134569956 3221224368 3221214504 1131227687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22334 13086 16 0 210854 0
vsize: 843480
[startup+190.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 22147
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 18291 49 4 1 25 0 11 0 839451904 863723520 22351 4294967295 134512640 134569956 3221224368 3221214504 1131228025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22351 13086 16 0 210854 0
vsize: 843480
[startup+200.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 22150
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 19282 50 5 1 25 0 11 0 839451904 863723520 22391 4294967295 134512640 134569956 3221224368 3221214600 1131263697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22391 13086 16 0 210854 0
vsize: 843480
[startup+210.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 22153
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 20274 50 5 2 25 0 11 0 839451904 863723520 22404 4294967295 134512640 134569956 3221224368 3221214600 1131267131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22404 13086 16 0 210854 0
vsize: 843480
[startup+220.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 22156
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 21265 51 5 2 25 0 11 0 839451904 863723520 22416 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22416 13086 16 0 210854 0
vsize: 843480
[startup+230.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22158
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 22257 51 5 2 25 0 11 0 839451904 863723520 22429 4294967295 134512640 134569956 3221224368 3221214536 1131322813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22429 13086 16 0 210854 0
vsize: 843480
[startup+240.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22161
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 23248 52 5 2 25 0 11 0 839451904 863723520 22441 4294967295 134512640 134569956 3221224368 3221214600 1131267346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22441 13086 16 0 210854 0
vsize: 843480
[startup+250.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22164
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 24239 52 5 2 25 0 11 0 839451904 863723520 22454 4294967295 134512640 134569956 3221224368 3221214600 1131264855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22454 13086 16 0 210854 0
vsize: 843480
[startup+260.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22167
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 25231 53 6 2 25 0 11 0 839451904 863723520 22462 4294967295 134512640 134569956 3221224368 3221214600 1131267298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22462 13086 16 0 210854 0
vsize: 843480
[startup+270.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22169
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 26223 53 6 2 25 0 11 0 839451904 863723520 22475 4294967295 134512640 134569956 3221224368 3221214600 1131263762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22475 13086 16 0 210854 0
vsize: 843480
[startup+280.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22172
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 27214 53 6 2 25 0 11 0 839451904 863723520 22487 4294967295 134512640 134569956 3221224368 3221214600 1131266109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22487 13086 16 0 210854 0
vsize: 843480
[startup+290.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22174
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 28206 53 6 2 25 0 11 0 839451904 863723520 22500 4294967295 134512640 134569956 3221224368 3221214504 1131227357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22500 13086 16 0 210854 0
vsize: 843480
[startup+300.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22177
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 29198 53 6 2 25 0 11 0 839451904 863723520 22509 4294967295 134512640 134569956 3221224368 3221214504 1131227809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22509 13086 16 0 210854 0
vsize: 843480
[startup+310.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22179
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 30190 53 6 2 25 0 11 0 839451904 863723520 22521 4294967295 134512640 134569956 3221224368 3221214600 1131263762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22521 13086 16 0 210854 0
vsize: 843480
[startup+320.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22181
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 31182 53 6 2 25 0 11 0 839451904 863723520 22530 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22530 13086 16 0 210854 0
vsize: 843480
[startup+330.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22183
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 32174 54 6 2 25 0 11 0 839451904 863723520 22542 4294967295 134512640 134569956 3221224368 3221214640 1131359696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22542 13086 16 0 210854 0
vsize: 843480
[startup+340.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22186
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 33166 54 6 2 25 0 11 0 839451904 863723520 22551 4294967295 134512640 134569956 3221224368 3221214504 1131228357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22551 13086 16 0 210854 0
vsize: 843480
[startup+350.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22188
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 34158 54 6 2 25 0 11 0 839451904 863723520 22559 4294967295 134512640 134569956 3221224368 3221214504 1131227939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22559 13086 16 0 210854 0
vsize: 843480
[startup+360.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22190
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 35150 54 6 2 25 0 11 0 839451904 863723520 22567 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22567 13086 16 0 210854 0
vsize: 843480
[startup+370.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22192
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 36142 55 7 2 25 0 11 0 839451904 863723520 22580 4294967295 134512640 134569956 3221224368 3221214600 1131263737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22580 13086 16 0 210854 0
vsize: 843480
[startup+380.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22194
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 37134 55 7 2 25 0 11 0 839451904 863723520 22588 4294967295 134512640 134569956 3221224368 3221214408 1131182337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22588 13086 16 0 210854 0
vsize: 843480
[startup+390.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22197
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 38126 56 7 2 25 0 11 0 839451904 863723520 22597 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22597 13086 16 0 210854 0
vsize: 843480
[startup+400.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22199
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 39118 56 7 2 25 0 11 0 839451904 863723520 22605 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22605 13086 16 0 210854 0
vsize: 843480
[startup+410.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22201
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 40110 56 7 2 25 0 11 0 839451904 863723520 22613 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22613 13086 16 0 210854 0
vsize: 843480
[startup+420.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22203
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 41103 56 7 2 25 0 11 0 839451904 863723520 22623 4294967295 134512640 134569956 3221224368 3221214600 1131263697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22623 13086 16 0 210854 0
vsize: 843480
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22205
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 42095 56 7 2 25 0 11 0 839451904 863723520 22635 4294967295 134512640 134569956 3221224368 3221214504 1131228532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22635 13086 16 0 210854 0
vsize: 843480
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22207
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 43087 57 7 2 25 0 11 0 839451904 863723520 22644 4294967295 134512640 134569956 3221224368 3221214504 1131227870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210870 22644 13086 16 0 210854 0
vsize: 843480
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22209
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 44079 57 7 2 25 0 11 0 839451904 863723520 22652 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22652 13086 16 0 210854 0
vsize: 843480
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22211
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 45071 57 8 2 25 0 11 0 839451904 863723520 22656 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22656 13086 16 0 210854 0
vsize: 843480
[startup+470.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22213
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 46064 57 8 2 25 0 11 0 839451904 863723520 22665 4294967295 134512640 134569956 3221224368 3221214504 1131227928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22665 13086 16 0 210854 0
vsize: 843480
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22215
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 47056 58 8 2 25 0 11 0 839451904 863723520 22673 4294967295 134512640 134569956 3221224368 3221214504 1131228126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22673 13086 16 0 210854 0
vsize: 843480
[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22216
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 48048 58 8 3 25 0 11 0 839451904 863723520 22681 4294967295 134512640 134569956 3221224368 3221214504 1131228233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22681 13086 16 0 210854 0
vsize: 843480
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22218
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 49038 58 8 3 25 0 11 0 839451904 863723520 22690 4294967295 134512640 134569956 3221224368 3221214600 1131265730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22690 13086 16 0 210854 0
vsize: 843480
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22220
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 50028 58 8 3 25 0 11 0 839451904 863723520 22698 4294967295 134512640 134569956 3221224368 3221214504 1131228233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22698 13086 16 0 210854 0
vsize: 843480
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22222
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 51019 59 8 3 25 0 11 0 839451904 863723520 22765 4294967295 134512640 134569956 3221224368 3221214504 1131228067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22765 13086 16 0 210854 0
vsize: 843480
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22224
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 52011 59 8 3 25 0 11 0 839451904 863723520 22774 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22774 13086 16 0 210854 0
vsize: 843480
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22226
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 53003 59 8 3 25 0 11 0 839451904 863723520 22782 4294967295 134512640 134569956 3221224368 3221214596 1131227340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22782 13086 16 0 210854 0
vsize: 843480
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22228
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 53995 60 8 3 25 0 11 0 839451904 863723520 22791 4294967295 134512640 134569956 3221224368 3221214504 1131228300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22791 13086 16 0 210854 0
vsize: 843480
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22229
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 54987 60 8 3 25 0 11 0 839451904 863723520 22799 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22799 13086 16 0 210854 0
vsize: 843480
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22231
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 55975 60 8 3 25 0 11 0 839451904 863723520 22803 4294967295 134512640 134569956 3221224368 3221214600 1131264631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22803 13086 16 0 210854 0
vsize: 843480
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22233
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 56962 60 8 3 25 0 11 0 839451904 863723520 22812 4294967295 134512640 134569956 3221224368 3221214504 1131228013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22812 13086 16 0 210854 0
vsize: 843480
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22235
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 57950 60 8 3 25 0 11 0 839451904 863723520 22847 4294967295 134512640 134569956 3221224368 3221214504 1131228035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22847 13086 16 0 210854 0
vsize: 843480
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22236
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18131 6 1 0 58937 60 8 3 25 0 11 0 839451904 863723520 22879 4294967295 134512640 134569956 3221224368 3221214504 1131227928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22879 13086 16 0 210854 0
vsize: 843480
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22238
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 59924 60 8 3 25 0 11 0 839451904 863723520 22893 4294967295 134512640 134569956 3221224368 3221214504 1131227870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22893 13086 16 0 210854 0
vsize: 843480
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22240
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 60914 61 8 3 25 0 11 0 839451904 863723520 22942 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22942 13086 16 0 210854 0
vsize: 843480
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22241
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 61906 61 8 3 25 0 11 0 839451904 863723520 22954 4294967295 134512640 134569956 3221224368 3221214504 1131227569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22954 13086 16 0 210854 0
vsize: 843480
[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22243
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 62898 61 8 3 25 0 11 0 839451904 863723520 22963 4294967295 134512640 134569956 3221224368 3221214600 1131267258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22963 13086 16 0 210854 0
vsize: 843480
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22244
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 63890 61 8 3 25 0 11 0 839451904 863723520 22967 4294967295 134512640 134569956 3221224368 3221214504 1131227809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22967 13086 16 0 210854 0
vsize: 843480
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22246
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 64882 61 9 3 25 0 11 0 839451904 863723520 22975 4294967295 134512640 134569956 3221224368 3221214504 1131228241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22975 13086 16 0 210854 0
vsize: 843480
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22248
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 65874 61 9 3 25 0 11 0 839451904 863723520 22979 4294967295 134512640 134569956 3221224368 3221214600 1131263697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22979 13086 16 0 210854 0
vsize: 843480
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22249
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 66866 61 9 3 25 0 11 0 839451904 863723520 22988 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22988 13086 16 0 210854 0
vsize: 843480
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22251
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 67858 62 9 3 25 0 11 0 839451904 863723520 22996 4294967295 134512640 134569956 3221224368 3221214504 1131228065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 22996 13086 16 0 210854 0
vsize: 843480
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22252
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 68849 62 9 3 25 0 11 0 839451904 863723520 23000 4294967295 134512640 134569956 3221224368 3221214504 1131227999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23000 13086 16 0 210854 0
vsize: 843480
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22254
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 69841 62 9 3 25 0 11 0 839451904 863723520 23009 4294967295 134512640 134569956 3221224368 3221214504 1131228035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23009 13086 16 0 210854 0
vsize: 843480
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22256
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 70834 62 9 3 25 0 11 0 839451904 863723520 23017 4294967295 134512640 134569956 3221224368 3221214408 1131181304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23017 13086 16 0 210854 0
vsize: 843480
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22257
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 71826 62 9 3 25 0 11 0 839451904 863723520 23021 4294967295 134512640 134569956 3221224368 3221214504 1131227372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23021 13086 16 0 210854 0
vsize: 843480
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22259
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 72818 62 9 3 25 0 11 0 839451904 863723520 23030 4294967295 134512640 134569956 3221224368 3221214504 1131227735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23030 13086 16 0 210854 0
vsize: 843480
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22260
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 73810 63 9 3 25 0 11 0 839451904 863723520 23034 4294967295 134512640 134569956 3221224368 3221214504 1131227390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23034 13086 16 0 210854 0
vsize: 843480
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22262
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 74802 63 9 3 25 0 11 0 839451904 863723520 23042 4294967295 134512640 134569956 3221224368 3221214600 1131267499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23042 13086 16 0 210854 0
vsize: 843480
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22263
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 75794 63 9 4 25 0 11 0 839451904 863723520 23046 4294967295 134512640 134569956 3221224368 3221214600 1131265704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23046 13086 16 0 210854 0
vsize: 843480
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22265
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 76786 63 9 4 25 0 11 0 839451904 863723520 23055 4294967295 134512640 134569956 3221224368 3221214504 1131227793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23055 13086 16 0 210854 0
vsize: 843480
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22266
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 77778 63 9 4 25 0 11 0 839451904 863723520 23059 4294967295 134512640 134569956 3221224368 3221214600 1131264851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23059 13086 16 0 210854 0
vsize: 843480
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22268
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 78770 63 9 4 25 0 11 0 839451904 863723520 23067 4294967295 134512640 134569956 3221224368 3221214600 1131263697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23067 13086 16 0 210854 0
vsize: 843480
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22269
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 79762 63 10 4 22 0 11 0 839451904 863723520 23071 4294967295 134512640 134569956 3221224368 3221214504 1131227800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23071 13086 16 0 210854 0
vsize: 843480
[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22271
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 80754 63 10 4 25 0 11 0 839451904 863723520 23080 4294967295 134512640 134569956 3221224368 3221214600 1131267217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23080 13086 16 0 210854 0
vsize: 843480
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22272
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 81746 64 10 4 25 0 11 0 839451904 863723520 23084 4294967295 134512640 134569956 3221224368 3221214504 1131228122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23084 13086 16 0 210854 0
vsize: 843480
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22274
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 82737 64 10 4 25 0 11 0 839451904 863723520 23092 4294967295 134512640 134569956 3221224368 3221214504 1131227390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23092 13086 16 0 210854 0
vsize: 843480
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22275
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 83729 64 10 4 25 0 11 0 839451904 863723520 23096 4294967295 134512640 134569956 3221224368 3221214504 1131227870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23096 13086 16 0 210854 0
vsize: 843480
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22277
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 84721 64 10 4 25 0 11 0 839451904 863723520 23105 4294967295 134512640 134569956 3221224368 3221214600 1131267310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23105 13086 16 0 210854 0
vsize: 843480
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22278
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 85713 64 10 4 25 0 11 0 839451904 863723520 23109 4294967295 134512640 134569956 3221224368 3221214600 1131268189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23109 13086 16 0 210854 0
vsize: 843480
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22280
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 86705 64 10 4 25 0 11 0 839451904 863723520 23117 4294967295 134512640 134569956 3221224368 3221214408 1131181726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23117 13086 16 0 210854 0
vsize: 843480
[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22281
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 87696 64 10 4 25 0 11 0 839451904 863723520 23122 4294967295 134512640 134569956 3221224368 3221214504 1131228108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23122 13086 16 0 210854 0
vsize: 843480
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 88688 65 10 4 25 0 11 0 839451904 863723520 23130 4294967295 134512640 134569956 3221224368 3221214600 1131263690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23130 13086 16 0 210854 0
vsize: 843480
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22284
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 89680 65 10 4 25 0 11 0 839451904 863723520 23134 4294967295 134512640 134569956 3221224368 3221214504 1131227374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23134 13086 16 0 210854 0
vsize: 843480
[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22285
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 90672 65 10 4 25 0 11 0 839451904 863723520 23144 4294967295 134512640 134569956 3221224368 3221214600 1131267342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23144 13086 16 0 210854 0
vsize: 843480
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22287
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 91664 65 10 4 25 0 11 0 839451904 863723520 23148 4294967295 134512640 134569956 3221224368 3221214600 1131267996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23148 13086 16 0 210854 0
vsize: 843480
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22288
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 92656 65 10 4 25 0 11 0 839451904 863723520 23152 4294967295 134512640 134569956 3221224368 3221214600 1131267184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23152 13086 16 0 210854 0
vsize: 843480
[startup+950.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22289
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 93647 65 10 4 25 0 11 0 839451904 863723520 23160 4294967295 134512640 134569956 3221224368 3221214504 1131228378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23160 13086 16 0 210854 0
vsize: 843480
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22291
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 94639 65 10 4 25 0 11 0 839451904 863723520 23164 4294967295 134512640 134569956 3221224368 3221214600 1131267304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23164 13086 16 0 210854 0
vsize: 843480
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22292
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 95630 65 10 4 25 0 11 0 839451904 863723520 23173 4294967295 134512640 134569956 3221224368 3221214504 1131228223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23173 13086 16 0 210854 0
vsize: 843480
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22294
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 96622 66 10 4 25 0 11 0 839451904 863723520 23177 4294967295 134512640 134569956 3221224368 3221214504 1131227793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23177 13086 16 0 210854 0
vsize: 843480
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22295
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 97613 66 10 4 25 0 11 0 839451904 863723520 23181 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23181 13086 16 0 210854 0
vsize: 843480
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22297
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 98605 66 10 4 25 0 11 0 839451904 863723520 23190 4294967295 134512640 134569956 3221224368 3221214504 1131227919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23190 13086 16 0 210854 0
vsize: 843480
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22298
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 99596 66 10 4 25 0 11 0 839451904 863723520 23194 4294967295 134512640 134569956 3221224368 3221214600 1131267285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23194 13086 16 0 210854 0
vsize: 843480
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22299
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 100588 66 10 4 25 0 11 0 839451904 863723520 23202 4294967295 134512640 134569956 3221224368 3221214600 1131264930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23202 13086 16 0 210854 0
vsize: 843480
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22300
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 101580 66 10 4 25 0 11 0 839451904 863723520 23206 4294967295 134512640 134569956 3221224368 3221214504 1131228025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23206 13086 16 0 210854 0
vsize: 843480
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22301
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 102571 66 10 4 25 0 11 0 839451904 863723520 23211 4294967295 134512640 134569956 3221224368 3221214408 1131181331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23211 13086 16 0 210854 0
vsize: 843480
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22303
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 103563 67 10 4 25 0 11 0 839451904 863723520 23216 4294967295 134512640 134569956 3221224368 3221214600 1131265776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23216 13086 16 0 210854 0
vsize: 843480
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22304
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 104555 67 10 4 25 0 11 0 839451904 863723520 23224 4294967295 134512640 134569956 3221224368 3221214408 1131182337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23224 13086 16 0 210854 0
vsize: 843480
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22305
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 105546 67 10 4 25 0 11 0 839451904 863723520 23228 4294967295 134512640 134569956 3221224368 3221214600 1131267304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23228 13086 16 0 210854 0
vsize: 843480
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22306
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 106539 67 10 4 25 0 11 0 839451904 863723520 23232 4294967295 134512640 134569956 3221224368 3221214504 1131228067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23232 13086 16 0 210854 0
vsize: 843480
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22307
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 107530 67 10 4 25 0 11 0 839451904 863723520 23236 4294967295 134512640 134569956 3221224368 3221214504 1131228097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23236 13086 16 0 210854 0
vsize: 843480
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22309
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 108522 67 10 4 25 0 11 0 839451904 863723520 23241 4294967295 134512640 134569956 3221224368 3221214504 1131227956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23241 13086 16 0 210854 0
vsize: 843480
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22310
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 109513 67 10 5 25 0 11 0 839451904 863723520 23249 4294967295 134512640 134569956 3221224368 3221214504 1131228378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23249 13086 16 0 210854 0
vsize: 843480
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22311
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 110505 68 10 5 25 0 11 0 839451904 863723520 23253 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23253 13086 16 0 210854 0
vsize: 843480
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22312
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 111496 68 11 5 25 0 11 0 839451904 863723520 23257 4294967295 134512640 134569956 3221224368 3221214600 1131264851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23257 13086 16 0 210854 0
vsize: 843480
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22313
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 112488 68 11 5 25 0 11 0 839451904 863723520 23262 4294967295 134512640 134569956 3221224368 3221214504 1131227361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23262 13086 16 0 210854 0
vsize: 843480
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22315
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 113480 68 11 5 25 0 11 0 839451904 863723520 23270 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23270 13086 16 0 210854 0
vsize: 843480
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22316
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 114472 68 11 5 25 0 11 0 839451904 863723520 23274 4294967295 134512640 134569956 3221224368 3221214472 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23274 13086 16 0 210854 0
vsize: 843480
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22317
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 115463 68 11 5 25 0 11 0 839451904 863723520 23278 4294967295 134512640 134569956 3221224368 3221214504 1131227369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23278 13086 16 0 210854 0
vsize: 843480
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22318
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 116455 68 11 5 25 0 11 0 839451904 863723520 23282 4294967295 134512640 134569956 3221224368 3221214504 1131227851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23282 13086 16 0 210854 0
vsize: 843480
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22319
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 117447 68 11 5 25 0 11 0 839451904 863723520 23287 4294967295 134512640 134569956 3221224368 3221214504 1131228021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23287 13086 16 0 210854 0
vsize: 843480
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22321
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 118438 69 11 5 25 0 11 0 839451904 863723520 23291 4294967295 134512640 134569956 3221224368 3221214600 1131264983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23291 13086 16 0 210854 0
vsize: 843480
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22322
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 119429 69 11 5 25 0 11 0 839451904 863723520 23299 4294967295 134512640 134569956 3221224368 3221214504 1131227807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23299 13086 16 0 210854 0
vsize: 843480
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22323
Raw data (stat): 21993 (java) R 21992 4613 4612 0 -1 0 18132 6 1 0 120421 69 11 5 25 0 11 0 839451904 863723520 23303 4294967295 134512640 134569956 3221224368 3221214600 1131265789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210870 23303 13086 16 0 210854 0
vsize: 843480
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 22325
Raw data (stat): 21993 (java) Z 21992 4613 4612 0 -1 1036 18132 2567 1 0 120425 69 1172 28 25 0 1 0 839451904 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.14
CPU time (s): 1216.97
CPU user time (s): 1215.99
CPU system time (s): 0.98085
CPU usage (%): 99.7397
Max. virtual memory (Kb): 850424
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	25804568810
#### END VERIFIER DATA ####