Trace number 4080924

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 Res+CP PB16SAT (TO)5473551 1800.1 898.367

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_6.opb
MD5SUM5083e4e53b2d6b5d7b03dffa57422dcf
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5473551
Best CPU time to get the best result obtained on this benchmark1800.1
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 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 54947189218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 54947189218
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

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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4080924-1465369430.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
1.42/0.62	c ... done. Wall clock time 0.498s.
1.42/0.62	c declared #vars     5100
1.42/0.62	c #constraints  12512
1.42/0.62	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.42/0.62	c constraints type 
1.42/0.62	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1.42/0.62	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.42/0.62	c org.sat4j.specs.Constr$1 => 2
1.42/0.62	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.42/0.62	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1.42/0.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
1.42/0.62	c 12512 constraints processed.
1.42/0.62	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.42/0.62	c constraints type 
1.42/0.62	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1.42/0.62	c org.sat4j.specs.Constr$1 => 2
1.42/0.62	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1.42/0.62	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.42/0.62	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1.42/0.62	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375
1.42/0.62	c 12512 constraints processed.
1.42/0.62	c objective function length is 4950 literals
2.19/0.86	c And the winner is solver0
2.51/1.13	c SATISFIABLE
2.51/1.13	c OPTIMIZING...
2.51/1.13	c Got one! Elapsed wall clock time (in seconds):1.008
2.51/1.13	o 5473551
5.39/2.27	c cleaning 2522 clauses out of 5067 with flag 10037/5067
8.12/3.58	c cleaning 4260 clauses out of 8546 with flag 22058/11068
11.12/5.05	c cleaning 5628 clauses out of 11285 with flag 36106/18067
14.76/6.80	c cleaning 6819 clauses out of 13659 with flag 52140/26069
19.08/8.91	c cleaning 7904 clauses out of 15838 with flag 70154/35067
23.92/11.35	c cleaning 8960 clauses out of 17934 with flag 91195/45067
28.75/13.73	c cleaning 9986 clauses out of 19976 with flag 116332/56069
34.75/16.67	c cleaning 10994 clauses out of 21988 with flag 144354/68067
41.22/19.86	c cleaning 11995 clauses out of 23995 with flag 174850/81068
48.02/23.26	c cleaning 12998 clauses out of 26001 with flag 208083/95069
56.15/27.25	c cleaning 13996 clauses out of 28002 with flag 242260/110068
64.54/31.40	c cleaning 14995 clauses out of 30005 with flag 279888/126067
72.54/35.45	c cleaning 16000 clauses out of 32010 with flag 315541/143067
81.24/39.77	c cleaning 17000 clauses out of 34011 with flag 352076/161068
91.23/44.71	c cleaning 18001 clauses out of 36012 with flag 394351/180069
102.23/50.28	c cleaning 19004 clauses out of 38009 with flag 436369/200067
114.83/56.55	c cleaning 20001 clauses out of 40006 with flag 481138/221068
127.76/62.99	c cleaning 20999 clauses out of 42005 with flag 528401/243068
138.16/68.20	c cleaning 21997 clauses out of 44006 with flag 574939/266068
149.95/74.07	c cleaning 23001 clauses out of 46008 with flag 623371/290067
162.15/80.14	c cleaning 23998 clauses out of 48008 with flag 673781/315068
176.15/87.12	c cleaning 24996 clauses out of 50009 with flag 726254/341067
192.55/95.35	c cleaning 26001 clauses out of 52014 with flag 780583/368068
209.70/103.87	c cleaning 26999 clauses out of 54014 with flag 836968/396069
228.30/113.16	c cleaning 28000 clauses out of 56013 with flag 895308/425067
247.90/122.93	c cleaning 29006 clauses out of 58015 with flag 956212/455069
269.23/133.52	c cleaning 30003 clauses out of 60009 with flag 1018742/486069
291.63/144.75	c cleaning 31000 clauses out of 62006 with flag 1083689/518069
312.82/155.38	c cleaning 32001 clauses out of 64006 with flag 1150103/551069
335.98/166.80	c cleaning 32999 clauses out of 66004 with flag 1218724/585068
359.00/178.39	c cleaning 34001 clauses out of 68006 with flag 1289363/620069
384.78/191.22	c cleaning 35002 clauses out of 70006 with flag 1361962/656070
415.17/206.36	c cleaning 36000 clauses out of 72001 with flag 1437534/693067
443.17/220.31	c cleaning 36997 clauses out of 74002 with flag 1514719/731068
470.65/234.05	c cleaning 37997 clauses out of 76004 with flag 1594086/770067
498.65/248.03	c cleaning 39001 clauses out of 78008 with flag 1675546/810068
530.94/264.16	c cleaning 39995 clauses out of 80006 with flag 1758959/851067
569.41/283.63	c cleaning 41005 clauses out of 82013 with flag 1844596/893069
602.90/300.40	c cleaning 41997 clauses out of 84007 with flag 1932176/936068
638.10/317.96	c cleaning 43001 clauses out of 86009 with flag 2021799/980067
676.97/337.38	c cleaning 44001 clauses out of 88009 with flag 2113580/1025068
716.49/357.01	c cleaning 45001 clauses out of 90008 with flag 2206581/1071068
757.96/377.76	c cleaning 46002 clauses out of 92007 with flag 2301831/1118068
800.01/398.79	c cleaning 46997 clauses out of 94005 with flag 2399825/1166068
842.09/419.72	c cleaning 47999 clauses out of 96008 with flag 2499895/1215068
885.02/441.53	c cleaning 49002 clauses out of 98008 with flag 2601389/1265067
930.09/464.07	c cleaning 50001 clauses out of 100007 with flag 2705471/1316068
973.77/485.81	c cleaning 51002 clauses out of 102006 with flag 2811049/1368068
1020.06/508.88	c cleaning 51998 clauses out of 104003 with flag 2918801/1421067
1068.23/532.83	c cleaning 53001 clauses out of 106005 with flag 3028402/1475067
1117.97/557.60	c cleaning 53997 clauses out of 108005 with flag 3139977/1530068
1178.94/588.40	c cleaning 55001 clauses out of 110007 with flag 3253769/1586067
1239.43/618.56	c cleaning 56000 clauses out of 112007 with flag 3369802/1643068
1299.66/648.54	c cleaning 56998 clauses out of 114007 with flag 3487473/1701068
1359.09/678.88	c cleaning 58004 clauses out of 116008 with flag 3607238/1760067
1412.62/705.40	c cleaning 58997 clauses out of 118004 with flag 3738447/1820067
1468.97/733.40	c cleaning 59998 clauses out of 120008 with flag 3873285/1881068
1523.11/760.45	c cleaning 60999 clauses out of 122009 with flag 4010449/1943067
1574.48/786.04	c cleaning 62002 clauses out of 124011 with flag 4148707/2006068
1630.83/814.09	c cleaning 63003 clauses out of 126009 with flag 4288271/2070068
1683.68/840.32	c cleaning 64002 clauses out of 128005 with flag 4426744/2135067
1735.39/866.19	c cleaning 65000 clauses out of 130003 with flag 4565811/2201067
1795.50/896.08	c cleaning 65995 clauses out of 132004 with flag 4712745/2268068
1800.10/898.30	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.10/898.30	c starts		: 16
1800.10/898.30	c conflicts		: 2275054
1800.10/898.30	c decisions		: 2503096
1800.10/898.30	c propagations		: 35379530
1800.10/898.30	c inspects		: 9738133676
1800.10/898.30	c shortcuts		: 0
1800.10/898.30	c learnt literals	: 0
1800.10/898.30	c learnt binary clauses	: 0
1800.10/898.30	c learnt ternary clauses	: 8
1800.10/898.30	c learnt constraints	: 2275054
1800.10/898.30	c ignored constraints	: 0
1800.10/898.30	c root simplifications	: 0
1800.10/898.30	c removed literals (reason simplification)	: 158073789
1800.10/898.30	c reason swapping (by a shorter reason)	: 0
1800.10/898.30	c Calls to reduceDB	: 63
1800.10/898.30	c Number of update (reduction) of LBD	: 28808
1800.10/898.30	c Imported unit clauses	: 0
1800.10/898.30	c number of reductions to clauses (during analyze)	: 0
1800.10/898.30	c number of learned constraints concerned by reduction	: 0
1800.10/898.30	c number of learning phase by resolution	: 0
1800.10/898.30	c number of learning phase by cutting planes	: 0
1800.10/898.30	c speed (assignments/second)	: 39413.37019984337
1800.10/898.30	c non guided choices	20
1800.10/898.33	c learnt constraints type 
1800.10/898.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 72995
1800.10/898.33	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.10/898.33	c starts		: 3
1800.10/898.33	c conflicts		: 1628
1800.10/898.33	c decisions		: 30155
1800.10/898.33	c propagations		: 1033670
1800.10/898.33	c inspects		: 84842572
1800.10/898.33	c shortcuts		: 0
1800.10/898.33	c learnt literals	: 0
1800.10/898.33	c learnt binary clauses	: 0
1800.10/898.33	c learnt ternary clauses	: 0
1800.10/898.33	c learnt constraints	: 1626
1800.10/898.33	c ignored constraints	: 0
1800.10/898.33	c root simplifications	: 0
1800.10/898.33	c removed literals (reason simplification)	: 0
1800.10/898.33	c reason swapping (by a shorter reason)	: 0
1800.10/898.33	c Calls to reduceDB	: 0
1800.10/898.33	c Number of update (reduction) of LBD	: 0
1800.10/898.33	c Imported unit clauses	: 0
1800.10/898.33	c number of reductions to clauses (during analyze)	: 0
1800.10/898.33	c number of learned constraints concerned by reduction	: 0
1800.10/898.33	c number of learning phase by resolution	: 0
1800.10/898.33	c number of learning phase by cutting planes	: 0
1800.10/898.33	c speed (assignments/second)	: 1152.1360890883293
1800.10/898.33	c non guided choices	0
1800.10/898.33	c learnt constraints type 
1800.10/898.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1626
1800.10/898.33	s SATISFIABLE
1800.10/898.33	c Found 1 solution(s)
1800.10/898.34	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.10/898.34	c objective function=5473551
1800.10/898.34	c Total wall clock time (in seconds): 898.228

