Trace number 4085537

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

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

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)37 1800.03 1798.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_004_area_delay.opb
MD5SUM45c2f7ac01d7ade9fbe465857931ee2b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark0.247961
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 27
Optimality of the best value was proved YES
Number of variables5828
Total number of constraints17411
Number of constraints which are clauses17411
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2817
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2817
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2817
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
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.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4085537-1465247707.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.68/0.44	c ... done. Wall clock time 0.318s.
0.68/0.44	c declared #vars     5828
0.68/0.44	c #constraints  17411
0.68/0.44	c constraints type 
0.68/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3020
0.68/0.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 283
0.68/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14108
0.68/0.44	c 17411 constraints processed.
0.68/0.44	c objective function length is 2817 literals
0.93/0.51	c SATISFIABLE
0.93/0.51	c OPTIMIZING...
0.93/0.51	c Got one! Elapsed wall clock time (in seconds):0.391
0.93/0.51	o 39
1.18/0.68	c Got one! Elapsed wall clock time (in seconds):0.559
1.18/0.68	o 38
2.25/1.51	c Got one! Elapsed wall clock time (in seconds):1.393
2.25/1.51	o 37
2.54/1.73	c cleaning 2807 clauses out of 5625 with flag 2777/5625
3.79/2.99	c cleaning 4397 clauses out of 8819 with flag 18140/11626
7.70/6.87	c cleaning 5704 clauses out of 11420 with flag 45555/18625
12.21/11.35	c cleaning 6834 clauses out of 13716 with flag 84103/26625
17.33/16.43	c cleaning 7933 clauses out of 15882 with flag 122020/35625
23.03/22.15	c cleaning 8967 clauses out of 17949 with flag 172148/45625
29.32/28.41	c cleaning 9974 clauses out of 19982 with flag 225840/56625
36.32/35.43	c cleaning 10979 clauses out of 22008 with flag 277015/68625
43.93/43.07	c cleaning 11998 clauses out of 24029 with flag 335827/81625
52.22/51.31	c cleaning 13007 clauses out of 26031 with flag 405344/95625
60.92/60.09	c cleaning 14007 clauses out of 28025 with flag 480101/110626
70.33/69.41	c cleaning 14990 clauses out of 30018 with flag 557275/126626
80.62/79.75	c cleaning 16001 clauses out of 32028 with flag 638529/143626
89.94/89.07	c cleaning 16982 clauses out of 34026 with flag 736259/161625
100.44/99.54	c cleaning 18002 clauses out of 36044 with flag 851968/180625
111.84/110.95	c cleaning 19014 clauses out of 38042 with flag 969135/200625
122.84/121.97	c cleaning 19988 clauses out of 40030 with flag 1096866/221627
135.15/134.29	c cleaning 20994 clauses out of 42040 with flag 1228244/243625
148.04/147.19	c cleaning 22011 clauses out of 44047 with flag 1386138/266626
162.04/161.14	c cleaning 23010 clauses out of 46038 with flag 1517497/290628
175.84/174.99	c cleaning 23996 clauses out of 48025 with flag 1672479/315625
189.27/188.31	c cleaning 24991 clauses out of 50029 with flag 1818516/341625
202.97/202.05	c cleaning 26015 clauses out of 52040 with flag 1975910/368627
218.96/218.05	c cleaning 26991 clauses out of 54023 with flag 2162088/396625
235.66/234.77	c cleaning 28011 clauses out of 56032 with flag 2346468/425625
252.26/251.39	c cleaning 28993 clauses out of 58021 with flag 2522789/455625
270.47/269.53	c cleaning 30004 clauses out of 60028 with flag 2700270/486625
288.97/288.05	c cleaning 31003 clauses out of 62024 with flag 2899204/518625
308.67/307.76	c cleaning 31975 clauses out of 64022 with flag 3123995/551626
328.07/327.13	c cleaning 32997 clauses out of 66047 with flag 3347442/585626
348.96/348.09	c cleaning 34001 clauses out of 68049 with flag 3600281/620625
370.26/369.32	c cleaning 35006 clauses out of 70048 with flag 3840620/656625
392.57/391.64	c cleaning 36008 clauses out of 72042 with flag 4087041/693625
415.86/414.95	c cleaning 36999 clauses out of 74034 with flag 4347410/731625
440.36/439.43	c cleaning 38005 clauses out of 76035 with flag 4570218/770625
464.49/463.52	c cleaning 38983 clauses out of 78030 with flag 4825155/810625
489.79/488.81	c cleaning 40005 clauses out of 80048 with flag 5044840/851626
515.79/514.83	c cleaning 41005 clauses out of 82042 with flag 5263754/893625
542.48/541.56	c cleaning 42002 clauses out of 84038 with flag 5555666/936626
569.78/568.87	c cleaning 43005 clauses out of 86035 with flag 5825617/980625
597.77/596.84	c cleaning 43983 clauses out of 88030 with flag 6099846/1025625
626.88/625.95	c cleaning 45007 clauses out of 90047 with flag 6371136/1071625
656.28/655.36	c cleaning 45992 clauses out of 92042 with flag 6658925/1118627
687.17/686.28	c cleaning 47019 clauses out of 94048 with flag 6934172/1166625
717.18/716.23	c cleaning 47999 clauses out of 96029 with flag 7230913/1215625
747.77/746.84	c cleaning 49002 clauses out of 98031 with flag 7550121/1265626
778.04/777.04	c cleaning 49993 clauses out of 100028 with flag 7861425/1316625
807.54/806.54	c cleaning 50993 clauses out of 102035 with flag 8199053/1368625
839.94/838.94	c cleaning 52013 clauses out of 104044 with flag 8544860/1421627
871.25/870.22	c cleaning 53003 clauses out of 106029 with flag 8898246/1475625
903.05/902.01	c cleaning 53989 clauses out of 108026 with flag 9210632/1530625
937.14/936.19	c cleaning 55002 clauses out of 110037 with flag 9520709/1586625
971.35/970.35	c cleaning 55993 clauses out of 112035 with flag 9887226/1643625
1005.74/1004.72	c cleaning 57002 clauses out of 114042 with flag 10226408/1701625
1042.24/1041.29	c cleaning 57995 clauses out of 116040 with flag 10592862/1760625
1079.43/1078.34	c cleaning 58984 clauses out of 118045 with flag 10973807/1820625
1117.53/1116.41	c cleaning 60018 clauses out of 120063 with flag 11310693/1881627
1155.33/1154.20	c cleaning 61001 clauses out of 122043 with flag 11703511/1943625
1193.43/1192.32	c cleaning 62007 clauses out of 124042 with flag 12108614/2006625
1232.65/1231.58	c cleaning 62977 clauses out of 126035 with flag 12493828/2070625
1273.16/1272.02	c cleaning 64004 clauses out of 128058 with flag 12993643/2135625
1314.66/1313.59	c cleaning 65019 clauses out of 130054 with flag 13445735/2201625
1355.27/1354.00	c cleaning 65999 clauses out of 132035 with flag 13880537/2268625
1393.48/1392.26	c cleaning 66974 clauses out of 134036 with flag 14307509/2336625
1433.97/1432.70	c cleaning 68021 clauses out of 136062 with flag 14775946/2405625
1476.87/1475.70	c cleaning 69007 clauses out of 138041 with flag 15186731/2475625
1521.77/1520.55	c cleaning 69987 clauses out of 140036 with flag 15656611/2546627
1563.97/1562.76	c cleaning 71023 clauses out of 142048 with flag 16131717/2618626
1606.76/1605.50	c cleaning 71995 clauses out of 144024 with flag 16606210/2691625
1653.42/1652.07	c cleaning 72995 clauses out of 146029 with flag 17111613/2765625
1697.12/1695.77	c cleaning 73991 clauses out of 148034 with flag 17604328/2840625
1741.62/1740.23	c cleaning 75010 clauses out of 150043 with flag 18161052/2916625
1787.32/1785.94	c cleaning 75990 clauses out of 152033 with flag 18651958/2993625
1800.03/1798.61	c starts		: 3408
1800.03/1798.61	c conflicts		: 3014853
1800.03/1798.61	c decisions		: 19679557
1800.03/1798.61	c propagations		: 7960612294
1800.03/1798.61	c inspects		: 12206212494
1800.03/1798.61	c shortcuts		: 0
1800.03/1798.61	c learnt literals	: 1
1800.03/1798.61	c learnt binary clauses	: 0
1800.03/1798.61	c learnt ternary clauses	: 7
1800.03/1798.61	c learnt constraints	: 3014852
1800.03/1798.61	c ignored constraints	: 0
1800.03/1798.61	c root simplifications	: 0
1800.03/1798.61	c removed literals (reason simplification)	: 0
1800.03/1798.61	c reason swapping (by a shorter reason)	: 0
1800.03/1798.61	c Calls to reduceDB	: 73
1800.03/1798.61	c Number of update (reduction) of LBD	: 1522419
1800.03/1798.61	c Imported unit clauses	: 0
1800.03/1798.61	c number of reductions to clauses (during analyze)	: 0
1800.03/1798.61	c number of learned constraints concerned by reduction	: 0
1800.03/1798.61	c number of learning phase by resolution	: 0
1800.03/1798.61	c number of learning phase by cutting planes	: 0
1800.03/1798.61	c speed (assignments/second)	: 4427106.09720085
1800.03/1798.61	c non guided choices	0
1800.03/1798.63	c learnt constraints type 
1800.03/1798.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 97272
1800.03/1798.63	s SATISFIABLE
1800.03/1798.63	c Found 3 solution(s)
1800.03/1798.64	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 
1800.03/1798.65	c objective function=37
1800.03/1798.65	c Total wall clock time (in seconds): 1798.533

