Trace number 3718168

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 NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.1 1786.97

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
MD5SUMb2b0b6245f8ec2d35e44e032ffc67cea
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark7.2109
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6800
Total number of constraints165
Number of soft constraints110
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
Top cost 6303
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6302
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120528
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3718168-1338250885.wbo
0.09/0.11	c reading problem ... 
0.28/0.29	c ... done. Wall clock time 0.184s.
0.28/0.29	c declared #vars     6800
0.28/0.29	c internal #vars     6910
0.28/0.29	c #constraints  165
0.28/0.29	c constraints type 
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85
0.28/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 27
0.28/0.29	c ignored satisfied constraints => 1
0.28/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 53
0.28/0.29	c 166 constraints processed.
0.28/0.29	c objective function length is 110 literals
1.14/0.53	c SATISFIABLE
1.14/0.53	c OPTIMIZING...
1.14/0.53	c Got one! Elapsed wall clock time (in seconds):0.423
1.14/0.53	o 39
1.14/0.59	c Got one! Elapsed wall clock time (in seconds):0.48
1.14/0.59	o 21
1.41/0.68	c Got one! Elapsed wall clock time (in seconds):0.572
1.41/0.68	o 1
1.97/1.14	c cleaning 3155 clauses out of 6330 with flag 25109/6330
2.63/1.79	c cleaning 4566 clauses out of 9177 with flag 61490/12332
3.66/2.71	c cleaning 5800 clauses out of 11609 with flag 104645/19330
4.47/3.59	c cleaning 6879 clauses out of 13812 with flag 153426/27333
5.63/4.69	c cleaning 7934 clauses out of 15932 with flag 214318/36332
7.34/6.35	c cleaning 8972 clauses out of 17996 with flag 275560/46330
8.78/7.78	c cleaning 9983 clauses out of 20024 with flag 344057/57330
10.81/9.78	c cleaning 11001 clauses out of 22042 with flag 425820/69331
12.93/11.85	c cleaning 11989 clauses out of 24041 with flag 511140/82331
15.97/14.87	c cleaning 13000 clauses out of 26055 with flag 609447/96334
19.68/18.46	c cleaning 14009 clauses out of 28053 with flag 732952/111332
22.13/20.86	c cleaning 14994 clauses out of 30043 with flag 836810/127331
25.61/24.30	c cleaning 16003 clauses out of 32049 with flag 962603/144331
29.73/28.40	c cleaning 17008 clauses out of 34045 with flag 1093912/162330
33.18/31.80	c cleaning 18000 clauses out of 36037 with flag 1233679/181330
36.75/35.23	c cleaning 19000 clauses out of 38037 with flag 1372712/201330
41.68/40.19	c cleaning 20004 clauses out of 40037 with flag 1535389/222330
47.64/46.04	c cleaning 21007 clauses out of 42034 with flag 1712573/244331
52.51/50.82	c cleaning 21992 clauses out of 44026 with flag 1893851/267330
56.97/55.25	c cleaning 22987 clauses out of 46035 with flag 2075515/291331
64.23/62.44	c cleaning 24004 clauses out of 48050 with flag 2298829/316333
71.07/69.23	c cleaning 25010 clauses out of 50043 with flag 2507101/342330
79.35/77.43	c cleaning 26010 clauses out of 52037 with flag 2753096/369334
86.84/84.85	c cleaning 27002 clauses out of 54026 with flag 3010608/397333
93.13/91.04	c cleaning 27983 clauses out of 56022 with flag 3218148/426331
101.52/99.39	c cleaning 29009 clauses out of 58038 with flag 3464151/456330
109.90/107.62	c cleaning 29994 clauses out of 60029 with flag 3762226/487330
120.59/118.28	c cleaning 31001 clauses out of 62036 with flag 4067885/519331
131.39/128.82	c cleaning 31998 clauses out of 64035 with flag 4375613/552331
144.21/141.53	c cleaning 33007 clauses out of 66036 with flag 4729550/586330
151.13/148.43	c cleaning 33971 clauses out of 68029 with flag 4976159/621330
160.99/158.12	c cleaning 35010 clauses out of 70059 with flag 5283582/657331
172.10/169.20	c cleaning 36010 clauses out of 72049 with flag 5634751/694331
183.30/180.40	c cleaning 37001 clauses out of 74038 with flag 6011536/732330
201.26/198.01	c cleaning 38008 clauses out of 76037 with flag 6325957/771330
214.51/211.21	c cleaning 39003 clauses out of 78029 with flag 6713383/811330
231.10/227.79	c cleaning 39998 clauses out of 80027 with flag 7127231/852331
243.56/240.04	c cleaning 40999 clauses out of 82030 with flag 7514959/894332
254.77/251.14	c cleaning 41973 clauses out of 84031 with flag 7872620/937332
268.36/264.65	c cleaning 43016 clauses out of 86060 with flag 8245775/981334
284.05/280.20	c cleaning 43993 clauses out of 88041 with flag 8668326/1026331
304.28/300.32	c cleaning 45000 clauses out of 90047 with flag 9099363/1072330
327.25/322.91	c cleaning 45998 clauses out of 92049 with flag 9555095/1119332
345.05/340.75	c cleaning 46996 clauses out of 94049 with flag 10045437/1167330
362.81/358.23	c cleaning 48018 clauses out of 96053 with flag 10465530/1216330
381.82/377.07	c cleaning 49011 clauses out of 98036 with flag 10916023/1266331
400.79/395.81	c cleaning 50003 clauses out of 100024 with flag 11415419/1317330
412.99/407.88	c cleaning 50985 clauses out of 102022 with flag 11812373/1369331
430.41/425.18	c cleaning 52012 clauses out of 104042 with flag 12312684/1422336
449.73/444.32	c cleaning 53003 clauses out of 106025 with flag 12783034/1476331
472.07/466.55	c cleaning 53996 clauses out of 108021 with flag 13344288/1531330
495.65/489.98	c cleaning 54998 clauses out of 110026 with flag 13904074/1587331
515.88/510.01	c cleaning 55993 clauses out of 112027 with flag 14438289/1644330
543.52/537.55	c cleaning 57010 clauses out of 114036 with flag 14907754/1702332
567.18/561.08	c cleaning 58004 clauses out of 116027 with flag 15432843/1761333
590.70/584.49	c cleaning 59000 clauses out of 118021 with flag 15990475/1821331
624.40/618.03	c cleaning 59998 clauses out of 120020 with flag 16605886/1882330
650.02/643.41	c cleaning 60997 clauses out of 122022 with flag 17230138/1944330
672.72/666.01	c cleaning 61992 clauses out of 124025 with flag 17865925/2007330
693.55/686.76	c cleaning 63006 clauses out of 126038 with flag 18344568/2071335
719.59/712.61	c cleaning 64003 clauses out of 128030 with flag 18877953/2136333
749.37/742.20	c cleaning 64992 clauses out of 130024 with flag 19523858/2202330
785.99/778.67	c cleaning 65994 clauses out of 132032 with flag 20224589/2269330
814.52/807.06	c cleaning 67014 clauses out of 134039 with flag 20866426/2337331
851.04/843.44	c cleaning 68004 clauses out of 136026 with flag 21473887/2406332
879.68/871.98	c cleaning 68998 clauses out of 138021 with flag 22096434/2476331
915.25/907.14	c cleaning 70008 clauses out of 140025 with flag 22817114/2547333
954.33/945.72	c cleaning 70997 clauses out of 142016 with flag 23506095/2619332
984.81/976.07	c cleaning 71996 clauses out of 144019 with flag 24198080/2692332
1022.75/1013.85	c cleaning 72994 clauses out of 146021 with flag 24902793/2766330
1060.44/1051.34	c cleaning 74006 clauses out of 148027 with flag 25636849/2841330
1112.45/1102.90	c cleaning 75004 clauses out of 150021 with flag 26518564/2917330
1146.96/1136.92	c cleaning 75999 clauses out of 152017 with flag 27292288/2994330
1170.64/1160.45	c cleaning 76988 clauses out of 154018 with flag 27952723/3072330
1203.39/1193.02	c cleaning 77997 clauses out of 156031 with flag 28710958/3151331
1233.80/1223.29	c cleaning 78997 clauses out of 158035 with flag 29497263/3231332
1267.38/1256.66	c cleaning 79997 clauses out of 160036 with flag 30273796/3312330
1310.49/1299.57	c cleaning 81004 clauses out of 162040 with flag 31112486/3394331
1345.99/1334.81	c cleaning 81998 clauses out of 164035 with flag 31959036/3477330
1390.35/1379.08	c cleaning 83008 clauses out of 166038 with flag 32772641/3561331
1436.15/1424.60	c cleaning 83999 clauses out of 168029 with flag 33762899/3646330
1479.96/1468.24	c cleaning 85002 clauses out of 170033 with flag 34630638/3732333
1522.16/1510.23	c cleaning 85997 clauses out of 172032 with flag 35584890/3819334
1571.49/1559.37	c cleaning 87009 clauses out of 174033 with flag 36515106/3907332
1615.69/1603.38	c cleaning 88001 clauses out of 176026 with flag 37280858/3996334
1658.28/1645.74	c cleaning 88998 clauses out of 178024 with flag 38091148/4086333
1716.74/1704.00	c cleaning 89998 clauses out of 180024 with flag 38909731/4177331
1768.26/1755.38	c cleaning 90998 clauses out of 182027 with flag 39759193/4269332
1800.10/1786.91	c starts		: 256
1800.10/1786.91	c conflicts		: 4336179
1800.10/1786.91	c decisions		: 6211898
1800.10/1786.91	c propagations		: 310001728
1800.10/1786.91	c inspects		: 14992776201
1800.10/1786.91	c shortcuts		: 0
1800.10/1786.91	c learnt literals	: 0
1800.10/1786.91	c learnt binary clauses	: 0
1800.10/1786.91	c learnt ternary clauses	: 0
1800.10/1786.91	c learnt constraints	: 4336179
1800.10/1786.91	c ignored constraints	: 0
1800.10/1786.91	c root simplifications	: 0
1800.10/1786.91	c removed literals (reason simplification)	: 0
1800.10/1786.91	c reason swapping (by a shorter reason)	: 0
1800.10/1786.91	c Calls to reduceDB	: 88
1800.10/1786.91	c Number of update (reduction) of LBD	: 2677769
1800.10/1786.91	c number of reductions to clauses (during analyze)	: 0
1800.10/1786.91	c number of learned constraints concerned by reduction	: 0
1800.10/1786.91	c number of learning phase by resolution	: 0
1800.10/1786.91	c number of learning phase by cutting planes	: 0
1800.10/1786.91	c speed (assignments/second)	: 173514.71452511527
1800.10/1786.91	c non guided choices	304485
1800.10/1786.94	c learnt constraints type 
1800.10/1786.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 157910
1800.10/1786.94	c constraints type 
1800.10/1786.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85
1800.10/1786.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 27
1800.10/1786.94	c ignored satisfied constraints => 1
1800.10/1786.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 54
1800.10/1786.94	c 167 constraints processed.
1800.10/1786.94	s SATISFIABLE
1800.10/1786.95	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 
1800.10/1786.96	c objective function=1
1800.10/1786.96	c Total wall clock time (in seconds): 1786.85

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3718168-1338250885/watcher-3718168-1338250885 -o /tmp/evaluation-result-3718168-1338250885/solver-3718168-1338250885 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718168-1338250885.wbo 

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.10 2.04 1.92 3/194 16149
/proc/meminfo: memFree=29989544/32873648 swapFree=6852/6852
[pid=16149] ppid=16147 vsize=8 CPUtime=0 cores=0,2,4,6
/proc/16149/stat : 16149 (java) R 16147 16149 15870 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 291214336 8192 1 33554432000 0 0 0 140733857348472 259112201655 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16149/statm: 2 1 0 0 0 2 0