Verifier Data 

OK	5473551

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-4080924-1465369430/watcher-4080924-1465369430 -o /tmp/evaluation-result-4080924-1465369430/solver-4080924-1465369430 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465369430-27012 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080924-1465369430.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.21 1.36 1.74 2/174 27042
/proc/meminfo: memFree=29711304/32872528 swapFree=17536/1464688
[pid=27042] ppid=27038 vsize=23172 CPUtime=0 cores=0,2,4,6
/proc/27042/stat : 27042 (java) R 27038 27042 22851 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 1 0 118876057 23728128 860 33554432000 1073741824 1073778376 140735927088560 140735927077624 227511914496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27042/statm: 6050 867 654 9 0 385 0
[pid=27042/tid=27044] ppid=27038 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27044/stat : 27044 (java) R 27038 27042 22851 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 2 0 118876057 91889664 879 33554432000 1073741824 1073778376 140735927088560 140735927077624 139965026592208 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100109 s]
/proc/loadavg: 1.21 1.36 1.74 2/174 27042
/proc/meminfo: memFree=29711304/32872528 swapFree=17536/1464688
[pid=27042] ppid=27038 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/27042/stat : 27042 (java) S 27038 27042 22851 0 -1 4202496 4429 0 1 0 9 1 0 0 20 0 18 0 118876057 9787879424 6046 33554432000 1073741824 1073778376 140735927088560 140735927079696 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27042/statm: 2389619 6046 2126 9 0 2380296 0
[pid=27042/tid=27044] ppid=27038 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/27042/task/27044/stat : 27044 (java) R 27038 27042 22851 0 -1 4202560 2383 0 1 0 6 1 0 0 20 0 18 0 118876057 9787879424 6046 33554432000 1073741824 1073778376 140735927088560 139965020044192 227515876515 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.200278 s]
/proc/loadavg: 1.21 1.36 1.74 2/174 27042
/proc/meminfo: memFree=29711304/32872528 swapFree=17536/1464688
[pid=27042] ppid=27038 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/27042/stat : 27042 (java) S 27038 27042 22851 0 -1 4202496 5066 0 1 0 28 1 0 0 20 0 18 0 118876057 9787879424 6859 33554432000 1073741824 1073778376 140735927088560 140735927079696 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27042/statm: 2389619 6859 2220 9 0 2380296 0
[pid=27042/tid=27044] ppid=27038 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/27042/task/27044/stat : 27044 (java) R 27038 27042 22851 0 -1 4202560 2398 0 1 0 16 1 0 0 20 0 18 0 118876057 9787879424 6859 33554432000 1073741824 1073778376 140735927088560 139965020044776 139964881192839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300304 s]
/proc/loadavg: 1.21 1.36 1.74 2/174 27042
/proc/meminfo: memFree=29711304/32872528 swapFree=17536/1464688
[pid=27042] ppid=27038 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/27042/stat : 27042 (java) S 27038 27042 22851 0 -1 4202496 7217 0 1 0 50 2 0 0 20 0 18 0 118876057 9787879424 11175 33554432000 1073741824 1073778376 140735927088560 140735927079696 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27042/statm: 2389619 11175 2231 9 0 2380296 0
[pid=27042/tid=27044] ppid=27038 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/27042/task/27044/stat : 27044 (java) R 27038 27042 22851 0 -1 4202560 2408 0 1 0 26 1 0 0 20 0 18 0 118876057 9787879424 11176 33554432000 1073741824 1073778376 140735927088560 139965020044776 139965023331219 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.700206 s]
/proc/loadavg: 1.21 1.36 1.74 2/174 27042
/proc/meminfo: memFree=29711304/32872528 swapFree=17536/1464688
[pid=27042] ppid=27038 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/27042/stat : 27042 (java) S 27038 27042 22851 0 -1 4202496 19840 0 1 0 175 4 0 0 20 0 22 0 118876057 10060525568 23494 33554432000 1073741824 1073778376 140735927088560 140735927079696 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27042/statm: 2456183 23494 2260 9 0 2446860 0
[pid=27042/tid=27044] ppid=27038 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/27042/task/27044/stat : 27044 (java) S 27038 27042 22851 0 -1 4202560 2436 0 1 0 58 2 0 0 20 0 22 0 118876057 10060525568 23494 33554432000 1073741824 1073778376 140735927088560 139965020046200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 9824732

