Trace number 3718167

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.55 1782.77

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
MD5SUM8ea1de4cad02f20126bf15704ca9ee6a
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 benchmark4.15337
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6480
Total number of constraints161
Number of soft constraints109
Number of constraints which are clauses81
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 constraint81
Top cost 6056
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6055
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 82
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-3718167-1338251316.wbo
0.09/0.11	c reading problem ... 
0.28/0.29	c ... done. Wall clock time 0.182s.
0.28/0.29	c declared #vars     6480
0.28/0.29	c internal #vars     6589
0.28/0.29	c #constraints  161
0.28/0.29	c constraints type 
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81
0.28/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 25
0.28/0.29	c ignored satisfied constraints => 1
0.28/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 55
0.28/0.29	c 162 constraints processed.
0.28/0.29	c objective function length is 109 literals
1.15/0.56	c SATISFIABLE
1.15/0.56	c OPTIMIZING...
1.15/0.56	c Got one! Elapsed wall clock time (in seconds):0.452
1.15/0.56	o 49
1.15/0.59	c Got one! Elapsed wall clock time (in seconds):0.481
1.15/0.59	o 14
1.55/0.71	c Got one! Elapsed wall clock time (in seconds):0.6
1.55/0.71	o 4
2.02/1.11	c cleaning 2952 clauses out of 5936 with flag 21344/5936
2.02/1.16	c Got one! Elapsed wall clock time (in seconds):1.056
2.02/1.16	o 1
2.70/1.70	c cleaning 4187 clauses out of 8431 with flag 29835/11383
3.61/2.68	c cleaning 5103 clauses out of 10245 with flag 71120/17384
4.65/3.60	c cleaning 6027 clauses out of 12142 with flag 118265/24384
5.81/4.71	c cleaning 7008 clauses out of 14114 with flag 167784/32383
7.84/6.75	c cleaning 8039 clauses out of 16110 with flag 225770/41387
9.35/8.29	c cleaning 8988 clauses out of 18068 with flag 288744/51384
11.47/10.39	c cleaning 9956 clauses out of 20079 with flag 362961/62383
13.39/12.28	c cleaning 11000 clauses out of 22124 with flag 454255/74384
16.44/15.25	c cleaning 12045 clauses out of 24123 with flag 551159/87383
19.26/18.05	c cleaning 13014 clauses out of 26078 with flag 655848/101383
22.27/20.99	c cleaning 13993 clauses out of 28066 with flag 749173/116385
24.70/23.34	c cleaning 14959 clauses out of 30073 with flag 854779/132385
28.23/26.86	c cleaning 16011 clauses out of 32112 with flag 975683/149383
32.86/31.45	c cleaning 17032 clauses out of 34101 with flag 1109332/167383
36.70/35.27	c cleaning 18030 clauses out of 36071 with flag 1250827/186385
40.58/39.02	c cleaning 18989 clauses out of 38040 with flag 1404978/206384
45.41/43.83	c cleaning 20012 clauses out of 40052 with flag 1581173/227385
50.34/48.74	c cleaning 21013 clauses out of 42038 with flag 1755535/249383
54.07/52.41	c cleaning 21985 clauses out of 44030 with flag 1925305/272388
58.94/57.21	c cleaning 22990 clauses out of 46040 with flag 2106455/296383
65.99/64.29	c cleaning 24019 clauses out of 48053 with flag 2317917/321386
74.99/73.17	c cleaning 25007 clauses out of 50032 with flag 2527626/347384
84.23/82.25	c cleaning 25999 clauses out of 52024 with flag 2725248/374383
90.60/88.57	c cleaning 26947 clauses out of 54029 with flag 2946000/402387
98.57/96.42	c cleaning 27970 clauses out of 56078 with flag 3152605/431383
106.64/104.45	c cleaning 29012 clauses out of 58114 with flag 3398465/461389
115.11/112.89	c cleaning 30033 clauses out of 60098 with flag 3644773/492385
124.80/122.44	c cleaning 31014 clauses out of 62064 with flag 3911712/524384
138.24/135.86	c cleaning 32012 clauses out of 64050 with flag 4214593/557384
147.91/145.44	c cleaning 33003 clauses out of 66037 with flag 4538817/591383
155.61/153.02	c cleaning 33981 clauses out of 68034 with flag 4770378/626383
164.90/162.28	c cleaning 35012 clauses out of 70057 with flag 5067452/662387
176.06/173.33	c cleaning 36002 clauses out of 72041 with flag 5358484/699383
185.17/182.33	c cleaning 37010 clauses out of 74043 with flag 5654515/737387
198.65/195.75	c cleaning 38008 clauses out of 76030 with flag 5964737/776384
212.35/209.34	c cleaning 39002 clauses out of 78023 with flag 6288536/816385
229.06/225.81	c cleaning 39995 clauses out of 80020 with flag 6624918/857384
239.47/236.24	c cleaning 40981 clauses out of 82026 with flag 6964204/899385
254.34/250.94	c cleaning 42011 clauses out of 84043 with flag 7376852/942383
269.22/265.63	c cleaning 43011 clauses out of 86033 with flag 7729748/986384
283.77/280.00	c cleaning 43998 clauses out of 88021 with flag 8068355/1031383
302.72/298.88	c cleaning 45000 clauses out of 90024 with flag 8446648/1077384
323.07/318.98	c cleaning 46003 clauses out of 92024 with flag 8870984/1124384
343.99/339.48	c cleaning 47004 clauses out of 94020 with flag 9342884/1172383
362.48/357.63	c cleaning 48003 clauses out of 96017 with flag 9795964/1221384
382.19/377.24	c cleaning 48998 clauses out of 98014 with flag 10335121/1271384
401.41/396.30	c cleaning 49997 clauses out of 100017 with flag 10896901/1322385
412.35/407.19	c cleaning 51001 clauses out of 102019 with flag 11275733/1374384
428.46/423.13	c cleaning 51990 clauses out of 104021 with flag 11720012/1427387
445.08/439.69	c cleaning 53002 clauses out of 106027 with flag 12175344/1481383
463.29/457.77	c cleaning 53996 clauses out of 108025 with flag 12645539/1536383
485.70/480.03	c cleaning 55001 clauses out of 110029 with flag 13157483/1592383
503.02/497.29	c cleaning 55995 clauses out of 112029 with flag 13690303/1649384
529.46/523.53	c cleaning 56994 clauses out of 114033 with flag 14246337/1707383
554.79/548.78	c cleaning 58004 clauses out of 116041 with flag 14826652/1766385
579.22/573.08	c cleaning 59005 clauses out of 118038 with flag 15267649/1826386
613.59/607.11	c cleaning 60002 clauses out of 120032 with flag 15713294/1887385
638.61/631.86	c cleaning 60998 clauses out of 122029 with flag 16201003/1949384
655.02/648.19	c cleaning 61976 clauses out of 124030 with flag 16653142/2012383
675.56/668.58	c cleaning 63016 clauses out of 126055 with flag 17166235/2076384
699.38/692.25	c cleaning 63985 clauses out of 128038 with flag 17714078/2141383
727.03/719.71	c cleaning 65014 clauses out of 130053 with flag 18186933/2207383
762.26/754.87	c cleaning 66006 clauses out of 132041 with flag 18771310/2274385
788.11/780.51	c cleaning 67000 clauses out of 134035 with flag 19340872/2342385
819.92/812.27	c cleaning 68001 clauses out of 136035 with flag 19900595/2411385
844.85/837.08	c cleaning 68998 clauses out of 138032 with flag 20449854/2481383
879.99/872.03	c cleaning 70003 clauses out of 140036 with flag 21068279/2552385
907.83/899.79	c cleaning 71007 clauses out of 142035 with flag 21739188/2624387
934.35/926.17	c cleaning 72000 clauses out of 144025 with flag 22446973/2697384
979.63/971.01	c cleaning 72998 clauses out of 146024 with flag 23090554/2771383
1017.80/1008.77	c cleaning 74001 clauses out of 148029 with flag 23771633/2846386
1065.49/1056.09	c cleaning 74999 clauses out of 150026 with flag 24463964/2922384
1103.54/1093.78	c cleaning 76006 clauses out of 152026 with flag 25241411/2999383
1132.83/1122.40	c cleaning 76998 clauses out of 154021 with flag 25826669/3077384
1168.59/1157.61	c cleaning 78001 clauses out of 156027 with flag 26457876/3156388
1199.93/1188.69	c cleaning 79000 clauses out of 158021 with flag 27128636/3236383
1230.59/1218.90	c cleaning 79987 clauses out of 160022 with flag 27799356/3317384
1279.43/1267.42	c cleaning 80993 clauses out of 162035 with flag 28579365/3399384
1315.27/1302.99	c cleaning 82009 clauses out of 164041 with flag 29297235/3482383
1371.85/1359.29	c cleaning 83002 clauses out of 166032 with flag 29972910/3566383
1416.62/1403.49	c cleaning 84006 clauses out of 168031 with flag 30847137/3651384
1463.55/1449.89	c cleaning 85000 clauses out of 170025 with flag 31685024/3737384
1513.29/1499.16	c cleaning 85997 clauses out of 172026 with flag 32417815/3824385
1558.86/1544.28	c cleaning 87001 clauses out of 174028 with flag 33254050/3912384
1596.20/1581.13	c cleaning 87998 clauses out of 176026 with flag 34103315/4001383
1651.16/1635.54	c cleaning 89001 clauses out of 178031 with flag 34912289/4091386
1705.46/1689.26	c cleaning 90004 clauses out of 180031 with flag 35763162/4182387
1763.91/1747.01	c cleaning 90997 clauses out of 182026 with flag 36823699/4274386
1800.04/1782.71	c starts		: 257
1800.04/1782.71	c conflicts		: 4344408
1800.04/1782.71	c decisions		: 6155350
1800.04/1782.71	c propagations		: 309042847
1800.04/1782.71	c inspects		: 15308963009
1800.04/1782.71	c shortcuts		: 0
1800.04/1782.71	c learnt literals	: 0
1800.04/1782.71	c learnt binary clauses	: 0
1800.04/1782.71	c learnt ternary clauses	: 0
1800.04/1782.71	c learnt constraints	: 4344408
1800.04/1782.71	c ignored constraints	: 0
1800.04/1782.71	c root simplifications	: 0
1800.04/1782.71	c removed literals (reason simplification)	: 0
1800.04/1782.71	c reason swapping (by a shorter reason)	: 0
1800.04/1782.71	c Calls to reduceDB	: 89
1800.04/1782.71	c Number of update (reduction) of LBD	: 2594552
1800.04/1782.71	c number of reductions to clauses (during analyze)	: 0
1800.04/1782.71	c number of learned constraints concerned by reduction	: 0
1800.04/1782.71	c number of learning phase by resolution	: 0
1800.04/1782.71	c number of learning phase by cutting planes	: 0
1800.04/1782.71	c speed (assignments/second)	: 173385.21863144537
1800.04/1782.71	c non guided choices	323303
1800.04/1782.74	c learnt constraints type 
1800.04/1782.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 161081
1800.04/1782.74	c constraints type 
1800.04/1782.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81
1800.04/1782.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 25
1800.04/1782.74	c ignored satisfied constraints => 1
1800.04/1782.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 56
1800.04/1782.74	c 163 constraints processed.
1800.04/1782.74	s SATISFIABLE
1800.04/1782.75	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 
1800.04/1782.76	c objective function=1
1800.04/1782.76	c Total wall clock time (in seconds): 1782.653

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-3718167-1338251316/watcher-3718167-1338251316 -o /tmp/evaluation-result-3718167-1338251316/solver-3718167-1338251316 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718167-1338251316.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.04 2.02 2.00 3/194 30503
/proc/meminfo: memFree=30630520/32873648 swapFree=7372/7372
[pid=30503] ppid=30501 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/30503/stat : 30503 (java) R 30501 30503 27324 0 -1 4202496 284 0 0 0 0 0 0 0 20 0 1 0 291257617 278528 34 33554432000 1073741824 1073778376 140736467432176 140734557628280 217401355559 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30503/statm: 68 34 25 9 0 25 0

