Trace number 4085404

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)84 1800.05 1797.2

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark57
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
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-4085404-1465243109.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
2.06/1.67	c ... done. Wall clock time 1.549s.
2.06/1.67	c declared #vars     5203
2.06/1.67	c #constraints  19637
2.06/1.67	c constraints type 
2.06/1.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19637
2.06/1.67	c 19637 constraints processed.
2.06/1.67	c objective function length is 5203 literals
2.17/1.78	c SATISFIABLE
2.17/1.78	c OPTIMIZING...
2.17/1.78	c Got one! Elapsed wall clock time (in seconds):1.659
2.17/1.78	o 92
2.43/1.85	c Got one! Elapsed wall clock time (in seconds):1.728
2.43/1.85	o 85
2.43/1.87	c Got one! Elapsed wall clock time (in seconds):1.751
2.43/1.87	o 84
4.51/3.46	c cleaning 2494 clauses out of 5006 with flag 30286/5006
6.66/5.46	c cleaning 4252 clauses out of 8511 with flag 80783/11005
9.49/8.25	c cleaning 5610 clauses out of 11259 with flag 140329/18005
12.51/11.26	c cleaning 6802 clauses out of 13649 with flag 214574/26005
15.72/14.47	c cleaning 7902 clauses out of 15847 with flag 289012/35005
19.52/18.26	c cleaning 8963 clauses out of 17945 with flag 396506/45005
23.42/22.16	c cleaning 9981 clauses out of 19982 with flag 542115/56005
27.72/26.45	c cleaning 10991 clauses out of 22001 with flag 684189/68005
32.41/31.17	c cleaning 11964 clauses out of 24010 with flag 810798/81005
37.11/35.87	c cleaning 12983 clauses out of 26046 with flag 950914/95005
42.71/41.40	c cleaning 13986 clauses out of 28063 with flag 1117847/110005
48.62/47.38	c cleaning 15008 clauses out of 30078 with flag 1278219/126006
55.22/53.99	c cleaning 16023 clauses out of 32069 with flag 1416213/143005
62.72/61.41	c cleaning 17022 clauses out of 34046 with flag 1583651/161005
70.22/68.98	c cleaning 17972 clauses out of 36024 with flag 1764515/180005
78.11/76.82	c cleaning 18981 clauses out of 38052 with flag 1935207/200005
85.51/84.25	c cleaning 20034 clauses out of 40071 with flag 2094368/221005
94.02/92.79	c cleaning 20977 clauses out of 42038 with flag 2303945/243006
103.31/102.01	c cleaning 21996 clauses out of 44060 with flag 2478237/266005
112.80/111.42	c cleaning 22992 clauses out of 46064 with flag 2685598/290005
122.41/121.03	c cleaning 24028 clauses out of 48073 with flag 2901969/315006
133.41/132.09	c cleaning 24985 clauses out of 50044 with flag 3091443/341005
146.10/144.73	c cleaning 25976 clauses out of 52059 with flag 3286468/368005
158.71/157.39	c cleaning 26993 clauses out of 54086 with flag 3477699/396008
170.30/168.98	c cleaning 28000 clauses out of 56090 with flag 3716102/425005
182.90/181.54	c cleaning 29032 clauses out of 58090 with flag 3921762/455005
194.80/193.41	c cleaning 29965 clauses out of 60058 with flag 4191034/486005
208.10/206.73	c cleaning 31007 clauses out of 62095 with flag 4439036/518007
222.71/221.33	c cleaning 32029 clauses out of 64095 with flag 4643113/551014
237.20/235.88	c cleaning 33020 clauses out of 66061 with flag 4881357/585009
253.10/251.71	c cleaning 34004 clauses out of 68037 with flag 5106875/620005
269.91/268.55	c cleaning 34982 clauses out of 70033 with flag 5350790/656005
287.20/285.80	c cleaning 35992 clauses out of 72051 with flag 5582494/693005
303.09/301.61	c cleaning 36986 clauses out of 74059 with flag 5868405/731005
319.79/318.31	c cleaning 38006 clauses out of 76073 with flag 6202148/770005
335.90/334.42	c cleaning 39018 clauses out of 78067 with flag 6501366/810005
353.39/351.97	c cleaning 40011 clauses out of 80060 with flag 6790158/851016
369.29/367.88	c cleaning 40991 clauses out of 82041 with flag 7131178/893008
387.90/386.44	c cleaning 41940 clauses out of 84047 with flag 7392319/936005
408.00/406.57	c cleaning 43038 clauses out of 86107 with flag 7669771/980005
429.89/428.49	c cleaning 44006 clauses out of 88069 with flag 7908164/1025005
451.30/449.88	c cleaning 45022 clauses out of 90064 with flag 8218739/1071006
473.26/471.69	c cleaning 45982 clauses out of 92041 with flag 8460622/1118005
495.26/493.67	c cleaning 46980 clauses out of 94059 with flag 8749584/1166005
515.87/514.28	c cleaning 48021 clauses out of 96080 with flag 9096551/1215006
538.07/536.45	c cleaning 49026 clauses out of 98058 with flag 9408375/1265005
560.67/559.03	c cleaning 49979 clauses out of 100032 with flag 9741027/1316005
586.18/584.56	c cleaning 50992 clauses out of 102056 with flag 10011161/1368008
610.68/609.03	c cleaning 52013 clauses out of 104061 with flag 10310163/1421005
637.27/635.62	c cleaning 52968 clauses out of 106049 with flag 10633297/1475006
665.81/663.99	c cleaning 53983 clauses out of 108082 with flag 10932688/1530007
694.31/692.45	c cleaning 55037 clauses out of 110097 with flag 11262165/1586005
723.32/721.40	c cleaning 55972 clauses out of 112060 with flag 11549329/1643005
754.83/752.95	c cleaning 57028 clauses out of 114088 with flag 11849440/1701005
786.33/784.42	c cleaning 58015 clauses out of 116060 with flag 12172380/1760005
816.34/814.41	c cleaning 58938 clauses out of 118045 with flag 12527213/1820005
849.65/847.78	c cleaning 60017 clauses out of 120107 with flag 12828962/1881005
883.75/881.60	c cleaning 61025 clauses out of 122090 with flag 13143902/1943005
915.85/913.76	c cleaning 62025 clauses out of 124065 with flag 13438644/2006005
947.86/945.79	c cleaning 62980 clauses out of 126040 with flag 13772617/2070005
985.48/983.32	c cleaning 64007 clauses out of 128060 with flag 14062878/2135005
1020.29/1018.19	c cleaning 64948 clauses out of 130053 with flag 14362448/2201005
1057.80/1055.67	c cleaning 66023 clauses out of 132105 with flag 14655020/2268005
1094.63/1092.30	c cleaning 66995 clauses out of 134085 with flag 14997699/2336008
1131.73/1129.34	c cleaning 67989 clauses out of 136087 with flag 15374376/2405005
1169.33/1166.91	c cleaning 69038 clauses out of 138098 with flag 15794841/2475005
1212.02/1209.63	c cleaning 70014 clauses out of 140060 with flag 16177294/2546005
1253.72/1251.37	c cleaning 71015 clauses out of 142049 with flag 16531478/2618008
1295.80/1293.42	c cleaning 71984 clauses out of 144031 with flag 16841120/2691005
1333.49/1330.80	c cleaning 73003 clauses out of 146048 with flag 17279069/2765006
1368.60/1365.94	c cleaning 74009 clauses out of 148044 with flag 17783555/2840005
1406.90/1404.27	c cleaning 75004 clauses out of 150035 with flag 18259925/2916005
1443.40/1440.79	c cleaning 75967 clauses out of 152031 with flag 18734273/2993005
1480.99/1478.25	c cleaning 77026 clauses out of 154067 with flag 19190778/3071008
1517.89/1515.13	c cleaning 78007 clauses out of 156038 with flag 19673064/3150005
1554.28/1551.58	c cleaning 78985 clauses out of 158032 with flag 20136783/3230006
1597.59/1594.86	c cleaning 80014 clauses out of 160046 with flag 20554166/3311005
1638.53/1635.69	c cleaning 80991 clauses out of 162033 with flag 20957851/3393006
1683.03/1680.11	c cleaning 81991 clauses out of 164042 with flag 21355252/3476006
1728.94/1726.03	c cleaning 83007 clauses out of 166051 with flag 21808089/3560006
1775.05/1772.12	c cleaning 84007 clauses out of 168045 with flag 22279353/3645007
1800.05/1797.14	c starts		: 5893
1800.05/1797.14	c conflicts		: 3689637
1800.05/1797.14	c decisions		: 59176858
1800.05/1797.14	c propagations		: 2616726191
1800.05/1797.14	c inspects		: 15547873801
1800.05/1797.14	c shortcuts		: 0
1800.05/1797.14	c learnt literals	: 0
1800.05/1797.14	c learnt binary clauses	: 0
1800.05/1797.14	c learnt ternary clauses	: 0
1800.05/1797.14	c learnt constraints	: 3689636
1800.05/1797.14	c ignored constraints	: 0
1800.05/1797.14	c root simplifications	: 0
1800.05/1797.14	c removed literals (reason simplification)	: 0
1800.05/1797.14	c reason swapping (by a shorter reason)	: 0
1800.05/1797.14	c Calls to reduceDB	: 81
1800.05/1797.14	c Number of update (reduction) of LBD	: 2376598
1800.05/1797.14	c Imported unit clauses	: 0
1800.05/1797.14	c number of reductions to clauses (during analyze)	: 0
1800.05/1797.14	c number of learned constraints concerned by reduction	: 0
1800.05/1797.14	c number of learning phase by resolution	: 0
1800.05/1797.14	c number of learning phase by cutting planes	: 0
1800.05/1797.14	c speed (assignments/second)	: 1457418.373524676
1800.05/1797.14	c non guided choices	0
1800.05/1797.17	c learnt constraints type 
1800.05/1797.17	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 128668
1800.05/1797.17	s SATISFIABLE
1800.05/1797.17	c Found 3 solution(s)
1800.05/1797.18	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 
1800.05/1797.19	c objective function=84
1800.05/1797.19	c Total wall clock time (in seconds): 1797.073

