Trace number 4103256

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)5179385 1800.03 1771.56

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
MD5SUMe99162fa0a9c8caac0a04031bf39653d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5179385
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4815872
Optimality of the best value was proved NO
Number of variables7812
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint31
Maximum length of a constraint540
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1450667950777
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1450667950777
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@37e893df
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@41ac1fe4
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4103256-1466234976.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.50/0.37	c ... done. Wall clock time 0.251s.
0.50/0.37	c declared #vars     7812
0.50/0.37	c #constraints  316
0.50/0.37	c constraints type 
0.50/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 316
0.50/0.37	c 316 constraints processed.
0.50/0.37	c objective function length is 7812 literals
1.26/0.63	c SATISFIABLE
1.26/0.63	c OPTIMIZING...
1.26/0.63	c Got one! Elapsed wall clock time (in seconds):0.509
1.26/0.63	o 10434980
1.26/0.66	c Got one! Elapsed wall clock time (in seconds):0.541
1.26/0.66	o 5179385
2.23/1.49	c cleaning 2669 clauses out of 5351 with flag 15954/5351
3.55/2.57	c cleaning 4331 clauses out of 8683 with flag 35862/11352
4.85/3.89	c cleaning 5664 clauses out of 11352 with flag 58554/18352
6.56/5.53	c cleaning 6829 clauses out of 13687 with flag 87407/26351
8.60/7.51	c cleaning 7914 clauses out of 15858 with flag 119214/35351
10.80/9.77	c cleaning 8964 clauses out of 17945 with flag 154265/45352
13.50/12.47	c cleaning 9974 clauses out of 19980 with flag 192343/56351
16.67/15.57	c cleaning 10990 clauses out of 22007 with flag 235124/68352
21.19/19.96	c cleaning 12011 clauses out of 24021 with flag 288016/81356
25.69/24.39	c cleaning 13002 clauses out of 26006 with flag 346527/95352
30.47/29.03	c cleaning 13994 clauses out of 28004 with flag 408265/110352
35.42/33.80	c cleaning 14999 clauses out of 30010 with flag 472953/126352
40.30/38.68	c cleaning 16002 clauses out of 32013 with flag 537139/143354
45.68/43.98	c cleaning 17000 clauses out of 34008 with flag 606424/161351
51.66/49.87	c cleaning 18004 clauses out of 36008 with flag 681054/180351
58.58/56.69	c cleaning 18989 clauses out of 38004 with flag 758225/200351
64.57/62.59	c cleaning 19999 clauses out of 40016 with flag 835505/221352
69.32/67.24	c cleaning 20995 clauses out of 42016 with flag 906517/243351
74.33/72.12	c cleaning 21996 clauses out of 44021 with flag 980714/266351
80.87/78.59	c cleaning 23003 clauses out of 46025 with flag 1065106/290351
88.35/85.87	c cleaning 24009 clauses out of 48024 with flag 1153862/315353
95.37/92.79	c cleaning 25005 clauses out of 50015 with flag 1250937/341353
101.50/98.72	c cleaning 25965 clauses out of 52008 with flag 1340653/368351
107.71/104.85	c cleaning 27000 clauses out of 54044 with flag 1428950/396352
113.38/110.41	c cleaning 27992 clauses out of 56044 with flag 1500177/425352
119.79/116.78	c cleaning 29021 clauses out of 58051 with flag 1596652/455351
129.22/126.04	c cleaning 30009 clauses out of 60031 with flag 1708577/486352
136.96/133.65	c cleaning 31008 clauses out of 62021 with flag 1816204/518351
144.84/141.36	c cleaning 31992 clauses out of 64013 with flag 1940993/551351
153.46/149.88	c cleaning 32991 clauses out of 66021 with flag 2058606/585351
161.64/157.96	c cleaning 34014 clauses out of 68033 with flag 2171497/620354
172.99/169.13	c cleaning 35003 clauses out of 70016 with flag 2294256/656351
183.43/179.35	c cleaning 35990 clauses out of 72013 with flag 2422576/693351
193.61/189.46	c cleaning 36999 clauses out of 74024 with flag 2570015/731352
205.39/201.01	c cleaning 38000 clauses out of 76024 with flag 2712850/770351
215.48/210.99	c cleaning 39005 clauses out of 78025 with flag 2855239/810352
227.17/222.43	c cleaning 40008 clauses out of 80021 with flag 2994983/851353
238.78/233.82	c cleaning 40997 clauses out of 82011 with flag 3133216/893351
250.64/245.51	c cleaning 42002 clauses out of 84014 with flag 3270854/936351
259.55/254.31	c cleaning 42992 clauses out of 86012 with flag 3406348/980351
271.00/265.61	c cleaning 44011 clauses out of 88022 with flag 3553862/1025353
282.47/277.00	c cleaning 44993 clauses out of 90009 with flag 3693780/1071351
296.53/290.78	c cleaning 46006 clauses out of 92016 with flag 3858083/1118351
312.04/306.09	c cleaning 46983 clauses out of 94010 with flag 4028266/1166351
325.97/319.73	c cleaning 48004 clauses out of 96028 with flag 4191760/1215352
340.22/333.84	c cleaning 49002 clauses out of 98023 with flag 4358512/1265351
356.68/350.00	c cleaning 50002 clauses out of 100021 with flag 4523946/1316351
372.50/365.52	c cleaning 51001 clauses out of 102019 with flag 4695647/1368351
387.94/380.74	c cleaning 51995 clauses out of 104018 with flag 4873584/1421351
403.03/395.60	c cleaning 53009 clauses out of 106023 with flag 5046536/1475351
421.18/413.60	c cleaning 54005 clauses out of 108014 with flag 5246974/1530351
439.32/431.43	c cleaning 54989 clauses out of 110009 with flag 5438886/1586351
454.34/446.25	c cleaning 55994 clauses out of 112021 with flag 5618148/1643352
471.79/463.32	c cleaning 57009 clauses out of 114026 with flag 5799981/1701351
487.55/478.87	c cleaning 58009 clauses out of 116017 with flag 5990778/1760351
503.93/495.03	c cleaning 58987 clauses out of 118008 with flag 6185397/1820351
523.03/513.84	c cleaning 60011 clauses out of 120021 with flag 6393192/1881351
539.86/530.32	c cleaning 61000 clauses out of 122011 with flag 6588002/1943352
560.37/550.51	c cleaning 62000 clauses out of 124016 with flag 6806437/2006357
580.16/570.02	c cleaning 62989 clauses out of 126010 with flag 7039514/2070351
599.87/589.43	c cleaning 64001 clauses out of 128021 with flag 7260091/2135351
619.35/608.65	c cleaning 64997 clauses out of 130021 with flag 7457127/2201352
638.87/627.89	c cleaning 66005 clauses out of 132023 with flag 7696699/2268351
660.90/649.44	c cleaning 67009 clauses out of 134018 with flag 7940364/2336351
682.84/671.03	c cleaning 67974 clauses out of 136009 with flag 8179596/2405351
705.21/693.05	c cleaning 69004 clauses out of 138036 with flag 8408654/2475352
729.16/716.61	c cleaning 70004 clauses out of 140031 with flag 8660881/2546351
751.75/738.99	c cleaning 70995 clauses out of 142027 with flag 8896943/2618351
774.27/761.11	c cleaning 72010 clauses out of 144033 with flag 9125201/2691352
798.98/785.47	c cleaning 73005 clauses out of 146023 with flag 9378480/2765352
821.51/807.64	c cleaning 74003 clauses out of 148018 with flag 9626422/2840352
844.64/830.31	c cleaning 75002 clauses out of 150014 with flag 9870225/2916351
866.15/851.67	c cleaning 75999 clauses out of 152013 with flag 10102321/2993352
888.90/874.06	c cleaning 77002 clauses out of 154015 with flag 10342524/3071353
915.31/900.02	c cleaning 77984 clauses out of 156011 with flag 10600824/3150351
942.92/927.27	c cleaning 79012 clauses out of 158027 with flag 10875224/3230351
969.53/953.42	c cleaning 80002 clauses out of 160015 with flag 11150799/3311351
995.19/978.65	c cleaning 80998 clauses out of 162014 with flag 11415742/3393352
1022.65/1005.77	c cleaning 81997 clauses out of 164015 with flag 11705648/3476351
1051.68/1034.42	c cleaning 83008 clauses out of 166018 with flag 11984285/3560351
1080.95/1063.26	c cleaning 83989 clauses out of 168010 with flag 12263350/3645351
1111.62/1093.39	c cleaning 84995 clauses out of 170022 with flag 12566034/3731352
1148.20/1129.36	c cleaning 86007 clauses out of 172029 with flag 12857568/3818354
1180.69/1161.40	c cleaning 87003 clauses out of 174019 with flag 13158713/3906351
1209.64/1189.86	c cleaning 87987 clauses out of 176016 with flag 13442480/3995351
1239.50/1219.27	c cleaning 89008 clauses out of 178030 with flag 13757727/4085352
1270.37/1249.75	c cleaning 89994 clauses out of 180021 with flag 14053047/4176351
1298.02/1276.97	c cleaning 90987 clauses out of 182027 with flag 14350644/4268351
1326.57/1305.01	c cleaning 92000 clauses out of 184040 with flag 14666465/4361351
1355.86/1333.83	c cleaning 93011 clauses out of 186041 with flag 14995560/4455352
1383.82/1361.30	c cleaning 94003 clauses out of 188029 with flag 15316069/4550351
1412.19/1389.37	c cleaning 94967 clauses out of 190026 with flag 15646220/4646351
1444.74/1421.42	c cleaning 96012 clauses out of 192060 with flag 15981972/4743352
1481.01/1457.23	c cleaning 97012 clauses out of 194048 with flag 16340842/4841352
1513.41/1489.14	c cleaning 98002 clauses out of 196036 with flag 16679822/4940352
1543.89/1519.16	c cleaning 99011 clauses out of 198033 with flag 17001968/5040351
1581.87/1556.54	c cleaning 99991 clauses out of 200024 with flag 17371678/5141353
1621.63/1595.78	c cleaning 100982 clauses out of 202031 with flag 17709402/5243351
1661.55/1635.14	c cleaning 102002 clauses out of 204054 with flag 18040883/5346356
1697.99/1671.06	c cleaning 103015 clauses out of 206048 with flag 18374835/5450352
1735.03/1707.56	c cleaning 103999 clauses out of 208032 with flag 18712098/5555351
1767.91/1739.88	c cleaning 105003 clauses out of 210033 with flag 19036167/5661351
1800.03/1771.50	c starts		: 14005
1800.03/1771.50	c conflicts		: 5747200
1800.03/1771.50	c decisions		: 21924140
1800.03/1771.50	c propagations		: 1444020713
1800.03/1771.50	c inspects		: 12605234099
1800.03/1771.50	c shortcuts		: 0
1800.03/1771.50	c learnt literals	: 0
1800.03/1771.50	c learnt binary clauses	: 0
1800.03/1771.50	c learnt ternary clauses	: 0
1800.03/1771.50	c learnt constraints	: 5747200
1800.03/1771.50	c ignored constraints	: 0
1800.03/1771.50	c root simplifications	: 0
1800.03/1771.50	c removed literals (reason simplification)	: 0
1800.03/1771.50	c reason swapping (by a shorter reason)	: 0
1800.03/1771.50	c Calls to reduceDB	: 102
1800.03/1771.50	c Number of update (reduction) of LBD	: 1358124
1800.03/1771.50	c Imported unit clauses	: 0
1800.03/1771.50	c number of reductions to clauses (during analyze)	: 0
1800.03/1771.50	c number of learned constraints concerned by reduction	: 0
1800.03/1771.50	c number of learning phase by resolution	: 0
1800.03/1771.50	c number of learning phase by cutting planes	: 0
1800.03/1771.50	c speed (assignments/second)	: 815324.2126362148
1800.03/1771.50	c non guided choices	516
1800.03/1771.53	c learnt constraints type 
1800.03/1771.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 190879
1800.03/1771.53	s SATISFIABLE
1800.03/1771.53	c Found 2 solution(s)
1800.03/1771.54	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 -x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 x2402 x2403 x2404 x2405 x2406 x2407 x2408 x2409 x2410 x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 x3302 x3303 x3304 x3305 x3306 x3307 x3308 x3309 x3310 x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 x4442 x4443 x4444 x4445 x4446 x4447 x4448 x4449 x4450 x4451 x4452 x4453 x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 -x4782 x4783 x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 x4892 x4893 x4894 x4895 x4896 x4897 x4898 x4899 x4900 -x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5281 x5282 x5283 x5284 x5285 x5286 x5287 x5288 x5289 x5290 -x5291 -x5292 x5293 x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 x5381 -x5382 x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 x6522 -x6523 x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 x7092 x7093 -x7094 x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 -x7182 x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 x7451 x7452 x7453 x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 x7531 x7532 x7533 x7534 x7535 x7536 x7537 x7538 x7539 x7540 -x7541 -x7542 -x7543 x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 x7581 -x7582 -x7583 -x7584 x7585 -x7586 -x7587 -x7588 -x7589 x7590 -x7591 -x7592 x7593 -x7594 -x7595 -x7596 -x7597 -x7598 x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 x7615 -x7616 -x7617 -x7618 -x7619 -x7620 x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 x7633 -x7634 -x7635 -x7636 x7637 -x7638 -x7639 -x7640 x7641 -x7642 -x7643 x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 x7667 -x7668 -x7669 -x7670 x7671 -x7672 x7673 -x7674 x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 x7682 x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 x7709 -x7710 -x7711 -x7712 -x7713 -x7714 x7715 -x7716 -x7717 -x7718 -x7719 x7720 -x7721 -x7722 -x7723 x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 x7731 -x7732 -x7733 -x7734 x7735 -x7736 x7737 -x7738 -x7739 x7740 x7741 -x7742 -x7743 x7744 -x7745 -x7746 x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7798 -x7799 x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 x7809 -x7810 -x7811 x7812 
1800.03/1771.55	c objective function=5179385
1800.03/1771.55	c Total wall clock time (in seconds): 1771.428