[startup+0.020476 s]
/proc/loadavg: 2.04 2.02 2.00 3/194 30503
/proc/meminfo: memFree=30630520/32873648 swapFree=7372/7372
[pid=30503] ppid=30501 vsize=8482264 CPUtime=0 cores=0,2,4,6
/proc/30503/stat : 30503 (java) S 30501 30503 27324 0 -1 4202496 1979 0 1 0 0 0 0 0 20 0 2 0 291257617 8685838336 2172 33554432000 1073741824 1073778376 140736467432176 140736467423312 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30503/statm: 2120823 2179 951 9 0 2111932 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8482264

[startup+0.100296 s]
/proc/loadavg: 2.04 2.02 2.00 3/194 30503
/proc/meminfo: memFree=30630520/32873648 swapFree=7372/7372
[pid=30503] ppid=30501 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/30503/stat : 30503 (java) S 30501 30503 27324 0 -1 4202496 4363 0 1 0 8 1 0 0 20 0 18 0 291257617 9787817984 5558 33554432000 1073741824 1073778376 140736467432176 140736467423312 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30503/statm: 2389604 5558 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300152 s]
/proc/loadavg: 2.04 2.02 2.00 3/194 30503
/proc/meminfo: memFree=30630520/32873648 swapFree=7372/7372
[pid=30503] ppid=30501 vsize=9558416 CPUtime=0.55 cores=0,2,4,6
/proc/30503/stat : 30503 (java) S 30501 30503 27324 0 -1 4202496 7212 0 1 0 54 1 0 0 20 0 18 0 291257617 9787817984 10422 33554432000 1073741824 1073778376 140736467432176 140736467423312 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30503/statm: 2389604 10422 2228 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558416