Verifier Data 

OK	37

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4085537-1465247707/watcher-4085537-1465247707 -o /tmp/evaluation-result-4085537-1465247707/solver-4085537-1465247707 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32381 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085537-1465247707.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.25 2.20 3/194 5544
/proc/meminfo: memFree=29845852/32872528 swapFree=15844/1710320
[pid=5544] ppid=5541 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/5544/stat : 5544 (java) R 5541 5544 32365 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 106703056 278528 29 33554432000 1073741824 1073778376 140736342160048 140736522386024 240555936688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5544/statm: 68 34 25 9 0 25 0

[startup+0.100089 s]
/proc/loadavg: 2.25 2.25 2.20 3/194 5544
/proc/meminfo: memFree=29845852/32872528 swapFree=15844/1710320
[pid=5544] ppid=5541 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 32365 0 -1 4202496 4399 0 1 0 8 0 0 0 20 0 18 0 106703056 9787879424 6030 33554432000 1073741824 1073778376 140736342160048 140736342151184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5544/statm: 2389619 6030 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200273 s]
/proc/loadavg: 2.25 2.25 2.20 3/194 5544
/proc/meminfo: memFree=29845852/32872528 swapFree=15844/1710320
[pid=5544] ppid=5541 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 32365 0 -1 4202496 5027 0 1 0 26 0 0 0 20 0 18 0 106703056 9787879424 6885 33554432000 1073741824 1073778376 140736342160048 140736342151184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5544/statm: 2389619 6885 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300273 s]
/proc/loadavg: 2.25 2.25 2.20 3/194 5544
/proc/meminfo: memFree=29845852/32872528 swapFree=15844/1710320
[pid=5544] ppid=5541 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 32365 0 -1 4202496 6027 0 1 0 47 1 0 0 20 0 18 0 106703056 9787879424 8418 33554432000 1073741824 1073778376 140736342160048 140736342151184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5544/statm: 2389619 8418 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700175 s]
/proc/loadavg: 2.25 2.25 2.20 3/194 5544
/proc/meminfo: memFree=29845852/32872528 swapFree=15844/1710320
[pid=5544] ppid=5541 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 32365 0 -1 4202496 9605 0 1 0 133 2 0 0 20 0 19 0 106703056 9856040960 18154 33554432000 1073741824 1073778376 140736342160048 140736342151184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5544/statm: 2406260 18154 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.25 2.25 2.20 3/213 5563
/proc/meminfo: memFree=29782692/32872528 swapFree=15844/1710320
[pid=5544] ppid=5541 vsize=9625040 CPUtime=2.25 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 32365 0 -1 4202496 9912 0 1 0 223 2 0 0 20 0 19 0 106703056 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140736342151184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5544/statm: 2406260 18203 2267 9 0 2396937 0
[pid=5544/tid=5546] ppid=5541 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/5544/task/5546/stat : 5546 (java) R 5541 5544 32365 0 -1 4202560 2434 0 1 0 145 2 0 0 20 0 19 0 106703057 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140617036398728 140616909056415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5547/stat : 5547 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616880000040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5548] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5548/stat : 5548 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616878947240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5549] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5549/stat : 5549 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616877894440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5550] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5550/stat : 5550 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616876841640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5551] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5551/stat : 5551 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616875788840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5552] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5552/stat : 5552 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616874736040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5553] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5553/stat : 5553 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616873683240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5554] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (java) S 5541 5544 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616872630440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5555] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5555/stat : 5555 (java) S 5541 5544 32365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106703059 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616860433384 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5556] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5556/stat : 5556 (java) S 5541 5544 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616859379448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5557] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5557/stat : 5557 (java) S 5541 5544 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616858326536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5558] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5558/stat : 5558 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616857275024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5559] ppid=5541 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5544/task/5559/stat : 5559 (java) S 5541 5544 32365 0 -1 4202560 3349 0 0 0 39 0 0 0 20 0 19 0 106703062 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616856222136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5560] ppid=5541 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/5544/task/5560/stat : 5560 (java) S 5541 5544 32365 0 -1 4202560 2853 0 0 0 36 0 0 0 20 0 19 0 106703062 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616855169336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5561] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5561/stat : 5561 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616854116728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5562] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5562/stat : 5562 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616853064136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5563] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5563/stat : 5563 (java) S 5541 5544 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106703102 9856040960 18203 33554432000 1073741824 1073778376 140736342160048 140616852010664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9625040

