Trace number 4085110

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 PB16OPT15820949 196.955 195.44

General information on the benchmark

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

Verifier Data 

OK	15820949

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-4085110-1465331912/watcher-4085110-1465331912 -o /tmp/evaluation-result-4085110-1465331912/solver-4085110-1465331912 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23537 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085110-1465331912.opb 

pid=25612
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: 1.99 1.99 1.99 3/194 25615
/proc/meminfo: memFree=30698804/32872528 swapFree=10608/190480
[pid=25615] ppid=25612 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25615/stat : 25615 (java) D 25612 25615 27127 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 115126486 9515008 182 33554432000 1073741824 1073778376 140737188846544 140737188837576 249650036405 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/25615/statm: 2323 182 140 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 1.99 1.99 1.99 3/194 25615
/proc/meminfo: memFree=30698804/32872528 swapFree=10608/190480
[pid=25615] ppid=25612 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/25615/stat : 25615 (java) S 25612 25615 27127 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 115126486 9787879424 6048 33554432000 1073741824 1073778376 140735091903232 140735091894368 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25615/statm: 2389619 6048 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200266 s]
/proc/loadavg: 1.99 1.99 1.99 3/194 25615
/proc/meminfo: memFree=30698804/32872528 swapFree=10608/190480
[pid=25615] ppid=25612 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/25615/stat : 25615 (java) S 25612 25615 27127 0 -1 4202496 5037 0 1 0 28 1 0 0 20 0 18 0 115126486 9787879424 6866 33554432000 1073741824 1073778376 140735091903232 140735091894368 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25615/statm: 2389619 6866 2219 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300283 s]
/proc/loadavg: 1.99 1.99 1.99 3/194 25615
/proc/meminfo: memFree=30698804/32872528 swapFree=10608/190480
[pid=25615] ppid=25612 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/25615/stat : 25615 (java) S 25612 25615 27127 0 -1 4202496 5747 0 1 0 47 2 0 0 20 0 18 0 115126486 9787879424 9107 33554432000 1073741824 1073778376 140735091903232 140735091894368 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25615/statm: 2389619 9107 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700238 s]
/proc/loadavg: 1.99 1.99 1.99 3/194 25615
/proc/meminfo: memFree=30698804/32872528 swapFree=10608/190480
[pid=25615] ppid=25612 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/25615/stat : 25615 (java) S 25612 25615 27127 0 -1 4202496 12208 0 1 0 143 5 0 0 20 0 19 0 115126486 9856040960 19853 33554432000 1073741824 1073778376 140735091903232 140735091894368 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25615/statm: 2406260 19853 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.07 2.01 2.00 3/213 25634
/proc/meminfo: memFree=30619736/32872528 swapFree=10608/190480
[pid=25615] ppid=25612 vsize=9625040 CPUtime=2.61 cores=0,2,4,6
/proc/25615/stat : 25615 (java) S 25612 25615 27127 0 -1 4202496 12329 0 1 0 256 5 0 0 20 0 19 0 115126486 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 140735091894368 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25615/statm: 2406260 22529 2270 9 0 2396937 0
[pid=25615/tid=25617] ppid=25612 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/25615/task/25617/stat : 25617 (java) R 25612 25615 27127 0 -1 4202560 2437 0 1 0 144 2 0 0 20 0 19 0 115126487 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139991212568600 139991053996704 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25618] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25618/stat : 25618 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139991174060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25619] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25619/stat : 25619 (java) S 25612 25615 27127 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139991173007656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25620] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25620/stat : 25620 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139991171955112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25615/tid=25621] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25621/stat : 25621 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139991053232680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25622] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25622/stat : 25622 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139991052180136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25623] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25623/stat : 25623 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139991051127592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25624] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25624/stat : 25624 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139991050075048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25625] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25625/stat : 25625 (java) S 25612 25615 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139991049022504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25626] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25626/stat : 25626 (java) S 25612 25615 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 115126489 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139990566692968 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25627] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25627/stat : 25627 (java) S 25612 25615 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139990565639288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25628] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25628/stat : 25628 (java) S 25612 25615 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139990564586632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25629] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25629/stat : 25629 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139990563535376 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25630] ppid=25612 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/25615/task/25630/stat : 25630 (java) S 25612 25615 27127 0 -1 4202560 5133 0 0 0 52 1 0 0 20 0 19 0 115126492 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139990562482744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25631] ppid=25612 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/25615/task/25631/stat : 25631 (java) S 25612 25615 27127 0 -1 4202560 3487 0 0 0 55 2 0 0 20 0 19 0 115126492 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139990561430200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25632] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25632/stat : 25632 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139990560377848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25633] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25633/stat : 25633 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139990559325512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25634] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25634/stat : 25634 (java) S 25612 25615 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115126533 9856040960 22529 33554432000 1073741824 1073778376 140735091903232 139990558270248 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.07 2.01 2.00 3/213 25634
/proc/meminfo: memFree=30615144/32872528 swapFree=10608/190480
[pid=25615] ppid=25612 vsize=9625040 CPUtime=4.26 cores=0,2,4,6
/proc/25615/stat : 25615 (java) S 25612 25615 27127 0 -1 4202496 12342 0 1 0 421 5 0 0 20 0 19 0 115126486 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 140735091894368 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25615/statm: 2406260 24582 2274 9 0 2396937 0
[pid=25615/tid=25617] ppid=25612 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/25615/task/25617/stat : 25617 (java) R 25612 25615 27127 0 -1 4202560 2443 0 1 0 304 2 0 0 20 0 19 0 115126487 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139991212560688 139991054036345 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25618] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25618/stat : 25618 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139991174060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25619] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25619/stat : 25619 (java) S 25612 25615 27127 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139991173007656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25620] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25620/stat : 25620 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139991171955112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25615/tid=25621] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25621/stat : 25621 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139991053232680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25622] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25622/stat : 25622 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139991052180136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25623] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25623/stat : 25623 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139991051127592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25624] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25624/stat : 25624 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139991050075048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25625] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25625/stat : 25625 (java) S 25612 25615 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139991049022504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25626] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25626/stat : 25626 (java) S 25612 25615 27127 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 115126489 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139990566692968 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25627] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25627/stat : 25627 (java) S 25612 25615 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139990565639288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25628] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25628/stat : 25628 (java) S 25612 25615 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139990564586632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25629] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25629/stat : 25629 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139990563535376 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25630] ppid=25612 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/25615/task/25630/stat : 25630 (java) S 25612 25615 27127 0 -1 4202560 5135 0 0 0 55 1 0 0 20 0 19 0 115126492 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139990562482744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25631] ppid=25612 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/25615/task/25631/stat : 25631 (java) S 25612 25615 27127 0 -1 4202560 3491 0 0 0 57 2 0 0 20 0 19 0 115126492 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139990561430200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25632] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25632/stat : 25632 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139990560377848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25633] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25633/stat : 25633 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139990559325512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25634] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25634/stat : 25634 (java) S 25612 25615 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115126533 9856040960 24582 33554432000 1073741824 1073778376 140735091903232 139990558270248 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 9625040