[startup+0.700271 s]
/proc/loadavg: 2.04 2.02 2.00 3/194 30503
/proc/meminfo: memFree=30630520/32873648 swapFree=7372/7372
[pid=30503] ppid=30501 vsize=9624980 CPUtime=1.55 cores=0,2,4,6
/proc/30503/stat : 30503 (java) S 30501 30503 27324 0 -1 4202496 11922 0 1 0 153 2 0 0 20 0 19 0 291257617 9855979520 14644 33554432000 1073741824 1073778376 140736467432176 140736467423312 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30503/statm: 2406245 14644 2241 9 0 2396937 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9624980

[startup+1.50067 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 30522
/proc/meminfo: memFree=30573940/32873648 swapFree=7372/7372
[pid=30503] ppid=30501 vsize=9624980 CPUtime=2.47 cores=0,2,4,6
/proc/30503/stat : 30503 (java) S 30501 30503 27324 0 -1 4202496 12004 0 1 0 243 4 0 0 20 0 19 0 291257617 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 140736467423312 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30503/statm: 2406245 21348 2269 9 0 2396937 0
[pid=30503/tid=30505] ppid=30501 vsize=9624980 CPUtime=1.44 cores=0,2,4,6
/proc/30503/task/30505/stat : 30505 (java) R 30501 30503 27324 0 -1 4202560 2465 0 1 0 143 1 0 0 20 0 19 0 291257618 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969792905624 139969646111122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30506] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30506/stat : 30506 (java) S 30501 30503 27324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969765357736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30507] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30507/stat : 30507 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969764305192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30508] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30508/stat : 30508 (java) S 30501 30503 27324 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969634544040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30509] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30509/stat : 30509 (java) S 30501 30503 27324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969633491496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30510] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30510/stat : 30510 (java) S 30501 30503 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969632438952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30511] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30511/stat : 30511 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969631386408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30512] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30512/stat : 30512 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969630333864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30513] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30513/stat : 30513 (java) S 30501 30503 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969158966312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30514] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30514/stat : 30514 (java) S 30501 30503 27324 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 291257620 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969146767464 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30515] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30515/stat : 30515 (java) S 30501 30503 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969145713784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30516] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30516/stat : 30516 (java) S 30501 30503 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969144661128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30517] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30517/stat : 30517 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969143609872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30518] ppid=30501 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/30503/task/30518/stat : 30518 (java) S 30501 30503 27324 0 -1 4202560 4365 0 0 0 44 0 0 0 20 0 19 0 291257623 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969142557240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30519] ppid=30501 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/30503/task/30519/stat : 30519 (java) S 30501 30503 27324 0 -1 4202560 3914 0 0 0 50 0 0 0 20 0 19 0 291257623 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969141504696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30520] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30520/stat : 30520 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969140452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30521] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30521/stat : 30521 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969139400008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30522] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30522/stat : 30522 (java) S 30501 30503 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291257648 9855979520 21348 33554432000 1073741824 1073778376 140736467432176 139969138307880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 9624980