[startup+1.50072 s]
/proc/loadavg: 1.21 1.36 1.74 4/212 27085
/proc/meminfo: memFree=29490336/32872528 swapFree=17536/1464688
[pid=27042] ppid=27038 vsize=9824732 CPUtime=3.68 cores=0,2,4,6
/proc/27042/stat : 27042 (java) S 27038 27042 22851 0 -1 4202496 21550 0 1 0 361 7 0 0 20 0 22 0 118876057 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 140735927079696 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27042/statm: 2456183 32880 2275 9 0 2446860 0
[pid=27042/tid=27044] ppid=27038 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/27042/task/27044/stat : 27044 (java) S 27038 27042 22851 0 -1 4202560 2439 0 1 0 60 2 0 0 20 0 22 0 118876057 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139965020046200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27051] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27051/stat : 27051 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964863998760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27054] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27054/stat : 27054 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964862945960 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27056] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27056/stat : 27056 (java) S 27038 27042 22851 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964861893672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27057] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27057/stat : 27057 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964860840872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27058] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27058/stat : 27058 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964859787560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27059] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27059/stat : 27059 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964858734760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27060] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27060/stat : 27060 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964857682472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27061] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27061/stat : 27061 (java) S 27038 27042 22851 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964856629672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27063] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27063/stat : 27063 (java) S 27038 27042 22851 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 118876059 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964844219112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27066] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27066/stat : 27066 (java) S 27038 27042 22851 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964843165176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27067] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27067/stat : 27067 (java) S 27038 27042 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964842112776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27069] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27069/stat : 27069 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964841061264 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27071] ppid=27038 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/27042/task/27071/stat : 27071 (java) S 27038 27042 22851 0 -1 4202560 11088 0 0 0 87 2 0 0 20 0 22 0 118876062 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964840007864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27073] ppid=27038 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/27042/task/27073/stat : 27073 (java) S 27038 27042 22851 0 -1 4202560 6670 0 0 0 93 0 0 0 20 0 22 0 118876062 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964838955064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27075] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27075/stat : 27075 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964837902968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27077] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27077/stat : 27077 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964836850376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27081] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27081/stat : 27081 (java) S 27038 27042 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876122 10060525568 32880 33554432000 1073741824 1073778376 140735927088560 139964832638504 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 9824732