[startup+6.30074 s]
/proc/loadavg: 2.06 2.01 2.00 3/213 25634
/proc/meminfo: memFree=30600560/32872528 swapFree=10608/190480
[pid=25615] ppid=25612 vsize=9625040 CPUtime=7.54 cores=0,2,4,6
/proc/25615/stat : 25615 (java) S 25612 25615 27127 0 -1 4202496 12348 0 1 0 748 6 0 0 20 0 19 0 115126486 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 140735091894368 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25615/statm: 2406260 26522 2274 9 0 2396937 0
[pid=25615/tid=25617] ppid=25612 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/25615/task/25617/stat : 25617 (java) R 25612 25615 27127 0 -1 4202560 2449 0 1 0 623 3 0 0 20 0 19 0 115126487 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139991212567032 139991053890982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25618] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25618/stat : 25618 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139991174060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25619] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25619/stat : 25619 (java) S 25612 25615 27127 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139991173007656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25620] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25620/stat : 25620 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139991171955112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25615/tid=25621] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25621/stat : 25621 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139991053232680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25622] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25622/stat : 25622 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139991052180136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25623] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25623/stat : 25623 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139991051127592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25624] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25624/stat : 25624 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139991050075048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25625] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25625/stat : 25625 (java) S 25612 25615 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139991049022504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25626] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25626/stat : 25626 (java) S 25612 25615 27127 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 115126489 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139990566692968 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25627] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25627/stat : 25627 (java) S 25612 25615 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139990565639288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25628] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25628/stat : 25628 (java) S 25612 25615 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139990564586632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25629] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25629/stat : 25629 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139990563535376 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25630] ppid=25612 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/25615/task/25630/stat : 25630 (java) S 25612 25615 27127 0 -1 4202560 5135 0 0 0 58 2 0 0 20 0 19 0 115126492 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139990562482744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25631] ppid=25612 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/25615/task/25631/stat : 25631 (java) S 25612 25615 27127 0 -1 4202560 3491 0 0 0 61 2 0 0 20 0 19 0 115126492 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139990561430200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25632] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25632/stat : 25632 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139990560377848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25633] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25633/stat : 25633 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139990559325512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25634] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25634/stat : 25634 (java) S 25612 25615 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115126533 9856040960 26522 33554432000 1073741824 1073778376 140735091903232 139990558270248 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 9625040


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

