Trace number 4085000

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)3372641 1800.01 1794.95

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_0.opb
MD5SUMd0955493ad3dd18776a949983101631a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2928469
Best CPU time to get the best result obtained on this benchmark1800.55
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 153130375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 41352812606
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 153130375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 41352812606
Number of bits of the biggest sum of numbers36
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4085000-1465346546.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.82/0.46	c ... done. Wall clock time 0.353s.
0.82/0.46	c declared #vars     5100
0.82/0.46	c #constraints  12512
0.82/0.46	c constraints type 
0.82/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
0.82/0.46	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
0.82/0.46	c org.sat4j.specs.Constr$1 => 2
0.82/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
0.82/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
0.82/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
0.82/0.46	c 12512 constraints processed.
0.82/0.46	c objective function length is 4950 literals
1.41/0.63	c SATISFIABLE
1.41/0.63	c OPTIMIZING...
1.41/0.63	c Got one! Elapsed wall clock time (in seconds):0.526
1.41/0.63	o 3384081
1.70/0.70	c Got one! Elapsed wall clock time (in seconds):0.59
1.70/0.70	o 3382841
1.70/0.73	c Got one! Elapsed wall clock time (in seconds):0.622
1.70/0.73	o 3380737
1.70/0.75	c Got one! Elapsed wall clock time (in seconds):0.645
1.70/0.75	o 3380417
1.70/0.77	c Got one! Elapsed wall clock time (in seconds):0.663
1.70/0.77	o 3372641
2.98/1.77	c cleaning 2527 clauses out of 5077 with flag 10024/5077
4.30/2.98	c cleaning 4275 clauses out of 8550 with flag 22078/11077
5.71/4.34	c cleaning 5637 clauses out of 11274 with flag 36650/18076
7.22/5.89	c cleaning 6819 clauses out of 13637 with flag 53244/26076
9.05/7.63	c cleaning 7910 clauses out of 15819 with flag 71878/35077
10.95/9.55	c cleaning 8953 clauses out of 17910 with flag 92359/45078
13.05/11.68	c cleaning 9979 clauses out of 19957 with flag 114999/56078
15.46/14.05	c cleaning 10984 clauses out of 21977 with flag 139636/68077
18.17/16.73	c cleaning 11995 clauses out of 23993 with flag 166374/81077
21.05/19.56	c cleaning 12993 clauses out of 25997 with flag 195114/95076
23.95/22.44	c cleaning 14001 clauses out of 28005 with flag 226082/110077
27.15/25.64	c cleaning 14998 clauses out of 30003 with flag 258944/126076
30.45/28.92	c cleaning 16003 clauses out of 32005 with flag 293563/143076
34.15/32.62	c cleaning 16998 clauses out of 34003 with flag 330662/161077
38.05/36.51	c cleaning 17999 clauses out of 36004 with flag 369751/180076
42.05/40.59	c cleaning 18997 clauses out of 38005 with flag 411116/200076
46.55/45.00	c cleaning 20001 clauses out of 40009 with flag 454160/221077
51.30/49.78	c cleaning 21000 clauses out of 42007 with flag 499017/243076
56.41/54.83	c cleaning 21998 clauses out of 44008 with flag 546497/266077
61.91/60.30	c cleaning 22999 clauses out of 46010 with flag 595543/290077
67.62/66.09	c cleaning 24001 clauses out of 48010 with flag 646332/315076
73.71/72.13	c cleaning 25002 clauses out of 50009 with flag 699340/341076
80.10/78.42	c cleaning 25996 clauses out of 52007 with flag 754379/368076
86.20/84.58	c cleaning 26999 clauses out of 54012 with flag 812413/396077
92.90/91.20	c cleaning 28003 clauses out of 56012 with flag 872380/425076
100.11/98.46	c cleaning 29001 clauses out of 58010 with flag 934242/455077
107.71/106.04	c cleaning 30005 clauses out of 60009 with flag 997616/486077
116.01/114.22	c cleaning 30996 clauses out of 62003 with flag 1063057/518076
124.31/122.57	c cleaning 32004 clauses out of 64007 with flag 1130518/551076
133.82/132.10	c cleaning 32998 clauses out of 66004 with flag 1199674/585077
143.31/141.56	c cleaning 34002 clauses out of 68005 with flag 1271148/620076
152.83/150.97	c cleaning 35000 clauses out of 70004 with flag 1344187/656077
162.33/160.48	c cleaning 36000 clauses out of 72003 with flag 1419612/693076
172.73/170.87	c cleaning 36999 clauses out of 74005 with flag 1497145/731078
182.63/180.78	c cleaning 38002 clauses out of 76005 with flag 1577539/770077
192.85/190.84	c cleaning 38995 clauses out of 78002 with flag 1659987/810076
203.46/201.43	c cleaning 40003 clauses out of 80008 with flag 1744094/851077
216.05/214.09	c cleaning 40997 clauses out of 82005 with flag 1829380/893077
229.09/226.98	c cleaning 42000 clauses out of 84008 with flag 1917226/936077
242.79/240.69	c cleaning 42997 clauses out of 86007 with flag 2006647/980076
256.59/254.45	c cleaning 43996 clauses out of 88010 with flag 2098481/1025076
271.02/268.70	c cleaning 45007 clauses out of 90015 with flag 2191852/1071077
285.13/282.87	c cleaning 45993 clauses out of 92007 with flag 2288154/1118076
299.12/296.87	c cleaning 47003 clauses out of 94014 with flag 2386168/1166076
314.54/312.16	c cleaning 48001 clauses out of 96011 with flag 2485674/1215076
330.45/328.06	c cleaning 48998 clauses out of 98011 with flag 2587487/1265077
346.57/344.01	c cleaning 50001 clauses out of 100014 with flag 2691206/1316078
362.57/360.00	c cleaning 51001 clauses out of 102011 with flag 2797659/1368076
381.06/378.37	c cleaning 52001 clauses out of 104010 with flag 2906244/1421076
398.77/396.03	c cleaning 52998 clauses out of 106010 with flag 3016306/1475077
415.32/412.57	c cleaning 53999 clauses out of 108012 with flag 3129815/1530077
431.51/428.71	c cleaning 55004 clauses out of 110012 with flag 3245729/1586076
450.10/447.26	c cleaning 56005 clauses out of 112009 with flag 3362952/1643077
469.50/466.65	c cleaning 57001 clauses out of 114005 with flag 3481675/1701078
492.53/489.51	c cleaning 57996 clauses out of 116002 with flag 3601807/1760076
517.12/514.16	c cleaning 59002 clauses out of 118007 with flag 3723760/1820077
542.09/539.09	c cleaning 59998 clauses out of 120004 with flag 3848457/1881076
570.46/567.32	c cleaning 61001 clauses out of 122007 with flag 3974204/1943077
598.55/595.48	c cleaning 61996 clauses out of 124005 with flag 4102438/2006076
627.45/624.25	c cleaning 62999 clauses out of 126009 with flag 4232456/2070076
654.18/650.94	c cleaning 63999 clauses out of 128012 with flag 4365127/2135078
681.48/678.27	c cleaning 64999 clauses out of 130011 with flag 4500083/2201076
713.02/709.73	c cleaning 66004 clauses out of 132012 with flag 4635725/2268076
739.19/735.83	c cleaning 66998 clauses out of 134008 with flag 4774108/2336076
769.68/766.33	c cleaning 68001 clauses out of 136011 with flag 4914104/2405077
800.43/797.05	c cleaning 68998 clauses out of 138009 with flag 5056281/2475076
833.30/829.89	c cleaning 70000 clauses out of 140012 with flag 5201004/2546077
862.07/858.53	c cleaning 71002 clauses out of 142011 with flag 5349181/2618076
895.76/892.17	c cleaning 72000 clauses out of 144009 with flag 5498251/2691076
926.16/922.53	c cleaning 73001 clauses out of 146010 with flag 5650307/2765077
961.91/958.29	c cleaning 73999 clauses out of 148008 with flag 5802903/2840076
989.25/985.51	c cleaning 75001 clauses out of 150010 with flag 5959906/2916077
1023.79/1020.02	c cleaning 76000 clauses out of 152008 with flag 6117395/2993076
1063.17/1059.32	c cleaning 76998 clauses out of 154009 with flag 6275833/3071077
1106.09/1102.23	c cleaning 78002 clauses out of 156011 with flag 6436255/3150077
1145.10/1141.22	c cleaning 79002 clauses out of 158009 with flag 6599122/3230077
1181.74/1177.83	c cleaning 79998 clauses out of 160006 with flag 6764799/3311076
1225.06/1221.19	c cleaning 81001 clauses out of 162009 with flag 6932288/3393077
1271.45/1267.42	c cleaning 82001 clauses out of 164008 with flag 7100533/3476077
1312.94/1308.84	c cleaning 83000 clauses out of 166007 with flag 7270801/3560077
1357.20/1353.02	c cleaning 84004 clauses out of 168007 with flag 7443339/3645077
1398.33/1394.15	c cleaning 84995 clauses out of 170004 with flag 7619564/3731078
1438.32/1434.00	c cleaning 85999 clauses out of 172007 with flag 7797929/3818076
1475.79/1471.48	c cleaning 86999 clauses out of 174010 with flag 7978798/3906078
1518.31/1513.86	c cleaning 87997 clauses out of 176010 with flag 8160638/3995077
1562.67/1558.04	c cleaning 88997 clauses out of 178012 with flag 8344466/4085076
1611.76/1607.07	c cleaning 90002 clauses out of 180016 with flag 8530118/4176077
1662.18/1657.37	c cleaning 91001 clauses out of 182014 with flag 8717099/4268077
1717.43/1712.44	c cleaning 92002 clauses out of 184012 with flag 8905557/4361076
1784.10/1779.09	c cleaning 92998 clauses out of 186010 with flag 9096014/4455076
1800.01/1794.90	c starts		: 7
1800.01/1794.90	c conflicts		: 4487096
1800.01/1794.90	c decisions		: 5043987
1800.01/1794.90	c propagations		: 64023393
1800.01/1794.90	c inspects		: 21755715927
1800.01/1794.90	c shortcuts		: 0
1800.01/1794.90	c learnt literals	: 0
1800.01/1794.90	c learnt binary clauses	: 0
1800.01/1794.90	c learnt ternary clauses	: 0
1800.01/1794.90	c learnt constraints	: 4487096
1800.01/1794.90	c ignored constraints	: 0
1800.01/1794.90	c root simplifications	: 0
1800.01/1794.90	c removed literals (reason simplification)	: 0
1800.01/1794.90	c reason swapping (by a shorter reason)	: 0
1800.01/1794.90	c Calls to reduceDB	: 90
1800.01/1794.90	c Number of update (reduction) of LBD	: 102382
1800.01/1794.90	c Imported unit clauses	: 0
1800.01/1794.90	c number of reductions to clauses (during analyze)	: 0
1800.01/1794.90	c number of learned constraints concerned by reduction	: 0
1800.01/1794.90	c number of learning phase by resolution	: 0
1800.01/1794.90	c number of learning phase by cutting planes	: 0
1800.01/1794.90	c speed (assignments/second)	: 35679.23658727965
1800.01/1794.90	c non guided choices	5
1800.01/1794.93	c learnt constraints type 
1800.01/1794.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 125033
1800.01/1794.93	s SATISFIABLE
1800.01/1794.93	c Found 5 solution(s)
1800.01/1794.94	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 
1800.01/1794.95	c objective function=3372641
1800.01/1794.95	c Total wall clock time (in seconds): 1794.839

