Trace number 3689617

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 473.971 469.504

General information on the benchmark

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

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-3689617-1337891790/watcher-3689617-1337891790 -o /tmp/evaluation-result-3689617-1337891790/solver-3689617-1337891790 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689617-1337891790.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: 1.93 2.00 2.09 3/194 26881
/proc/meminfo: memFree=27784084/32873648 swapFree=7108/7108
[pid=26881] ppid=26879 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26881/stat : 26881 (java) D 26879 26881 21597 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255306400 9515008 183 33554432000 1073741824 1073778376 140736890320128 140736890311160 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/26881/statm: 2323 183 140 9 0 71 0

[startup+0.0128319 s]
/proc/loadavg: 1.93 2.00 2.09 3/194 26881
/proc/meminfo: memFree=27784084/32873648 swapFree=7108/7108
[pid=26881] ppid=26879 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/26881/stat : 26881 (java) S 26879 26881 21597 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 2 0 255306400 98635776 959 33554432000 1073741824 1073778376 140734612082560 140734612073696 219517321277 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26881/statm: 24081 962 730 9 0 16771 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96324

[startup+0.100259 s]
/proc/loadavg: 1.93 2.00 2.09 3/194 26881
/proc/meminfo: memFree=27784084/32873648 swapFree=7108/7108
[pid=26881] ppid=26879 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/26881/stat : 26881 (java) S 26879 26881 21597 0 -1 4202496 4292 0 1 0 8 1 0 0 20 0 18 0 255306400 9787813888 5482 33554432000 1073741824 1073778376 140734612082560 140734612073696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26881/statm: 2389603 5484 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300291 s]
/proc/loadavg: 1.93 2.00 2.09 3/194 26881
/proc/meminfo: memFree=27784084/32873648 swapFree=7108/7108
[pid=26881] ppid=26879 vsize=9558412 CPUtime=0.56 cores=1,3,5,7
/proc/26881/stat : 26881 (java) S 26879 26881 21597 0 -1 4202496 7264 0 1 0 54 2 0 0 20 0 18 0 255306400 9787813888 9819 33554432000 1073741824 1073778376 140734612082560 140734612073696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26881/statm: 2389603 9819 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558412

[startup+0.700291 s]
/proc/loadavg: 1.93 2.00 2.09 3/194 26881
/proc/meminfo: memFree=27784084/32873648 swapFree=7108/7108
[pid=26881] ppid=26879 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/26881/stat : 26881 (java) S 26879 26881 21597 0 -1 4202496 7945 0 1 0 133 2 0 0 20 0 19 0 255306400 9855975424 17097 33554432000 1073741824 1073778376 140734612082560 140734612073696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26881/statm: 2406244 17097 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9624976

[startup+1.50069 s]
/proc/loadavg: 1.93 2.00 2.09 3/213 26900
/proc/meminfo: memFree=27724048/32873648 swapFree=7108/7108
[pid=26881] ppid=26879 vsize=9624976 CPUtime=2.22 cores=1,3,5,7
/proc/26881/stat : 26881 (java) S 26879 26881 21597 0 -1 4202496 8237 0 1 0 220 2 0 0 20 0 19 0 255306400 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 140734612073696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26881/statm: 2406244 20220 2278 9 0 2396937 0
[pid=26881/tid=26883] ppid=26879 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/26881/task/26883/stat : 26883 (java) R 26879 26881 21597 0 -1 4202560 2474 0 1 0 143 1 0 0 20 0 19 0 255306401 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139920054526424 139919918523373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26884] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26884/stat : 26884 (java) S 26879 26881 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139920043588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26885] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26885/stat : 26885 (java) S 26879 26881 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139920042535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26886] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26886/stat : 26886 (java) S 26879 26881 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139920041482920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26887] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26887/stat : 26887 (java) S 26879 26881 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139920040430376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26888] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26888/stat : 26888 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139920039377320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26889] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26889/stat : 26889 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139920038324776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26890] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26890/stat : 26890 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139920037271720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26891] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26891/stat : 26891 (java) S 26879 26881 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139919890266408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26892] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26892/stat : 26892 (java) S 26879 26881 21597 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139919878069096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26893] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26893/stat : 26893 (java) S 26879 26881 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139919877015416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26894] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26894/stat : 26894 (java) S 26879 26881 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139919875962248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26895] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26895/stat : 26895 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139919874910992 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26896] ppid=26879 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/26881/task/26896/stat : 26896 (java) S 26879 26881 21597 0 -1 4202560 1776 0 0 0 35 0 0 0 20 0 19 0 255306406 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139919873857848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26897] ppid=26879 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/26881/task/26897/stat : 26897 (java) S 26879 26881 21597 0 -1 4202560 2736 0 0 0 35 0 0 0 20 0 19 0 255306406 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139919872805304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26898] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26898/stat : 26898 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139919871752440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26899] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26899/stat : 26899 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139919870700104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26900] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26900/stat : 26900 (java) S 26879 26881 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255306441 9855975424 20220 33554432000 1073741824 1073778376 140734612082560 139919869646376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9624976