[startup+3.10072 s]
/proc/loadavg: 2.25 2.25 2.20 3/213 5563
/proc/meminfo: memFree=29779032/32872528 swapFree=15844/1710320
[pid=5544] ppid=5541 vsize=9625040 CPUtime=3.99 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 32365 0 -1 4202496 10423 0 1 0 397 2 0 0 20 0 19 0 106703056 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140736342151184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5544/statm: 2406260 19371 2272 9 0 2396937 0
[pid=5544/tid=5546] ppid=5541 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/5544/task/5546/stat : 5546 (java) R 5541 5544 32365 0 -1 4202560 2437 0 1 0 304 2 0 0 20 0 19 0 106703057 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140617036390112 140616909029688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5547/stat : 5547 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616880000040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5548] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5548/stat : 5548 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616878947240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5549] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5549/stat : 5549 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616877894440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5550] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5550/stat : 5550 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616876841640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5551] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5551/stat : 5551 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616875788840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5552] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5552/stat : 5552 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616874736040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5553] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5553/stat : 5553 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616873683240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5554] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (java) S 5541 5544 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616872630440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5555] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5555/stat : 5555 (java) S 5541 5544 32365 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106703059 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616860433384 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5556] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5556/stat : 5556 (java) S 5541 5544 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616859379448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5557] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5557/stat : 5557 (java) S 5541 5544 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616858326536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5558] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5558/stat : 5558 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616857275024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5559] ppid=5541 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/5544/task/5559/stat : 5559 (java) S 5541 5544 32365 0 -1 4202560 3369 0 0 0 44 0 0 0 20 0 19 0 106703062 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616856222136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5560] ppid=5541 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/5544/task/5560/stat : 5560 (java) S 5541 5544 32365 0 -1 4202560 3340 0 0 0 45 0 0 0 20 0 19 0 106703062 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616855169336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5561] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5561/stat : 5561 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616854116728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5562] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5562/stat : 5562 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616853064136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5563] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5563/stat : 5563 (java) S 5541 5544 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106703102 9856040960 19371 33554432000 1073741824 1073778376 140736342160048 140616852010664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.23 2.24 2.19 3/213 5563
/proc/meminfo: memFree=29777356/32872528 swapFree=15844/1710320
[pid=5544] ppid=5541 vsize=9625040 CPUtime=7.2 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 32365 0 -1 4202496 10425 0 1 0 718 2 0 0 20 0 19 0 106703056 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140736342151184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5544/statm: 2406260 19134 2272 9 0 2396937 0
[pid=5544/tid=5546] ppid=5541 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/5544/task/5546/stat : 5546 (java) R 5541 5544 32365 0 -1 4202560 2439 0 1 0 624 2 0 0 20 0 19 0 106703057 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140617036399112 140616909106665 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5547/stat : 5547 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616880000040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5548] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5548/stat : 5548 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616878947240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5549] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5549/stat : 5549 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616877894440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5550] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5550/stat : 5550 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616876841640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5551] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5551/stat : 5551 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616875788840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5552] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5552/stat : 5552 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616874736040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5553] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5553/stat : 5553 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616873683240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5554] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (java) S 5541 5544 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106703058 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616872630440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5555] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5555/stat : 5555 (java) S 5541 5544 32365 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106703059 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616860433384 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5556] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5556/stat : 5556 (java) S 5541 5544 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616859379448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5557] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5557/stat : 5557 (java) S 5541 5544 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616858326536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5558] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5558/stat : 5558 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616857275024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5559] ppid=5541 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/5544/task/5559/stat : 5559 (java) S 5541 5544 32365 0 -1 4202560 3369 0 0 0 45 0 0 0 20 0 19 0 106703062 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616856222136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5560] ppid=5541 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/5544/task/5560/stat : 5560 (java) S 5541 5544 32365 0 -1 4202560 3340 0 0 0 45 0 0 0 20 0 19 0 106703062 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616855169336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5561] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5561/stat : 5561 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616854116728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5562] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5562/stat : 5562 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616853064136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5563] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5563/stat : 5563 (java) S 5541 5544 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106703102 9856040960 19134 33554432000 1073741824 1073778376 140736342160048 140616852010664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 9625040


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