[startup+0.00982403 s]
/proc/loadavg: 2.10 2.04 1.92 3/194 16149
/proc/meminfo: memFree=29989544/32873648 swapFree=6852/6852
[pid=16149] ppid=16147 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16147 16149 15870 0 -1 4202496 1164 0 0 0 0 0 0 0 20 0 2 0 291214336 91889664 885 33554432000 1073741824 1073778376 140735567825904 140735567817040 259115745341 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16149/statm: 22435 893 676 9 0 16770 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 89736

[startup+0.100222 s]
/proc/loadavg: 2.10 2.04 1.92 3/194 16149
/proc/meminfo: memFree=29989544/32873648 swapFree=6852/6852
[pid=16149] ppid=16147 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16147 16149 15870 0 -1 4202496 4319 0 1 0 8 1 0 0 20 0 18 0 291214336 9787817984 5512 33554432000 1073741824 1073778376 140735567825904 140735567817040 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16149/statm: 2389604 5514 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300225 s]
/proc/loadavg: 2.10 2.04 1.92 3/194 16149
/proc/meminfo: memFree=29989544/32873648 swapFree=6852/6852
[pid=16149] ppid=16147 vsize=9558416 CPUtime=0.54 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16147 16149 15870 0 -1 4202496 7180 0 1 0 52 2 0 0 20 0 18 0 291214336 9787817984 10913 33554432000 1073741824 1073778376 140735567825904 140735567817040 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16149/statm: 2389604 10913 2228 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558416