[startup+3.10067 s]
/proc/loadavg: 1.94 2.00 2.09 3/213 26900
/proc/meminfo: memFree=27710804/32873648 swapFree=7108/7108
[pid=26881] ppid=26879 vsize=9624976 CPUtime=3.89 cores=1,3,5,7
/proc/26881/stat : 26881 (java) S 26879 26881 21597 0 -1 4202496 8262 0 1 0 386 3 0 0 20 0 19 0 255306400 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 140734612073696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26881/statm: 2406244 22278 2278 9 0 2396937 0
[pid=26881/tid=26883] ppid=26879 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/26881/task/26883/stat : 26883 (java) R 26879 26881 21597 0 -1 4202560 2475 0 1 0 299 2 0 0 20 0 19 0 255306401 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139920054526360 139919918405344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26884] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26884/stat : 26884 (java) S 26879 26881 21597 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139920043588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26885] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26885/stat : 26885 (java) S 26879 26881 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139920042535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26886] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26886/stat : 26886 (java) S 26879 26881 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139920041482920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26887] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26887/stat : 26887 (java) S 26879 26881 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139920040430376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26888] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26888/stat : 26888 (java) S 26879 26881 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139920039377320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26889] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26889/stat : 26889 (java) S 26879 26881 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139920038324776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26890] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26890/stat : 26890 (java) S 26879 26881 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139920037271720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26891] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26891/stat : 26891 (java) S 26879 26881 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139919890266408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26892] ppid=26879 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/26881/task/26892/stat : 26892 (java) S 26879 26881 21597 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 255306404 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139919878069096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26893] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26893/stat : 26893 (java) S 26879 26881 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139919877015416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26894] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26894/stat : 26894 (java) S 26879 26881 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139919875962248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26895] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26895/stat : 26895 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139919874910992 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26896] ppid=26879 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/26881/task/26896/stat : 26896 (java) S 26879 26881 21597 0 -1 4202560 1777 0 0 0 38 0 0 0 20 0 19 0 255306406 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139919873857848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26897] ppid=26879 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/26881/task/26897/stat : 26897 (java) S 26879 26881 21597 0 -1 4202560 2736 0 0 0 37 0 0 0 20 0 19 0 255306406 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139919872805304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26898] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26898/stat : 26898 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139919871752440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26899] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26899/stat : 26899 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139919870700104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26900] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26900/stat : 26900 (java) S 26879 26881 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255306441 9855975424 22278 33554432000 1073741824 1073778376 140734612082560 139919869646376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 9624976