Verifier Data 

OK	84

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-4085404-1465243109/watcher-4085404-1465243109 -o /tmp/evaluation-result-4085404-1465243109/solver-4085404-1465243109 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32382 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085404-1465243109.opb 

pid=4859
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.16 2.16 2.17 3/194 4862
/proc/meminfo: memFree=29945876/32872528 swapFree=15844/1710320
[pid=4862] ppid=4859 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/4862/stat : 4862 (java) R 4859 4862 32365 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 106243253 278528 33 33554432000 1073741824 1073778376 140735553297520 140734393796520 240556010791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4862/statm: 84 34 26 9 0 25 0

[startup+0.10006 s]
/proc/loadavg: 2.16 2.16 2.17 3/194 4862
/proc/meminfo: memFree=29945876/32872528 swapFree=15844/1710320
[pid=4862] ppid=4859 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/4862/stat : 4862 (java) S 4859 4862 32365 0 -1 4202496 4401 0 1 0 8 1 0 0 20 0 18 0 106243253 9787879424 6031 33554432000 1073741824 1073778376 140735553297520 140735553288656 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4862/statm: 2389619 6031 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200216 s]
/proc/loadavg: 2.16 2.16 2.17 3/194 4862
/proc/meminfo: memFree=29945876/32872528 swapFree=15844/1710320
[pid=4862] ppid=4859 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/4862/stat : 4862 (java) S 4859 4862 32365 0 -1 4202496 5005 0 1 0 26 1 0 0 20 0 18 0 106243253 9787879424 6960 33554432000 1073741824 1073778376 140735553297520 140735553288656 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4862/statm: 2389619 6960 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300245 s]
/proc/loadavg: 2.16 2.16 2.17 3/194 4862
/proc/meminfo: memFree=29945876/32872528 swapFree=15844/1710320
[pid=4862] ppid=4859 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/4862/stat : 4862 (java) S 4859 4862 32365 0 -1 4202496 7419 0 1 0 51 2 0 0 20 0 18 0 106243253 9787879424 10402 33554432000 1073741824 1073778376 140735553297520 140735553288656 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4862/statm: 2389619 10402 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700203 s]
/proc/loadavg: 2.16 2.16 2.17 3/194 4862
/proc/meminfo: memFree=29945876/32872528 swapFree=15844/1710320
[pid=4862] ppid=4859 vsize=9558476 CPUtime=0.99 cores=1,3,5,7
/proc/4862/stat : 4862 (java) S 4859 4862 32365 0 -1 4202496 7615 0 1 0 95 4 0 0 20 0 18 0 106243253 9787879424 40169 33554432000 1073741824 1073778376 140735553297520 140735553288656 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4862/statm: 2389619 40169 2250 9 0 2380296 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9558476