[startup+0.700311 s]
/proc/loadavg: 2.10 2.04 1.92 3/194 16149
/proc/meminfo: memFree=29989544/32873648 swapFree=6852/6852
[pid=16149] ppid=16147 vsize=9624980 CPUtime=1.53 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16147 16149 15870 0 -1 4202496 12338 0 1 0 150 3 0 0 20 0 19 0 291214336 9855979520 14317 33554432000 1073741824 1073778376 140735567825904 140735567817040 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16149/statm: 2406245 14317 2241 9 0 2396937 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9624980

[startup+1.50119 s]
/proc/loadavg: 2.10 2.04 1.92 3/213 16168
/proc/meminfo: memFree=29932024/32873648 swapFree=6852/6852
[pid=16149] ppid=16147 vsize=9624980 CPUtime=2.4 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16147 16149 15870 0 -1 4202496 12420 0 1 0 236 4 0 0 20 0 19 0 291214336 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 140735567817040 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16149/statm: 2406245 23069 2269 9 0 2396937 0
[pid=16149/tid=16151] ppid=16147 vsize=9624980 CPUtime=1.45 cores=0,2,4,6
/proc/16149/task/16151/stat : 16151 (java) R 16147 16149 15870 0 -1 4202560 2468 0 1 0 143 2 0 0 20 0 19 0 291214337 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973847347576 139973672722397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16152] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16152/stat : 16152 (java) S 16147 16149 15870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973808839080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16153] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16153/stat : 16153 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973807786536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16154] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973806733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16155] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16155/stat : 16155 (java) S 16147 16149 15870 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973805680936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16156] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16147 16149 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973804628904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16157] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16147 16149 15870 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973803576360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16158] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973802523304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16159] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16147 16149 15870 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973801470760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16160] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16147 16149 15870 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973670984040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16161] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16147 16149 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973669930360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16162] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16147 16149 15870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973668877192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16163] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973667825936 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16164] ppid=16147 vsize=9624980 CPUtime=0.42 cores=0,2,4,6
/proc/16149/task/16164/stat : 16164 (java) S 16147 16149 15870 0 -1 4202560 5160 0 0 0 42 0 0 0 20 0 19 0 291214342 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973666773816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16165] ppid=16147 vsize=9624980 CPUtime=0.46 cores=0,2,4,6
/proc/16149/task/16165/stat : 16165 (java) S 16147 16149 15870 0 -1 4202560 3530 0 0 0 46 0 0 0 20 0 19 0 291214342 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973665721272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16166] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16166/stat : 16166 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973664668408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16167] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16167/stat : 16167 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973663616072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16168] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16168/stat : 16168 (java) S 16147 16149 15870 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291214367 9855979520 23069 33554432000 1073741824 1073778376 140735567825904 139973662561320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9624980