[pid=5544/tid=5563] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5563/stat : 5563 (java) S 5541 5544 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106703102 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616852010664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1663.72
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.31 2.29 2.21 3/213 5672
/proc/meminfo: memFree=29614496/32872528 swapFree=15844/1710320
[pid=5544] ppid=5541 vsize=9625040 CPUtime=1723.72 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 32365 0 -1 4202496 11921 0 1 0 172338 34 0 0 20 0 19 0 106703056 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140736342151184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5544/statm: 2406260 82732 2286 9 0 2396937 0
[pid=5544/tid=5546] ppid=5541 vsize=9625040 CPUtime=1717.66 cores=0,2,4,6
/proc/5544/task/5546/stat : 5546 (java) R 5541 5544 32365 0 -1 4202560 2489 0 1 0 171736 30 0 0 20 0 19 0 106703057 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140617036390096 140616909106907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/5544/task/5547/stat : 5547 (java) S 5541 5544 32365 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616880000040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5548] ppid=5541 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/5544/task/5548/stat : 5548 (java) S 5541 5544 32365 0 -1 4202560 220 0 0 0 6 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616878947240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5549] ppid=5541 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/5544/task/5549/stat : 5549 (java) S 5541 5544 32365 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616877894440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5550] ppid=5541 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/5544/task/5550/stat : 5550 (java) S 5541 5544 32365 0 -1 4202560 58 0 0 0 6 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616876841640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5551] ppid=5541 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/5544/task/5551/stat : 5551 (java) S 5541 5544 32365 0 -1 4202560 44 0 0 0 4 2 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616875788840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5552] ppid=5541 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5552/stat : 5552 (java) S 5541 5544 32365 0 -1 4202560 43 0 0 0 4 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616874736040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5553] ppid=5541 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/5544/task/5553/stat : 5553 (java) S 5541 5544 32365 0 -1 4202560 192 0 0 0 6 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616873683240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5554] ppid=5541 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (java) S 5541 5544 32365 0 -1 4202560 214 0 0 0 6 2 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616872630440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5555] ppid=5541 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/5544/task/5555/stat : 5555 (java) S 5541 5544 32365 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 19 0 106703059 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616860433384 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5556] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5556/stat : 5556 (java) S 5541 5544 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616859379448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5557] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5557/stat : 5557 (java) S 5541 5544 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616858326536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5558] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5558/stat : 5558 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616857275024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5559] ppid=5541 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/5544/task/5559/stat : 5559 (java) S 5541 5544 32365 0 -1 4202560 3369 0 0 0 45 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616856222136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5560] ppid=5541 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/5544/task/5560/stat : 5560 (java) S 5541 5544 32365 0 -1 4202560 3789 0 0 0 51 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616855169336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5561] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5561/stat : 5561 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616854116728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5562] ppid=5541 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/5544/task/5562/stat : 5562 (java) S 5541 5544 32365 0 -1 4202560 99 0 0 0 15 20 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616853064136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5563] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5563/stat : 5563 (java) S 5541 5544 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106703102 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616852010664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1723.72
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.40 2.31 2.22 3/213 5673
/proc/meminfo: memFree=29613976/32872528 swapFree=15844/1710320
[pid=5544] ppid=5541 vsize=9625040 CPUtime=1783.72 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 32365 0 -1 4202496 11925 0 1 0 178337 35 0 0 20 0 19 0 106703056 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140736342151184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5544/statm: 2406260 82732 2286 9 0 2396937 0
[pid=5544/tid=5546] ppid=5541 vsize=9625040 CPUtime=1777.51 cores=0,2,4,6
/proc/5544/task/5546/stat : 5546 (java) R 5541 5544 32365 0 -1 4202560 2489 0 1 0 177720 31 0 0 20 0 19 0 106703057 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140617036390096 140616909069787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/5544/task/5547/stat : 5547 (java) S 5541 5544 32365 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616880000040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5548] ppid=5541 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/5544/task/5548/stat : 5548 (java) S 5541 5544 32365 0 -1 4202560 220 0 0 0 6 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616878947240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5549] ppid=5541 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/5544/task/5549/stat : 5549 (java) S 5541 5544 32365 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616877894440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5550] ppid=5541 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/5544/task/5550/stat : 5550 (java) S 5541 5544 32365 0 -1 4202560 58 0 0 0 6 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616876841640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5551] ppid=5541 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/5544/task/5551/stat : 5551 (java) S 5541 5544 32365 0 -1 4202560 44 0 0 0 4 2 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616875788840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5552] ppid=5541 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5552/stat : 5552 (java) S 5541 5544 32365 0 -1 4202560 43 0 0 0 4 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616874736040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5553] ppid=5541 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/5544/task/5553/stat : 5553 (java) S 5541 5544 32365 0 -1 4202560 192 0 0 0 6 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616873683240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5554] ppid=5541 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (java) S 5541 5544 32365 0 -1 4202560 214 0 0 0 6 2 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616872630440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5555] ppid=5541 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/5544/task/5555/stat : 5555 (java) S 5541 5544 32365 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 19 0 106703059 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616860433384 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5556] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5556/stat : 5556 (java) S 5541 5544 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616859379448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5557] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5557/stat : 5557 (java) S 5541 5544 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616858326536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5558] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5558/stat : 5558 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616857275024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5559] ppid=5541 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/5544/task/5559/stat : 5559 (java) S 5541 5544 32365 0 -1 4202560 3369 0 0 0 45 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616856222136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5560] ppid=5541 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/5544/task/5560/stat : 5560 (java) S 5541 5544 32365 0 -1 4202560 3789 0 0 0 51 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616855169336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5561] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5561/stat : 5561 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616854116728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5562] ppid=5541 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/5544/task/5562/stat : 5562 (java) S 5541 5544 32365 0 -1 4202560 103 0 0 0 16 21 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616853064136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5563] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5563/stat : 5563 (java) S 5541 5544 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106703102 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616852010664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1783.72
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.61 s]
/proc/loadavg: 2.42 2.32 2.23 3/213 5673
/proc/meminfo: memFree=29614364/32872528 swapFree=15844/1710320
[pid=5544] ppid=5541 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/5544/stat : 5544 (java) S 5541 5544 32365 0 -1 4202496 11925 0 1 0 179968 35 0 0 20 0 19 0 106703056 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140736342151184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5544/statm: 2406260 82732 2286 9 0 2396937 0
[pid=5544/tid=5546] ppid=5541 vsize=9625040 CPUtime=1793.77 cores=0,2,4,6
/proc/5544/task/5546/stat : 5546 (java) R 5541 5544 32365 0 -1 4202560 2489 0 1 0 179346 31 0 0 20 0 19 0 106703057 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140617036390096 140616909059460 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/5544/task/5547/stat : 5547 (java) S 5541 5544 32365 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616880000040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5548] ppid=5541 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/5544/task/5548/stat : 5548 (java) S 5541 5544 32365 0 -1 4202560 220 0 0 0 6 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616878947240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5549] ppid=5541 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/5544/task/5549/stat : 5549 (java) S 5541 5544 32365 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616877894440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5550] ppid=5541 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/5544/task/5550/stat : 5550 (java) S 5541 5544 32365 0 -1 4202560 58 0 0 0 6 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616876841640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5551] ppid=5541 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/5544/task/5551/stat : 5551 (java) S 5541 5544 32365 0 -1 4202560 44 0 0 0 4 2 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616875788840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5552] ppid=5541 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/5544/task/5552/stat : 5552 (java) S 5541 5544 32365 0 -1 4202560 43 0 0 0 4 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616874736040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5553] ppid=5541 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/5544/task/5553/stat : 5553 (java) S 5541 5544 32365 0 -1 4202560 192 0 0 0 6 3 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616873683240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5554] ppid=5541 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (java) S 5541 5544 32365 0 -1 4202560 214 0 0 0 6 2 0 0 20 0 19 0 106703058 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616872630440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5555] ppid=5541 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/5544/task/5555/stat : 5555 (java) S 5541 5544 32365 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 19 0 106703059 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616860433384 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5556] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5556/stat : 5556 (java) S 5541 5544 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616859379448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5557] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5557/stat : 5557 (java) S 5541 5544 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106703060 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616858326536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5558] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5558/stat : 5558 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616857275024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5559] ppid=5541 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/5544/task/5559/stat : 5559 (java) S 5541 5544 32365 0 -1 4202560 3369 0 0 0 45 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616856222136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5544/tid=5560] ppid=5541 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/5544/task/5560/stat : 5560 (java) S 5541 5544 32365 0 -1 4202560 3789 0 0 0 51 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616855169336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5561] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5561/stat : 5561 (java) S 5541 5544 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616854116728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5544/tid=5562] ppid=5541 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/5544/task/5562/stat : 5562 (java) S 5541 5544 32365 0 -1 4202560 103 0 0 0 17 21 0 0 20 0 19 0 106703062 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616853064136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5544/tid=5563] ppid=5541 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5563/stat : 5563 (java) S 5541 5544 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106703102 9856040960 82732 33554432000 1073741824 1073778376 140736342160048 140616852010664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5544 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=269077
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=841872
# CPU time returned by wait4() is 1796.11
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.66
CPU time (s): 1800.03
CPU user time (s): 1799.68
CPU system time (s): 0.35
CPU usage (%): 100.076
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.27
system time used= 0.841872
maximum resident set size= 331056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11963
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38205
involuntary context switches= 3013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4934 second user time and 12.4231 second system time

The end

Launcher Data 

Begin job on node146 at 2016-06-06 23:15:07
IDJOB=4085537
IDBENCH=24974
IDSOLVER=2546
FILE ID=node146/4085537-1465247707
RUNJOBID= node146-1465217554-32381
PBS_JOBID= 19843206
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085537-1465247707/watcher-4085537-1465247707 -o /tmp/evaluation-result-4085537-1465247707/solver-4085537-1465247707 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32381 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085537-1465247707.opb

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

MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b
RANDOM SEED=1772033427

node146.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.799
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
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.799
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29846124 kB
Buffers:           42168 kB
Cached:           260944 kB
SwapCached:         1468 kB
Active:           371588 kB
Inactive:         239452 kB
Active(anon):     309328 kB
Inactive(anon):     1608 kB
Active(file):      62260 kB
Inactive(file):   237844 kB
Unevictable:     1710320 kB
Mlocked:           15844 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:              1412 kB
Writeback:           100 kB
AnonPages:       2017900 kB
Mapped:            15472 kB
Shmem:                 0 kB
Slab:             569776 kB
SReclaimable:      13344 kB
SUnreclaim:       556432 kB
KernelStack:        1600 kB
PageTables:         8540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2146052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1986560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node146 at 2016-06-06 23:45:06