Verifier Data 

OK	5179385

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103256-1466234976/watcher-4103256-1466234976 -o /tmp/evaluation-result-4103256-1466234976/solver-4103256-1466234976 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103256-1466234976.opb 

pid=21376
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.19 2.21 2.18 3/194 21379
/proc/meminfo: memFree=26719920/32872528 swapFree=1542984/1696284
[pid=21379] ppid=21376 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/21379/stat : 21379 (runsolver) D 21376 21379 15516 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 1 0 25544216 24911872 159 33554432000 4194304 4338465 140734176385936 140734176383128 270707355063 0 0 4096 24578 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/21379/statm: 6082 159 113 36 0 2655 0

[startup+0.100059 s]
/proc/loadavg: 2.19 2.21 2.18 3/194 21379
/proc/meminfo: memFree=26719920/32872528 swapFree=1542984/1696284
[pid=21379] ppid=21376 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 15516 0 -1 4202496 4323 0 1 0 7 1 0 0 20 0 18 0 25544216 9787879424 5454 33554432000 1073741824 1073778376 140736540903328 140736540894464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21379/statm: 2389619 5454 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200204 s]
/proc/loadavg: 2.19 2.21 2.18 3/194 21379
/proc/meminfo: memFree=26719920/32872528 swapFree=1542984/1696284
[pid=21379] ppid=21376 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 15516 0 -1 4202496 5045 0 1 0 27 1 0 0 20 0 18 0 25544216 9787879424 6988 33554432000 1073741824 1073778376 140736540903328 140736540894464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21379/statm: 2389619 6988 2219 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300218 s]
/proc/loadavg: 2.19 2.21 2.18 3/194 21379
/proc/meminfo: memFree=26719920/32872528 swapFree=1542984/1696284
[pid=21379] ppid=21376 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 15516 0 -1 4202496 7313 0 1 0 49 1 0 0 20 0 18 0 25544216 9787879424 10364 33554432000 1073741824 1073778376 140736540903328 140736540894464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21379/statm: 2389619 10364 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700181 s]
/proc/loadavg: 2.19 2.21 2.18 3/194 21379
/proc/meminfo: memFree=26719920/32872528 swapFree=1542984/1696284
[pid=21379] ppid=21376 vsize=9625040 CPUtime=1.5 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 15516 0 -1 4202496 10095 0 1 0 148 2 0 0 20 0 19 0 25544216 9856040960 17114 33554432000 1073741824 1073778376 140736540903328 140736540894464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21379/statm: 2406260 17114 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.19 2.21 2.18 3/213 21398
/proc/meminfo: memFree=26649904/32872528 swapFree=1542984/1696284
[pid=21379] ppid=21376 vsize=9625040 CPUtime=2.41 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 15516 0 -1 4202496 10131 0 1 0 238 3 0 0 20 0 19 0 25544216 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 140736540894464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21379/statm: 2406260 21747 2265 9 0 2396937 0
[pid=21379/tid=21381] ppid=21376 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 15516 0 -1 4202560 2441 0 1 0 143 2 0 0 20 0 19 0 25544217 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716586960888 139716443878692 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21382] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716565064360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21383] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716564011816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21384] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716562959272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21385] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716225657896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21379/tid=21386] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716224604328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21387] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716223551784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21379/tid=21388] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716222499240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21389] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716221446696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21390] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716209248872 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21391] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716208195192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21392] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716207142536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21393] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716206091280 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21394] ppid=21376 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) R 21376 21379 15516 0 -1 4202560 3645 0 0 0 49 0 0 0 20 0 19 0 25544223 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716205037624 139716593970334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21395] ppid=21376 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/21379/task/21395/stat : 21395 (java) R 21376 21379 15516 0 -1 4202560 2773 0 0 0 42 0 0 0 20 0 19 0 25544223 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716203985080 139716590901968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21396] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21396/stat : 21396 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716202932728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21397] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21397/stat : 21397 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716201880392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21398] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21398/stat : 21398 (java) S 21376 21379 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25544257 9856040960 21747 33554432000 1073741824 1073778376 140736540903328 139716200727848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.19 2.21 2.18 3/213 21398
/proc/meminfo: memFree=26618448/32872528 swapFree=1542984/1696284
[pid=21379] ppid=21376 vsize=9625040 CPUtime=4.15 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 15516 0 -1 4202496 13818 0 1 0 411 4 0 0 20 0 19 0 25544216 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 140736540894464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21379/statm: 2406260 31536 2265 9 0 2396937 0
[pid=21379/tid=21381] ppid=21376 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 15516 0 -1 4202560 2458 0 1 0 301 2 0 0 20 0 19 0 25544217 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716586961432 139716444471916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21382] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716565064360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21383] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716564011816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21384] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716562959272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21385] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716225657896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21379/tid=21386] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716224604328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21387] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716223551784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21379/tid=21388] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716222499240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21389] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716221446696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21390] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716209248872 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21391] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716208195192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21392] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716207142536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21393] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716206091280 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21394] ppid=21376 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 15516 0 -1 4202560 3645 0 0 0 51 0 0 0 20 0 19 0 25544223 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716205037624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21395] ppid=21376 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/21379/task/21395/stat : 21395 (java) S 21376 21379 15516 0 -1 4202560 6443 0 0 0 55 0 0 0 20 0 19 0 25544223 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716203985080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21396] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21396/stat : 21396 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716202932728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21397] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21397/stat : 21397 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716201880392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21398] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21398/stat : 21398 (java) S 21376 21379 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25544257 9856040960 31536 33554432000 1073741824 1073778376 140736540903328 139716200727848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 9625040