Verifier Data 

OK	3372641

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-4085000-1465346546/watcher-4085000-1465346546 -o /tmp/evaluation-result-4085000-1465346546/solver-4085000-1465346546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465339364-19291 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085000-1465346546.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.19 2.18 3/194 20090
/proc/meminfo: memFree=29567000/32872528 swapFree=14448/1543360
[pid=20090] ppid=20087 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20087 20090 19275 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 116588211 98570240 978 33554432000 1073741824 1073778376 140737078761264 140737078752400 266439000125 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20090/statm: 24065 978 744 9 0 16771 0
[pid=20090/tid=20091] ppid=20087 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) R 20087 20090 19275 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 116588211 98570240 978 33554432000 1073741824 1073778376 140737078761264 140471833267752 266435642752 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100096 s]
/proc/loadavg: 2.26 2.19 2.18 3/194 20090
/proc/meminfo: memFree=29567000/32872528 swapFree=14448/1543360
[pid=20090] ppid=20087 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20087 20090 19275 0 -1 4202496 4408 0 1 0 9 1 0 0 20 0 18 0 116588211 9787879424 6037 33554432000 1073741824 1073778376 140737078761264 140737078752400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20090/statm: 2389619 6038 2134 9 0 2380296 0
[pid=20090/tid=20091] ppid=20087 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) R 20087 20090 19275 0 -1 4202560 2374 0 1 0 7 0 0 0 20 0 18 0 116588211 9787879424 6038 33554432000 1073741824 1073778376 140737078761264 140471833271200 140471839672839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200318 s]
/proc/loadavg: 2.26 2.19 2.18 3/194 20090
/proc/meminfo: memFree=29567000/32872528 swapFree=14448/1543360
[pid=20090] ppid=20087 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20087 20090 19275 0 -1 4202496 5046 0 1 0 29 1 0 0 20 0 18 0 116588211 9787879424 6933 33554432000 1073741824 1073778376 140737078761264 140737078752400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20090/statm: 2389619 6933 2221 9 0 2380296 0
[pid=20090/tid=20091] ppid=20087 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) R 20087 20090 19275 0 -1 4202560 2391 0 1 0 17 0 0 0 20 0 18 0 116588211 9787879424 6933 33554432000 1073741824 1073778376 140737078761264 140471833271200 140471687024339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300323 s]
/proc/loadavg: 2.26 2.19 2.18 3/194 20090
/proc/meminfo: memFree=29567000/32872528 swapFree=14448/1543360
[pid=20090] ppid=20087 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20087 20090 19275 0 -1 4202496 7537 0 1 0 50 2 0 0 20 0 18 0 116588211 9787879424 11013 33554432000 1073741824 1073778376 140737078761264 140737078752400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20090/statm: 2389619 11014 2234 9 0 2380296 0
[pid=20090/tid=20091] ppid=20087 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) R 20087 20090 19275 0 -1 4202560 2401 0 1 0 26 1 0 0 20 0 18 0 116588211 9787879424 11017 33554432000 1073741824 1073778376 140737078761264 140471833256952 140471687001568 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700209 s]
/proc/loadavg: 2.26 2.19 2.18 3/194 20090
/proc/meminfo: memFree=29567000/32872528 swapFree=14448/1543360
[pid=20090] ppid=20087 vsize=9625040 CPUtime=1.7 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20087 20090 19275 0 -1 4202496 11739 0 1 0 167 3 0 0 20 0 19 0 116588211 9856040960 18203 33554432000 1073741824 1073778376 140737078761264 140737078752400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20090/statm: 2406260 18203 2264 9 0 2396937 0
[pid=20090/tid=20091] ppid=20087 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) R 20087 20090 19275 0 -1 4202560 2423 0 1 0 66 1 0 0 20 0 19 0 116588211 9856040960 18203 33554432000 1073741824 1073778376 140737078761264 140471833269392 140471687746976 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.24 2.19 2.18 3/213 20109
/proc/meminfo: memFree=29492092/32872528 swapFree=14448/1543360
[pid=20090] ppid=20087 vsize=9625040 CPUtime=2.76 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20087 20090 19275 0 -1 4202496 11750 0 1 0 272 4 0 0 20 0 19 0 116588211 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140737078752400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20090/statm: 2406260 21280 2269 9 0 2396937 0
[pid=20090/tid=20091] ppid=20087 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) R 20087 20090 19275 0 -1 4202560 2429 0 1 0 144 2 0 0 20 0 19 0 116588211 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471833272808 140471687770664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20093/stat : 20093 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471805725480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20094] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20094/stat : 20094 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471675955880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20095] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20095/stat : 20095 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471674903592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20096] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20096/stat : 20096 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471673850792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20097] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20097/stat : 20097 (java) S 20087 20090 19275 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471672797480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20098] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20098/stat : 20098 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471671744680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20099] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20099/stat : 20099 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471334595112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20100] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20100/stat : 20100 (java) S 20087 20090 19275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471333542312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20101] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20101/stat : 20101 (java) S 20087 20090 19275 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116588213 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471321344744 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20102] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20102/stat : 20102 (java) S 20087 20090 19275 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471320290808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20103] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20103/stat : 20103 (java) S 20087 20090 19275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471319238408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20104] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20104/stat : 20104 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471318186896 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20105] ppid=20087 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/20090/task/20105/stat : 20105 (java) S 20087 20090 19275 0 -1 4202560 5242 0 0 0 62 0 0 0 20 0 19 0 116588216 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471317133496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20106] ppid=20087 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/20090/task/20106/stat : 20106 (java) S 20087 20090 19275 0 -1 4202560 2801 0 0 0 62 0 0 0 20 0 19 0 116588216 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471316080696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20107] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20107/stat : 20107 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471315028600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20108] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20108/stat : 20108 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471313976008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20109] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20109/stat : 20109 (java) S 20087 20090 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116588260 9856040960 21280 33554432000 1073741824 1073778376 140737078761264 140471312922024 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.24 2.19 2.18 3/213 20109
/proc/meminfo: memFree=29485328/32872528 swapFree=14448/1543360
[pid=20090] ppid=20087 vsize=9625040 CPUtime=4.5 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20087 20090 19275 0 -1 4202496 11997 0 1 0 446 4 0 0 20 0 19 0 116588211 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140737078752400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20090/statm: 2406260 23359 2274 9 0 2396937 0
[pid=20090/tid=20091] ppid=20087 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) R 20087 20090 19275 0 -1 4202560 2435 0 1 0 304 2 0 0 20 0 19 0 116588211 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471833263840 140471687491583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20093/stat : 20093 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471805725480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20094] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20094/stat : 20094 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471675955880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20095] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20095/stat : 20095 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471674903592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20096] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20096/stat : 20096 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471673850792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20097] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20097/stat : 20097 (java) S 20087 20090 19275 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471672797480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20098] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20098/stat : 20098 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471671744680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20099] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20099/stat : 20099 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471334595112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20100] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20100/stat : 20100 (java) S 20087 20090 19275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471333542312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20101] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20101/stat : 20101 (java) S 20087 20090 19275 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 116588213 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471321344744 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20102] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20102/stat : 20102 (java) S 20087 20090 19275 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471320290808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20103] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20103/stat : 20103 (java) S 20087 20090 19275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471319238408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20104] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20104/stat : 20104 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471318186896 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20105] ppid=20087 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/20090/task/20105/stat : 20105 (java) S 20087 20090 19275 0 -1 4202560 5244 0 0 0 65 0 0 0 20 0 19 0 116588216 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471317133496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20106] ppid=20087 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/20090/task/20106/stat : 20106 (java) S 20087 20090 19275 0 -1 4202560 3039 0 0 0 74 0 0 0 20 0 19 0 116588216 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471316080696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20107] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20107/stat : 20107 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471315028600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20108] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20108/stat : 20108 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471313976008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20109] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20109/stat : 20109 (java) S 20087 20090 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116588260 9856040960 23359 33554432000 1073741824 1073778376 140737078761264 140471312922024 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 9625040