[pid=25615/tid=25620] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25620/stat : 25620 (java) S 25612 25615 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991171955112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25621] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25621/stat : 25621 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991053232680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25622] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25622/stat : 25622 (java) S 25612 25615 27127 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991052180136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25623] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25623/stat : 25623 (java) S 25612 25615 27127 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991051127592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25615/tid=25624] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25624/stat : 25624 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991050075048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25625] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25625/stat : 25625 (java) S 25612 25615 27127 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991049022504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25626] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25626/stat : 25626 (java) S 25612 25615 27127 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 115126489 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990566692968 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25627] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25627/stat : 25627 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990565639288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25628] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25628/stat : 25628 (java) S 25612 25615 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990564586632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25629] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25629/stat : 25629 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990563535376 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25630] ppid=25612 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/25615/task/25630/stat : 25630 (java) S 25612 25615 27127 0 -1 4202560 5139 0 0 0 63 2 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990562482744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25631] ppid=25612 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/25615/task/25631/stat : 25631 (java) S 25612 25615 27127 0 -1 4202560 3496 0 0 0 64 2 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990561430200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25632] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25632/stat : 25632 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990560377848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25633] ppid=25612 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/25615/task/25633/stat : 25633 (java) S 25612 25615 27127 0 -1 4202560 11 0 0 0 1 1 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990559325512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25634] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25634/stat : 25634 (java) S 25612 25615 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115126533 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990558270248 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 195.01
Current children cumulated vsize (KiB) 9625040

[startup+194.401 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25641
/proc/meminfo: memFree=30278940/32872528 swapFree=10608/190480
[pid=25615] ppid=25612 vsize=9625040 CPUtime=195.8 cores=0,2,4,6
/proc/25615/stat : 25615 (java) S 25612 25615 27127 0 -1 4202496 12498 0 1 0 19567 13 0 0 20 0 19 0 115126486 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 140735091894368 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25615/statm: 2406260 50610 2288 9 0 2396937 0
[pid=25615/tid=25617] ppid=25612 vsize=9625040 CPUtime=194.31 cores=0,2,4,6
/proc/25615/task/25617/stat : 25617 (java) R 25612 25615 27127 0 -1 4202560 2484 0 1 0 19424 7 0 0 20 0 19 0 115126487 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991212560064 139991053739664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25618] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25618/stat : 25618 (java) S 25612 25615 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991174060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25619] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25619/stat : 25619 (java) S 25612 25615 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991173007656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25620] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25620/stat : 25620 (java) S 25612 25615 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991171955112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25621] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25621/stat : 25621 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991053232680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25622] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25622/stat : 25622 (java) S 25612 25615 27127 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991052180136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25623] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25623/stat : 25623 (java) S 25612 25615 27127 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991051127592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25615/tid=25624] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25624/stat : 25624 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991050075048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25625] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25625/stat : 25625 (java) S 25612 25615 27127 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991049022504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25626] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25626/stat : 25626 (java) S 25612 25615 27127 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 115126489 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990566692968 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25627] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25627/stat : 25627 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990565639288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25628] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25628/stat : 25628 (java) S 25612 25615 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990564586632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25629] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25629/stat : 25629 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990563535376 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25630] ppid=25612 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/25615/task/25630/stat : 25630 (java) S 25612 25615 27127 0 -1 4202560 5139 0 0 0 63 2 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990562482744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25631] ppid=25612 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/25615/task/25631/stat : 25631 (java) S 25612 25615 27127 0 -1 4202560 3496 0 0 0 64 2 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990561430200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25632] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25632/stat : 25632 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990560377848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25633] ppid=25612 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/25615/task/25633/stat : 25633 (java) S 25612 25615 27127 0 -1 4202560 11 0 0 0 1 1 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990559325512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25634] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25634/stat : 25634 (java) S 25612 25615 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115126533 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990558270248 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 195.8
Current children cumulated vsize (KiB) 9625040