[startup+3.10071 s]
/proc/loadavg: 2.10 2.04 1.92 3/213 16168
/proc/meminfo: memFree=29890568/32873648 swapFree=6852/6852
[pid=16149] ppid=16147 vsize=9624980 CPUtime=4.07 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16147 16149 15870 0 -1 4202496 12451 0 1 0 401 6 0 0 20 0 19 0 291214336 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 140735567817040 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16149/statm: 2406245 28191 2269 9 0 2396937 0
[pid=16149/tid=16151] ppid=16147 vsize=9624980 CPUtime=3 cores=0,2,4,6
/proc/16149/task/16151/stat : 16151 (java) R 16147 16149 15870 0 -1 4202560 2469 0 1 0 298 2 0 0 20 0 19 0 291214337 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973847347704 139973672744500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16152] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16152/stat : 16152 (java) S 16147 16149 15870 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973808839080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16153] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16153/stat : 16153 (java) S 16147 16149 15870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973807786536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16154] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973806733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16155] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16155/stat : 16155 (java) S 16147 16149 15870 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973805680936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16156] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16147 16149 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973804628904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16157] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16147 16149 15870 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973803576360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16158] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16147 16149 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973802523304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16159] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16147 16149 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973801470760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16160] ppid=16147 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16147 16149 15870 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 19 0 291214339 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973670984040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16161] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16147 16149 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973669930360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16162] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16147 16149 15870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973668877192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16163] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973667825936 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16164] ppid=16147 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/16149/task/16164/stat : 16164 (java) S 16147 16149 15870 0 -1 4202560 5160 0 0 0 45 0 0 0 20 0 19 0 291214342 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973666773816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16165] ppid=16147 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/16149/task/16165/stat : 16165 (java) S 16147 16149 15870 0 -1 4202560 3531 0 0 0 48 0 0 0 20 0 19 0 291214342 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973665721272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16166] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16166/stat : 16166 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973664668408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16167] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16167/stat : 16167 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973663616072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16168] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16168/stat : 16168 (java) S 16147 16149 15870 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291214367 9855979520 28191 33554432000 1073741824 1073778376 140735567825904 139973662561320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 9624980