[startup+6.30074 s]
/proc/loadavg: 2.24 2.19 2.18 3/213 20109
/proc/meminfo: memFree=29467460/32872528 swapFree=14448/1543360
[pid=20090] ppid=20087 vsize=9625040 CPUtime=7.75 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20087 20090 19275 0 -1 4202496 12008 0 1 0 771 4 0 0 20 0 19 0 116588211 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140737078752400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20090/statm: 2406260 27599 2274 9 0 2396937 0
[pid=20090/tid=20091] ppid=20087 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) R 20087 20090 19275 0 -1 4202560 2446 0 1 0 623 2 0 0 20 0 19 0 116588211 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471833272760 140471687770603 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20093/stat : 20093 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471805725480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20094] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20094/stat : 20094 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471675955880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20095] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20095/stat : 20095 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471674903592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20096] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20096/stat : 20096 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471673850792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20097] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20097/stat : 20097 (java) S 20087 20090 19275 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471672797480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20098] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20098/stat : 20098 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471671744680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20099] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20099/stat : 20099 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471334595112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20100] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20100/stat : 20100 (java) S 20087 20090 19275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116588212 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471333542312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20101] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20101/stat : 20101 (java) S 20087 20090 19275 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 116588213 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471321344744 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20102] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20102/stat : 20102 (java) S 20087 20090 19275 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471320290808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20103] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20103/stat : 20103 (java) S 20087 20090 19275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471319238408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20104] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20104/stat : 20104 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471318186896 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20105] ppid=20087 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/20090/task/20105/stat : 20105 (java) S 20087 20090 19275 0 -1 4202560 5244 0 0 0 68 0 0 0 20 0 19 0 116588216 9856040960 27599 33554432000 1073741824 1073778376 140737078761264 140471317133496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20106] ppid=20087 vsize=9625040 CPUtime=0.76 cores=0,2,4,6

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