[startup+195.201 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25641
/proc/meminfo: memFree=30279064/32872528 swapFree=10608/190480
[pid=25615] ppid=25612 vsize=9625040 CPUtime=196.6 cores=0,2,4,6
/proc/25615/stat : 25615 (java) S 25612 25615 27127 0 -1 4202496 12498 0 1 0 19647 13 0 0 20 0 19 0 115126486 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 140735091894368 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25615/statm: 2406260 50610 2288 9 0 2396937 0
[pid=25615/tid=25617] ppid=25612 vsize=9625040 CPUtime=195.11 cores=0,2,4,6
/proc/25615/task/25617/stat : 25617 (java) R 25612 25615 27127 0 -1 4202560 2484 0 1 0 19504 7 0 0 20 0 19 0 115126487 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991212560064 139991054036345 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25618] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25618/stat : 25618 (java) S 25612 25615 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991174060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25619] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25619/stat : 25619 (java) S 25612 25615 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991173007656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25620] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25620/stat : 25620 (java) S 25612 25615 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991171955112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25621] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25621/stat : 25621 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991053232680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25622] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25622/stat : 25622 (java) S 25612 25615 27127 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991052180136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25623] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25623/stat : 25623 (java) S 25612 25615 27127 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991051127592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25615/tid=25624] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25624/stat : 25624 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991050075048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25625] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25625/stat : 25625 (java) S 25612 25615 27127 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991049022504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25626] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25626/stat : 25626 (java) S 25612 25615 27127 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 115126489 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990566692968 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25627] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25627/stat : 25627 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990565639288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25628] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25628/stat : 25628 (java) S 25612 25615 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990564586632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25629] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25629/stat : 25629 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990563535376 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25630] ppid=25612 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/25615/task/25630/stat : 25630 (java) S 25612 25615 27127 0 -1 4202560 5139 0 0 0 63 2 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990562482744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25631] ppid=25612 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/25615/task/25631/stat : 25631 (java) S 25612 25615 27127 0 -1 4202560 3496 0 0 0 64 2 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990561430200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25632] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25632/stat : 25632 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990560377848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25633] ppid=25612 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/25615/task/25633/stat : 25633 (java) S 25612 25615 27127 0 -1 4202560 11 0 0 0 1 1 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990559325512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25634] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25634/stat : 25634 (java) S 25612 25615 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115126533 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990558270248 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 196.6
Current children cumulated vsize (KiB) 9625040

