Trace number 3689603

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT 878.4 865.446

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K104.opb
MD5SUMa8d55fafa030e5024da65ad802ff80be
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark92.024
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7072
Total number of constraints7282
Number of constraints which are clauses7178
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint104
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 105
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

Solver Data 

0.07/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.07	c See www.sat4j.org for details.
0.07/0.08	c version 2.3.2.v20120418
0.07/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.08	c java.vm.version	19.1-b02
0.07/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.08	c sun.arch.data.model	64
0.07/0.08	c java.version		1.6.0_24
0.07/0.08	c os.name		Linux
0.07/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.08	c os.arch		amd64
0.07/0.08	c Free memory 		501472288
0.07/0.08	c Max memory 		7480803328
0.07/0.08	c Total memory 		504102912
0.07/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3689603-1337891735.opb
0.11/0.10	c reading problem ... 
0.59/0.38	c ... done. Wall clock time 0.278s.
0.59/0.38	c declared #vars     7072
0.59/0.38	c #constraints  7282
0.59/0.38	c constraints type 
0.59/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5837
0.59/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 104
0.59/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.59/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1339
0.59/0.38	c 7282 constraints processed.
1.88/1.29	c cleaning 2487 clauses out of 4989 with flag 5001/5001
3.37/2.21	c cleaning 4233 clauses out of 8498 with flag 11000/11000
4.27/3.13	c cleaning 5580 clauses out of 11259 with flag 18001/18001
5.29/4.19	c cleaning 6809 clauses out of 13678 with flag 26000/26000
6.67/5.46	c cleaning 7860 clauses out of 15868 with flag 35002/35002
8.07/6.85	c cleaning 8910 clauses out of 18006 with flag 45000/45000
9.49/8.29	c cleaning 9912 clauses out of 20093 with flag 56000/56000
11.24/9.99	c cleaning 10932 clauses out of 22179 with flag 68000/68000
13.04/11.78	c cleaning 12003 clauses out of 24244 with flag 81000/81000
15.16/13.82	c cleaning 12874 clauses out of 26241 with flag 95000/95000
17.19/15.87	c cleaning 14081 clauses out of 28368 with flag 110002/110002
19.51/18.15	c cleaning 15010 clauses out of 30286 with flag 126001/126001
22.04/20.62	c cleaning 15989 clauses out of 32274 with flag 143001/143001
24.57/23.13	c cleaning 16952 clauses out of 34286 with flag 161002/161002
27.47/26.09	c cleaning 18029 clauses out of 36335 with flag 180003/180003
30.64/29.10	c cleaning 19029 clauses out of 38301 with flag 200000/200000
33.65/32.16	c cleaning 20119 clauses out of 40273 with flag 221001/221001
37.18/35.67	c cleaning 20947 clauses out of 42155 with flag 243002/243002
41.42/39.88	c cleaning 21983 clauses out of 44206 with flag 266000/266000
45.30/43.66	c cleaning 22997 clauses out of 46222 with flag 290000/290000
49.31/47.67	c cleaning 23815 clauses out of 48229 with flag 315004/315004
53.35/51.62	c cleaning 24982 clauses out of 50409 with flag 341000/341000
57.69/55.94	c cleaning 25916 clauses out of 52427 with flag 368000/368000
63.33/61.57	c cleaning 27058 clauses out of 54511 with flag 396000/396000
68.00/66.19	c cleaning 27922 clauses out of 56454 with flag 425001/425001
73.04/71.16	c cleaning 28996 clauses out of 58531 with flag 455001/455001
80.60/78.65	c cleaning 30124 clauses out of 60537 with flag 486003/486003
86.03/83.91	c cleaning 30515 clauses out of 62410 with flag 518000/518000
92.14/90.04	c cleaning 31404 clauses out of 64896 with flag 551001/551001
98.31/96.14	c cleaning 32271 clauses out of 67491 with flag 585000/585000
104.66/102.47	c cleaning 33581 clauses out of 70220 with flag 620000/620000
113.22/110.99	c cleaning 33755 clauses out of 72645 with flag 656006/656006
120.86/118.52	c cleaning 36195 clauses out of 75884 with flag 693000/693000
127.41/125.09	c cleaning 35856 clauses out of 77691 with flag 731002/731002
134.75/132.31	c cleaning 37286 clauses out of 80833 with flag 770000/770000
142.61/140.12	c cleaning 37412 clauses out of 83548 with flag 810001/810001
151.57/149.06	c cleaning 39559 clauses out of 87135 with flag 851000/851000
160.05/157.46	c cleaning 40468 clauses out of 89576 with flag 893001/893001
168.32/165.66	c cleaning 41091 clauses out of 92107 with flag 936000/936000
178.09/175.35	c cleaning 42703 clauses out of 95016 with flag 980000/980000
186.89/184.07	c cleaning 43494 clauses out of 97313 with flag 1025001/1025001
196.45/193.58	c cleaning 43953 clauses out of 99819 with flag 1071001/1071001
208.22/205.23	c cleaning 45445 clauses out of 102865 with flag 1118000/1118000
218.57/215.45	c cleaning 46234 clauses out of 105420 with flag 1166000/1166000
228.53/225.40	c cleaning 46933 clauses out of 108185 with flag 1215000/1215000
242.70/239.49	c cleaning 48490 clauses out of 111252 with flag 1265000/1265000
253.89/250.51	c cleaning 49788 clauses out of 113764 with flag 1316002/1316002
264.76/261.36	c cleaning 50223 clauses out of 115974 with flag 1368000/1368000
277.72/274.23	c cleaning 51190 clauses out of 118751 with flag 1421000/1421000
289.90/286.34	c cleaning 52315 clauses out of 121563 with flag 1475002/1475002
301.49/297.86	c cleaning 52947 clauses out of 124246 with flag 1530000/1530000
312.95/309.29	c cleaning 54196 clauses out of 127299 with flag 1586000/1586000
326.21/322.44	c cleaning 55245 clauses out of 130103 with flag 1643000/1643000
342.08/338.22	c cleaning 55659 clauses out of 132859 with flag 1701001/1701001
356.98/353.08	c cleaning 57762 clauses out of 136199 with flag 1760000/1760000
371.08/367.07	c cleaning 58541 clauses out of 138438 with flag 1820001/1820001
395.33/391.04	c cleaning 60392 clauses out of 140897 with flag 1881001/1881001
411.39/406.98	c cleaning 59915 clauses out of 142505 with flag 1943001/1943001
428.60/423.93	c cleaning 61553 clauses out of 145591 with flag 2006002/2006002
450.71/445.86	c cleaning 62611 clauses out of 148036 with flag 2070000/2070000
472.63/467.56	c cleaning 63723 clauses out of 150425 with flag 2135000/2135000
492.38/486.64	c cleaning 64028 clauses out of 152701 with flag 2201000/2201000
509.12/502.92	c cleaning 64986 clauses out of 155674 with flag 2268001/2268001
534.07/527.37	c cleaning 66222 clauses out of 158687 with flag 2336000/2336000
552.73/545.68	c cleaning 67248 clauses out of 161465 with flag 2405000/2405000
584.55/576.68	c cleaning 68860 clauses out of 164218 with flag 2475001/2475001
616.39/607.96	c cleaning 70219 clauses out of 166362 with flag 2546005/2546005
636.93/628.19	c cleaning 70529 clauses out of 168141 with flag 2618003/2618003
658.24/649.10	c cleaning 71598 clauses out of 170610 with flag 2691001/2691001
676.92/667.48	c cleaning 72110 clauses out of 173010 with flag 2765000/2765000
710.39/700.23	c cleaning 73473 clauses out of 175901 with flag 2840001/2840001
758.10/747.16	c cleaning 74999 clauses out of 178429 with flag 2916002/2916002
791.57/779.86	c cleaning 76079 clauses out of 180429 with flag 2993001/2993001
820.86/808.76	c cleaning 76913 clauses out of 182354 with flag 3071005/3071005
849.14/836.56	c cleaning 78052 clauses out of 184438 with flag 3150002/3150002
870.99/858.15	c cleaning 78543 clauses out of 186388 with flag 3230004/3230004
878.29/865.37	c starts		: 231
878.29/865.37	c conflicts		: 3256110
878.29/865.37	c decisions		: 30347146
878.29/865.37	c propagations		: 1055679579
878.29/865.37	c inspects		: 5038916269
878.29/865.37	c shortcuts		: 0
878.29/865.37	c learnt literals	: 46
878.29/865.37	c learnt binary clauses	: 92763
878.29/865.37	c learnt ternary clauses	: 114328
878.29/865.37	c learnt constraints	: 3256064
878.29/865.37	c ignored constraints	: 0
878.29/865.37	c root simplifications	: 0
878.29/865.37	c removed literals (reason simplification)	: 0
878.29/865.37	c reason swapping (by a shorter reason)	: 0
878.29/865.37	c Calls to reduceDB	: 76
878.29/865.37	c number of reductions to clauses (during analyze)	: 0
878.29/865.37	c number of learned constraints concerned by reduction	: 0
878.29/865.37	c number of learning phase by resolution	: 0
878.29/865.37	c number of learning phase by cutting planes	: 0
878.29/865.37	c speed (assignments/second)	: 1220469.8605051227
878.29/865.37	c non guided choices	11196
878.40/865.42	c learnt constraints type 
878.40/865.42	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 92763
878.40/865.42	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 41188
878.40/865.42	c constraints type 
878.40/865.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5837
878.40/865.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 104
878.40/865.42	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
878.40/865.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1339
878.40/865.42	c 7282 constraints processed.
878.40/865.42	s SATISFIABLE
878.40/865.43	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 x274 -x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 x4557 -x4558 x4559 -x4560 x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 x4908 -x4909 x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 -x5411 -x5412 -x5413 -x5414 -x5415 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 x6146 -x6147 x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 x6279 -x6280 -x6281 -x6282 x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 x6384 -x6385 x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 x6645 -x6646 x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 x7071 x7072 
878.40/865.43	c Total wall clock time (in seconds): 865.334