[startup+6.30068 s]
/proc/loadavg: 2.09 2.04 1.92 3/213 16168
/proc/meminfo: memFree=29869776/32873648 swapFree=6852/6852
[pid=16149] ppid=16147 vsize=9624980 CPUtime=7.34 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16147 16149 15870 0 -1 4202496 12506 0 1 0 727 7 0 0 20 0 19 0 291214336 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 140735567817040 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16149/statm: 2406245 31636 2269 9 0 2396937 0
[pid=16149/tid=16151] ppid=16147 vsize=9624980 CPUtime=6.14 cores=0,2,4,6
/proc/16149/task/16151/stat : 16151 (java) R 16147 16149 15870 0 -1 4202560 2471 0 1 0 612 2 0 0 20 0 19 0 291214337 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973847347488 139973672810808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16152] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16152/stat : 16152 (java) S 16147 16149 15870 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973808839080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16153] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16153/stat : 16153 (java) S 16147 16149 15870 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973807786536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16154] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973806733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16155] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16155/stat : 16155 (java) S 16147 16149 15870 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973805680936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16156] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16147 16149 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973804628904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16157] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16147 16149 15870 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973803576360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16158] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16147 16149 15870 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291214338 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973802523304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16159] ppid=16147 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16147 16149 15870 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 291214338 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973801470760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16160] ppid=16147 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16147 16149 15870 0 -1 4202560 39 0 0 0 7 0 0 0 20 0 19 0 291214339 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973670984040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16161] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16147 16149 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973669930360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16162] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16147 16149 15870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973668877192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16163] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973667825936 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16164] ppid=16147 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/16149/task/16164/stat : 16164 (java) S 16147 16149 15870 0 -1 4202560 5161 0 0 0 45 0 0 0 20 0 19 0 291214342 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973666773816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16165] ppid=16147 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/16149/task/16165/stat : 16165 (java) S 16147 16149 15870 0 -1 4202560 3552 0 0 0 52 0 0 0 20 0 19 0 291214342 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973665721272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16166] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16166/stat : 16166 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973664668408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16167] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16167/stat : 16167 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973663616072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16168] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16168/stat : 16168 (java) S 16147 16149 15870 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291214367 9855979520 31636 33554432000 1073741824 1073778376 140735567825904 139973662561320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 9624980

[startup+12.701 s]

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