[startup+1.50081 s]
/proc/loadavg: 2.16 2.16 2.17 3/212 4880
/proc/meminfo: memFree=29786840/32872528 swapFree=15844/1710320
[pid=4862] ppid=4859 vsize=9558476 CPUtime=1.93 cores=1,3,5,7
/proc/4862/stat : 4862 (java) S 4859 4862 32365 0 -1 4202496 8069 0 1 0 188 5 0 0 20 0 18 0 106243253 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140735553288656 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4862/statm: 2389619 42295 2261 9 0 2380296 0
[pid=4862/tid=4864] ppid=4859 vsize=9558476 CPUtime=1.44 cores=1,3,5,7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 32365 0 -1 4202560 2466 0 1 0 141 3 0 0 20 0 18 0 106243254 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402989629488 140402833682029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4865] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 32365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 106243255 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402833221928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4866] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 32365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 106243255 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402832169128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4867] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 106243255 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402831116840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4868] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 32365 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 106243255 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402830064040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4869] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 106243255 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402829011752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4870] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 106243255 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402827958952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4871] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 106243255 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402826906664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4872] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 106243255 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402825853864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4873] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 32365 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 106243257 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402343524584 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4874] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 106243257 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402342470648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4875] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 106243257 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402341418248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4876] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 106243260 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402340366736 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4877] ppid=4859 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 32365 0 -1 4202560 1960 0 0 0 20 0 0 0 20 0 18 0 106243260 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402339314360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4878] ppid=4859 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 32365 0 -1 4202560 2282 0 0 0 23 0 0 0 20 0 18 0 106243260 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402338261560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4879] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 106243260 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402337209464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4880] ppid=4859 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 106243260 9787879424 42295 33554432000 1073741824 1073778376 140735553297520 140402336156872 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9558476