Verifier Data 

OK	0

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

running on 4 cores: 1,3,5,7

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.03 2.01 2.03 3/194 23107
/proc/meminfo: memFree=29275184/32873844 swapFree=7100/7100
[pid=23107] ppid=23105 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/23107/stat : 23107 (java) R 23105 23107 20833 0 -1 4202496 866 0 0 0 0 0 0 0 20 0 1 0 255302024 23793664 595 33554432000 1073741824 1073778376 140737190263888 140737190252952 249640827457 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23107/statm: 5809 608 453 9 0 128 0

[startup+0.077688 s]
/proc/loadavg: 2.03 2.01 2.03 3/194 23107
/proc/meminfo: memFree=29275184/32873844 swapFree=7100/7100
[pid=23107] ppid=23105 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23105 23107 20833 0 -1 4202496 3819 0 1 0 6 1 0 0 20 0 18 0 255302024 9787813888 5029 33554432000 1073741824 1073778376 140737190263888 140737190255024 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23107/statm: 2389603 5037 2010 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.100334 s]
/proc/loadavg: 2.03 2.01 2.03 3/194 23107
/proc/meminfo: memFree=29275184/32873844 swapFree=7100/7100
[pid=23107] ppid=23105 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23105 23107 20833 0 -1 4202496 4422 0 1 0 10 1 0 0 20 0 18 0 255302024 9787813888 6097 33554432000 1073741824 1073778376 140737190263888 140737190255024 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23107/statm: 2389603 6102 2130 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300189 s]
/proc/loadavg: 2.03 2.01 2.03 3/194 23107
/proc/meminfo: memFree=29275184/32873844 swapFree=7100/7100
[pid=23107] ppid=23105 vsize=9558412 CPUtime=0.59 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23105 23107 20833 0 -1 4202496 7259 0 1 0 57 2 0 0 20 0 18 0 255302024 9787813888 10319 33554432000 1073741824 1073778376 140737190263888 140737190255024 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23107/statm: 2389603 10319 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558412