[pid=16149/tid=16164] ppid=16147 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/16149/task/16164/stat : 16164 (java) S 16147 16149 15870 0 -1 4202560 5161 0 0 0 45 0 0 0 20 0 19 0 291214342 9855979520 412698 33554432000 1073741824 1073778376 140735567825904 139973666773816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16165] ppid=16147 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/16149/task/16165/stat : 16165 (java) S 16147 16149 15870 0 -1 4202560 3555 0 0 0 54 0 0 0 20 0 19 0 291214342 9855979520 412698 33554432000 1073741824 1073778376 140735567825904 139973665721272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16166] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16166/stat : 16166 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 412698 33554432000 1073741824 1073778376 140735567825904 139973664668408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16167] ppid=16147 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/16149/task/16167/stat : 16167 (java) S 16147 16149 15870 0 -1 4202560 99 0 0 0 27 29 0 0 20 0 19 0 291214342 9855979520 412698 33554432000 1073741824 1073778376 140735567825904 139973663616072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16168] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16168/stat : 16168 (java) S 16147 16149 15870 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291214367 9855979520 412698 33554432000 1073741824 1073778376 140735567825904 139973662561320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1735.26
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 1.95 1.98 1.93 3/213 16357
/proc/meminfo: memFree=28681920/32873648 swapFree=6852/6852
[pid=16149] ppid=16147 vsize=9624980 CPUtime=1795.49 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16147 16149 15870 0 -1 4202496 20544 0 1 0 179343 206 0 0 20 0 19 0 291214336 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 140735567817040 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16149/statm: 2406245 412755 2270 9 0 2396937 0
[pid=16149/tid=16151] ppid=16147 vsize=9624980 CPUtime=1765.75 cores=0,2,4,6
/proc/16149/task/16151/stat : 16151 (java) R 16147 16149 15870 0 -1 4202560 3256 0 1 0 176545 30 0 0 20 0 19 0 291214337 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973847347488 139973672744346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16152] ppid=16147 vsize=9624980 CPUtime=1.94 cores=0,2,4,6
/proc/16149/task/16152/stat : 16152 (java) S 16147 16149 15870 0 -1 4202560 484 0 0 0 176 18 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973808839080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16153] ppid=16147 vsize=9624980 CPUtime=2.2 cores=0,2,4,6
/proc/16149/task/16153/stat : 16153 (java) S 16147 16149 15870 0 -1 4202560 650 0 0 0 199 21 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973807786536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16154] ppid=16147 vsize=9624980 CPUtime=2.15 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) S 16147 16149 15870 0 -1 4202560 941 0 0 0 188 27 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973806733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16155] ppid=16147 vsize=9624980 CPUtime=2.14 cores=0,2,4,6
/proc/16149/task/16155/stat : 16155 (java) S 16147 16149 15870 0 -1 4202560 691 0 0 0 191 23 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973805680936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16156] ppid=16147 vsize=9624980 CPUtime=2.02 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16147 16149 15870 0 -1 4202560 884 0 0 0 182 20 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973804628904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16157] ppid=16147 vsize=9624980 CPUtime=2.06 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16147 16149 15870 0 -1 4202560 762 0 0 0 184 22 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973803576360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16158] ppid=16147 vsize=9624980 CPUtime=1.99 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16147 16149 15870 0 -1 4202560 735 0 0 0 179 20 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973802523304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16159] ppid=16147 vsize=9624980 CPUtime=1.98 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16147 16149 15870 0 -1 4202560 625 0 0 0 177 21 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973801470760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16160] ppid=16147 vsize=9624980 CPUtime=7.24 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16147 16149 15870 0 -1 4202560 1510 0 0 0 721 3 0 0 20 0 19 0 291214339 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973670984040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16161] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16147 16149 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973669930360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16162] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16147 16149 15870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973668877192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16163] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973667825936 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16164] ppid=16147 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/16149/task/16164/stat : 16164 (java) S 16147 16149 15870 0 -1 4202560 5161 0 0 0 45 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973666773816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16165] ppid=16147 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/16149/task/16165/stat : 16165 (java) S 16147 16149 15870 0 -1 4202560 3555 0 0 0 54 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973665721272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16166] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16166/stat : 16166 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973664668408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16167] ppid=16147 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/16149/task/16167/stat : 16167 (java) S 16147 16149 15870 0 -1 4202560 103 0 0 0 28 30 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973663616072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16168] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16168/stat : 16168 (java) S 16147 16149 15870 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291214367 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973662561320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1795.49
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.9 s]
/proc/loadavg: 1.95 1.98 1.93 3/213 16357
/proc/meminfo: memFree=28692212/32873648 swapFree=6852/6852
[pid=16149] ppid=16147 vsize=9624980 CPUtime=1800.1 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16147 16149 15870 0 -1 4202496 20544 0 1 0 179804 206 0 0 20 0 19 0 291214336 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 140735567817040 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16149/statm: 2406245 412755 2270 9 0 2396937 0
[pid=16149/tid=16151] ppid=16147 vsize=9624980 CPUtime=1770.34 cores=0,2,4,6
/proc/16149/task/16151/stat : 16151 (java) R 16147 16149 15870 0 -1 4202560 3256 0 1 0 177004 30 0 0 20 0 19 0 291214337 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973847347488 139973672744421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16152] ppid=16147 vsize=9624980 CPUtime=1.94 cores=0,2,4,6
/proc/16149/task/16152/stat : 16152 (java) S 16147 16149 15870 0 -1 4202560 484 0 0 0 176 18 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973808839080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16153] ppid=16147 vsize=9624980 CPUtime=2.2 cores=0,2,4,6
/proc/16149/task/16153/stat : 16153 (java) S 16147 16149 15870 0 -1 4202560 650 0 0 0 199 21 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973807786536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16154] ppid=16147 vsize=9624980 CPUtime=2.15 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) S 16147 16149 15870 0 -1 4202560 941 0 0 0 188 27 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973806733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16155] ppid=16147 vsize=9624980 CPUtime=2.14 cores=0,2,4,6
/proc/16149/task/16155/stat : 16155 (java) S 16147 16149 15870 0 -1 4202560 691 0 0 0 191 23 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973805680936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16156] ppid=16147 vsize=9624980 CPUtime=2.02 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16147 16149 15870 0 -1 4202560 884 0 0 0 182 20 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973804628904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16157] ppid=16147 vsize=9624980 CPUtime=2.06 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16147 16149 15870 0 -1 4202560 762 0 0 0 184 22 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973803576360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16158] ppid=16147 vsize=9624980 CPUtime=1.99 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16147 16149 15870 0 -1 4202560 735 0 0 0 179 20 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973802523304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16159] ppid=16147 vsize=9624980 CPUtime=1.98 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16147 16149 15870 0 -1 4202560 625 0 0 0 177 21 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973801470760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16160] ppid=16147 vsize=9624980 CPUtime=7.24 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16147 16149 15870 0 -1 4202560 1510 0 0 0 721 3 0 0 20 0 19 0 291214339 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973670984040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16161] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16147 16149 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973669930360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16162] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16147 16149 15870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973668877192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16163] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973667825936 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16164] ppid=16147 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/16149/task/16164/stat : 16164 (java) S 16147 16149 15870 0 -1 4202560 5161 0 0 0 45 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973666773816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16165] ppid=16147 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/16149/task/16165/stat : 16165 (java) S 16147 16149 15870 0 -1 4202560 3555 0 0 0 54 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973665721272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16166] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16166/stat : 16166 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973664668408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16167] ppid=16147 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/16149/task/16167/stat : 16167 (java) S 16147 16149 15870 0 -1 4202560 103 0 0 0 28 30 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973663616072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16168] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16168/stat : 16168 (java) S 16147 16149 15870 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291214367 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973662561320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624980

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