[startup+6.30067 s]
/proc/loadavg: 1.94 2.00 2.09 3/213 26900
/proc/meminfo: memFree=27699944/32873648 swapFree=7108/7108
[pid=26881] ppid=26879 vsize=9624976 CPUtime=7.15 cores=1,3,5,7
/proc/26881/stat : 26881 (java) S 26879 26881 21597 0 -1 4202496 8841 0 1 0 712 3 0 0 20 0 19 0 255306400 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 140734612073696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26881/statm: 2406244 22787 2278 9 0 2396937 0
[pid=26881/tid=26883] ppid=26879 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/26881/task/26883/stat : 26883 (java) R 26879 26881 21597 0 -1 4202560 2477 0 1 0 615 2 0 0 20 0 19 0 255306401 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139920054526240 139919918484158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26884] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26884/stat : 26884 (java) S 26879 26881 21597 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139920043588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26885] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26885/stat : 26885 (java) S 26879 26881 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139920042535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26886] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26886/stat : 26886 (java) S 26879 26881 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139920041482920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26887] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26887/stat : 26887 (java) S 26879 26881 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139920040430376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26888] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26888/stat : 26888 (java) S 26879 26881 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139920039377320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26889] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26889/stat : 26889 (java) S 26879 26881 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139920038324776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26890] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26890/stat : 26890 (java) S 26879 26881 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139920037271720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26891] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26891/stat : 26891 (java) S 26879 26881 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255306402 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139919890266408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26892] ppid=26879 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/26881/task/26892/stat : 26892 (java) S 26879 26881 21597 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 255306404 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139919878069096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26893] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26893/stat : 26893 (java) S 26879 26881 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139919877015416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26894] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26894/stat : 26894 (java) S 26879 26881 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139919875962248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26895] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26895/stat : 26895 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139919874910992 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26896] ppid=26879 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/26881/task/26896/stat : 26896 (java) S 26879 26881 21597 0 -1 4202560 2346 0 0 0 43 0 0 0 20 0 19 0 255306406 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139919873857848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26897] ppid=26879 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/26881/task/26897/stat : 26897 (java) S 26879 26881 21597 0 -1 4202560 2737 0 0 0 37 0 0 0 20 0 19 0 255306406 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139919872805304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26898] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26898/stat : 26898 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139919871752440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26899] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26899/stat : 26899 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139919870700104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26900] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26900/stat : 26900 (java) S 26879 26881 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255306441 9855975424 22787 33554432000 1073741824 1073778376 140734612082560 139919869646376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

/proc/26881/task/26884/stat : 26884 (java) S 26879 26881 21597 0 -1 4202560 141 0 0 0 44 5 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920043588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26885] ppid=26879 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/26881/task/26885/stat : 26885 (java) S 26879 26881 21597 0 -1 4202560 278 0 0 0 49 8 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920042535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26886] ppid=26879 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/26881/task/26886/stat : 26886 (java) S 26879 26881 21597 0 -1 4202560 110 0 0 0 48 4 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920041482920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26887] ppid=26879 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/26881/task/26887/stat : 26887 (java) S 26879 26881 21597 0 -1 4202560 270 0 0 0 57 8 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920040430376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26888] ppid=26879 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/26881/task/26888/stat : 26888 (java) S 26879 26881 21597 0 -1 4202560 258 0 0 0 43 8 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920039377320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26889] ppid=26879 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/26881/task/26889/stat : 26889 (java) S 26879 26881 21597 0 -1 4202560 172 0 0 0 65 10 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920038324776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26890] ppid=26879 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/26881/task/26890/stat : 26890 (java) S 26879 26881 21597 0 -1 4202560 201 0 0 0 49 9 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920037271720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26891] ppid=26879 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/26881/task/26891/stat : 26891 (java) S 26879 26881 21597 0 -1 4202560 284 0 0 0 53 5 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919890266408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26892] ppid=26879 vsize=9624976 CPUtime=1.92 cores=1,3,5,7
/proc/26881/task/26892/stat : 26892 (java) S 26879 26881 21597 0 -1 4202560 203 0 0 0 192 0 0 0 20 0 19 0 255306404 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919878069096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26893] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26893/stat : 26893 (java) S 26879 26881 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919877015416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26894] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26894/stat : 26894 (java) S 26879 26881 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919875962248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26895] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26895/stat : 26895 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919874910992 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26896] ppid=26879 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/26881/task/26896/stat : 26896 (java) S 26879 26881 21597 0 -1 4202560 2346 0 0 0 43 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919873857848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26897] ppid=26879 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/26881/task/26897/stat : 26897 (java) S 26879 26881 21597 0 -1 4202560 2738 0 0 0 38 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919872805304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26898] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26898/stat : 26898 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919871752440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26899] ppid=26879 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/26881/task/26899/stat : 26899 (java) S 26879 26881 21597 0 -1 4202560 27 0 0 0 3 7 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919870700104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26900] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26900/stat : 26900 (java) S 26879 26881 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255306441 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919869646376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 471.28
Current children cumulated vsize (KiB) 9624976