[startup+0.7003 s]
/proc/loadavg: 2.03 2.01 2.03 3/194 23107
/proc/meminfo: memFree=29275184/32873844 swapFree=7100/7100
[pid=23107] ppid=23105 vsize=9624976 CPUtime=1.36 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23105 23107 20833 0 -1 4202496 7847 0 1 0 133 3 0 0 20 0 19 0 255302024 9855975424 16523 33554432000 1073741824 1073778376 140737190263888 140737190255024 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23107/statm: 2406244 16523 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9624976

[startup+1.50068 s]
/proc/loadavg: 2.19 2.04 2.04 3/213 23126
/proc/meminfo: memFree=29215072/32873844 swapFree=7100/7100
[pid=23107] ppid=23105 vsize=9624976 CPUtime=2.4 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23105 23107 20833 0 -1 4202496 13255 0 1 0 236 4 0 0 20 0 19 0 255302024 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140737190255024 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23107/statm: 2406244 23652 2278 9 0 2396937 0
[pid=23107/tid=23109] ppid=23105 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/23107/task/23109/stat : 23109 (java) R 23105 23107 20833 0 -1 4202560 2471 0 1 0 143 2 0 0 20 0 19 0 255302025 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121609724280 140121446429089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23110] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23107 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121571216040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23111] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121570163496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23112] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23112/stat : 23112 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121569110952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23113] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23113/stat : 23113 (java) S 23105 23107 20833 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121568058408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23114] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23114/stat : 23114 (java) S 23105 23107 20833 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121567004840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23115] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23115/stat : 23115 (java) S 23105 23107 20833 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121565952296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23116] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23116/stat : 23116 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121564899752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23117] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23117/stat : 23117 (java) S 23105 23107 20833 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121445755432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23118] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23107 20833 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255302026 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121433557608 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23119] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23107 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121432503928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23120] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23107 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121431451272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23121] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140121430400016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23122] ppid=23105 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23107 20833 0 -1 4202560 2702 0 0 0 40 0 0 0 20 0 19 0 255302029 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140120690780216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23123] ppid=23105 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23107/task/23123/stat : 23123 (java) R 23105 23107 20833 0 -1 4202560 6843 0 0 0 46 2 0 0 20 0 19 0 255302029 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140120689714952 140121616698228 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23124] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23124/stat : 23124 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140120688675320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23125] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140120687622984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23126] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23107 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255302064 9855975424 23652 33554432000 1073741824 1073778376 140737190263888 140120686568744 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9624976