[startup+3.10764 s]
/proc/loadavg: 1.43 1.41 1.75 5/217 27091
/proc/meminfo: memFree=29340200/32872528 swapFree=17536/1464688
[pid=27042] ppid=27038 vsize=9824732 CPUtime=7.24 cores=0,2,4,6
/proc/27042/stat : 27042 (java) S 27038 27042 22851 0 -1 4202496 21800 0 1 0 714 10 0 0 20 0 22 0 118876057 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 140735927079696 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27042/statm: 2456183 51405 2293 9 0 2446860 0
[pid=27042/tid=27044] ppid=27038 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/27042/task/27044/stat : 27044 (java) S 27038 27042 22851 0 -1 4202560 2439 0 1 0 60 2 0 0 20 0 22 0 118876057 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139965020046200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27051] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27051/stat : 27051 (java) R 27038 27042 22851 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964863998936 139965022516929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27054] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27054/stat : 27054 (java) R 27038 27042 22851 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964862945960 139965024221486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27056] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27056/stat : 27056 (java) R 27038 27042 22851 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964861893672 139965024221359 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27057] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27057/stat : 27057 (java) R 27038 27042 22851 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964860841048 139965026941868 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27058] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27058/stat : 27058 (java) S 27038 27042 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964859787560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27059] ppid=27038 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27042/task/27059/stat : 27059 (java) R 27038 27042 22851 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964858734760 227515872316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27060] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27060/stat : 27060 (java) R 27038 27042 22851 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964857682472 139965026941868 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27061] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27061/stat : 27061 (java) S 27038 27042 22851 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964856629672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27063] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27063/stat : 27063 (java) S 27038 27042 22851 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 118876059 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964844217992 227515872316 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27066] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27066/stat : 27066 (java) S 27038 27042 22851 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964843165176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27067] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27067/stat : 27067 (java) S 27038 27042 22851 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964842112776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27069] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27069/stat : 27069 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964841061264 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27071] ppid=27038 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/27042/task/27071/stat : 27071 (java) S 27038 27042 22851 0 -1 4202560 11092 0 0 0 106 2 0 0 20 0 22 0 118876062 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964840007864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27073] ppid=27038 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/27042/task/27073/stat : 27073 (java) S 27038 27042 22851 0 -1 4202560 6753 0 0 0 102 0 0 0 20 0 22 0 118876062 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964838955064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27075] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27075/stat : 27075 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964837902968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27077] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27077/stat : 27077 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964836850376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27081] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27081/stat : 27081 (java) S 27038 27042 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876122 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964832638504 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27086] ppid=27038 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/27042/task/27086/stat : 27086 (java) S 27038 27042 22851 0 -1 4202560 6 0 0 0 189 0 0 0 20 0 22 0 118876171 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964834740792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27087] ppid=27038 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/27042/task/27087/stat : 27087 (java) S 27038 27042 22851 0 -1 4202560 41 0 0 0 189 1 0 0 20 0 22 0 118876171 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964835794296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27088] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27088/stat : 27088 (java) S 27038 27042 22851 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118876172 10060525568 51405 33554432000 1073741824 1073778376 140735927088560 139964833690792 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 9824732