[startup+468.701 s]
/proc/loadavg: 2.00 2.02 2.06 3/213 26963
/proc/meminfo: memFree=28394112/32873648 swapFree=7108/7108
[pid=26881] ppid=26879 vsize=9624976 CPUtime=472.89 cores=1,3,5,7
/proc/26881/stat : 26881 (java) S 26879 26881 21597 0 -1 4202496 10794 0 1 0 47223 66 0 0 20 0 19 0 255306400 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 140734612073696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26881/statm: 2406244 153926 2278 9 0 2396937 0
[pid=26881/tid=26883] ppid=26879 vsize=9624976 CPUtime=465.36 cores=1,3,5,7
/proc/26881/task/26883/stat : 26883 (java) R 26879 26881 21597 0 -1 4202560 2581 0 1 0 46525 11 0 0 20 0 19 0 255306401 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920054526240 139919918540897 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26884] ppid=26879 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/26881/task/26884/stat : 26884 (java) S 26879 26881 21597 0 -1 4202560 141 0 0 0 44 5 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920043588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26885] ppid=26879 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/26881/task/26885/stat : 26885 (java) S 26879 26881 21597 0 -1 4202560 278 0 0 0 49 8 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920042535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26886] ppid=26879 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/26881/task/26886/stat : 26886 (java) S 26879 26881 21597 0 -1 4202560 110 0 0 0 48 4 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920041482920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26887] ppid=26879 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/26881/task/26887/stat : 26887 (java) S 26879 26881 21597 0 -1 4202560 270 0 0 0 57 8 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920040430376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26888] ppid=26879 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/26881/task/26888/stat : 26888 (java) S 26879 26881 21597 0 -1 4202560 258 0 0 0 43 8 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920039377320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26889] ppid=26879 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/26881/task/26889/stat : 26889 (java) S 26879 26881 21597 0 -1 4202560 172 0 0 0 65 10 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920038324776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26890] ppid=26879 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/26881/task/26890/stat : 26890 (java) S 26879 26881 21597 0 -1 4202560 201 0 0 0 49 9 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920037271720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26891] ppid=26879 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/26881/task/26891/stat : 26891 (java) S 26879 26881 21597 0 -1 4202560 284 0 0 0 53 5 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919890266408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26892] ppid=26879 vsize=9624976 CPUtime=1.92 cores=1,3,5,7
/proc/26881/task/26892/stat : 26892 (java) S 26879 26881 21597 0 -1 4202560 203 0 0 0 192 0 0 0 20 0 19 0 255306404 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919878069096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26893] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26893/stat : 26893 (java) S 26879 26881 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919877015416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26894] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26894/stat : 26894 (java) S 26879 26881 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919875962248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26895] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26895/stat : 26895 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919874910992 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26896] ppid=26879 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/26881/task/26896/stat : 26896 (java) S 26879 26881 21597 0 -1 4202560 2346 0 0 0 43 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919873857848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26897] ppid=26879 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/26881/task/26897/stat : 26897 (java) S 26879 26881 21597 0 -1 4202560 2738 0 0 0 38 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919872805304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26898] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26898/stat : 26898 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919871752440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26899] ppid=26879 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/26881/task/26899/stat : 26899 (java) S 26879 26881 21597 0 -1 4202560 27 0 0 0 3 7 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919870700104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26900] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26900/stat : 26900 (java) S 26879 26881 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255306441 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919869646376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 472.89
Current children cumulated vsize (KiB) 9624976