[startup+3.10066 s]
/proc/loadavg: 2.19 2.04 2.04 3/213 23126
/proc/meminfo: memFree=29185176/32873844 swapFree=7100/7100
[pid=23107] ppid=23105 vsize=9624976 CPUtime=4.27 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23105 23107 20833 0 -1 4202496 14645 0 1 0 422 5 0 0 20 0 19 0 255302024 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140737190255024 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23107/statm: 2406244 26156 2278 9 0 2396937 0
[pid=23107/tid=23109] ppid=23105 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/23107/task/23109/stat : 23109 (java) R 23105 23107 20833 0 -1 4202560 2472 0 1 0 301 2 0 0 20 0 19 0 255302025 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121609724408 140121446491774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23110] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23107 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121571216040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23111] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23107 20833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121570163496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23112] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23112/stat : 23112 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121569110952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23113] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23113/stat : 23113 (java) S 23105 23107 20833 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121568058408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23114] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23114/stat : 23114 (java) S 23105 23107 20833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121567004840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23115] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23115/stat : 23115 (java) S 23105 23107 20833 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121565952296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23116] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23116/stat : 23116 (java) S 23105 23107 20833 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121564899752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23117] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23117/stat : 23117 (java) S 23105 23107 20833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121445755432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23118] ppid=23105 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23107 20833 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 19 0 255302026 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121433557608 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23119] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23107 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121432503928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23120] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23107 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121431451272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23121] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140121430400016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23122] ppid=23105 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23107 20833 0 -1 4202560 2702 0 0 0 41 0 0 0 20 0 19 0 255302029 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140120690780216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23123] ppid=23105 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/23107/task/23123/stat : 23123 (java) S 23105 23107 20833 0 -1 4202560 8218 0 0 0 71 2 0 0 20 0 19 0 255302029 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140120689727672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23124] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23124/stat : 23124 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140120688675320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23125] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140120687622984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23126] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23107 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255302064 9855975424 26156 33554432000 1073741824 1073778376 140737190263888 140120686568744 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 9624976