Solver just ended. Dumping a history of the last processes samples

[startup+1786.9 s]
/proc/loadavg: 1.95 1.98 1.93 3/213 16357
/proc/meminfo: memFree=28692212/32873648 swapFree=6852/6852
[pid=16149] ppid=16147 vsize=9624980 CPUtime=1800.1 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16147 16149 15870 0 -1 4202496 20544 0 1 0 179804 206 0 0 20 0 19 0 291214336 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 140735567817040 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16149/statm: 2406245 412755 2270 9 0 2396937 0
[pid=16149/tid=16151] ppid=16147 vsize=9624980 CPUtime=1770.34 cores=0,2,4,6
/proc/16149/task/16151/stat : 16151 (java) R 16147 16149 15870 0 -1 4202560 3256 0 1 0 177004 30 0 0 20 0 19 0 291214337 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973847347488 139973672744421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16152] ppid=16147 vsize=9624980 CPUtime=1.94 cores=0,2,4,6
/proc/16149/task/16152/stat : 16152 (java) S 16147 16149 15870 0 -1 4202560 484 0 0 0 176 18 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973808839080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16153] ppid=16147 vsize=9624980 CPUtime=2.2 cores=0,2,4,6
/proc/16149/task/16153/stat : 16153 (java) S 16147 16149 15870 0 -1 4202560 650 0 0 0 199 21 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973807786536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16154] ppid=16147 vsize=9624980 CPUtime=2.15 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) S 16147 16149 15870 0 -1 4202560 941 0 0 0 188 27 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973806733480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16155] ppid=16147 vsize=9624980 CPUtime=2.14 cores=0,2,4,6
/proc/16149/task/16155/stat : 16155 (java) S 16147 16149 15870 0 -1 4202560 691 0 0 0 191 23 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973805680936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16156] ppid=16147 vsize=9624980 CPUtime=2.02 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16147 16149 15870 0 -1 4202560 884 0 0 0 182 20 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973804628904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16157] ppid=16147 vsize=9624980 CPUtime=2.06 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16147 16149 15870 0 -1 4202560 762 0 0 0 184 22 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973803576360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16158] ppid=16147 vsize=9624980 CPUtime=1.99 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16147 16149 15870 0 -1 4202560 735 0 0 0 179 20 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973802523304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16159] ppid=16147 vsize=9624980 CPUtime=1.98 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16147 16149 15870 0 -1 4202560 625 0 0 0 177 21 0 0 20 0 19 0 291214338 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973801470760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16160] ppid=16147 vsize=9624980 CPUtime=7.24 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16147 16149 15870 0 -1 4202560 1510 0 0 0 721 3 0 0 20 0 19 0 291214339 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973670984040 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16149/tid=16161] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16147 16149 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973669930360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16162] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16147 16149 15870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291214339 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973668877192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16163] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973667825936 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16164] ppid=16147 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/16149/task/16164/stat : 16164 (java) S 16147 16149 15870 0 -1 4202560 5161 0 0 0 45 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973666773816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16165] ppid=16147 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/16149/task/16165/stat : 16165 (java) S 16147 16149 15870 0 -1 4202560 3555 0 0 0 54 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973665721272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16149/tid=16166] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16166/stat : 16166 (java) S 16147 16149 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973664668408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16149/tid=16167] ppid=16147 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/16149/task/16167/stat : 16167 (java) S 16147 16149 15870 0 -1 4202560 103 0 0 0 28 30 0 0 20 0 19 0 291214342 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973663616072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16149/tid=16168] ppid=16147 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16168/stat : 16168 (java) S 16147 16149 15870 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291214367 9855979520 412755 33554432000 1073741824 1073778376 140735567825904 139973662561320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624980