[startup+3.10073 s]
/proc/loadavg: 2.16 2.16 2.17 3/213 4881
/proc/meminfo: memFree=29771832/32872528 swapFree=15844/1710320
[pid=4862] ppid=4859 vsize=9625040 CPUtime=4.2 cores=1,3,5,7
/proc/4862/stat : 4862 (java) S 4859 4862 32365 0 -1 4202496 10741 0 1 0 413 7 0 0 20 0 19 0 106243253 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140735553288656 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4862/statm: 2406260 45421 2280 9 0 2396937 0
[pid=4862/tid=4864] ppid=4859 vsize=9625040 CPUtime=3.03 cores=1,3,5,7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 32365 0 -1 4202560 2484 0 1 0 299 4 0 0 20 0 19 0 106243254 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402989637928 140402834061690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4865] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 32365 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402833221928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4866] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 32365 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402832169128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4867] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402831116840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4868] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 32365 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402830064040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4869] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 32365 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402829011752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4870] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 32365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402827958952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4871] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 32365 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402826906664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4872] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 32365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402825853864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4873] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 32365 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402343524584 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4874] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402342470648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4875] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402341418248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4876] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402340366736 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4877] ppid=4859 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 32365 0 -1 4202560 2474 0 0 0 49 0 0 0 20 0 19 0 106243260 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402339314360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4878] ppid=4859 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 32365 0 -1 4202560 4395 0 0 0 57 0 0 0 20 0 19 0 106243260 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402338261560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4879] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402337209464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4880] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402336156872 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4881] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106243422 9856040960 45421 33554432000 1073741824 1073778376 140735553297520 140402335101864 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.14 2.16 2.17 3/213 4881
/proc/meminfo: memFree=29771860/32872528 swapFree=15844/1710320
[pid=4862] ppid=4859 vsize=9625040 CPUtime=7.56 cores=1,3,5,7
/proc/4862/stat : 4862 (java) S 4859 4862 32365 0 -1 4202496 14506 0 1 0 749 7 0 0 20 0 19 0 106243253 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140735553288656 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4862/statm: 2406260 45295 2284 9 0 2396937 0
[pid=4862/tid=4864] ppid=4859 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 32365 0 -1 4202560 2485 0 1 0 618 4 0 0 20 0 19 0 106243254 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402989636032 140402834028746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4865] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 32365 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402833221928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4866] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 32365 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402832169128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4867] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402831116840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4868] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 32365 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402830064040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4869] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 32365 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402829011752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4870] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 32365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402827958952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4871] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 32365 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402826906664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4872] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 32365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 106243255 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402825853864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4873] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 32365 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402343524584 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4874] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402342470648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4875] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402341418248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4876] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402340366736 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4877] ppid=4859 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 32365 0 -1 4202560 2474 0 0 0 52 0 0 0 20 0 19 0 106243260 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402339314360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4878] ppid=4859 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 32365 0 -1 4202560 8159 0 0 0 70 2 0 0 20 0 19 0 106243260 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402338261560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4879] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402337209464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4880] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402336156872 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4881] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106243422 9856040960 45295 33554432000 1073741824 1073778376 140735553297520 140402335101864 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 9625040