[startup+195.401 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25641
/proc/meminfo: memFree=30279064/32872528 swapFree=10608/190480
[pid=25615] ppid=25612 vsize=9625040 CPUtime=196.8 cores=0,2,4,6
/proc/25615/stat : 25615 (java) S 25612 25615 27127 0 -1 4202496 12498 0 1 0 19667 13 0 0 20 0 19 0 115126486 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 140735091894368 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25615/statm: 2406260 50610 2288 9 0 2396937 0
[pid=25615/tid=25617] ppid=25612 vsize=9625040 CPUtime=195.31 cores=0,2,4,6
/proc/25615/task/25617/stat : 25617 (java) R 25612 25615 27127 0 -1 4202560 2484 0 1 0 19524 7 0 0 20 0 19 0 115126487 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991212560064 139991054030436 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25618] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25618/stat : 25618 (java) S 25612 25615 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991174060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25619] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25619/stat : 25619 (java) S 25612 25615 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991173007656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25620] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25620/stat : 25620 (java) S 25612 25615 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991171955112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25621] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25621/stat : 25621 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991053232680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25622] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25622/stat : 25622 (java) S 25612 25615 27127 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991052180136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25623] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25623/stat : 25623 (java) S 25612 25615 27127 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991051127592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25615/tid=25624] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25624/stat : 25624 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991050075048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25625] ppid=25612 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25615/task/25625/stat : 25625 (java) S 25612 25615 27127 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 115126488 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139991049022504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25626] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25626/stat : 25626 (java) S 25612 25615 27127 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 115126489 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990566692968 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25627] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25627/stat : 25627 (java) S 25612 25615 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990565639288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25628] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25628/stat : 25628 (java) S 25612 25615 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115126490 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990564586632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25629] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25629/stat : 25629 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990563535376 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25630] ppid=25612 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/25615/task/25630/stat : 25630 (java) S 25612 25615 27127 0 -1 4202560 5139 0 0 0 63 2 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990562482744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25615/tid=25631] ppid=25612 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/25615/task/25631/stat : 25631 (java) S 25612 25615 27127 0 -1 4202560 3496 0 0 0 64 2 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990561430200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25632] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25632/stat : 25632 (java) S 25612 25615 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990560377848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25615/tid=25633] ppid=25612 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/25615/task/25633/stat : 25633 (java) S 25612 25615 27127 0 -1 4202560 11 0 0 0 1 1 0 0 20 0 19 0 115126492 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990559325512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25615/tid=25634] ppid=25612 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25615/task/25634/stat : 25634 (java) S 25612 25615 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115126533 9856040960 50610 33554432000 1073741824 1073778376 140735091903232 139990558270248 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 196.8
Current children cumulated vsize (KiB) 9625040

Child status: 30
Real time (s): 195.44
CPU time (s): 196.955
CPU user time (s): 196.712
CPU system time (s): 0.242963
CPU usage (%): 100.775
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 196.712
system time used= 0.242963
maximum resident set size= 202492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12516
page faults= 1
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4538
involuntary context switches= 377

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37379 second user time and 1.79073 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-07 22:38:32
IDJOB=4085110
IDBENCH=92695
IDSOLVER=2546
FILE ID=node102/4085110-1465331912
RUNJOBID= node102-1465312757-23537
PBS_JOBID= 19850416
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_7_mh.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085110-1465331912/watcher-4085110-1465331912 -o /tmp/evaluation-result-4085110-1465331912/solver-4085110-1465331912 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23537 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085110-1465331912.opb

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

MD5SUM BENCH= 578db65b35c9d87cb72f70788034039a
RANDOM SEED=916584563

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.470
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.94
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.470
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.470
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.470
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.470
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.56
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.470
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.55
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.470
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.470
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:        30699712 kB
Buffers:          197156 kB
Cached:           793624 kB
SwapCached:         2708 kB
Active:           476584 kB
Inactive:         734920 kB
Active(anon):     221152 kB
Inactive(anon):     2284 kB
Active(file):     255432 kB
Inactive(file):   732636 kB
Unevictable:      190480 kB
Mlocked:           10608 kB
SwapTotal:      67108856 kB
SwapFree:       67098748 kB
Dirty:              1208 kB
Writeback:             0 kB
AnonPages:        416168 kB
Mapped:            16408 kB
Shmem:                 0 kB
Slab:             634056 kB
SReclaimable:      77572 kB
SUnreclaim:       556484 kB
KernelStack:        1584 kB
PageTables:         4844 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1015996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    368640 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= 71736 MiB
End job on node102 at 2016-06-07 22:41:47