[startup+6.30065 s]
/proc/loadavg: 2.17 2.04 2.04 3/213 23126
/proc/meminfo: memFree=29178292/32873844 swapFree=7100/7100
[pid=23107] ppid=23105 vsize=9624976 CPUtime=7.57 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23105 23107 20833 0 -1 4202496 14677 0 1 0 751 6 0 0 20 0 19 0 255302024 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140737190255024 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23107/statm: 2406244 26190 2278 9 0 2396937 0
[pid=23107/tid=23109] ppid=23105 vsize=9624976 CPUtime=6.15 cores=1,3,5,7
/proc/23107/task/23109/stat : 23109 (java) R 23105 23107 20833 0 -1 4202560 2474 0 1 0 613 2 0 0 20 0 19 0 255302025 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121609724152 140121446491923 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23110] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23107 20833 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121571216040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23111] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23107 20833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121570163496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23112] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23112/stat : 23112 (java) S 23105 23107 20833 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121569110952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23113] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23113/stat : 23113 (java) S 23105 23107 20833 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121568058408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23114] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23114/stat : 23114 (java) S 23105 23107 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121567004840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23115] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23115/stat : 23115 (java) S 23105 23107 20833 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121565952296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23116] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23116/stat : 23116 (java) S 23105 23107 20833 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121564899752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23117] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23117/stat : 23117 (java) S 23105 23107 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255302025 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121445755432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23118] ppid=23105 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23107 20833 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 255302026 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121433557608 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23119] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23107 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121432503928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23120] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23107 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121431451272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23121] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140121430400016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23122] ppid=23105 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23107 20833 0 -1 4202560 2705 0 0 0 42 0 0 0 20 0 19 0 255302029 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140120690780216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23123] ppid=23105 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/23107/task/23123/stat : 23123 (java) S 23105 23107 20833 0 -1 4202560 8220 0 0 0 76 2 0 0 20 0 19 0 255302029 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140120689727672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23124] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23124/stat : 23124 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140120688675320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23125] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140120687622984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23126] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23107 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255302064 9855975424 26190 33554432000 1073741824 1073778376 140737190263888 140120686568744 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

/proc/23107/task/23117/stat : 23117 (java) S 23105 23107 20833 0 -1 4202560 709 0 0 0 179 12 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121445755432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23118] ppid=23105 vsize=9624976 CPUtime=3.69 cores=1,3,5,7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23107 20833 0 -1 4202560 638 0 0 0 366 3 0 0 20 0 19 0 255302026 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121433557608 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23119] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23107 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121432503928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23120] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23107 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121431451272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23121] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121430400016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23122] ppid=23105 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23107 20833 0 -1 4202560 2711 0 0 0 48 0 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120690780216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23123] ppid=23105 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/23107/task/23123/stat : 23123 (java) S 23105 23107 20833 0 -1 4202560 8220 0 0 0 76 2 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120689727672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23124] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23124/stat : 23124 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120688675320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23125] ppid=23105 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23107 20833 0 -1 4202560 50 0 0 0 16 18 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120687622984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23126] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23107 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255302064 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120686568744 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 877.69
Current children cumulated vsize (KiB) 9624976