[startup+3.10056 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 30522
/proc/meminfo: memFree=30536828/32873648 swapFree=7372/7372
[pid=30503] ppid=30501 vsize=9624980 CPUtime=4.15 cores=0,2,4,6
/proc/30503/stat : 30503 (java) S 30501 30503 27324 0 -1 4202496 12036 0 1 0 410 5 0 0 20 0 19 0 291257617 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 140736467423312 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30503/statm: 2406245 26982 2269 9 0 2396937 0
[pid=30503/tid=30505] ppid=30501 vsize=9624980 CPUtime=3 cores=0,2,4,6
/proc/30503/task/30505/stat : 30505 (java) R 30501 30503 27324 0 -1 4202560 2466 0 1 0 298 2 0 0 20 0 19 0 291257618 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969792905624 139969646217194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30506] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30506/stat : 30506 (java) S 30501 30503 27324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969765357736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30507] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30507/stat : 30507 (java) S 30501 30503 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969764305192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30508] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30508/stat : 30508 (java) S 30501 30503 27324 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969634544040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30509] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30509/stat : 30509 (java) S 30501 30503 27324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969633491496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30510] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30510/stat : 30510 (java) S 30501 30503 27324 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969632438952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30511] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30511/stat : 30511 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969631386408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30512] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30512/stat : 30512 (java) S 30501 30503 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969630333864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30513] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30513/stat : 30513 (java) S 30501 30503 27324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969158966312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30514] ppid=30501 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/30503/task/30514/stat : 30514 (java) S 30501 30503 27324 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 19 0 291257620 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969146767464 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30515] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30515/stat : 30515 (java) S 30501 30503 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969145713784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30516] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30516/stat : 30516 (java) S 30501 30503 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969144661128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30517] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30517/stat : 30517 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969143609872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30518] ppid=30501 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/30503/task/30518/stat : 30518 (java) S 30501 30503 27324 0 -1 4202560 4366 0 0 0 47 0 0 0 20 0 19 0 291257623 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969142557240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30519] ppid=30501 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/30503/task/30519/stat : 30519 (java) S 30501 30503 27324 0 -1 4202560 3914 0 0 0 52 0 0 0 20 0 19 0 291257623 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969141504696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30520] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30520/stat : 30520 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969140452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30521] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30521/stat : 30521 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969139400008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30522] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30522/stat : 30522 (java) S 30501 30503 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291257648 9855979520 26982 33554432000 1073741824 1073778376 140736467432176 139969138307880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 9624980