[startup+469.101 s]
/proc/loadavg: 2.00 2.02 2.06 3/213 26963
/proc/meminfo: memFree=28394112/32873648 swapFree=7108/7108
[pid=26881] ppid=26879 vsize=9624976 CPUtime=473.29 cores=1,3,5,7
/proc/26881/stat : 26881 (java) S 26879 26881 21597 0 -1 4202496 10794 0 1 0 47263 66 0 0 20 0 19 0 255306400 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 140734612073696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26881/statm: 2406244 153926 2278 9 0 2396937 0
[pid=26881/tid=26883] ppid=26879 vsize=9624976 CPUtime=465.76 cores=1,3,5,7
/proc/26881/task/26883/stat : 26883 (java) R 26879 26881 21597 0 -1 4202560 2581 0 1 0 46565 11 0 0 20 0 19 0 255306401 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920054526240 139919918444268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26884] ppid=26879 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/26881/task/26884/stat : 26884 (java) S 26879 26881 21597 0 -1 4202560 141 0 0 0 44 5 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920043588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26885] ppid=26879 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/26881/task/26885/stat : 26885 (java) S 26879 26881 21597 0 -1 4202560 278 0 0 0 49 8 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920042535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26886] ppid=26879 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/26881/task/26886/stat : 26886 (java) S 26879 26881 21597 0 -1 4202560 110 0 0 0 48 4 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920041482920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26887] ppid=26879 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/26881/task/26887/stat : 26887 (java) S 26879 26881 21597 0 -1 4202560 270 0 0 0 57 8 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920040430376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26888] ppid=26879 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/26881/task/26888/stat : 26888 (java) S 26879 26881 21597 0 -1 4202560 258 0 0 0 43 8 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920039377320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26889] ppid=26879 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/26881/task/26889/stat : 26889 (java) S 26879 26881 21597 0 -1 4202560 172 0 0 0 65 10 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920038324776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26890] ppid=26879 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/26881/task/26890/stat : 26890 (java) S 26879 26881 21597 0 -1 4202560 201 0 0 0 49 9 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139920037271720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26891] ppid=26879 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/26881/task/26891/stat : 26891 (java) S 26879 26881 21597 0 -1 4202560 284 0 0 0 53 5 0 0 20 0 19 0 255306402 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919890266408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26892] ppid=26879 vsize=9624976 CPUtime=1.92 cores=1,3,5,7
/proc/26881/task/26892/stat : 26892 (java) S 26879 26881 21597 0 -1 4202560 203 0 0 0 192 0 0 0 20 0 19 0 255306404 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919878069096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26893] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26893/stat : 26893 (java) S 26879 26881 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919877015416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26894] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26894/stat : 26894 (java) S 26879 26881 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255306404 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919875962248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26895] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26895/stat : 26895 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919874910992 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26896] ppid=26879 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/26881/task/26896/stat : 26896 (java) S 26879 26881 21597 0 -1 4202560 2346 0 0 0 43 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919873857848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26897] ppid=26879 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/26881/task/26897/stat : 26897 (java) S 26879 26881 21597 0 -1 4202560 2738 0 0 0 38 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919872805304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26898] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26898/stat : 26898 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919871752440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26899] ppid=26879 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/26881/task/26899/stat : 26899 (java) S 26879 26881 21597 0 -1 4202560 27 0 0 0 3 7 0 0 20 0 19 0 255306406 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919870700104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26900] ppid=26879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26900/stat : 26900 (java) S 26879 26881 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255306441 9855975424 153926 33554432000 1073741824 1073778376 140734612082560 139919869646376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 473.29
Current children cumulated vsize (KiB) 9624976