[pid=20090/tid=20109] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20109/stat : 20109 (java) S 20087 20090 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116588260 9856040960 123882 33554432000 1073741824 1073778376 140737078761264 140471312922024 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1727.32
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.15 2.23 2.19 3/214 20242
/proc/meminfo: memFree=29090716/32872528 swapFree=14448/1543360
[pid=20090] ppid=20087 vsize=9625040 CPUtime=1787.41 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20087 20090 19275 0 -1 4202496 14981 0 1 0 178660 81 0 0 20 0 19 0 116588211 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140737078752400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20090/statm: 2406260 122889 2296 9 0 2396937 0
[pid=20090/tid=20091] ppid=20087 vsize=9625040 CPUtime=1775.65 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) R 20087 20090 19275 0 -1 4202560 2528 0 1 0 177533 32 0 0 20 0 19 0 116588211 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471833271520 140471687676320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/20090/task/20093/stat : 20093 (java) S 20087 20090 19275 0 -1 4202560 473 0 0 0 45 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471805725480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20094] ppid=20087 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/20090/task/20094/stat : 20094 (java) S 20087 20090 19275 0 -1 4202560 375 0 0 0 62 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471675955880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20095] ppid=20087 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/20090/task/20095/stat : 20095 (java) S 20087 20090 19275 0 -1 4202560 260 0 0 0 50 4 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471674903592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20096] ppid=20087 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/20090/task/20096/stat : 20096 (java) S 20087 20090 19275 0 -1 4202560 250 0 0 0 54 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471673850792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20097] ppid=20087 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/20090/task/20097/stat : 20097 (java) S 20087 20090 19275 0 -1 4202560 278 0 0 0 59 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471672797480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20098] ppid=20087 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/20090/task/20098/stat : 20098 (java) S 20087 20090 19275 0 -1 4202560 409 0 0 0 52 6 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471671744680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20099] ppid=20087 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/20090/task/20099/stat : 20099 (java) S 20087 20090 19275 0 -1 4202560 190 0 0 0 58 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471334595112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20100] ppid=20087 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/20090/task/20100/stat : 20100 (java) S 20087 20090 19275 0 -1 4202560 325 0 0 0 53 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471333542312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20101] ppid=20087 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/20090/task/20101/stat : 20101 (java) S 20087 20090 19275 0 -1 4202560 241 0 0 0 47 2 0 0 20 0 19 0 116588213 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471321344744 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20102] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20102/stat : 20102 (java) S 20087 20090 19275 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471320290808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20103] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20103/stat : 20103 (java) S 20087 20090 19275 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471319238408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20104] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20104/stat : 20104 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471318186896 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20105] ppid=20087 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/20090/task/20105/stat : 20105 (java) S 20087 20090 19275 0 -1 4202560 5247 0 0 0 73 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471317133496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20106] ppid=20087 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/20090/task/20106/stat : 20106 (java) S 20087 20090 19275 0 -1 4202560 3039 0 0 0 76 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471316080696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20107] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20107/stat : 20107 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471315028600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20108] ppid=20087 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/20090/task/20108/stat : 20108 (java) S 20087 20090 19275 0 -1 4202560 103 0 0 0 34 26 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471313976008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20109] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20109/stat : 20109 (java) S 20087 20090 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116588260 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471312922024 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.9 s]
/proc/loadavg: 2.21 2.24 2.20 3/214 20242
/proc/meminfo: memFree=29068004/32872528 swapFree=14448/1543360
[pid=20090] ppid=20087 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20087 20090 19275 0 -1 4202496 14981 0 1 0 179920 81 0 0 20 0 19 0 116588211 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140737078752400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20090/statm: 2406260 122889 2296 9 0 2396937 0
[pid=20090/tid=20091] ppid=20087 vsize=9625040 CPUtime=1788.21 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) R 20087 20090 19275 0 -1 4202560 2528 0 1 0 178788 33 0 0 20 0 19 0 116588211 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471833271520 140471687770656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/20090/task/20093/stat : 20093 (java) S 20087 20090 19275 0 -1 4202560 473 0 0 0 45 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471805725480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20094] ppid=20087 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/20090/task/20094/stat : 20094 (java) S 20087 20090 19275 0 -1 4202560 375 0 0 0 62 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471675955880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20095] ppid=20087 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/20090/task/20095/stat : 20095 (java) S 20087 20090 19275 0 -1 4202560 260 0 0 0 50 4 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471674903592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20096] ppid=20087 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/20090/task/20096/stat : 20096 (java) S 20087 20090 19275 0 -1 4202560 250 0 0 0 54 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471673850792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20097] ppid=20087 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/20090/task/20097/stat : 20097 (java) S 20087 20090 19275 0 -1 4202560 278 0 0 0 59 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471672797480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20098] ppid=20087 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/20090/task/20098/stat : 20098 (java) S 20087 20090 19275 0 -1 4202560 409 0 0 0 52 6 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471671744680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20099] ppid=20087 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/20090/task/20099/stat : 20099 (java) S 20087 20090 19275 0 -1 4202560 190 0 0 0 58 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471334595112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20100] ppid=20087 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/20090/task/20100/stat : 20100 (java) S 20087 20090 19275 0 -1 4202560 325 0 0 0 53 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471333542312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20101] ppid=20087 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/20090/task/20101/stat : 20101 (java) S 20087 20090 19275 0 -1 4202560 241 0 0 0 47 2 0 0 20 0 19 0 116588213 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471321344744 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20102] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20102/stat : 20102 (java) S 20087 20090 19275 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471320290808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20103] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20103/stat : 20103 (java) S 20087 20090 19275 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471319238408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20104] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20104/stat : 20104 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471318186896 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20105] ppid=20087 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/20090/task/20105/stat : 20105 (java) S 20087 20090 19275 0 -1 4202560 5247 0 0 0 73 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471317133496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20106] ppid=20087 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/20090/task/20106/stat : 20106 (java) S 20087 20090 19275 0 -1 4202560 3039 0 0 0 76 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471316080696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20107] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20107/stat : 20107 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471315028600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20108] ppid=20087 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/20090/task/20108/stat : 20108 (java) S 20087 20090 19275 0 -1 4202560 103 0 0 0 34 26 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471313976008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20109] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20109/stat : 20109 (java) S 20087 20090 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116588260 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471312922024 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 20090 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1794.9 s]
/proc/loadavg: 2.21 2.24 2.20 3/214 20242
/proc/meminfo: memFree=29068004/32872528 swapFree=14448/1543360
[pid=20090] ppid=20087 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20087 20090 19275 0 -1 4202496 14981 0 1 0 179920 81 0 0 20 0 19 0 116588211 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140737078752400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20090/statm: 2406260 122889 2296 9 0 2396937 0
[pid=20090/tid=20091] ppid=20087 vsize=9625040 CPUtime=1788.21 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) R 20087 20090 19275 0 -1 4202560 2528 0 1 0 178788 33 0 0 20 0 19 0 116588211 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471833271520 140471687770656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/20090/task/20093/stat : 20093 (java) S 20087 20090 19275 0 -1 4202560 473 0 0 0 45 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471805725480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20094] ppid=20087 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/20090/task/20094/stat : 20094 (java) S 20087 20090 19275 0 -1 4202560 375 0 0 0 62 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471675955880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20095] ppid=20087 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/20090/task/20095/stat : 20095 (java) S 20087 20090 19275 0 -1 4202560 260 0 0 0 50 4 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471674903592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20096] ppid=20087 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/20090/task/20096/stat : 20096 (java) S 20087 20090 19275 0 -1 4202560 250 0 0 0 54 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471673850792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20097] ppid=20087 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/20090/task/20097/stat : 20097 (java) S 20087 20090 19275 0 -1 4202560 278 0 0 0 59 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471672797480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20098] ppid=20087 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/20090/task/20098/stat : 20098 (java) S 20087 20090 19275 0 -1 4202560 409 0 0 0 52 6 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471671744680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20099] ppid=20087 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/20090/task/20099/stat : 20099 (java) S 20087 20090 19275 0 -1 4202560 190 0 0 0 58 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471334595112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20100] ppid=20087 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/20090/task/20100/stat : 20100 (java) S 20087 20090 19275 0 -1 4202560 325 0 0 0 53 7 0 0 20 0 19 0 116588212 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471333542312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20101] ppid=20087 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/20090/task/20101/stat : 20101 (java) S 20087 20090 19275 0 -1 4202560 241 0 0 0 47 2 0 0 20 0 19 0 116588213 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471321344744 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20090/tid=20102] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20102/stat : 20102 (java) S 20087 20090 19275 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471320290808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20103] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20103/stat : 20103 (java) S 20087 20090 19275 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116588214 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471319238408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20104] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20104/stat : 20104 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471318186896 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20105] ppid=20087 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/20090/task/20105/stat : 20105 (java) S 20087 20090 19275 0 -1 4202560 5247 0 0 0 73 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471317133496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20090/tid=20106] ppid=20087 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/20090/task/20106/stat : 20106 (java) S 20087 20090 19275 0 -1 4202560 3039 0 0 0 76 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471316080696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20107] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20107/stat : 20107 (java) S 20087 20090 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471315028600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20090/tid=20108] ppid=20087 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/20090/task/20108/stat : 20108 (java) S 20087 20090 19275 0 -1 4202560 103 0 0 0 34 26 0 0 20 0 19 0 116588216 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471313976008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20090/tid=20109] ppid=20087 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20109/stat : 20109 (java) S 20087 20090 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116588260 9856040960 122889 33554432000 1073741824 1073778376 140737078761264 140471312922024 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1794.95
CPU time (s): 1800.01
CPU user time (s): 1799.2
CPU system time (s): 0.81
CPU usage (%): 100.282
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.76
system time used= 1.27481
maximum resident set size= 613016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15017
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39503
involuntary context switches= 20474

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5822 second user time and 12.4241 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-08 02:42:26
IDJOB=4085000
IDBENCH=92760
IDSOLVER=2546
FILE ID=node116/4085000-1465346546
RUNJOBID= node116-1465339364-19291
PBS_JOBID= 19853403
Free space on /tmp= 71640 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_0.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085000-1465346546/watcher-4085000-1465346546 -o /tmp/evaluation-result-4085000-1465346546/solver-4085000-1465346546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465339364-19291 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085000-1465346546.opb

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

MD5SUM BENCH= d0955493ad3dd18776a949983101631a
RANDOM SEED=310549791

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.134
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		: 2667.134
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:        29568056 kB
Buffers:          173268 kB
Cached:           668420 kB
SwapCached:         1868 kB
Active:           422304 kB
Inactive:         591480 kB
Active(anon):     172456 kB
Inactive(anon):     2004 kB
Active(file):     249848 kB
Inactive(file):   589476 kB
Unevictable:     1543360 kB
Mlocked:           14448 kB
SwapTotal:      67108856 kB
SwapFree:       67099072 kB
Dirty:              3512 kB
Writeback:             0 kB
AnonPages:       1719036 kB
Mapped:            16432 kB
Shmem:                 0 kB
Slab:             610100 kB
SReclaimable:      54032 kB
SUnreclaim:       556068 kB
KernelStack:        1648 kB
PageTables:         7464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2361652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1681408 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= 71640 MiB
End job on node116 at 2016-06-08 03:12:21