[startup+6.30069 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 30522
/proc/meminfo: memFree=30515976/32873648 swapFree=7372/7372
[pid=30503] ppid=30501 vsize=9624980 CPUtime=7.44 cores=0,2,4,6
/proc/30503/stat : 30503 (java) S 30501 30503 27324 0 -1 4202496 12071 0 1 0 737 7 0 0 20 0 19 0 291257617 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 140736467423312 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30503/statm: 2406245 32094 2269 9 0 2396937 0
[pid=30503/tid=30505] ppid=30501 vsize=9624980 CPUtime=6.15 cores=0,2,4,6
/proc/30503/task/30505/stat : 30505 (java) R 30501 30503 27324 0 -1 4202560 2471 0 1 0 613 2 0 0 20 0 19 0 291257618 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969792905504 139969646374427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30506] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30506/stat : 30506 (java) S 30501 30503 27324 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969765357736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30507] ppid=30501 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/30503/task/30507/stat : 30507 (java) S 30501 30503 27324 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 291257619 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969764305192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30508] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30508/stat : 30508 (java) S 30501 30503 27324 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969634544040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30509] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30509/stat : 30509 (java) S 30501 30503 27324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969633491496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30510] ppid=30501 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/30503/task/30510/stat : 30510 (java) S 30501 30503 27324 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 291257619 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969632438952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30511] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30511/stat : 30511 (java) S 30501 30503 27324 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969631386408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30512] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30512/stat : 30512 (java) S 30501 30503 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969630333864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30513] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30513/stat : 30513 (java) S 30501 30503 27324 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291257619 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969158966312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30514] ppid=30501 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/30503/task/30514/stat : 30514 (java) S 30501 30503 27324 0 -1 4202560 37 0 0 0 6 0 0 0 20 0 19 0 291257620 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969146767464 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30515] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30515/stat : 30515 (java) S 30501 30503 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969145713784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30516] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30516/stat : 30516 (java) S 30501 30503 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969144661128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30517] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30517/stat : 30517 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969143609872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30518] ppid=30501 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/30503/task/30518/stat : 30518 (java) S 30501 30503 27324 0 -1 4202560 4366 0 0 0 51 0 0 0 20 0 19 0 291257623 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969142557240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30519] ppid=30501 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/30503/task/30519/stat : 30519 (java) S 30501 30503 27324 0 -1 4202560 3915 0 0 0 53 0 0 0 20 0 19 0 291257623 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969141504696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30520] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30520/stat : 30520 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969140452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30521] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30521/stat : 30521 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969139400008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30522] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30522/stat : 30522 (java) S 30501 30503 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291257648 9855979520 32094 33554432000 1073741824 1073778376 140736467432176 139969138307880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