[startup+6.30091 s]
/proc/loadavg: 1.43 1.41 1.75 5/217 27091
/proc/meminfo: memFree=29239444/32872528 swapFree=17536/1464688
[pid=27042] ppid=27038 vsize=9824732 CPUtime=13.73 cores=0,2,4,6
/proc/27042/stat : 27042 (java) S 27038 27042 22851 0 -1 4202496 22170 0 1 0 1361 12 0 0 20 0 22 0 118876057 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 140735927079696 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27042/statm: 2456183 56781 2293 9 0 2446860 0
[pid=27042/tid=27044] ppid=27038 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/27042/task/27044/stat : 27044 (java) S 27038 27042 22851 0 -1 4202560 2439 0 1 0 60 2 0 0 20 0 22 0 118876057 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 139965020046200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27051] ppid=27038 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27042/task/27051/stat : 27051 (java) S 27038 27042 22851 0 -1 4202560 83 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 139964863998760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27054] ppid=27038 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/27042/task/27054/stat : 27054 (java) S 27038 27042 22851 0 -1 4202560 88 0 0 0 3 0 0 0 20 0 22 0 118876058 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 139964862945960 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27056] ppid=27038 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27042/task/27056/stat : 27056 (java) S 27038 27042 22851 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 139964861893672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27057] ppid=27038 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27042/task/27057/stat : 27057 (java) S 27038 27042 22851 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 139964860840872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27058] ppid=27038 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27042/task/27058/stat : 27058 (java) S 27038 27042 22851 0 -1 4202560 121 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 139964859787560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27059] ppid=27038 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/27042/task/27059/stat : 27059 (java) S 27038 27042 22851 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 118876058 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 139964858734760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27060] ppid=27038 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27042/task/27060/stat : 27060 (java) S 27038 27042 22851 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 139964857682472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27061] ppid=27038 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27042/task/27061/stat : 27061 (java) S 27038 27042 22851 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 139964856629672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27063] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27063/stat : 27063 (java) S 27038 27042 22851 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 118876059 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 139964844219112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27066] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27066/stat : 27066 (java) S 27038 27042 22851 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 56781 33554432000 1073741824 1073778376 140735927088560 139964843165176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27067] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