[startup+6.30067 s]
/proc/loadavg: 2.17 2.20 2.18 4/213 21398
/proc/meminfo: memFree=26558624/32872528 swapFree=1542984/1696284
[pid=21379] ppid=21376 vsize=9625040 CPUtime=7.4 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 15516 0 -1 4202496 13890 0 1 0 734 6 0 0 20 0 19 0 25544216 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 140736540894464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21379/statm: 2406260 46241 2279 9 0 2396937 0
[pid=21379/tid=21381] ppid=21376 vsize=9625040 CPUtime=6.2 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 15516 0 -1 4202560 2485 0 1 0 617 3 0 0 20 0 19 0 25544217 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716586962248 139716444422968 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21379/tid=21382] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 15516 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716565064360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21383] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716564011816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21384] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716562959272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21385] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 15516 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716225657896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21386] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716224604328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21387] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716223551784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21388] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716222499240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21389] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25544219 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716221446696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21390] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716209248872 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21391] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716208195192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21392] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716207142536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21393] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716206091280 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21394] ppid=21376 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 15516 0 -1 4202560 3645 0 0 0 52 0 0 0 20 0 19 0 25544223 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716205037624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21395] ppid=21376 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/21379/task/21395/stat : 21395 (java) S 21376 21379 15516 0 -1 4202560 6443 0 0 0 59 0 0 0 20 0 19 0 25544223 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716203985080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21396] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21396/stat : 21396 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716202932728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21397] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21397/stat : 21397 (java) S 21376 21379 15516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716201880392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21398] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21398/stat : 21398 (java) S 21376 21379 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25544257 9856040960 46241 33554432000 1073741824 1073778376 140736540903328 139716200727848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 9625040