[pid=30503/tid=30511] ppid=30501 vsize=9624980 CPUtime=2.59 cores=0,2,4,6
/proc/30503/task/30511/stat : 30511 (java) S 30501 30503 27324 0 -1 4202560 771 0 0 0 238 21 0 0 20 0 19 0 291257619 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969631386408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30512] ppid=30501 vsize=9624980 CPUtime=2.88 cores=0,2,4,6
/proc/30503/task/30512/stat : 30512 (java) S 30501 30503 27324 0 -1 4202560 609 0 0 0 264 24 0 0 20 0 19 0 291257619 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969630333864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30513] ppid=30501 vsize=9624980 CPUtime=2.38 cores=0,2,4,6
/proc/30503/task/30513/stat : 30513 (java) S 30501 30503 27324 0 -1 4202560 634 0 0 0 224 14 0 0 20 0 19 0 291257619 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969158966312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30514] ppid=30501 vsize=9624980 CPUtime=6.9 cores=0,2,4,6
/proc/30503/task/30514/stat : 30514 (java) S 30501 30503 27324 0 -1 4202560 1155 0 0 0 685 5 0 0 20 0 19 0 291257620 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969146767464 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30515] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30515/stat : 30515 (java) S 30501 30503 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969145713784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30516] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30516/stat : 30516 (java) S 30501 30503 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969144661128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30517] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30517/stat : 30517 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969143609872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30518] ppid=30501 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/30503/task/30518/stat : 30518 (java) S 30501 30503 27324 0 -1 4202560 4379 0 0 0 53 0 0 0 20 0 19 0 291257623 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969142557240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30519] ppid=30501 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/30503/task/30519/stat : 30519 (java) S 30501 30503 27324 0 -1 4202560 3915 0 0 0 53 0 0 0 20 0 19 0 291257623 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969141504696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30520] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30520/stat : 30520 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969140452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30521] ppid=30501 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/30503/task/30521/stat : 30521 (java) S 30501 30503 27324 0 -1 4202560 99 0 0 0 30 29 0 0 20 0 19 0 291257623 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969139400008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30522] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30522/stat : 30522 (java) S 30501 30503 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291257648 9855979520 317443 33554432000 1073741824 1073778376 140736467432176 139969138307880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1738.98
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/213 30596
/proc/meminfo: memFree=28854760/32873648 swapFree=7372/7372
[pid=30503] ppid=30501 vsize=9624980 CPUtime=1799.63 cores=0,2,4,6
/proc/30503/stat : 30503 (java) S 30501 30503 27324 0 -1 4202496 17847 0 1 0 179785 178 0 0 20 0 19 0 291257617 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 140736467423312 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30503/statm: 2406245 317464 2270 9 0 2396937 0
[pid=30503/tid=30505] ppid=30501 vsize=9624980 CPUtime=1769.52 cores=0,2,4,6
/proc/30503/task/30505/stat : 30505 (java) R 30501 30503 27324 0 -1 4202560 2642 0 1 0 176921 31 0 0 20 0 19 0 291257618 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969792904560 139969646111143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30506] ppid=30501 vsize=9624980 CPUtime=2.83 cores=0,2,4,6
/proc/30503/task/30506/stat : 30506 (java) S 30501 30503 27324 0 -1 4202560 660 0 0 0 267 16 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969765357736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30507] ppid=30501 vsize=9624980 CPUtime=2.68 cores=0,2,4,6
/proc/30503/task/30507/stat : 30507 (java) S 30501 30503 27324 0 -1 4202560 501 0 0 0 251 17 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969764305192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30508] ppid=30501 vsize=9624980 CPUtime=2.35 cores=0,2,4,6
/proc/30503/task/30508/stat : 30508 (java) S 30501 30503 27324 0 -1 4202560 340 0 0 0 223 12 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969634544040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30509] ppid=30501 vsize=9624980 CPUtime=2.71 cores=0,2,4,6
/proc/30503/task/30509/stat : 30509 (java) S 30501 30503 27324 0 -1 4202560 453 0 0 0 252 19 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969633491496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30510] ppid=30501 vsize=9624980 CPUtime=2.66 cores=0,2,4,6
/proc/30503/task/30510/stat : 30510 (java) S 30501 30503 27324 0 -1 4202560 469 0 0 0 252 14 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969632438952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30511] ppid=30501 vsize=9624980 CPUtime=2.7 cores=0,2,4,6
/proc/30503/task/30511/stat : 30511 (java) S 30501 30503 27324 0 -1 4202560 771 0 0 0 249 21 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969631386408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30512] ppid=30501 vsize=9624980 CPUtime=3.04 cores=0,2,4,6
/proc/30503/task/30512/stat : 30512 (java) S 30501 30503 27324 0 -1 4202560 609 0 0 0 280 24 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969630333864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30513] ppid=30501 vsize=9624980 CPUtime=2.54 cores=0,2,4,6
/proc/30503/task/30513/stat : 30513 (java) S 30501 30503 27324 0 -1 4202560 634 0 0 0 240 14 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969158966312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30514] ppid=30501 vsize=9624980 CPUtime=7.05 cores=0,2,4,6
/proc/30503/task/30514/stat : 30514 (java) S 30501 30503 27324 0 -1 4202560 1187 0 0 0 700 5 0 0 20 0 19 0 291257620 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969146767464 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30515] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30515/stat : 30515 (java) S 30501 30503 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969145713784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30516] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30516/stat : 30516 (java) S 30501 30503 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969144661128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30517] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30517/stat : 30517 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969143609872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30518] ppid=30501 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/30503/task/30518/stat : 30518 (java) S 30501 30503 27324 0 -1 4202560 4379 0 0 0 53 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969142557240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30519] ppid=30501 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/30503/task/30519/stat : 30519 (java) S 30501 30503 27324 0 -1 4202560 3915 0 0 0 53 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969141504696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30520] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30520/stat : 30520 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969140452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30521] ppid=30501 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/30503/task/30521/stat : 30521 (java) S 30501 30503 27324 0 -1 4202560 103 0 0 0 31 30 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969139400008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30522] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30522/stat : 30522 (java) S 30501 30503 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291257648 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969138307880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.7 s]
/proc/loadavg: 2.06 2.08 2.02 3/213 30596
/proc/meminfo: memFree=28854760/32873648 swapFree=7372/7372
[pid=30503] ppid=30501 vsize=9624980 CPUtime=1800.04 cores=0,2,4,6
/proc/30503/stat : 30503 (java) S 30501 30503 27324 0 -1 4202496 17847 0 1 0 179826 178 0 0 20 0 19 0 291257617 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 140736467423312 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30503/statm: 2406245 317464 2270 9 0 2396937 0
[pid=30503/tid=30505] ppid=30501 vsize=9624980 CPUtime=1769.93 cores=0,2,4,6
/proc/30503/task/30505/stat : 30505 (java) R 30501 30503 27324 0 -1 4202560 2642 0 1 0 176962 31 0 0 20 0 19 0 291257618 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969792904560 139969646217174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30506] ppid=30501 vsize=9624980 CPUtime=2.83 cores=0,2,4,6
/proc/30503/task/30506/stat : 30506 (java) S 30501 30503 27324 0 -1 4202560 660 0 0 0 267 16 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969765357736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30507] ppid=30501 vsize=9624980 CPUtime=2.68 cores=0,2,4,6
/proc/30503/task/30507/stat : 30507 (java) S 30501 30503 27324 0 -1 4202560 501 0 0 0 251 17 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969764305192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30508] ppid=30501 vsize=9624980 CPUtime=2.35 cores=0,2,4,6
/proc/30503/task/30508/stat : 30508 (java) S 30501 30503 27324 0 -1 4202560 340 0 0 0 223 12 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969634544040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30509] ppid=30501 vsize=9624980 CPUtime=2.71 cores=0,2,4,6
/proc/30503/task/30509/stat : 30509 (java) S 30501 30503 27324 0 -1 4202560 453 0 0 0 252 19 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969633491496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30510] ppid=30501 vsize=9624980 CPUtime=2.66 cores=0,2,4,6
/proc/30503/task/30510/stat : 30510 (java) S 30501 30503 27324 0 -1 4202560 469 0 0 0 252 14 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969632438952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30511] ppid=30501 vsize=9624980 CPUtime=2.7 cores=0,2,4,6
/proc/30503/task/30511/stat : 30511 (java) S 30501 30503 27324 0 -1 4202560 771 0 0 0 249 21 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969631386408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30512] ppid=30501 vsize=9624980 CPUtime=3.04 cores=0,2,4,6
/proc/30503/task/30512/stat : 30512 (java) S 30501 30503 27324 0 -1 4202560 609 0 0 0 280 24 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969630333864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30513] ppid=30501 vsize=9624980 CPUtime=2.54 cores=0,2,4,6
/proc/30503/task/30513/stat : 30513 (java) S 30501 30503 27324 0 -1 4202560 634 0 0 0 240 14 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969158966312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30514] ppid=30501 vsize=9624980 CPUtime=7.05 cores=0,2,4,6
/proc/30503/task/30514/stat : 30514 (java) S 30501 30503 27324 0 -1 4202560 1187 0 0 0 700 5 0 0 20 0 19 0 291257620 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969146767464 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30515] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30515/stat : 30515 (java) S 30501 30503 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969145713784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30516] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30516/stat : 30516 (java) S 30501 30503 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969144661128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30517] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30517/stat : 30517 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969143609872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30518] ppid=30501 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/30503/task/30518/stat : 30518 (java) S 30501 30503 27324 0 -1 4202560 4379 0 0 0 53 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969142557240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30519] ppid=30501 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/30503/task/30519/stat : 30519 (java) S 30501 30503 27324 0 -1 4202560 3915 0 0 0 53 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969141504696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30520] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30520/stat : 30520 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969140452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30521] ppid=30501 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/30503/task/30521/stat : 30521 (java) S 30501 30503 27324 0 -1 4202560 103 0 0 0 31 30 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969139400008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30522] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30522/stat : 30522 (java) S 30501 30503 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291257648 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969138307880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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+1782.7 s]
/proc/loadavg: 2.06 2.08 2.02 3/213 30596
/proc/meminfo: memFree=28854760/32873648 swapFree=7372/7372
[pid=30503] ppid=30501 vsize=9624980 CPUtime=1800.04 cores=0,2,4,6
/proc/30503/stat : 30503 (java) S 30501 30503 27324 0 -1 4202496 17847 0 1 0 179826 178 0 0 20 0 19 0 291257617 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 140736467423312 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30503/statm: 2406245 317464 2270 9 0 2396937 0
[pid=30503/tid=30505] ppid=30501 vsize=9624980 CPUtime=1769.93 cores=0,2,4,6
/proc/30503/task/30505/stat : 30505 (java) R 30501 30503 27324 0 -1 4202560 2642 0 1 0 176962 31 0 0 20 0 19 0 291257618 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969792904560 139969646217174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30506] ppid=30501 vsize=9624980 CPUtime=2.83 cores=0,2,4,6
/proc/30503/task/30506/stat : 30506 (java) S 30501 30503 27324 0 -1 4202560 660 0 0 0 267 16 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969765357736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30507] ppid=30501 vsize=9624980 CPUtime=2.68 cores=0,2,4,6
/proc/30503/task/30507/stat : 30507 (java) S 30501 30503 27324 0 -1 4202560 501 0 0 0 251 17 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969764305192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30508] ppid=30501 vsize=9624980 CPUtime=2.35 cores=0,2,4,6
/proc/30503/task/30508/stat : 30508 (java) S 30501 30503 27324 0 -1 4202560 340 0 0 0 223 12 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969634544040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30509] ppid=30501 vsize=9624980 CPUtime=2.71 cores=0,2,4,6
/proc/30503/task/30509/stat : 30509 (java) S 30501 30503 27324 0 -1 4202560 453 0 0 0 252 19 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969633491496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30510] ppid=30501 vsize=9624980 CPUtime=2.66 cores=0,2,4,6
/proc/30503/task/30510/stat : 30510 (java) S 30501 30503 27324 0 -1 4202560 469 0 0 0 252 14 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969632438952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30511] ppid=30501 vsize=9624980 CPUtime=2.7 cores=0,2,4,6
/proc/30503/task/30511/stat : 30511 (java) S 30501 30503 27324 0 -1 4202560 771 0 0 0 249 21 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969631386408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30512] ppid=30501 vsize=9624980 CPUtime=3.04 cores=0,2,4,6
/proc/30503/task/30512/stat : 30512 (java) S 30501 30503 27324 0 -1 4202560 609 0 0 0 280 24 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969630333864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30503/tid=30513] ppid=30501 vsize=9624980 CPUtime=2.54 cores=0,2,4,6
/proc/30503/task/30513/stat : 30513 (java) S 30501 30503 27324 0 -1 4202560 634 0 0 0 240 14 0 0 20 0 19 0 291257619 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969158966312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30514] ppid=30501 vsize=9624980 CPUtime=7.05 cores=0,2,4,6
/proc/30503/task/30514/stat : 30514 (java) S 30501 30503 27324 0 -1 4202560 1187 0 0 0 700 5 0 0 20 0 19 0 291257620 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969146767464 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30515] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30515/stat : 30515 (java) S 30501 30503 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969145713784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30516] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30516/stat : 30516 (java) S 30501 30503 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291257621 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969144661128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30517] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30517/stat : 30517 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969143609872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30503/tid=30518] ppid=30501 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/30503/task/30518/stat : 30518 (java) S 30501 30503 27324 0 -1 4202560 4379 0 0 0 53 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969142557240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30519] ppid=30501 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/30503/task/30519/stat : 30519 (java) S 30501 30503 27324 0 -1 4202560 3915 0 0 0 53 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969141504696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30520] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30520/stat : 30520 (java) S 30501 30503 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969140452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30503/tid=30521] ppid=30501 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/30503/task/30521/stat : 30521 (java) S 30501 30503 27324 0 -1 4202560 103 0 0 0 31 30 0 0 20 0 19 0 291257623 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969139400008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30503/tid=30522] ppid=30501 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30503/task/30522/stat : 30522 (java) S 30501 30503 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291257648 9855979520 317464 33554432000 1073741824 1073778376 140736467432176 139969138307880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624980