[startup+865.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 23132
/proc/meminfo: memFree=28392132/32873844 swapFree=7100/7100
[pid=23107] ppid=23105 vsize=9624976 CPUtime=878.09 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23105 23107 20833 0 -1 4202496 20478 0 1 0 87667 142 0 0 20 0 19 0 255302024 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140737190255024 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23107/statm: 2406244 202911 2279 9 0 2396937 0
[pid=23107/tid=23109] ppid=23105 vsize=9624976 CPUtime=854.88 cores=1,3,5,7
/proc/23107/task/23109/stat : 23109 (java) R 23105 23107 20833 0 -1 4202560 2668 0 1 0 85472 16 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121609724192 140121446382769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23110] ppid=23105 vsize=9624976 CPUtime=1.98 cores=1,3,5,7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23107 20833 0 -1 4202560 795 0 0 0 182 16 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121571216040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23111] ppid=23105 vsize=9624976 CPUtime=1.91 cores=1,3,5,7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23107 20833 0 -1 4202560 738 0 0 0 179 12 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121570163496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23112] ppid=23105 vsize=9624976 CPUtime=1.98 cores=1,3,5,7
/proc/23107/task/23112/stat : 23112 (java) S 23105 23107 20833 0 -1 4202560 836 0 0 0 183 15 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121569110952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23113] ppid=23105 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/23107/task/23113/stat : 23113 (java) S 23105 23107 20833 0 -1 4202560 564 0 0 0 171 14 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121568058408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23114] ppid=23105 vsize=9624976 CPUtime=1.99 cores=1,3,5,7
/proc/23107/task/23114/stat : 23114 (java) S 23105 23107 20833 0 -1 4202560 574 0 0 0 185 14 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121567004840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23115] ppid=23105 vsize=9624976 CPUtime=1.9 cores=1,3,5,7
/proc/23107/task/23115/stat : 23115 (java) S 23105 23107 20833 0 -1 4202560 243 0 0 0 177 13 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121565952296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23116] ppid=23105 vsize=9624976 CPUtime=2.01 cores=1,3,5,7
/proc/23107/task/23116/stat : 23116 (java) S 23105 23107 20833 0 -1 4202560 553 0 0 0 189 12 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121564899752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23117] ppid=23105 vsize=9624976 CPUtime=1.91 cores=1,3,5,7
/proc/23107/task/23117/stat : 23117 (java) S 23105 23107 20833 0 -1 4202560 709 0 0 0 179 12 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121445755432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23118] ppid=23105 vsize=9624976 CPUtime=3.69 cores=1,3,5,7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23107 20833 0 -1 4202560 638 0 0 0 366 3 0 0 20 0 19 0 255302026 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121433557608 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23119] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23107 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121432503928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23120] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23107 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121431451272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23121] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121430400016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23122] ppid=23105 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23107 20833 0 -1 4202560 2711 0 0 0 48 0 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120690780216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23123] ppid=23105 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/23107/task/23123/stat : 23123 (java) S 23105 23107 20833 0 -1 4202560 8220 0 0 0 76 2 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120689727672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23124] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23124/stat : 23124 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120688675320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23125] ppid=23105 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23107 20833 0 -1 4202560 50 0 0 0 16 18 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120687622984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23126] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23107 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255302064 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120686568744 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 878.09
Current children cumulated vsize (KiB) 9624976