################
# More data... #
################

[pid=21379/tid=21398] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21398/stat : 21398 (java) S 21376 21379 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25544257 9856040960 113634 33554432000 1073741824 1073778376 140736540903328 139716200727848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1689.12
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.22 2.23 2.18 4/213 21506
/proc/meminfo: memFree=28338508/32872528 swapFree=1542984/1696284
[pid=21379] ppid=21376 vsize=9625040 CPUtime=1750.03 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 15516 0 -1 4202496 49429 0 1 0 174778 225 0 0 20 0 19 0 25544216 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 140736540894464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21379/statm: 2406260 122252 2288 9 0 2396937 0
[pid=21379/tid=21381] ppid=21376 vsize=9625040 CPUtime=1701.62 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 15516 0 -1 4202560 5960 0 1 0 170128 34 0 0 20 0 19 0 25544217 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716586962240 139716444396213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21382] ppid=21376 vsize=9625040 CPUtime=4.68 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 15516 0 -1 4202560 3851 0 0 0 446 22 0 0 20 0 19 0 25544219 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716565064360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21383] ppid=21376 vsize=9625040 CPUtime=4.84 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 15516 0 -1 4202560 3813 0 0 0 460 24 0 0 20 0 19 0 25544219 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716564011816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21384] ppid=21376 vsize=9625040 CPUtime=4.69 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 15516 0 -1 4202560 3784 0 0 0 447 22 0 0 20 0 19 0 25544219 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716562959272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21385] ppid=21376 vsize=9625040 CPUtime=4.82 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 15516 0 -1 4202560 3025 0 0 0 454 28 0 0 20 0 19 0 25544219 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716225657896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21386] ppid=21376 vsize=9625040 CPUtime=4.82 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 15516 0 -1 4202560 4658 0 0 0 459 23 0 0 20 0 19 0 25544219 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716224604328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21379/tid=21387] ppid=21376 vsize=9625040 CPUtime=4.95 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 15516 0 -1 4202560 3840 0 0 0 473 22 0 0 20 0 19 0 25544219 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716223551784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21388] ppid=21376 vsize=9625040 CPUtime=4.63 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 15516 0 -1 4202560 3029 0 0 0 445 18 0 0 20 0 19 0 25544219 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716222499240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21389] ppid=21376 vsize=9625040 CPUtime=4.8 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 15516 0 -1 4202560 4225 0 0 0 455 25 0 0 20 0 19 0 25544219 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716221446696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21390] ppid=21376 vsize=9625040 CPUtime=4.34 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 15516 0 -1 4202560 1761 0 0 0 420 14 0 0 20 0 19 0 25544220 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716209248872 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21391] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716208195192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21392] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716207142536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21393] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716206091280 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21394] ppid=21376 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 15516 0 -1 4202560 3645 0 0 0 52 0 0 0 20 0 19 0 25544223 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716205037624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21395] ppid=21376 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/21379/task/21395/stat : 21395 (java) S 21376 21379 15516 0 -1 4202560 6480 0 0 0 67 0 0 0 20 0 19 0 25544223 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716203985080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21396] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21396/stat : 21396 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716202932728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21397] ppid=21376 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/21379/task/21397/stat : 21397 (java) S 21376 21379 15516 0 -1 4202560 100 0 0 0 20 24 0 0 20 0 19 0 25544223 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716201880392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21398] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21398/stat : 21398 (java) S 21376 21379 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25544257 9856040960 122252 33554432000 1073741824 1073778376 140736540903328 139716200727848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1750.03
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1771.5 s]
/proc/loadavg: 2.66 2.32 2.21 3/213 21507
/proc/meminfo: memFree=28408436/32872528 swapFree=1542984/1696284
[pid=21379] ppid=21376 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 15516 0 -1 4202496 50634 0 1 0 179772 231 0 0 20 0 19 0 25544216 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 140736540894464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21379/statm: 2406260 130223 2288 9 0 2396937 0
[pid=21379/tid=21381] ppid=21376 vsize=9625040 CPUtime=1750.19 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 15516 0 -1 4202560 5981 0 1 0 174984 35 0 0 20 0 19 0 25544217 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716586962288 139716444720364 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21382] ppid=21376 vsize=9625040 CPUtime=4.83 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 15516 0 -1 4202560 3864 0 0 0 461 22 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716565064360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21379/tid=21383] ppid=21376 vsize=9625040 CPUtime=4.97 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 15516 0 -1 4202560 4071 0 0 0 472 25 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716564011816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21384] ppid=21376 vsize=9625040 CPUtime=4.81 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 15516 0 -1 4202560 3855 0 0 0 459 22 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716562959272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21385] ppid=21376 vsize=9625040 CPUtime=4.97 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 15516 0 -1 4202560 3178 0 0 0 469 28 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716225657896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21386] ppid=21376 vsize=9625040 CPUtime=4.96 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 15516 0 -1 4202560 4826 0 0 0 472 24 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716224604328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21379/tid=21387] ppid=21376 vsize=9625040 CPUtime=5.13 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 15516 0 -1 4202560 3973 0 0 0 490 23 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716223551784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21388] ppid=21376 vsize=9625040 CPUtime=4.78 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 15516 0 -1 4202560 3215 0 0 0 460 18 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716222499240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21389] ppid=21376 vsize=9625040 CPUtime=4.95 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 15516 0 -1 4202560 4360 0 0 0 469 26 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716221446696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21390] ppid=21376 vsize=9625040 CPUtime=4.5 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 15516 0 -1 4202560 1826 0 0 0 436 14 0 0 20 0 19 0 25544220 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716209248872 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21391] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716208195192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21392] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716207142536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21393] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716206091280 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21394] ppid=21376 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 15516 0 -1 4202560 3645 0 0 0 52 0 0 0 20 0 19 0 25544223 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716205037624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21395] ppid=21376 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/21379/task/21395/stat : 21395 (java) S 21376 21379 15516 0 -1 4202560 6480 0 0 0 67 0 0 0 20 0 19 0 25544223 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716203985080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21396] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21396/stat : 21396 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716202932728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21397] ppid=21376 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/21379/task/21397/stat : 21397 (java) S 21376 21379 15516 0 -1 4202560 102 0 0 0 21 24 0 0 20 0 19 0 25544223 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716201880392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21398] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21398/stat : 21398 (java) S 21376 21379 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25544257 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716200727848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21379 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1771.5 s]
/proc/loadavg: 2.66 2.32 2.21 3/213 21507
/proc/meminfo: memFree=28408436/32872528 swapFree=1542984/1696284
[pid=21379] ppid=21376 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 15516 0 -1 4202496 50634 0 1 0 179772 231 0 0 20 0 19 0 25544216 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 140736540894464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21379/statm: 2406260 130223 2288 9 0 2396937 0
[pid=21379/tid=21381] ppid=21376 vsize=9625040 CPUtime=1750.19 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 15516 0 -1 4202560 5981 0 1 0 174984 35 0 0 20 0 19 0 25544217 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716586962288 139716444720364 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21382] ppid=21376 vsize=9625040 CPUtime=4.83 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 15516 0 -1 4202560 3864 0 0 0 461 22 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716565064360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21379/tid=21383] ppid=21376 vsize=9625040 CPUtime=4.97 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 15516 0 -1 4202560 4071 0 0 0 472 25 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716564011816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21384] ppid=21376 vsize=9625040 CPUtime=4.81 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 15516 0 -1 4202560 3855 0 0 0 459 22 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716562959272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21385] ppid=21376 vsize=9625040 CPUtime=4.97 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 15516 0 -1 4202560 3178 0 0 0 469 28 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716225657896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21386] ppid=21376 vsize=9625040 CPUtime=4.96 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 15516 0 -1 4202560 4826 0 0 0 472 24 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716224604328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21379/tid=21387] ppid=21376 vsize=9625040 CPUtime=5.13 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 15516 0 -1 4202560 3973 0 0 0 490 23 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716223551784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21388] ppid=21376 vsize=9625040 CPUtime=4.78 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 15516 0 -1 4202560 3215 0 0 0 460 18 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716222499240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21389] ppid=21376 vsize=9625040 CPUtime=4.95 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 15516 0 -1 4202560 4360 0 0 0 469 26 0 0 20 0 19 0 25544219 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716221446696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21390] ppid=21376 vsize=9625040 CPUtime=4.5 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 15516 0 -1 4202560 1826 0 0 0 436 14 0 0 20 0 19 0 25544220 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716209248872 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21391] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716208195192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21392] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25544220 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716207142536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21393] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716206091280 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21394] ppid=21376 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 15516 0 -1 4202560 3645 0 0 0 52 0 0 0 20 0 19 0 25544223 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716205037624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21379/tid=21395] ppid=21376 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/21379/task/21395/stat : 21395 (java) S 21376 21379 15516 0 -1 4202560 6480 0 0 0 67 0 0 0 20 0 19 0 25544223 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716203985080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21396] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21396/stat : 21396 (java) S 21376 21379 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25544223 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716202932728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21379/tid=21397] ppid=21376 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/21379/task/21397/stat : 21397 (java) S 21376 21379 15516 0 -1 4202560 102 0 0 0 21 24 0 0 20 0 19 0 25544223 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716201880392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21379/tid=21398] ppid=21376 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21398/stat : 21398 (java) S 21376 21379 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25544257 9856040960 130223 33554432000 1073741824 1073778376 140736540903328 139716200727848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21379 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=359367
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=760580
# CPU time returned by wait4() is 1796.12
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1771.56
CPU time (s): 1800.03
CPU user time (s): 1797.72
CPU system time (s): 2.31
CPU usage (%): 101.607
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.36
system time used= 2.76058
maximum resident set size= 560560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50678
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68329
involuntary context switches= 90304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2513 second user time and 11.9342 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-18 09:29:36
IDJOB=4103256
IDBENCH=2310
IDSOLVER=2546
FILE ID=node125/4103256-1466234976
RUNJOBID= node125-1466206074-15532
PBS_JOBID= 19918152
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103256-1466234976/watcher-4103256-1466234976 -o /tmp/evaluation-result-4103256-1466234976/solver-4103256-1466234976 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103256-1466234976.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e99162fa0a9c8caac0a04031bf39653d
RANDOM SEED=1452202392

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26719804 kB
Buffers:          108780 kB
Cached:           110968 kB
SwapCached:          688 kB
Active:          3562896 kB
Inactive:         151256 kB
Active(anon):    3495896 kB
Inactive(anon):     1040 kB
Active(file):      67000 kB
Inactive(file):   150216 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098232 kB
Dirty:               940 kB
Writeback:             0 kB
AnonPages:       5194336 kB
Mapped:            15400 kB
Shmem:                 0 kB
Slab:             602548 kB
SReclaimable:      45912 kB
SUnreclaim:       556636 kB
KernelStack:        1592 kB
PageTables:        14384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5477216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3477504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node125 at 2016-06-18 09:59:08