Child status: 143
Real time (s): 1782.77
CPU time (s): 1800.55
CPU user time (s): 1798.38
CPU system time (s): 2.17367
CPU usage (%): 100.997
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.38
system time used= 2.17367
maximum resident set size= 1302108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17893
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41358
involuntary context switches= 21863

runsolver used 5.99909 second user time and 14.7448 second system time

The end

Launcher Data

Begin job on node122 at 2012-05-29 02:28:36
IDJOB=3718167
IDBENCH=78741
IDSOLVER=2301
FILE ID=node122/3718167-1338251316
RUNJOBID= node122-1338247599-29940
PBS_JOBID= 14624660
Free space on /tmp= 71684 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-81-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-3718167-1338251316/watcher-3718167-1338251316 -o /tmp/evaluation-result-3718167-1338251316/solver-3718167-1338251316 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718167-1338251316.wbo

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

MD5SUM BENCH= 8ea1de4cad02f20126bf15704ca9ee6a
RANDOM SEED=456126839

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30630900 kB
Buffers:          341064 kB
Cached:           484404 kB
SwapCached:         1104 kB
Active:          1289448 kB
Inactive:          98804 kB
Active(anon):     558940 kB
Inactive(anon):     6056 kB
Active(file):     730508 kB
Inactive(file):    92748 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67102812 kB
Dirty:               516 kB
Writeback:             0 kB
AnonPages:        563176 kB
Mapped:            18952 kB
Shmem:                 8 kB
Slab:             715676 kB
SReclaimable:     159788 kB
SUnreclaim:       555888 kB
KernelStack:        1600 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     767244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    516096 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= 71684 MiB
End job on node122 at 2012-05-29 02:58:21