[startup+865.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 23132
/proc/meminfo: memFree=28392132/32873844 swapFree=7100/7100
[pid=23107] ppid=23105 vsize=9624976 CPUtime=878.29 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23105 23107 20833 0 -1 4202496 20478 0 1 0 87687 142 0 0 20 0 19 0 255302024 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140737190255024 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23107/statm: 2406244 202911 2279 9 0 2396937 0
[pid=23107/tid=23109] ppid=23105 vsize=9624976 CPUtime=855.08 cores=1,3,5,7
/proc/23107/task/23109/stat : 23109 (java) R 23105 23107 20833 0 -1 4202560 2668 0 1 0 85492 16 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121609724192 140121446382677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23110] ppid=23105 vsize=9624976 CPUtime=1.98 cores=1,3,5,7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23107 20833 0 -1 4202560 795 0 0 0 182 16 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121571216040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23111] ppid=23105 vsize=9624976 CPUtime=1.91 cores=1,3,5,7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23107 20833 0 -1 4202560 738 0 0 0 179 12 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121570163496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23112] ppid=23105 vsize=9624976 CPUtime=1.98 cores=1,3,5,7
/proc/23107/task/23112/stat : 23112 (java) S 23105 23107 20833 0 -1 4202560 836 0 0 0 183 15 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121569110952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23113] ppid=23105 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/23107/task/23113/stat : 23113 (java) S 23105 23107 20833 0 -1 4202560 564 0 0 0 171 14 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121568058408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23114] ppid=23105 vsize=9624976 CPUtime=1.99 cores=1,3,5,7
/proc/23107/task/23114/stat : 23114 (java) S 23105 23107 20833 0 -1 4202560 574 0 0 0 185 14 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121567004840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23115] ppid=23105 vsize=9624976 CPUtime=1.9 cores=1,3,5,7
/proc/23107/task/23115/stat : 23115 (java) S 23105 23107 20833 0 -1 4202560 243 0 0 0 177 13 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121565952296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23116] ppid=23105 vsize=9624976 CPUtime=2.01 cores=1,3,5,7
/proc/23107/task/23116/stat : 23116 (java) S 23105 23107 20833 0 -1 4202560 553 0 0 0 189 12 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121564899752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23117] ppid=23105 vsize=9624976 CPUtime=1.91 cores=1,3,5,7
/proc/23107/task/23117/stat : 23117 (java) S 23105 23107 20833 0 -1 4202560 709 0 0 0 179 12 0 0 20 0 19 0 255302025 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121445755432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23118] ppid=23105 vsize=9624976 CPUtime=3.69 cores=1,3,5,7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23107 20833 0 -1 4202560 638 0 0 0 366 3 0 0 20 0 19 0 255302026 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121433557608 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23119] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23107 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121432503928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23120] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23107 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255302027 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121431451272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23121] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140121430400016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23122] ppid=23105 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23107 20833 0 -1 4202560 2711 0 0 0 48 0 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120690780216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23123] ppid=23105 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/23107/task/23123/stat : 23123 (java) S 23105 23107 20833 0 -1 4202560 8220 0 0 0 76 2 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120689727672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23124] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23124/stat : 23124 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120688675320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23125] ppid=23105 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23107 20833 0 -1 4202560 50 0 0 0 16 18 0 0 20 0 19 0 255302029 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120687622984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23126] ppid=23105 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23107 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255302064 9855975424 202911 33554432000 1073741824 1073778376 140737190263888 140120686568744 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 878.29
Current children cumulated vsize (KiB) 9624976

[startup+865.401 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 23132
/proc/meminfo: memFree=28392132/32873844 swapFree=7100/7100
[pid=23107] ppid=23105 vsize=9691540 CPUtime=878.4 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23105 23107 20833 0 -1 4202496 20493 0 1 0 87698 142 0 0 20 0 20 0 255302024 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140737190255024 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23107/statm: 2422885 202923 2282 9 0 2413578 0
[pid=23107/tid=23109] ppid=23105 vsize=9691540 CPUtime=855.15 cores=1,3,5,7
/proc/23107/task/23109/stat : 23109 (java) S 23105 23107 20833 0 -1 4202560 2671 0 1 0 85499 16 0 0 20 0 20 0 255302025 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121609724632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23110] ppid=23105 vsize=9691540 CPUtime=1.98 cores=1,3,5,7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23107 20833 0 -1 4202560 795 0 0 0 182 16 0 0 20 0 20 0 255302025 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121571216040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23111] ppid=23105 vsize=9691540 CPUtime=1.91 cores=1,3,5,7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23107 20833 0 -1 4202560 738 0 0 0 179 12 0 0 20 0 20 0 255302025 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121570163496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23112] ppid=23105 vsize=9691540 CPUtime=1.98 cores=1,3,5,7
/proc/23107/task/23112/stat : 23112 (java) S 23105 23107 20833 0 -1 4202560 836 0 0 0 183 15 0 0 20 0 20 0 255302025 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121569110952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23113] ppid=23105 vsize=9691540 CPUtime=1.85 cores=1,3,5,7
/proc/23107/task/23113/stat : 23113 (java) S 23105 23107 20833 0 -1 4202560 564 0 0 0 171 14 0 0 20 0 20 0 255302025 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121568058408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23114] ppid=23105 vsize=9691540 CPUtime=1.99 cores=1,3,5,7
/proc/23107/task/23114/stat : 23114 (java) S 23105 23107 20833 0 -1 4202560 574 0 0 0 185 14 0 0 20 0 20 0 255302025 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121567004840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23115] ppid=23105 vsize=9691540 CPUtime=1.9 cores=1,3,5,7
/proc/23107/task/23115/stat : 23115 (java) S 23105 23107 20833 0 -1 4202560 243 0 0 0 177 13 0 0 20 0 20 0 255302025 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121565952296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23116] ppid=23105 vsize=9691540 CPUtime=2.01 cores=1,3,5,7
/proc/23107/task/23116/stat : 23116 (java) S 23105 23107 20833 0 -1 4202560 553 0 0 0 189 12 0 0 20 0 20 0 255302025 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121564899752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23117] ppid=23105 vsize=9691540 CPUtime=1.91 cores=1,3,5,7
/proc/23107/task/23117/stat : 23117 (java) S 23105 23107 20833 0 -1 4202560 709 0 0 0 179 12 0 0 20 0 20 0 255302025 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121445755432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23107/tid=23118] ppid=23105 vsize=9691540 CPUtime=3.69 cores=1,3,5,7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23107 20833 0 -1 4202560 638 0 0 0 366 3 0 0 20 0 20 0 255302026 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121433557608 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23119] ppid=23105 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23107 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 255302027 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121432503928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23120] ppid=23105 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23107 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 255302027 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121431451272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23121] ppid=23105 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255302029 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140121430400016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23122] ppid=23105 vsize=9691540 CPUtime=0.48 cores=1,3,5,7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23107 20833 0 -1 4202560 2713 0 0 0 48 0 0 0 20 0 20 0 255302029 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140120690780216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23107/tid=23123] ppid=23105 vsize=9691540 CPUtime=0.8 cores=1,3,5,7
/proc/23107/task/23123/stat : 23123 (java) R 23105 23107 20833 0 -1 4202560 8223 0 0 0 78 2 0 0 20 0 20 0 255302029 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140120689727552 140121615751391 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23124] ppid=23105 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23124/stat : 23124 (java) S 23105 23107 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255302029 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140120688675320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23107/tid=23125] ppid=23105 vsize=9691540 CPUtime=0.34 cores=1,3,5,7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23107 20833 0 -1 4202560 50 0 0 0 16 18 0 0 20 0 20 0 255302029 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140120687622984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23107/tid=23126] ppid=23105 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23107 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 255302064 9924136960 202923 33554432000 1073741824 1073778376 140737190263888 140120686568744 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 878.4
Current children cumulated vsize (KiB) 9691540