[startup+469.501 s]
/proc/loadavg: 2.00 2.02 2.06 3/213 26963
/proc/meminfo: memFree=28394112/32873648 swapFree=7108/7108
[pid=26881] ppid=26879 vsize=9691540 CPUtime=473.76 cores=1,3,5,7
/proc/26881/stat : 26881 (java) S 26879 26881 21597 0 -1 4202496 10811 0 1 0 47310 66 0 0 20 0 20 0 255306400 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 140734612073696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26881/statm: 2422885 153942 2283 9 0 2413578 0
[pid=26881/tid=26883] ppid=26879 vsize=9691540 CPUtime=466.1 cores=1,3,5,7
/proc/26881/task/26883/stat : 26883 (java) S 26879 26881 21597 0 -1 4202560 2583 0 1 0 46599 11 0 0 20 0 20 0 255306401 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139920054526680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26884] ppid=26879 vsize=9691540 CPUtime=0.49 cores=1,3,5,7
/proc/26881/task/26884/stat : 26884 (java) S 26879 26881 21597 0 -1 4202560 141 0 0 0 44 5 0 0 20 0 20 0 255306402 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139920043588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26885] ppid=26879 vsize=9691540 CPUtime=0.57 cores=1,3,5,7
/proc/26881/task/26885/stat : 26885 (java) S 26879 26881 21597 0 -1 4202560 278 0 0 0 49 8 0 0 20 0 20 0 255306402 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139920042535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26886] ppid=26879 vsize=9691540 CPUtime=0.52 cores=1,3,5,7
/proc/26881/task/26886/stat : 26886 (java) S 26879 26881 21597 0 -1 4202560 110 0 0 0 48 4 0 0 20 0 20 0 255306402 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139920041482920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26887] ppid=26879 vsize=9691540 CPUtime=0.65 cores=1,3,5,7
/proc/26881/task/26887/stat : 26887 (java) S 26879 26881 21597 0 -1 4202560 270 0 0 0 57 8 0 0 20 0 20 0 255306402 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139920040430376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26888] ppid=26879 vsize=9691540 CPUtime=0.51 cores=1,3,5,7
/proc/26881/task/26888/stat : 26888 (java) S 26879 26881 21597 0 -1 4202560 258 0 0 0 43 8 0 0 20 0 20 0 255306402 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139920039377320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26881/tid=26889] ppid=26879 vsize=9691540 CPUtime=0.75 cores=1,3,5,7
/proc/26881/task/26889/stat : 26889 (java) S 26879 26881 21597 0 -1 4202560 172 0 0 0 65 10 0 0 20 0 20 0 255306402 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139920038324776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26890] ppid=26879 vsize=9691540 CPUtime=0.58 cores=1,3,5,7
/proc/26881/task/26890/stat : 26890 (java) S 26879 26881 21597 0 -1 4202560 201 0 0 0 49 9 0 0 20 0 20 0 255306402 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139920037271720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26891] ppid=26879 vsize=9691540 CPUtime=0.58 cores=1,3,5,7
/proc/26881/task/26891/stat : 26891 (java) S 26879 26881 21597 0 -1 4202560 284 0 0 0 53 5 0 0 20 0 20 0 255306402 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139919890266408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26892] ppid=26879 vsize=9691540 CPUtime=1.92 cores=1,3,5,7
/proc/26881/task/26892/stat : 26892 (java) S 26879 26881 21597 0 -1 4202560 203 0 0 0 192 0 0 0 20 0 20 0 255306404 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139919878069096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26893] ppid=26879 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26893/stat : 26893 (java) S 26879 26881 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 255306404 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139919877015416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26894] ppid=26879 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26894/stat : 26894 (java) S 26879 26881 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 255306404 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139919875962248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26895] ppid=26879 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26895/stat : 26895 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255306406 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139919874910992 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26896] ppid=26879 vsize=9691540 CPUtime=0.48 cores=1,3,5,7
/proc/26881/task/26896/stat : 26896 (java) S 26879 26881 21597 0 -1 4202560 2350 0 0 0 48 0 0 0 20 0 20 0 255306406 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139919873857848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26881/tid=26897] ppid=26879 vsize=9691540 CPUtime=0.4 cores=1,3,5,7
/proc/26881/task/26897/stat : 26897 (java) S 26879 26881 21597 0 -1 4202560 2740 0 0 0 40 0 0 0 20 0 20 0 255306406 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139919872805304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26898] ppid=26879 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26898/stat : 26898 (java) S 26879 26881 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255306406 9924136960 153942 33554432000 1073741824 1073778376 140734612082560 139919871752440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26881/tid=26899] ppid=26879 vsize=0 CPUtime=0.1 cores=1,3,5,7
/proc/26881/task/26899/stat : 26899 (java) X 26879 26881 21597 0 -1 4202564 28 0 0 0 3 7 0 0 20 0 20 0 255306406 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0
[pid=26881/tid=26900] ppid=26879 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26881/task/26900/stat : 26900 (java) S 26879 26881 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255306441 9924136960 153943 33554432000 1073741824 1073778376 140734612082560 139919869646376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 473.76
Current children cumulated vsize (KiB) 9691540

Child status: 10
Real time (s): 469.504
CPU time (s): 473.971
CPU user time (s): 473.078
CPU system time (s): 0.892864
CPU usage (%): 100.951
Max. virtual memory (cumulated for all children) (KiB): 9691540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 473.078
system time used= 0.892864
maximum resident set size= 615772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10814
page faults= 1
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11995
involuntary context switches= 13808

runsolver used 1.04684 second user time and 2.46962 second system time

The end

Launcher Data 

Begin job on node114 at 2012-05-24 22:36:30
IDJOB=3689617
IDBENCH=90124
IDSOLVER=2269
FILE ID=node114/3689617-1337891790
RUNJOBID= node114-1337889993-26419
PBS_JOBID= 14620090
Free space on /tmp= 71628 MiB

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

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

MD5SUM BENCH= afe4117ba13dcfbcd06fd88e1353402a
RANDOM SEED=264041847

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27784084 kB
Buffers:          217048 kB
Cached:          2573276 kB
SwapCached:            0 kB
Active:          2196368 kB
Inactive:        2128716 kB
Active(anon):    1537240 kB
Inactive(anon):        0 kB
Active(file):     659128 kB
Inactive(file):  2128716 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               896 kB
Writeback:             4 kB
AnonPages:       1541452 kB
Mapped:            21636 kB
Shmem:               200 kB
Slab:             623840 kB
SReclaimable:      68132 kB
SUnreclaim:       555708 kB
KernelStack:        1600 kB
PageTables:         6876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2743604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1488896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node114 at 2012-05-24 22:44:20