[startup+12.7008 s]
/proc/loadavg: 2.13 2.16 2.17 4/213 4881

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

[pid=4862/tid=4881] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106243422 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402335101864 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1725.23
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.25 2.26 2.22 3/213 5014
/proc/meminfo: memFree=29126700/32872528 swapFree=15844/1710320
[pid=4862] ppid=4859 vsize=9625040 CPUtime=1785.24 cores=1,3,5,7
/proc/4862/stat : 4862 (java) S 4859 4862 32365 0 -1 4202496 16807 0 1 0 178423 101 0 0 20 0 19 0 106243253 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140735553288656 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4862/statm: 2406260 193613 2293 9 0 2396937 0
[pid=4862/tid=4864] ppid=4859 vsize=9625040 CPUtime=1776.97 cores=1,3,5,7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 32365 0 -1 4202560 2553 0 1 0 177663 34 0 0 20 0 19 0 106243254 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402989629152 140402833919991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4865] ppid=4859 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 32365 0 -1 4202560 337 0 0 0 21 14 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402833221928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4866] ppid=4859 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 32365 0 -1 4202560 214 0 0 0 13 7 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402832169128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4867] ppid=4859 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 32365 0 -1 4202560 189 0 0 0 19 10 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402831116840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4868] ppid=4859 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 32365 0 -1 4202560 153 0 0 0 15 7 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402830064040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4869] ppid=4859 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 32365 0 -1 4202560 214 0 0 0 21 8 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402829011752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4870] ppid=4859 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 32365 0 -1 4202560 299 0 0 0 13 8 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402827958952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4871] ppid=4859 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 32365 0 -1 4202560 280 0 0 0 12 8 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402826906664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4872] ppid=4859 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 32365 0 -1 4202560 332 0 0 0 18 10 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402825853864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4873] ppid=4859 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 32365 0 -1 4202560 238 0 0 0 10 2 0 0 20 0 19 0 106243257 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402343524584 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4874] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402342470648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4875] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402341418248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4876] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402340366736 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4877] ppid=4859 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 32365 0 -1 4202560 2475 0 0 0 54 0 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402339314360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4878] ppid=4859 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 32365 0 -1 4202560 8162 0 0 0 75 2 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402338261560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4879] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402337209464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4880] ppid=4859 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 32365 0 -1 4202560 103 0 0 0 16 22 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402336156872 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4881] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106243422 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402335101864 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1785.24
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.20 2.25 2.22 4/213 5014
/proc/meminfo: memFree=29127252/32872528 swapFree=15844/1710320
[pid=4862] ppid=4859 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/4862/stat : 4862 (java) S 4859 4862 32365 0 -1 4202496 16807 0 1 0 179903 102 0 0 20 0 19 0 106243253 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140735553288656 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4862/statm: 2406260 193613 2293 9 0 2396937 0
[pid=4862/tid=4864] ppid=4859 vsize=9625040 CPUtime=1791.73 cores=1,3,5,7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 32365 0 -1 4202560 2553 0 1 0 179139 34 0 0 20 0 19 0 106243254 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402989629152 140402833918720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4865] ppid=4859 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 32365 0 -1 4202560 337 0 0 0 21 14 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402833221928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4866] ppid=4859 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 32365 0 -1 4202560 214 0 0 0 13 7 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402832169128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4867] ppid=4859 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 32365 0 -1 4202560 189 0 0 0 19 10 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402831116840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4868] ppid=4859 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 32365 0 -1 4202560 153 0 0 0 15 7 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402830064040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4869] ppid=4859 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 32365 0 -1 4202560 214 0 0 0 21 8 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402829011752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4870] ppid=4859 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 32365 0 -1 4202560 299 0 0 0 13 8 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402827958952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4871] ppid=4859 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 32365 0 -1 4202560 280 0 0 0 12 8 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402826906664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4872] ppid=4859 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 32365 0 -1 4202560 332 0 0 0 18 10 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402825853864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4873] ppid=4859 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 32365 0 -1 4202560 238 0 0 0 10 2 0 0 20 0 19 0 106243257 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402343524584 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4874] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402342470648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4875] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402341418248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4876] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402340366736 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4877] ppid=4859 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 32365 0 -1 4202560 2475 0 0 0 54 0 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402339314360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4878] ppid=4859 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 32365 0 -1 4202560 8162 0 0 0 75 2 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402338261560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4879] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402337209464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4880] ppid=4859 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 32365 0 -1 4202560 103 0 0 0 16 22 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402336156872 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4881] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106243422 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402335101864 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1797.1 s]
/proc/loadavg: 2.20 2.25 2.22 4/213 5014
/proc/meminfo: memFree=29127252/32872528 swapFree=15844/1710320
[pid=4862] ppid=4859 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/4862/stat : 4862 (java) S 4859 4862 32365 0 -1 4202496 16807 0 1 0 179903 102 0 0 20 0 19 0 106243253 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140735553288656 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4862/statm: 2406260 193613 2293 9 0 2396937 0
[pid=4862/tid=4864] ppid=4859 vsize=9625040 CPUtime=1791.73 cores=1,3,5,7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 32365 0 -1 4202560 2553 0 1 0 179139 34 0 0 20 0 19 0 106243254 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402989629152 140402833918720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4865] ppid=4859 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 32365 0 -1 4202560 337 0 0 0 21 14 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402833221928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4866] ppid=4859 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 32365 0 -1 4202560 214 0 0 0 13 7 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402832169128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4867] ppid=4859 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 32365 0 -1 4202560 189 0 0 0 19 10 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402831116840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4868] ppid=4859 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 32365 0 -1 4202560 153 0 0 0 15 7 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402830064040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4869] ppid=4859 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 32365 0 -1 4202560 214 0 0 0 21 8 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402829011752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4862/tid=4870] ppid=4859 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 32365 0 -1 4202560 299 0 0 0 13 8 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402827958952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4871] ppid=4859 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 32365 0 -1 4202560 280 0 0 0 12 8 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402826906664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4872] ppid=4859 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 32365 0 -1 4202560 332 0 0 0 18 10 0 0 20 0 19 0 106243255 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402825853864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4873] ppid=4859 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 32365 0 -1 4202560 238 0 0 0 10 2 0 0 20 0 19 0 106243257 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402343524584 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4874] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402342470648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4875] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106243257 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402341418248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4876] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402340366736 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4877] ppid=4859 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 32365 0 -1 4202560 2475 0 0 0 54 0 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402339314360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4862/tid=4878] ppid=4859 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 32365 0 -1 4202560 8162 0 0 0 75 2 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402338261560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4879] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402337209464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4862/tid=4880] ppid=4859 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 32365 0 -1 4202560 103 0 0 0 16 22 0 0 20 0 19 0 106243260 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402336156872 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4862/tid=4881] ppid=4859 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106243422 9856040960 193613 33554432000 1073741824 1073778376 140735553297520 140402335101864 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4862 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=658170
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=461777
# CPU time returned by wait4() is 1796.12
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.2
CPU time (s): 1800.05
CPU user time (s): 1799.03
CPU system time (s): 1.02
CPU usage (%): 100.159
Max. virtual memory (cumulated for all children) (KiB): 9626332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.66
system time used= 1.46178
maximum resident set size= 836468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16879
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38383
involuntary context switches= 9007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2534 second user time and 13.162 second system time

The end

Launcher Data 

Begin job on node146 at 2016-06-06 21:58:29
IDJOB=4085404
IDBENCH=2889
IDSOLVER=2546
FILE ID=node146/4085404-1465243109
RUNJOBID= node146-1465217554-32382
PBS_JOBID= 19843206
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085404-1465243109/watcher-4085404-1465243109 -o /tmp/evaluation-result-4085404-1465243109/solver-4085404-1465243109 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32382 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085404-1465243109.opb

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

MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0
RANDOM SEED=1569709001

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29946404 kB
Buffers:           36788 kB
Cached:           263316 kB
SwapCached:         1468 kB
Active:           284208 kB
Inactive:         228412 kB
Active(anon):     213204 kB
Inactive(anon):     1608 kB
Active(file):      71004 kB
Inactive(file):   226804 kB
Unevictable:     1710320 kB
Mlocked:           15844 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:             10568 kB
Writeback:             0 kB
AnonPages:       1922020 kB
Mapped:            15456 kB
Shmem:                 0 kB
Slab:             569628 kB
SReclaimable:      12948 kB
SUnreclaim:       556680 kB
KernelStack:        1600 kB
PageTables:         7780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2405948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1896448 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= 71724 MiB
End job on node146 at 2016-06-06 22:28:26