Child status: 10

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23107 and gives
#  childrusage.ru_utime.tv_sec=874
#  childrusage.ru_utime.tv_usec=728021
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=623753
# CPU time returned by wait4() is 876.352
# while last known CPU time is 878.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 865.446
CPU time (s): 878.4
CPU user time (s): 876.98
CPU system time (s): 1.42
CPU usage (%): 101.497
Max. virtual memory (cumulated for all children) (KiB): 9691540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 874.728
system time used= 1.62375
maximum resident set size= 811720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20503
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22903
involuntary context switches= 18935

runsolver used 3.07353 second user time and 7.39387 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-24 22:35:35
IDJOB=3689603
IDBENCH=90117
IDSOLVER=2269
FILE ID=node102/3689603-1337891735
RUNJOBID= node102-1337871881-20850
PBS_JOBID= 14620102
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K104.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689603-1337891735/watcher-3689603-1337891735 -o /tmp/evaluation-result-3689603-1337891735/solver-3689603-1337891735 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689603-1337891735.opb

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

MD5SUM BENCH= a8d55fafa030e5024da65ad802ff80be
RANDOM SEED=362561466

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

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
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		: 2667.178
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		: 2667.178
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		: 2667.178
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		: 2667.178
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:       32873844 kB
MemFree:        29275084 kB
Buffers:          211208 kB
Cached:          1986612 kB
SwapCached:            0 kB
Active:          1306008 kB
Inactive:        1529144 kB
Active(anon):     639696 kB
Inactive(anon):        0 kB
Active(file):     666312 kB
Inactive(file):  1529144 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               884 kB
Writeback:             0 kB
AnonPages:        643584 kB
Mapped:            22616 kB
Shmem:               200 kB
Slab:             623380 kB
SReclaimable:      65860 kB
SUnreclaim:       557520 kB
KernelStack:        1600 kB
PageTables:         5524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1581792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    598016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node102 at 2012-05-24 22:50:00