/proc/27042/task/27056/stat : 27056 (java) S 27038 27042 22851 0 -1 4202560 565 0 0 0 139 16 0 0 20 0 22 0 118876058 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964861893672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27057] ppid=27038 vsize=9824732 CPUtime=1.43 cores=0,2,4,6
/proc/27042/task/27057/stat : 27057 (java) S 27038 27042 22851 0 -1 4202560 507 0 0 0 130 13 0 0 20 0 22 0 118876058 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964860840872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27058] ppid=27038 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/27042/task/27058/stat : 27058 (java) S 27038 27042 22851 0 -1 4202560 749 0 0 0 140 16 0 0 20 0 22 0 118876058 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964859787560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27059] ppid=27038 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/27042/task/27059/stat : 27059 (java) S 27038 27042 22851 0 -1 4202560 611 0 0 0 160 20 0 0 20 0 22 0 118876058 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964858734760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27060] ppid=27038 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/27042/task/27060/stat : 27060 (java) S 27038 27042 22851 0 -1 4202560 435 0 0 0 140 18 0 0 20 0 22 0 118876058 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964857682472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27061] ppid=27038 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/27042/task/27061/stat : 27061 (java) S 27038 27042 22851 0 -1 4202560 648 0 0 0 136 17 0 0 20 0 22 0 118876058 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964856629672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27063] ppid=27038 vsize=9824732 CPUtime=3.77 cores=0,2,4,6
/proc/27042/task/27063/stat : 27063 (java) S 27038 27042 22851 0 -1 4202560 1219 0 0 0 370 7 0 0 20 0 22 0 118876059 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964844219112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27066] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27066/stat : 27066 (java) S 27038 27042 22851 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964843165176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27067] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27067/stat : 27067 (java) S 27038 27042 22851 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964842112776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27069] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27069/stat : 27069 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964841061264 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27071] ppid=27038 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/27042/task/27071/stat : 27071 (java) S 27038 27042 22851 0 -1 4202560 11092 0 0 0 124 2 0 0 20 0 22 0 118876062 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964840007864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27073] ppid=27038 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/27042/task/27073/stat : 27073 (java) S 27038 27042 22851 0 -1 4202560 6759 0 0 0 128 0 0 0 20 0 22 0 118876062 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964838955064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27075] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27075/stat : 27075 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964837902968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27077] ppid=27038 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/27042/task/27077/stat : 27077 (java) S 27038 27042 22851 0 -1 4202560 51 0 0 0 13 11 0 0 20 0 22 0 118876062 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964836850376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27081] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27081/stat : 27081 (java) S 27038 27042 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876122 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964832638504 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27086] ppid=27038 vsize=9824732 CPUtime=871.5 cores=0,2,4,6
/proc/27042/task/27086/stat : 27086 (java) R 27038 27042 22851 0 -1 4202560 53 0 0 0 87135 15 0 0 20 0 22 0 118876171 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964834741536 139964881911727 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27087] ppid=27038 vsize=9824732 CPUtime=871.61 cores=0,2,4,6
/proc/27042/task/27087/stat : 27087 (java) R 27038 27042 22851 0 -1 4202560 1118 0 0 0 87135 26 0 0 20 0 22 0 118876171 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964835792800 139964881851775 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27088] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27088/stat : 27088 (java) S 27038 27042 22851 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118876172 10060525568 381997 33554432000 1073741824 1073778376 140735927088560 139964833690792 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1767.95
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.301 s]
/proc/loadavg: 4.20 4.07 3.24 6/217 27111
/proc/meminfo: memFree=26931124/32872528 swapFree=17536/1464688
[pid=27042] ppid=27038 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/27042/stat : 27042 (java) S 27038 27042 22851 0 -1 4202496 28733 0 1 0 179835 175 0 0 20 0 22 0 118876057 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 140735927079696 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27042/statm: 2456183 382068 2302 9 0 2446860 0
[pid=27042/tid=27044] ppid=27038 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/27042/task/27044/stat : 27044 (java) S 27038 27042 22851 0 -1 4202560 2444 0 1 0 62 3 0 0 20 0 22 0 118876057 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139965020046200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27051] ppid=27038 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/27042/task/27051/stat : 27051 (java) S 27038 27042 22851 0 -1 4202560 549 0 0 0 154 18 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964863998760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27054] ppid=27038 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/27042/task/27054/stat : 27054 (java) S 27038 27042 22851 0 -1 4202560 572 0 0 0 144 16 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964862945960 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27056] ppid=27038 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/27042/task/27056/stat : 27056 (java) S 27038 27042 22851 0 -1 4202560 565 0 0 0 141 16 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964861893672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27057] ppid=27038 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/27042/task/27057/stat : 27057 (java) S 27038 27042 22851 0 -1 4202560 507 0 0 0 133 13 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964860840872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27058] ppid=27038 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/27042/task/27058/stat : 27058 (java) S 27038 27042 22851 0 -1 4202560 749 0 0 0 142 16 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964859787560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27059] ppid=27038 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/27042/task/27059/stat : 27059 (java) S 27038 27042 22851 0 -1 4202560 611 0 0 0 162 20 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964858734760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27060] ppid=27038 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/27042/task/27060/stat : 27060 (java) S 27038 27042 22851 0 -1 4202560 435 0 0 0 147 18 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964857682472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27061] ppid=27038 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/27042/task/27061/stat : 27061 (java) S 27038 27042 22851 0 -1 4202560 648 0 0 0 139 17 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964856629672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27063] ppid=27038 vsize=9824732 CPUtime=3.77 cores=0,2,4,6
/proc/27042/task/27063/stat : 27063 (java) S 27038 27042 22851 0 -1 4202560 1259 0 0 0 370 7 0 0 20 0 22 0 118876059 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964844219112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27066] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27066/stat : 27066 (java) S 27038 27042 22851 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964843165176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27067] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27067/stat : 27067 (java) S 27038 27042 22851 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964842112776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27069] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27069/stat : 27069 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964841061264 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27071] ppid=27038 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/27042/task/27071/stat : 27071 (java) S 27038 27042 22851 0 -1 4202560 11092 0 0 0 124 2 0 0 20 0 22 0 118876062 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964840007864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27073] ppid=27038 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/27042/task/27073/stat : 27073 (java) S 27038 27042 22851 0 -1 4202560 6759 0 0 0 128 0 0 0 20 0 22 0 118876062 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964838955064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27075] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27075/stat : 27075 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964837902968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27077] ppid=27038 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/27042/task/27077/stat : 27077 (java) S 27038 27042 22851 0 -1 4202560 51 0 0 0 14 11 0 0 20 0 22 0 118876062 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964836850376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27081] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27081/stat : 27081 (java) S 27038 27042 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876122 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964832638504 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27086] ppid=27038 vsize=9824732 CPUtime=887.37 cores=0,2,4,6
/proc/27042/task/27086/stat : 27086 (java) R 27038 27042 22851 0 -1 4202560 54 0 0 0 88722 15 0 0 20 0 22 0 118876171 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964834733840 139964881731393 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27087] ppid=27038 vsize=9824732 CPUtime=887.48 cores=0,2,4,6
/proc/27042/task/27087/stat : 27087 (java) R 27038 27042 22851 0 -1 4202560 1118 0 0 0 88722 26 0 0 20 0 22 0 118876171 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964835794112 139964881860523 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27088] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27088/stat : 27088 (java) S 27038 27042 22851 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118876172 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964833690792 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732

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 27042 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+898.301 s]
/proc/loadavg: 4.20 4.07 3.24 6/217 27111
/proc/meminfo: memFree=26931124/32872528 swapFree=17536/1464688
[pid=27042] ppid=27038 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/27042/stat : 27042 (java) S 27038 27042 22851 0 -1 4202496 28733 0 1 0 179835 175 0 0 20 0 22 0 118876057 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 140735927079696 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27042/statm: 2456183 382068 2302 9 0 2446860 0
[pid=27042/tid=27044] ppid=27038 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/27042/task/27044/stat : 27044 (java) S 27038 27042 22851 0 -1 4202560 2444 0 1 0 62 3 0 0 20 0 22 0 118876057 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139965020046200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27051] ppid=27038 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/27042/task/27051/stat : 27051 (java) S 27038 27042 22851 0 -1 4202560 549 0 0 0 154 18 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964863998760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27054] ppid=27038 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/27042/task/27054/stat : 27054 (java) S 27038 27042 22851 0 -1 4202560 572 0 0 0 144 16 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964862945960 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27056] ppid=27038 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/27042/task/27056/stat : 27056 (java) S 27038 27042 22851 0 -1 4202560 565 0 0 0 141 16 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964861893672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27057] ppid=27038 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/27042/task/27057/stat : 27057 (java) S 27038 27042 22851 0 -1 4202560 507 0 0 0 133 13 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964860840872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27058] ppid=27038 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/27042/task/27058/stat : 27058 (java) S 27038 27042 22851 0 -1 4202560 749 0 0 0 142 16 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964859787560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27059] ppid=27038 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/27042/task/27059/stat : 27059 (java) S 27038 27042 22851 0 -1 4202560 611 0 0 0 162 20 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964858734760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27060] ppid=27038 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/27042/task/27060/stat : 27060 (java) S 27038 27042 22851 0 -1 4202560 435 0 0 0 147 18 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964857682472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27061] ppid=27038 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/27042/task/27061/stat : 27061 (java) S 27038 27042 22851 0 -1 4202560 648 0 0 0 139 17 0 0 20 0 22 0 118876058 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964856629672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27063] ppid=27038 vsize=9824732 CPUtime=3.77 cores=0,2,4,6
/proc/27042/task/27063/stat : 27063 (java) S 27038 27042 22851 0 -1 4202560 1259 0 0 0 370 7 0 0 20 0 22 0 118876059 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964844219112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27066] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27066/stat : 27066 (java) S 27038 27042 22851 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964843165176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27067] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27067/stat : 27067 (java) S 27038 27042 22851 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964842112776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27069] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27069/stat : 27069 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964841061264 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27071] ppid=27038 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/27042/task/27071/stat : 27071 (java) S 27038 27042 22851 0 -1 4202560 11092 0 0 0 124 2 0 0 20 0 22 0 118876062 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964840007864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27073] ppid=27038 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/27042/task/27073/stat : 27073 (java) S 27038 27042 22851 0 -1 4202560 6759 0 0 0 128 0 0 0 20 0 22 0 118876062 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964838955064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27075] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27075/stat : 27075 (java) S 27038 27042 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964837902968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27077] ppid=27038 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/27042/task/27077/stat : 27077 (java) S 27038 27042 22851 0 -1 4202560 51 0 0 0 14 11 0 0 20 0 22 0 118876062 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964836850376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27042/tid=27081] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27081/stat : 27081 (java) S 27038 27042 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876122 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964832638504 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27042/tid=27086] ppid=27038 vsize=9824732 CPUtime=887.37 cores=0,2,4,6
/proc/27042/task/27086/stat : 27086 (java) R 27038 27042 22851 0 -1 4202560 54 0 0 0 88722 15 0 0 20 0 22 0 118876171 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964834733840 139964881731393 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27042/tid=27087] ppid=27038 vsize=9824732 CPUtime=887.48 cores=0,2,4,6
/proc/27042/task/27087/stat : 27087 (java) R 27038 27042 22851 0 -1 4202560 1118 0 0 0 88722 26 0 0 20 0 22 0 118876171 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964835794112 139964881860523 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27042/tid=27088] ppid=27038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27042/task/27088/stat : 27088 (java) S 27038 27042 22851 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118876172 10060525568 382068 33554432000 1073741824 1073778376 140735927088560 139964833690792 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27042 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=798301
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=162671
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 898.367
CPU time (s): 1800.1
CPU user time (s): 1798.35
CPU system time (s): 1.75
CPU usage (%): 200.375
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.8
system time used= 2.16267
maximum resident set size= 1528384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28768
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23623
involuntary context switches= 25272

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52301 second user time and 5.66614 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-08 09:03:50
IDJOB=4080924
IDBENCH=92750
IDSOLVER=2543
FILE ID=node121/4080924-1465369430
RUNJOBID= node121-1465369430-27012
PBS_JOBID= 19853394
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_6.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080924-1465369430/watcher-4080924-1465369430 -o /tmp/evaluation-result-4080924-1465369430/solver-4080924-1465369430 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465369430-27012 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080924-1465369430.opb

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

MD5SUM BENCH= 5083e4e53b2d6b5d7b03dffa57422dcf
RANDOM SEED=300931738

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
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.54
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.050
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:        29712236 kB
Buffers:          175580 kB
Cached:           775704 kB
SwapCached:         1672 kB
Active:           443244 kB
Inactive:         510464 kB
Active(anon):       2848 kB
Inactive(anon):     2736 kB
Active(file):     440396 kB
Inactive(file):   507728 kB
Unevictable:     1464688 kB
Mlocked:           17536 kB
SwapTotal:      67108856 kB
SwapFree:       67099348 kB
Dirty:              2688 kB
Writeback:             8 kB
AnonPages:       1473620 kB
Mapped:             7020 kB
Shmem:                 0 kB
Slab:             607972 kB
SReclaimable:      52448 kB
SUnreclaim:       555524 kB
KernelStack:        1368 kB
PageTables:         6348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1551376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1456128 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= 71728 MiB
End job on node121 at 2016-06-08 09:18:49