Child status: 143

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

Real time (s): 1786.97
CPU time (s): 1800.1
CPU user time (s): 1798.04
CPU system time (s): 2.06
CPU usage (%): 100.735
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.53
system time used= 2.51262
maximum resident set size= 1674960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20589
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40299
involuntary context switches= 28471

runsolver used 5.75012 second user time and 15.4237 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-29 02:21:25
IDJOB=3718168
IDBENCH=78733
IDSOLVER=2301
FILE ID=node124/3718168-1338250885
RUNJOBID= node124-1338248599-15886
PBS_JOBID= 14624663
Free space on /tmp= 71432 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718168-1338250885/watcher-3718168-1338250885 -o /tmp/evaluation-result-3718168-1338250885/solver-3718168-1338250885 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718168-1338250885.wbo

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

MD5SUM BENCH= b2b0b6245f8ec2d35e44e032ffc67cea
RANDOM SEED=1478017842

node124.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		: 2667.325
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	: 5334.65
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.04
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		: 2667.325
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	: 5357.53
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.04
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29989900 kB
Buffers:          431892 kB
Cached:           994592 kB
SwapCached:         2192 kB
Active:          1611284 kB
Inactive:         408800 kB
Active(anon):     583812 kB
Inactive(anon):    12184 kB
Active(file):    1027472 kB
Inactive(file):   396616 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67105464 kB
Dirty:               432 kB
Writeback:             0 kB
AnonPages:        677920 kB
Mapped:            22540 kB
Shmem:                84 kB
Slab:             722876 kB
SReclaimable:     167232 kB
SUnreclaim:       555644 kB
KernelStack:        1760 kB
PageTables:         5032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1271580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    647168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71432 MiB
End job on node124 at 2012-05-29 02:51:14