Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 1613627391 | 1800.29 | 990.054 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
| MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1205862294 |
| Best CPU time to get the best result obtained on this benchmark | 1800.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1207959552 |
| Optimality of the best value was proved | NO |
| Number of variables | 6651 |
| Total number of constraints | 721 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 331 |
| Number of constraints which are nor clauses,nor cardinality constraints | 390 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 6651 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1073741824 |
| Number of bits of the biggest number in a constraint | 31 |
| Biggest sum of numbers in a constraint | 26715880447 |
| Number of bits of the biggest sum of numbers | 35 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.10 c version 2.3.2.v20120418 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.12 c Pseudo Boolean Optimization by upper bound 0.07/0.12 c ManyCore solver with 2 solvers running in parallel 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.12 c Expensive reason simplification 0.07/0.12 c Armin Biere (Picosat) restarts strategy 0.07/0.12 c Glucose learned constraints deletion strategy 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c c --- End Solver configuration --- 0.07/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.12 c No reason simplification 0.07/0.12 c Armin Biere (Picosat) restarts strategy 0.07/0.12 c Glucose learned constraints deletion strategy 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c c --- End Solver configuration --- 0.07/0.12 c solving HOME/instance-3687974-1337875179.opb 0.07/0.12 c reading problem ... 1.26/0.79 c ... done. Wall clock time 0.672s. 1.26/0.79 c declared #vars 6651 1.26/0.79 c #constraints 721 1.26/0.79 c constraints type 1.26/0.80 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51 1.26/0.80 c org.sat4j.minisat.constraints.card.MinWatchCard => 331 1.26/0.80 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 339 1.26/0.80 c 721 constraints processed. 1.26/0.80 c constraints type 1.26/0.80 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 1.26/0.80 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 1.26/0.80 c org.sat4j.pb.constraints.pb.MaxWatchPb => 339 1.26/0.80 c 721 constraints processed. 1.26/0.80 c objective function length is 31 literals 2.13/1.10 c And the winner is solver0 2.59/1.30 c SATISFIABLE 2.59/1.30 c OPTIMIZING... 2.59/1.30 c Got one! Elapsed wall clock time (in seconds):1.177 2.59/1.30 o 2130706432 3.23/1.58 c And the winner is solver1 3.46/1.80 c Got one! Elapsed wall clock time (in seconds):1.681 3.46/1.80 o 2130706431 3.91/2.03 c And the winner is solver1 4.06/2.31 c Got one! Elapsed wall clock time (in seconds):2.182 4.06/2.31 o 2130706430 4.60/2.58 c And the winner is solver1 4.80/2.81 c Got one! Elapsed wall clock time (in seconds):2.683 4.80/2.81 o 2130706429 5.22/3.05 c And the winner is solver1 5.42/3.31 c Got one! Elapsed wall clock time (in seconds):3.183 5.42/3.31 o 2130706428 5.79/3.53 c And the winner is solver1 5.89/3.81 c Got one! Elapsed wall clock time (in seconds):3.684 5.89/3.81 o 2130706427 6.29/4.03 c And the winner is solver1 6.39/4.31 c Got one! Elapsed wall clock time (in seconds):4.184 6.39/4.31 o 2130706426 6.57/4.43 c And the winner is solver1 6.65/4.81 c Got one! Elapsed wall clock time (in seconds):4.685 6.65/4.81 o 2130706425 7.02/5.06 c And the winner is solver1 7.17/5.31 c Got one! Elapsed wall clock time (in seconds):5.186 7.17/5.31 o 2130706424 7.62/5.56 c And the winner is solver1 7.76/5.81 c Got one! Elapsed wall clock time (in seconds):5.686 7.76/5.81 o 2130706423 8.13/6.01 c And the winner is solver1 8.20/6.31 c Got one! Elapsed wall clock time (in seconds):6.187 8.20/6.31 o 2130706422 8.61/6.55 c And the winner is solver1 8.78/6.81 c Got one! Elapsed wall clock time (in seconds):6.687 8.78/6.81 o 2130706421 18.46/11.62 c And the winner is solver1 18.54/11.81 c Got one! Elapsed wall clock time (in seconds):11.689 18.54/11.81 o 2130706420 18.92/12.04 c And the winner is solver1 19.04/12.31 c Got one! Elapsed wall clock time (in seconds):12.189 19.04/12.31 o 2130706419 19.48/12.58 c And the winner is solver1 19.67/12.81 c Got one! Elapsed wall clock time (in seconds):12.69 19.67/12.81 o 2130706418 20.07/13.02 c And the winner is solver1 20.15/13.31 c Got one! Elapsed wall clock time (in seconds):13.191 20.15/13.31 o 2130706417 20.57/13.54 c And the winner is solver1 20.69/13.81 c Got one! Elapsed wall clock time (in seconds):13.691 20.69/13.81 o 2130706416 21.05/14.03 c And the winner is solver1 21.15/14.31 c Got one! Elapsed wall clock time (in seconds):14.192 21.15/14.31 o 2130706415 21.52/14.53 c And the winner is solver1 21.62/14.82 c Got one! Elapsed wall clock time (in seconds):14.692 21.62/14.82 o 2130706414 21.98/15.02 c And the winner is solver1 22.06/15.32 c Got one! Elapsed wall clock time (in seconds):15.193 22.06/15.32 o 2130706413 22.42/15.53 c And the winner is solver1 22.51/15.82 c Got one! Elapsed wall clock time (in seconds):15.693 22.51/15.82 o 2130706412 22.87/16.03 c And the winner is solver1 22.97/16.32 c Got one! Elapsed wall clock time (in seconds):16.194 22.97/16.32 o 2130706411 23.38/16.56 c And the winner is solver1 23.53/16.82 c Got one! Elapsed wall clock time (in seconds):16.694 23.53/16.82 o 2130706410 23.89/17.03 c And the winner is solver1 23.98/17.32 c Got one! Elapsed wall clock time (in seconds):17.195 23.98/17.32 o 2130706409 24.35/17.53 c And the winner is solver1 24.43/17.82 c Got one! Elapsed wall clock time (in seconds):17.695 24.43/17.82 o 2130706408 35.38/23.38 c And the winner is solver1 35.58/23.82 c Got one! Elapsed wall clock time (in seconds):23.697 35.58/23.82 o 2130706407 39.53/25.85 c And the winner is solver1 39.66/26.32 c Got one! Elapsed wall clock time (in seconds):26.198 39.66/26.32 o 2130706406 40.01/26.56 c And the winner is solver1 40.16/26.82 c Got one! Elapsed wall clock time (in seconds):26.699 40.16/26.82 o 2130706405 40.55/27.08 c And the winner is solver1 40.73/27.32 c Got one! Elapsed wall clock time (in seconds):27.2 40.73/27.32 o 2130706404 41.08/27.54 c And the winner is solver1 41.18/27.82 c Got one! Elapsed wall clock time (in seconds):27.701 41.18/27.82 o 2130706403 41.53/28.05 c And the winner is solver1 41.65/28.32 c Got one! Elapsed wall clock time (in seconds):28.201 41.65/28.32 o 2130706402 42.01/28.54 c And the winner is solver1 42.12/28.83 c Got one! Elapsed wall clock time (in seconds):28.702 42.12/28.83 o 2130706401 42.46/29.05 c And the winner is solver1 42.62/29.33 c Got one! Elapsed wall clock time (in seconds):29.203 42.62/29.33 o 2130706400 42.96/29.54 c And the winner is solver1 43.07/29.83 c Got one! Elapsed wall clock time (in seconds):29.703 43.07/29.83 o 2130706399 43.40/30.04 c And the winner is solver1 43.53/30.33 c Got one! Elapsed wall clock time (in seconds):30.204 43.53/30.33 o 2130706398 45.66/31.41 c And the winner is solver1 45.71/31.83 c Got one! Elapsed wall clock time (in seconds):31.705 45.71/31.83 o 2130706397 48.65/33.33 c And the winner is solver1 48.75/33.83 c Got one! Elapsed wall clock time (in seconds):33.706 48.75/33.83 o 2130706396 51.69/35.35 c And the winner is solver1 51.81/35.83 c Got one! Elapsed wall clock time (in seconds):35.707 51.81/35.83 o 2130706395 54.81/37.35 c And the winner is solver1 54.95/37.83 c Got one! Elapsed wall clock time (in seconds):37.707 54.95/37.83 o 2130706394 57.68/39.20 c And the winner is solver1 57.73/39.33 c Got one! Elapsed wall clock time (in seconds):39.208 57.73/39.33 o 2130706393 60.47/40.71 c And the winner is solver1 60.50/40.83 c Got one! Elapsed wall clock time (in seconds):40.709 60.50/40.83 o 2130706392 60.83/41.06 c And the winner is solver1 60.98/41.33 c Got one! Elapsed wall clock time (in seconds):41.21 60.98/41.33 o 2130706391 61.32/41.55 c And the winner is solver1 61.46/41.83 c Got one! Elapsed wall clock time (in seconds):41.71 61.46/41.83 o 2130706390 61.78/42.06 c And the winner is solver1 61.94/42.33 c Got one! Elapsed wall clock time (in seconds):42.211 61.94/42.33 o 2130706389 62.26/42.56 c And the winner is solver1 62.41/42.83 c Got one! Elapsed wall clock time (in seconds):42.712 62.41/42.83 o 2130706388 62.72/43.05 c And the winner is solver1 62.86/43.34 c Got one! Elapsed wall clock time (in seconds):43.212 62.86/43.34 o 2130706387 63.17/43.59 c And the winner is solver1 63.39/43.84 c Got one! Elapsed wall clock time (in seconds):43.713 63.39/43.84 o 2130706386 63.72/44.07 c And the winner is solver1 63.89/44.34 c Got one! Elapsed wall clock time (in seconds):44.213 63.89/44.34 o 2130706385 67.21/46.01 c And the winner is solver1 67.25/46.34 c Got one! Elapsed wall clock time (in seconds):46.214 67.25/46.34 o 2130706384 67.77/46.67 c And the winner is solver1 67.92/46.84 c Got one! Elapsed wall clock time (in seconds):46.715 67.92/46.84 o 2130706383 68.24/47.08 c And the winner is solver1 68.44/47.34 c Got one! Elapsed wall clock time (in seconds):47.215 68.44/47.34 o 2130706382 71.81/49.03 c And the winner is solver1 71.91/49.37 c Got one! Elapsed wall clock time (in seconds):49.246 71.91/49.37 o 2130706381 72.36/49.60 c And the winner is solver1 72.41/49.87 c Got one! Elapsed wall clock time (in seconds):49.746 72.41/49.87 o 2130706380 72.66/50.10 c And the winner is solver1 72.89/50.37 c Got one! Elapsed wall clock time (in seconds):50.247 72.89/50.37 o 2130706379 89.94/58.95 c And the winner is solver1 90.08/59.37 c Got one! Elapsed wall clock time (in seconds):59.249 90.08/59.37 o 2130706378 90.53/59.60 c And the winner is solver1 90.58/59.87 c Got one! Elapsed wall clock time (in seconds):59.749 90.58/59.87 o 2130706377 99.68/64.40 c And the winner is solver1 99.70/64.88 c Got one! Elapsed wall clock time (in seconds):64.753 99.70/64.88 o 2130706376 104.54/67.36 c And the winner is solver1 104.70/67.43 c Got one! Elapsed wall clock time (in seconds):67.304 104.70/67.43 o 2130706375 109.66/69.94 c And the winner is solver1 109.77/70.43 c Got one! Elapsed wall clock time (in seconds):70.305 109.77/70.43 o 2130706374 114.70/72.93 c And the winner is solver1 114.80/73.43 c Got one! Elapsed wall clock time (in seconds):73.306 114.80/73.43 o 2130706373 119.76/75.94 c And the winner is solver1 119.85/76.43 c Got one! Elapsed wall clock time (in seconds):76.307 119.85/76.43 o 2130706372 124.82/78.97 c And the winner is solver1 124.99/79.43 c Got one! Elapsed wall clock time (in seconds):79.308 124.99/79.43 o 2130706371 129.92/81.93 c And the winner is solver1 130.02/82.43 c Got one! Elapsed wall clock time (in seconds):82.309 130.02/82.43 o 2130706370 134.95/84.94 c And the winner is solver1 135.07/85.43 c Got one! Elapsed wall clock time (in seconds):85.31 135.07/85.43 o 2130706369 135.39/85.68 c And the winner is solver1 135.59/85.93 c Got one! Elapsed wall clock time (in seconds):85.811 135.59/85.93 o 2130706368 142.71/89.52 c And the winner is solver1 142.79/89.94 c Got one! Elapsed wall clock time (in seconds):89.812 142.79/89.94 o 2130706367 157.93/97.57 c And the winner is solver1 158.12/97.94 c Got one! Elapsed wall clock time (in seconds):97.814 158.12/97.94 o 2130706366 163.24/100.52 c And the winner is solver1 163.30/100.94 c Got one! Elapsed wall clock time (in seconds):100.815 163.30/100.94 o 2130706365 163.83/101.21 c And the winner is solver1 163.85/101.44 c Got one! Elapsed wall clock time (in seconds):101.315 163.85/101.44 o 2130706364 171.79/105.50 c And the winner is solver1 172.03/105.95 c Got one! Elapsed wall clock time (in seconds):105.83 172.03/105.95 o 2130706363 189.93/114.95 c cleaning 9840 clauses out of 19684 with flag 2001/19685 211.61/125.84 c And the winner is solver1 211.74/126.21 c Got one! Elapsed wall clock time (in seconds):126.087 211.74/126.21 o 2130706362 231.31/136.05 c And the winner is solver1 231.45/136.21 c Got one! Elapsed wall clock time (in seconds):136.089 231.45/136.21 o 2130706361 233.83/137.42 c And the winner is solver1 233.89/137.71 c Got one! Elapsed wall clock time (in seconds):137.59 233.89/137.71 o 2130706360 235.27/138.46 c And the winner is solver1 235.41/138.71 c Got one! Elapsed wall clock time (in seconds):138.59 235.41/138.71 o 2130706359 249.58/145.89 c cleaning 8218 clauses out of 16440 with flag 1001/26281 262.98/152.61 c And the winner is solver1 263.05/152.72 c Got one! Elapsed wall clock time (in seconds):152.593 263.05/152.72 o 2130706358 263.43/152.99 c And the winner is solver1 263.61/153.22 c Got one! Elapsed wall clock time (in seconds):153.093 263.61/153.22 o 2130706357 282.21/162.52 c And the winner is solver1 282.29/162.72 c Got one! Elapsed wall clock time (in seconds):162.595 282.29/162.72 o 2130706356 298.26/170.76 c And the winner is solver1 298.41/171.22 c Got one! Elapsed wall clock time (in seconds):171.098 298.41/171.22 o 2130706355 300.56/172.37 c And the winner is solver1 300.74/172.72 c Got one! Elapsed wall clock time (in seconds):172.599 300.74/172.72 o 2130706354 301.10/172.99 c And the winner is solver1 301.29/173.22 c Got one! Elapsed wall clock time (in seconds):173.1 301.29/173.22 o 2130706353 301.64/173.49 c And the winner is solver1 301.85/173.72 c Got one! Elapsed wall clock time (in seconds):173.6 301.85/173.72 o 2130706352 302.40/174.00 c And the winner is solver1 302.43/174.22 c Got one! Elapsed wall clock time (in seconds):174.101 302.43/174.22 o 2130706351 302.78/174.47 c And the winner is solver1 302.96/174.72 c Got one! Elapsed wall clock time (in seconds):174.601 302.96/174.72 o 2130706350 303.32/174.99 c And the winner is solver1 303.51/175.23 c Got one! Elapsed wall clock time (in seconds):175.102 303.51/175.23 o 2130706349 303.86/175.49 c And the winner is solver1 304.08/175.73 c Got one! Elapsed wall clock time (in seconds):175.603 304.08/175.73 o 2130706348 304.43/175.99 c And the winner is solver1 304.62/176.23 c Got one! Elapsed wall clock time (in seconds):176.103 304.62/176.23 o 2130706347 305.18/176.54 c And the winner is solver1 305.30/176.73 c Got one! Elapsed wall clock time (in seconds):176.604 305.30/176.73 o 2130706346 305.85/177.01 c And the winner is solver1 305.88/177.23 c Got one! Elapsed wall clock time (in seconds):177.104 305.88/177.23 o 2130706345 306.21/177.49 c And the winner is solver1 306.44/177.73 c Got one! Elapsed wall clock time (in seconds):177.605 306.44/177.73 o 2130706344 306.97/178.06 c And the winner is solver1 307.13/178.23 c Got one! Elapsed wall clock time (in seconds):178.105 307.13/178.23 o 2130706343 307.66/178.51 c And the winner is solver1 307.72/178.73 c Got one! Elapsed wall clock time (in seconds):178.606 307.72/178.73 o 2130706342 310.65/180.28 c And the winner is solver1 310.85/180.73 c Got one! Elapsed wall clock time (in seconds):180.607 310.85/180.73 o 2130706341 311.38/181.01 c And the winner is solver1 311.43/181.23 c Got one! Elapsed wall clock time (in seconds):181.107 311.43/181.23 o 2130706340 312.76/181.97 c And the winner is solver1 312.94/182.23 c Got one! Elapsed wall clock time (in seconds):182.108 312.94/182.23 o 2130706339 314.27/182.97 c And the winner is solver1 314.45/183.23 c Got one! Elapsed wall clock time (in seconds):183.108 314.45/183.23 o 2130706338 316.03/184.02 c And the winner is solver1 316.10/184.23 c Got one! Elapsed wall clock time (in seconds):184.109 316.10/184.23 o 2130706337 317.43/184.92 c And the winner is solver1 317.50/185.23 c Got one! Elapsed wall clock time (in seconds):185.11 317.50/185.23 o 2130706336 318.84/185.92 c And the winner is solver1 318.90/186.23 c Got one! Elapsed wall clock time (in seconds):186.11 318.90/186.23 o 2130706335 320.24/186.93 c And the winner is solver1 320.31/187.23 c Got one! Elapsed wall clock time (in seconds):187.111 320.31/187.23 o 2130706334 321.63/187.94 c And the winner is solver1 321.74/188.23 c Got one! Elapsed wall clock time (in seconds):188.111 321.74/188.23 o 2130706333 323.06/188.94 c And the winner is solver1 323.18/189.24 c Got one! Elapsed wall clock time (in seconds):189.112 323.18/189.24 o 2130706332 324.50/189.94 c And the winner is solver1 324.61/190.24 c Got one! Elapsed wall clock time (in seconds):190.112 324.61/190.24 o 2130706331 325.93/190.94 c And the winner is solver1 326.05/191.24 c Got one! Elapsed wall clock time (in seconds):191.113 326.05/191.24 o 2130706330 327.41/191.98 c And the winner is solver1 327.60/192.24 c Got one! Elapsed wall clock time (in seconds):192.114 327.60/192.24 o 2130706329 328.92/192.95 c And the winner is solver1 329.05/193.24 c Got one! Elapsed wall clock time (in seconds):193.114 329.05/193.24 o 2130706328 329.58/193.54 c And the winner is solver1 329.68/193.74 c Got one! Elapsed wall clock time (in seconds):193.615 329.68/193.74 o 2130706327 331.00/194.46 c And the winner is solver1 331.14/194.74 c Got one! Elapsed wall clock time (in seconds):194.616 331.14/194.74 o 2130706326 332.45/195.46 c And the winner is solver1 332.61/195.74 c Got one! Elapsed wall clock time (in seconds):195.617 332.61/195.74 o 2130706325 333.93/196.47 c And the winner is solver1 334.11/196.74 c Got one! Elapsed wall clock time (in seconds):196.618 334.11/196.74 o 2130706324 335.42/197.45 c And the winner is solver1 335.57/197.74 c Got one! Elapsed wall clock time (in seconds):197.618 335.57/197.74 o 2130706323 336.88/198.49 c And the winner is solver1 337.09/198.74 c Got one! Elapsed wall clock time (in seconds):198.619 337.09/198.74 o 2130706322 338.63/199.54 c And the winner is solver1 338.75/199.74 c Got one! Elapsed wall clock time (in seconds):199.62 338.75/199.74 o 2130706321 339.26/200.07 c And the winner is solver1 339.43/200.24 c Got one! Elapsed wall clock time (in seconds):200.121 339.43/200.24 o 2130706320 340.94/201.03 c And the winner is solver1 341.02/201.24 c Got one! Elapsed wall clock time (in seconds):201.121 341.02/201.24 o 2130706319 342.32/201.99 c And the winner is solver1 342.53/202.25 c Got one! Elapsed wall clock time (in seconds):202.122 342.53/202.25 o 2130706318 344.03/203.00 c And the winner is solver1 344.06/203.25 c Got one! Elapsed wall clock time (in seconds):203.123 344.06/203.25 o 2130706317 345.56/204.02 c And the winner is solver1 345.64/204.25 c Got one! Elapsed wall clock time (in seconds):204.124 345.64/204.25 o 2130706316 347.14/205.03 c And the winner is solver1 347.23/205.25 c Got one! Elapsed wall clock time (in seconds):205.125 347.23/205.25 o 2130706315 348.79/206.07 c And the winner is solver1 348.95/206.25 c Got one! Elapsed wall clock time (in seconds):206.125 348.95/206.25 o 2130706314 350.44/207.03 c And the winner is solver1 350.54/207.25 c Got one! Elapsed wall clock time (in seconds):207.126 350.54/207.25 o 2130706313 351.23/207.64 c And the winner is solver1 351.34/207.75 c Got one! Elapsed wall clock time (in seconds):207.627 351.34/207.75 o 2130706312 351.83/208.08 c And the winner is solver1 352.03/208.25 c Got one! Elapsed wall clock time (in seconds):208.128 352.03/208.25 o 2130706311 352.52/208.57 c And the winner is solver1 352.69/208.75 c Got one! Elapsed wall clock time (in seconds):208.628 352.69/208.75 o 2130706310 354.38/209.61 c And the winner is solver1 354.43/209.75 c Got one! Elapsed wall clock time (in seconds):209.629 354.43/209.75 o 2130706309 356.11/210.61 c And the winner is solver1 356.18/210.75 c Got one! Elapsed wall clock time (in seconds):210.63 356.18/210.75 o 2130706308 356.66/211.08 c And the winner is solver1 356.90/211.25 c Got one! Elapsed wall clock time (in seconds):211.13 356.90/211.25 o 2130706307 357.38/211.55 c And the winner is solver1 357.51/211.75 c Got one! Elapsed wall clock time (in seconds):211.631 357.51/211.75 o 2130706306 359.79/212.98 c And the winner is solver1 359.99/213.25 c Got one! Elapsed wall clock time (in seconds):213.132 359.99/213.25 o 2130706305 361.47/214.02 c And the winner is solver1 361.55/214.26 c Got one! Elapsed wall clock time (in seconds):214.132 361.55/214.26 o 2130706304 363.23/215.11 c And the winner is solver1 363.28/215.26 c Got one! Elapsed wall clock time (in seconds):215.133 363.28/215.26 o 2130706303 364.96/216.11 c And the winner is solver1 365.01/216.26 c Got one! Elapsed wall clock time (in seconds):216.134 365.01/216.26 o 2130706302 366.68/217.12 c And the winner is solver1 366.75/217.26 c Got one! Elapsed wall clock time (in seconds):217.135 366.75/217.26 o 2130706301 367.48/217.66 c And the winner is solver1 367.62/217.76 c Got one! Elapsed wall clock time (in seconds):217.635 367.62/217.76 o 2130706300 368.29/218.15 c And the winner is solver1 368.43/218.26 c Got one! Elapsed wall clock time (in seconds):218.136 368.43/218.26 o 2130706299 369.90/219.06 c And the winner is solver1 370.06/219.26 c Got one! Elapsed wall clock time (in seconds):219.136 370.06/219.26 o 2130706298 370.53/219.59 c And the winner is solver1 370.74/219.76 c Got one! Elapsed wall clock time (in seconds):219.637 370.74/219.76 o 2130706297 371.22/220.05 c And the winner is solver1 371.35/220.26 c Got one! Elapsed wall clock time (in seconds):220.138 371.35/220.26 o 2130706296 371.82/220.57 c And the winner is solver1 371.99/220.76 c Got one! Elapsed wall clock time (in seconds):220.638 371.99/220.76 o 2130706295 372.47/221.06 c And the winner is solver1 372.60/221.26 c Got one! Elapsed wall clock time (in seconds):221.139 372.60/221.26 o 2130706294 376.90/223.43 c And the winner is solver1 376.99/223.76 c Got one! Elapsed wall clock time (in seconds):223.639 376.99/223.76 o 2130706293 385.06/227.81 c And the winner is solver1 385.13/228.26 c Got one! Elapsed wall clock time (in seconds):228.141 385.13/228.26 o 2130706292 386.59/229.05 c And the winner is solver1 386.72/229.26 c Got one! Elapsed wall clock time (in seconds):229.141 386.72/229.26 o 2130706291 392.01/231.90 c And the winner is solver1 392.04/232.27 c Got one! Elapsed wall clock time (in seconds):232.142 392.04/232.27 o 2130706290 397.11/234.85 c And the winner is solver1 397.25/235.27 c Got one! Elapsed wall clock time (in seconds):235.143 397.25/235.27 o 2130706289 398.92/236.15 c And the winner is solver1 399.05/236.28 c Got one! Elapsed wall clock time (in seconds):236.154 399.05/236.28 o 2130706288 400.69/237.18 c And the winner is solver1 400.88/237.28 c Got one! Elapsed wall clock time (in seconds):237.155 400.88/237.28 o 2130706287 402.52/238.15 c And the winner is solver1 402.66/238.28 c Got one! Elapsed wall clock time (in seconds):238.156 402.66/238.28 o 2130706286 405.29/239.65 c And the winner is solver1 405.42/239.78 c Got one! Elapsed wall clock time (in seconds):239.657 405.42/239.78 o 2130706285 407.07/240.61 c And the winner is solver1 407.14/240.78 c Got one! Elapsed wall clock time (in seconds):240.657 407.14/240.78 o 2130706284 409.77/242.14 c And the winner is solver1 409.87/242.28 c Got one! Elapsed wall clock time (in seconds):242.158 409.87/242.28 o 2130706283 410.50/242.69 c And the winner is solver1 410.69/242.78 c Got one! Elapsed wall clock time (in seconds):242.659 410.69/242.78 o 2130706282 411.54/243.20 c And the winner is solver1 411.54/243.28 c Got one! Elapsed wall clock time (in seconds):243.16 411.54/243.28 o 2130706281 412.39/243.70 c And the winner is solver1 412.39/243.78 c Got one! Elapsed wall clock time (in seconds):243.66 412.39/243.78 o 2130706280 413.05/244.20 c And the winner is solver1 413.25/244.28 c Got one! Elapsed wall clock time (in seconds):244.161 413.25/244.28 o 2130706279 414.12/244.73 c And the winner is solver1 414.12/244.78 c Got one! Elapsed wall clock time (in seconds):244.662 414.12/244.78 o 2130706278 415.04/245.21 c And the winner is solver1 415.04/245.29 c Got one! Elapsed wall clock time (in seconds):245.162 415.04/245.29 o 2130706277 416.71/246.19 c And the winner is solver1 416.91/246.29 c Got one! Elapsed wall clock time (in seconds):246.163 416.91/246.29 o 2130706276 418.54/247.18 c And the winner is solver1 418.73/247.29 c Got one! Elapsed wall clock time (in seconds):247.163 418.73/247.29 o 2130706275 419.55/247.73 c And the winner is solver1 419.55/247.79 c Got one! Elapsed wall clock time (in seconds):247.664 419.55/247.79 o 2130706274 436.70/256.31 c And the winner is solver1 436.75/256.79 c Got one! Elapsed wall clock time (in seconds):256.666 436.75/256.79 o 2130706273 438.36/257.69 c And the winner is solver1 438.55/257.79 c Got one! Elapsed wall clock time (in seconds):257.667 438.55/257.79 o 2130706272 449.40/263.26 c cleaning 12762 clauses out of 25528 with flag 1001/43587 455.55/266.52 c And the winner is solver1 455.63/266.79 c Got one! Elapsed wall clock time (in seconds):266.663 455.63/266.79 o 2130698239 459.48/268.73 c And the winner is solver1 459.48/268.79 c Got one! Elapsed wall clock time (in seconds):268.663 459.48/268.79 o 2130673663 461.20/269.62 c And the winner is solver1 461.27/269.79 c Got one! Elapsed wall clock time (in seconds):269.664 461.27/269.79 o 2130673662 461.89/270.14 c And the winner is solver1 462.00/270.29 c Got one! Elapsed wall clock time (in seconds):270.164 462.00/270.29 o 2130673661 462.63/270.63 c And the winner is solver1 462.72/270.79 c Got one! Elapsed wall clock time (in seconds):270.665 462.72/270.79 o 2130673660 465.56/272.23 c And the winner is solver1 465.56/272.29 c Got one! Elapsed wall clock time (in seconds):272.166 465.56/272.29 o 2130673659 467.06/273.07 c And the winner is solver1 467.23/273.29 c Got one! Elapsed wall clock time (in seconds):273.166 467.23/273.29 o 2130673658 467.84/273.65 c And the winner is solver1 467.97/273.79 c Got one! Elapsed wall clock time (in seconds):273.667 467.97/273.79 o 2130673657 469.58/274.64 c And the winner is solver1 469.69/274.79 c Got one! Elapsed wall clock time (in seconds):274.667 469.69/274.79 o 2130673656 471.32/275.66 c And the winner is solver1 471.48/275.79 c Got one! Elapsed wall clock time (in seconds):275.668 471.48/275.79 o 2130673655 473.89/277.08 c And the winner is solver1 474.08/277.29 c Got one! Elapsed wall clock time (in seconds):277.169 474.08/277.29 o 2130673654 475.49/278.10 c And the winner is solver1 475.72/278.29 c Got one! Elapsed wall clock time (in seconds):278.17 475.72/278.29 o 2130673653 478.34/279.69 c And the winner is solver1 478.54/279.79 c Got one! Elapsed wall clock time (in seconds):279.671 478.54/279.79 o 2130673652 489.97/285.53 c And the winner is solver1 490.06/285.80 c Got one! Elapsed wall clock time (in seconds):285.673 490.06/285.80 o 2130673651 490.66/286.18 c And the winner is solver1 490.85/286.30 c Got one! Elapsed wall clock time (in seconds):286.173 490.85/286.30 o 2130673650 500.09/290.96 c And the winner is solver1 500.25/291.30 c Got one! Elapsed wall clock time (in seconds):291.175 500.25/291.30 o 2130673649 500.84/291.65 c And the winner is solver1 500.98/291.80 c Got one! Elapsed wall clock time (in seconds):291.675 500.98/291.80 o 2130673648 502.59/292.68 c And the winner is solver1 502.78/292.80 c Got one! Elapsed wall clock time (in seconds):292.676 502.78/292.80 o 2130673647 503.37/293.15 c And the winner is solver1 503.51/293.30 c Got one! Elapsed wall clock time (in seconds):293.176 503.51/293.30 o 2130673646 506.13/294.62 c And the winner is solver1 506.21/294.80 c Got one! Elapsed wall clock time (in seconds):294.677 506.21/294.80 o 2130673645 508.00/295.74 c And the winner is solver1 508.00/295.80 c Got one! Elapsed wall clock time (in seconds):295.678 508.00/295.80 o 2130673644 509.92/296.79 c And the winner is solver1 510.12/296.85 c Got one! Elapsed wall clock time (in seconds):296.728 510.12/296.85 o 2130673643 517.85/300.78 c And the winner is solver1 518.03/300.87 c Got one! Elapsed wall clock time (in seconds):300.745 518.03/300.87 o 2130673642 520.91/302.30 c And the winner is solver1 520.91/302.37 c Got one! Elapsed wall clock time (in seconds):302.246 520.91/302.37 o 2130673641 522.80/303.35 c And the winner is solver1 522.80/303.37 c Got one! Elapsed wall clock time (in seconds):303.247 522.80/303.37 o 2130673640 526.80/305.36 c And the winner is solver1 526.94/305.42 c Got one! Elapsed wall clock time (in seconds):305.297 526.94/305.42 o 2130640895 529.90/306.99 c And the winner is solver1 530.11/307.42 c Got one! Elapsed wall clock time (in seconds):307.298 530.11/307.42 o 2130640894 530.68/307.77 c And the winner is solver1 530.84/307.92 c Got one! Elapsed wall clock time (in seconds):307.799 530.84/307.92 o 2130640893 531.39/308.26 c And the winner is solver1 531.55/308.42 c Got one! Elapsed wall clock time (in seconds):308.299 531.55/308.42 o 2130640892 532.10/308.78 c And the winner is solver1 532.28/308.92 c Got one! Elapsed wall clock time (in seconds):308.8 532.28/308.92 o 2130640891 533.06/309.30 c And the winner is solver1 533.09/309.42 c Got one! Elapsed wall clock time (in seconds):309.301 533.09/309.42 o 2130640890 553.29/319.55 c And the winner is solver1 553.41/319.93 c Got one! Elapsed wall clock time (in seconds):319.802 553.41/319.93 o 2113929215 563.59/325.03 c And the winner is solver1 563.68/325.43 c Got one! Elapsed wall clock time (in seconds):325.304 563.68/325.43 o 2113928959 564.64/325.93 c And the winner is solver1 564.74/326.43 c Got one! Elapsed wall clock time (in seconds):326.305 564.74/326.43 o 2113928958 577.12/332.63 c And the winner is solver1 577.22/332.93 c Got one! Elapsed wall clock time (in seconds):332.807 577.22/332.93 o 2113928957 582.77/335.78 c And the winner is solver1 582.95/335.93 c Got one! Elapsed wall clock time (in seconds):335.808 582.95/335.93 o 2113925119 604.33/346.63 c cleaning 12999 clauses out of 25997 with flag 2006/56818 631.61/360.66 c cleaning 9465 clauses out of 18992 with flag 8000/62812 640.40/365.22 c And the winner is solver1 640.47/365.62 c Got one! Elapsed wall clock time (in seconds):365.5 640.47/365.62 o 2113925118 641.23/366.03 c And the winner is solver1 641.31/366.12 c Got one! Elapsed wall clock time (in seconds):366.0 641.31/366.12 o 2113925117 647.69/369.37 c And the winner is solver1 647.86/369.62 c Got one! Elapsed wall clock time (in seconds):369.502 647.86/369.62 o 2113925116 654.26/372.90 c And the winner is solver1 654.50/373.13 c Got one! Elapsed wall clock time (in seconds):373.003 654.50/373.13 o 2113925115 659.30/375.51 c And the winner is solver1 659.35/375.63 c Got one! Elapsed wall clock time (in seconds):375.504 659.35/375.63 o 2113925114 677.71/384.83 c And the winner is solver1 677.78/385.13 c Got one! Elapsed wall clock time (in seconds):385.006 677.78/385.13 o 2113798143 686.98/389.72 c And the winner is solver1 687.04/390.13 c Got one! Elapsed wall clock time (in seconds):390.007 687.04/390.13 o 2113789951 687.80/390.59 c And the winner is solver1 688.00/390.63 c Got one! Elapsed wall clock time (in seconds):390.508 688.00/390.63 o 2113789950 695.98/394.61 c cleaning 9045 clauses out of 18094 with flag 1000/71379 701.51/397.68 c And the winner is solver1 701.71/398.12 c Got one! Elapsed wall clock time (in seconds):397.993 701.71/398.12 o 2113789949 702.49/398.53 c And the winner is solver1 702.58/398.62 c Got one! Elapsed wall clock time (in seconds):398.494 702.58/398.62 o 2113789948 711.98/403.33 c And the winner is solver1 712.08/403.62 c Got one! Elapsed wall clock time (in seconds):403.495 712.08/403.62 o 2113789947 713.23/404.21 c And the winner is solver1 713.29/404.62 c Got one! Elapsed wall clock time (in seconds):404.495 713.29/404.62 o 2113789946 714.05/405.09 c And the winner is solver1 714.25/405.12 c Got one! Elapsed wall clock time (in seconds):404.996 714.25/405.12 o 2113789945 715.03/405.59 c And the winner is solver1 715.23/405.62 c Got one! Elapsed wall clock time (in seconds):405.497 715.23/405.62 o 2113789944 716.02/406.06 c And the winner is solver1 716.16/406.12 c Got one! Elapsed wall clock time (in seconds):405.997 716.16/406.12 o 2113789943 721.94/409.10 c And the winner is solver1 722.15/409.12 c Got one! Elapsed wall clock time (in seconds):408.999 722.15/409.12 o 2113789942 722.91/409.55 c And the winner is solver1 723.04/409.62 c Got one! Elapsed wall clock time (in seconds):409.499 723.04/409.62 o 2113789941 723.79/410.04 c And the winner is solver1 723.91/410.12 c Got one! Elapsed wall clock time (in seconds):410.0 723.91/410.12 o 2113789940 724.66/410.53 c And the winner is solver1 724.75/410.62 c Got one! Elapsed wall clock time (in seconds):410.501 724.75/410.62 o 2113789939 727.50/412.01 c And the winner is solver1 727.56/412.12 c Got one! Elapsed wall clock time (in seconds):412.002 727.56/412.12 o 2113789938 728.35/412.53 c And the winner is solver1 728.42/412.63 c Got one! Elapsed wall clock time (in seconds):412.502 728.42/412.63 o 2113789937 738.39/417.61 c And the winner is solver1 738.39/417.68 c Got one! Elapsed wall clock time (in seconds):417.554 738.39/417.68 o 2113781759 739.31/418.13 c And the winner is solver1 739.31/418.18 c Got one! Elapsed wall clock time (in seconds):418.055 739.31/418.18 o 2113781758 741.24/419.11 c And the winner is solver1 741.24/419.18 c Got one! Elapsed wall clock time (in seconds):419.056 741.24/419.18 o 2113781757 741.91/419.58 c And the winner is solver1 742.10/419.68 c Got one! Elapsed wall clock time (in seconds):419.556 742.10/419.68 o 2113781756 746.76/422.09 c And the winner is solver1 746.96/422.18 c Got one! Elapsed wall clock time (in seconds):422.057 746.96/422.18 o 2113765375 748.21/422.82 c And the winner is solver1 748.28/423.18 c Got one! Elapsed wall clock time (in seconds):423.058 748.28/423.18 o 2113765374 756.13/427.18 c And the winner is solver1 756.31/427.23 c Got one! Elapsed wall clock time (in seconds):427.109 756.31/427.23 o 2113404927 757.69/427.92 c And the winner is solver1 757.75/428.23 c Got one! Elapsed wall clock time (in seconds):428.11 757.75/428.23 o 2113404926 758.68/428.75 c And the winner is solver1 758.80/429.23 c Got one! Elapsed wall clock time (in seconds):429.11 758.80/429.23 o 2113404925 759.53/429.63 c And the winner is solver1 759.61/429.73 c Got one! Elapsed wall clock time (in seconds):429.611 759.61/429.73 o 2113404924 760.36/430.14 c And the winner is solver1 760.47/430.23 c Got one! Elapsed wall clock time (in seconds):430.112 760.47/430.23 o 2113404923 761.19/430.64 c And the winner is solver1 761.30/430.74 c Got one! Elapsed wall clock time (in seconds):430.612 761.30/430.74 o 2113404922 767.03/433.66 c And the winner is solver1 767.17/433.74 c Got one! Elapsed wall clock time (in seconds):433.613 767.17/433.74 o 2113404921 776.56/438.76 c And the winner is solver1 776.73/438.84 c Got one! Elapsed wall clock time (in seconds):438.721 776.73/438.84 o 2113404920 780.85/440.91 c And the winner is solver1 780.91/441.35 c Got one! Elapsed wall clock time (in seconds):441.222 780.91/441.35 o 2113404919 782.01/441.99 c And the winner is solver1 782.22/442.35 c Got one! Elapsed wall clock time (in seconds):442.222 782.22/442.35 o 2113404918 788.54/445.56 c And the winner is solver1 788.68/445.85 c Got one! Elapsed wall clock time (in seconds):445.723 788.68/445.85 o 2113396735 790.01/446.52 c And the winner is solver1 790.06/446.85 c Got one! Elapsed wall clock time (in seconds):446.724 790.06/446.85 o 2113396734 800.58/452.14 c cleaning 11100 clauses out of 22208 with flag 1002/84538 816.15/460.32 c And the winner is solver1 816.23/460.50 c Got one! Elapsed wall clock time (in seconds):460.381 816.23/460.50 o 2113388543 817.61/461.23 c And the winner is solver1 817.70/461.50 c Got one! Elapsed wall clock time (in seconds):461.382 817.70/461.50 o 2113388542 822.92/464.13 c And the winner is solver1 822.99/464.51 c Got one! Elapsed wall clock time (in seconds):464.383 822.99/464.51 o 2113388541 834.22/470.10 c And the winner is solver1 834.26/470.51 c Got one! Elapsed wall clock time (in seconds):470.384 834.26/470.51 o 2113388540 835.04/470.99 c And the winner is solver1 835.24/471.01 c Got one! Elapsed wall clock time (in seconds):470.885 835.24/471.01 o 2113388539 836.03/471.46 c And the winner is solver1 836.18/471.51 c Got one! Elapsed wall clock time (in seconds):471.386 836.18/471.51 o 2113388538 837.00/471.96 c And the winner is solver1 837.14/472.01 c Got one! Elapsed wall clock time (in seconds):471.886 837.14/472.01 o 2113388537 838.11/472.51 c And the winner is solver1 838.16/473.01 c Got one! Elapsed wall clock time (in seconds):472.887 838.16/473.01 o 2113388536 839.13/473.57 c And the winner is solver1 839.31/474.01 c Got one! Elapsed wall clock time (in seconds):473.888 839.31/474.01 o 2113388535 841.91/475.38 c And the winner is solver1 842.11/475.51 c Got one! Elapsed wall clock time (in seconds):475.388 842.11/475.51 o 2113388534 844.88/476.97 c And the winner is solver1 845.04/477.01 c Got one! Elapsed wall clock time (in seconds):476.889 845.04/477.01 o 2113388533 846.03/477.52 c And the winner is solver1 846.10/478.01 c Got one! Elapsed wall clock time (in seconds):477.89 846.10/478.01 o 2113388532 849.28/479.63 c And the winner is solver1 849.36/480.01 c Got one! Elapsed wall clock time (in seconds):479.89 849.36/480.01 o 2113388531 850.33/480.53 c And the winner is solver1 850.41/481.01 c Got one! Elapsed wall clock time (in seconds):480.891 850.41/481.01 o 2113388530 861.87/486.72 c And the winner is solver1 861.93/487.02 c Got one! Elapsed wall clock time (in seconds):486.892 861.93/487.02 o 2113388529 863.29/487.73 c And the winner is solver1 863.38/488.02 c Got one! Elapsed wall clock time (in seconds):487.893 863.38/488.02 o 2113388528 865.74/489.23 c And the winner is solver1 865.84/489.52 c Got one! Elapsed wall clock time (in seconds):489.394 865.84/489.52 o 2113388527 868.23/490.74 c And the winner is solver1 868.34/491.02 c Got one! Elapsed wall clock time (in seconds):490.894 868.34/491.02 o 2113388526 870.50/492.18 c And the winner is solver1 870.69/492.52 c Got one! Elapsed wall clock time (in seconds):492.395 870.69/492.52 o 2113388525 871.85/493.10 c And the winner is solver1 871.86/493.52 c Got one! Elapsed wall clock time (in seconds):493.396 871.86/493.52 o 2113388524 875.05/495.11 c And the winner is solver1 875.10/495.52 c Got one! Elapsed wall clock time (in seconds):495.397 875.10/495.52 o 2113388523 876.45/496.24 c And the winner is solver1 876.56/496.52 c Got one! Elapsed wall clock time (in seconds):496.398 876.56/496.52 o 2113388522 877.93/497.21 c And the winner is solver1 877.97/497.52 c Got one! Elapsed wall clock time (in seconds):497.398 877.97/497.52 o 2113388521 879.33/498.21 c And the winner is solver1 879.37/498.52 c Got one! Elapsed wall clock time (in seconds):498.399 879.37/498.52 o 2113388520 884.15/500.92 c And the winner is solver1 884.22/501.02 c Got one! Elapsed wall clock time (in seconds):500.9 884.22/501.02 o 2113388519 885.57/501.72 c And the winner is solver1 885.64/502.02 c Got one! Elapsed wall clock time (in seconds):501.901 885.64/502.02 o 2113388518 887.00/502.71 c And the winner is solver1 887.03/503.03 c Got one! Elapsed wall clock time (in seconds):502.902 887.03/503.03 o 2113388517 890.01/504.59 c And the winner is solver1 890.23/505.03 c Got one! Elapsed wall clock time (in seconds):504.903 890.23/505.03 o 2113388516 893.17/506.57 c And the winner is solver1 893.34/507.03 c Got one! Elapsed wall clock time (in seconds):506.904 893.34/507.03 o 2113388515 896.28/508.59 c And the winner is solver1 896.49/509.03 c Got one! Elapsed wall clock time (in seconds):508.904 896.49/509.03 o 2113388514 903.09/512.32 c And the winner is solver1 903.15/512.55 c Got one! Elapsed wall clock time (in seconds):512.431 903.15/512.55 o 2113388513 904.24/513.11 c And the winner is solver1 904.28/513.56 c Got one! Elapsed wall clock time (in seconds):513.432 904.28/513.56 o 2113388512 907.79/515.33 c And the winner is solver1 907.89/515.56 c Got one! Elapsed wall clock time (in seconds):515.433 907.89/515.56 o 2113388511 909.97/516.65 c And the winner is solver1 910.09/517.06 c Got one! Elapsed wall clock time (in seconds):516.933 910.09/517.06 o 2113388510 912.18/518.12 c And the winner is solver1 912.24/518.56 c Got one! Elapsed wall clock time (in seconds):518.434 912.24/518.56 o 2113388509 918.18/521.50 c And the winner is solver1 918.18/521.56 c Got one! Elapsed wall clock time (in seconds):521.435 918.18/521.56 o 2113388508 921.70/523.35 c And the winner is solver1 921.83/523.56 c Got one! Elapsed wall clock time (in seconds):523.436 921.83/523.56 o 2113388507 924.31/524.80 c And the winner is solver1 924.33/525.06 c Got one! Elapsed wall clock time (in seconds):524.936 924.33/525.06 o 2113388506 926.61/526.29 c And the winner is solver1 926.82/526.56 c Got one! Elapsed wall clock time (in seconds):526.437 926.82/526.56 o 2113388505 928.99/527.67 c And the winner is solver1 929.17/528.06 c Got one! Elapsed wall clock time (in seconds):527.937 929.17/528.06 o 2113388504 930.24/528.61 c And the winner is solver1 930.30/529.06 c Got one! Elapsed wall clock time (in seconds):528.938 930.30/529.06 o 2113388503 932.77/530.32 c And the winner is solver1 932.83/530.56 c Got one! Elapsed wall clock time (in seconds):530.439 932.83/530.56 o 2113388502 933.90/531.17 c And the winner is solver1 934.07/531.56 c Got one! Elapsed wall clock time (in seconds):531.439 934.07/531.56 o 2113388501 935.33/532.27 c And the winner is solver1 935.51/532.56 c Got one! Elapsed wall clock time (in seconds):532.44 935.51/532.56 o 2113388500 936.77/533.25 c And the winner is solver1 936.90/533.56 c Got one! Elapsed wall clock time (in seconds):533.44 936.90/533.56 o 2113388499 939.02/534.61 c And the winner is solver1 939.04/535.06 c Got one! Elapsed wall clock time (in seconds):534.941 939.04/535.06 o 2113388498 941.50/536.31 c And the winner is solver1 941.56/536.56 c Got one! Elapsed wall clock time (in seconds):536.442 941.56/536.56 o 2113388497 942.82/537.20 c And the winner is solver1 942.86/537.57 c Got one! Elapsed wall clock time (in seconds):537.443 942.86/537.57 o 2113388496 946.72/539.54 c And the winner is solver1 946.72/539.57 c Got one! Elapsed wall clock time (in seconds):539.444 946.72/539.57 o 2113388495 949.74/541.09 c And the winner is solver1 949.94/541.57 c Got one! Elapsed wall clock time (in seconds):541.444 949.94/541.57 o 2113388494 952.79/543.07 c And the winner is solver1 952.97/543.57 c Got one! Elapsed wall clock time (in seconds):543.445 952.97/543.57 o 2113388493 954.02/544.18 c And the winner is solver1 954.21/544.57 c Got one! Elapsed wall clock time (in seconds):544.446 954.21/544.57 o 2113388492 955.26/545.17 c And the winner is solver1 955.43/545.57 c Got one! Elapsed wall clock time (in seconds):545.447 955.43/545.57 o 2113388491 958.68/547.28 c And the winner is solver1 958.88/547.57 c Got one! Elapsed wall clock time (in seconds):547.448 958.88/547.57 o 2113388490 961.79/549.10 c And the winner is solver1 962.01/549.57 c Got one! Elapsed wall clock time (in seconds):549.448 962.01/549.57 o 2113388489 963.86/550.56 c And the winner is solver1 964.01/550.62 c Got one! Elapsed wall clock time (in seconds):550.499 964.01/550.62 o 2113388488 967.56/552.47 c And the winner is solver1 967.72/552.62 c Got one! Elapsed wall clock time (in seconds):552.5 967.72/552.62 o 2113388487 970.46/554.09 c And the winner is solver1 970.66/554.12 c Got one! Elapsed wall clock time (in seconds):554.001 970.66/554.12 o 2113388486 972.12/554.85 c And the winner is solver1 972.25/555.12 c Got one! Elapsed wall clock time (in seconds):555.001 972.25/555.12 o 2113388485 973.59/555.82 c And the winner is solver1 973.67/556.13 c Got one! Elapsed wall clock time (in seconds):556.002 973.67/556.13 o 2113388484 977.01/557.84 c And the winner is solver1 977.13/558.13 c Got one! Elapsed wall clock time (in seconds):558.003 977.13/558.13 o 2113388483 978.28/558.79 c And the winner is solver1 978.48/559.13 c Got one! Elapsed wall clock time (in seconds):559.003 978.48/559.13 o 2113388482 979.61/559.72 c And the winner is solver1 979.70/560.13 c Got one! Elapsed wall clock time (in seconds):560.004 979.70/560.13 o 2113388481 981.60/561.47 c And the winner is solver1 981.78/561.82 c Got one! Elapsed wall clock time (in seconds):561.697 981.78/561.82 o 2113388480 982.93/562.41 c And the winner is solver1 982.98/562.82 c Got one! Elapsed wall clock time (in seconds):562.697 982.98/562.82 o 2113388479 984.13/563.48 c And the winner is solver1 984.32/563.82 c Got one! Elapsed wall clock time (in seconds):563.698 984.32/563.82 o 2113388478 985.47/564.42 c And the winner is solver1 985.53/564.82 c Got one! Elapsed wall clock time (in seconds):564.699 985.53/564.82 o 2113388477 986.49/565.40 c And the winner is solver1 986.71/565.82 c Got one! Elapsed wall clock time (in seconds):565.699 986.71/565.82 o 2113388476 987.86/566.41 c And the winner is solver1 987.92/566.82 c Got one! Elapsed wall clock time (in seconds):566.7 987.92/566.82 o 2113388475 989.06/567.47 c And the winner is solver1 989.25/567.82 c Got one! Elapsed wall clock time (in seconds):567.7 989.25/567.82 o 2113388474 990.96/568.64 c And the winner is solver1 991.04/568.82 c Got one! Elapsed wall clock time (in seconds):568.701 991.04/568.82 o 2113388473 992.20/569.45 c And the winner is solver1 992.32/569.82 c Got one! Elapsed wall clock time (in seconds):569.702 992.32/569.82 o 2113388472 993.66/570.55 c And the winner is solver1 993.79/570.83 c Got one! Elapsed wall clock time (in seconds):570.702 993.79/570.83 o 2113388471 995.13/571.54 c And the winner is solver1 995.22/571.83 c Got one! Elapsed wall clock time (in seconds):571.703 995.22/571.83 o 2113388470 996.56/572.55 c And the winner is solver1 996.69/572.83 c Got one! Elapsed wall clock time (in seconds):572.704 996.69/572.83 o 2113388469 1000.73/574.82 c And the winner is solver1 1000.73/574.88 c Got one! Elapsed wall clock time (in seconds):574.755 1000.73/574.88 o 2113388468 1002.24/575.60 c And the winner is solver1 1002.28/575.88 c Got one! Elapsed wall clock time (in seconds):575.755 1002.28/575.88 o 2113388467 1003.52/576.57 c And the winner is solver1 1003.67/576.88 c Got one! Elapsed wall clock time (in seconds):576.756 1003.67/576.88 o 2113388466 1004.92/577.54 c And the winner is solver1 1005.03/577.88 c Got one! Elapsed wall clock time (in seconds):577.757 1005.03/577.88 o 2113388465 1006.47/578.69 c And the winner is solver1 1006.68/578.88 c Got one! Elapsed wall clock time (in seconds):578.757 1006.68/578.88 o 2113388464 1008.12/579.69 c And the winner is solver1 1008.33/579.88 c Got one! Elapsed wall clock time (in seconds):579.758 1008.33/579.88 o 2113388463 1009.76/580.69 c And the winner is solver1 1009.97/580.88 c Got one! Elapsed wall clock time (in seconds):580.759 1009.97/580.88 o 2113388462 1043.50/597.57 c cleaning 16072 clauses out of 32163 with flag 3000/105593 1071.49/611.88 c And the winner is solver1 1071.68/611.93 c Got one! Elapsed wall clock time (in seconds):611.806 1071.68/611.93 o 2109734911 1078.82/615.58 c And the winner is solver1 1079.02/615.93 c Got one! Elapsed wall clock time (in seconds):615.807 1079.02/615.93 o 2109734910 1080.37/616.61 c And the winner is solver1 1080.43/616.93 c Got one! Elapsed wall clock time (in seconds):616.808 1080.43/616.93 o 2109734909 1088.01/620.76 c And the winner is solver1 1088.15/620.94 c Got one! Elapsed wall clock time (in seconds):620.818 1088.15/620.94 o 2109734908 1090.46/622.12 c And the winner is solver0 1091.49/623.14 c Got one! Elapsed wall clock time (in seconds):623.02 1091.49/623.14 o 1613758490 1104.28/629.58 c And the winner is solver1 1104.46/629.64 c Got one! Elapsed wall clock time (in seconds):629.522 1104.46/629.64 o 1613758489 1109.57/632.20 c And the winner is solver1 1109.60/632.65 c Got one! Elapsed wall clock time (in seconds):632.523 1109.60/632.65 o 1613758488 1111.32/633.58 c And the winner is solver1 1111.49/633.65 c Got one! Elapsed wall clock time (in seconds):633.523 1111.49/633.65 o 1613758487 1120.19/638.09 c And the winner is solver1 1120.38/638.15 c Got one! Elapsed wall clock time (in seconds):638.025 1120.38/638.15 o 1613758486 1134.37/645.18 c And the winner is solver1 1134.56/645.65 c Got one! Elapsed wall clock time (in seconds):645.526 1134.56/645.65 o 1613758485 1135.86/646.35 c And the winner is solver1 1135.99/646.65 c Got one! Elapsed wall clock time (in seconds):646.527 1135.99/646.65 o 1613758484 1148.96/653.18 c And the winner is solver1 1149.16/653.65 c Got one! Elapsed wall clock time (in seconds):653.528 1149.16/653.65 o 1613758483 1150.66/654.48 c And the winner is solver1 1150.85/654.65 c Got one! Elapsed wall clock time (in seconds):654.529 1150.85/654.65 o 1613758482 1155.34/656.91 c And the winner is solver1 1155.41/657.15 c Got one! Elapsed wall clock time (in seconds):657.03 1155.41/657.15 o 1613758481 1169.38/664.10 c And the winner is solver1 1169.38/664.15 c Got one! Elapsed wall clock time (in seconds):664.032 1169.38/664.15 o 1613758480 1173.88/666.46 c And the winner is solver1 1174.02/666.66 c Got one! Elapsed wall clock time (in seconds):666.533 1174.02/666.66 o 1613758479 1184.40/671.88 c cleaning 13955 clauses out of 27911 with flag 1005/117413 1185.61/672.82 c And the winner is solver1 1185.69/673.27 c Got one! Elapsed wall clock time (in seconds):673.149 1185.69/673.27 o 1613758478 1192.53/676.79 c And the winner is solver1 1192.75/677.27 c Got one! Elapsed wall clock time (in seconds):677.151 1192.75/677.27 o 1613758477 1196.39/679.10 c And the winner is solver1 1196.42/679.27 c Got one! Elapsed wall clock time (in seconds):679.151 1196.42/679.27 o 1613758476 1202.26/682.23 c And the winner is solver1 1202.26/682.28 c Got one! Elapsed wall clock time (in seconds):682.153 1202.26/682.28 o 1613758475 1213.24/687.71 c And the winner is solver1 1213.24/687.78 c Got one! Elapsed wall clock time (in seconds):687.654 1213.24/687.78 o 1613758474 1221.19/691.72 c And the winner is solver1 1221.19/691.78 c Got one! Elapsed wall clock time (in seconds):691.655 1221.19/691.78 o 1613758473 1224.69/693.59 c And the winner is solver1 1224.92/693.78 c Got one! Elapsed wall clock time (in seconds):693.656 1224.92/693.78 o 1613758472 1239.35/701.08 c And the winner is solver1 1239.54/701.28 c Got one! Elapsed wall clock time (in seconds):701.158 1239.54/701.28 o 1613758471 1247.42/705.21 c And the winner is solver1 1247.42/705.28 c Got one! Elapsed wall clock time (in seconds):705.159 1247.42/705.28 o 1613758470 1249.11/706.20 c And the winner is solver1 1249.31/706.28 c Got one! Elapsed wall clock time (in seconds):706.159 1249.31/706.28 o 1613758469 1252.75/708.09 c And the winner is solver1 1252.96/708.28 c Got one! Elapsed wall clock time (in seconds):708.16 1252.96/708.28 o 1613758468 1267.66/715.63 c And the winner is solver1 1267.75/715.79 c Got one! Elapsed wall clock time (in seconds):715.662 1267.75/715.79 o 1613758467 1272.97/718.41 c And the winner is solver1 1273.02/718.79 c Got one! Elapsed wall clock time (in seconds):718.663 1273.02/718.79 o 1613758466 1281.10/722.82 c And the winner is solver1 1281.16/723.29 c Got one! Elapsed wall clock time (in seconds):723.165 1281.16/723.29 o 1613758465 1283.58/724.50 c And the winner is solver1 1283.62/724.79 c Got one! Elapsed wall clock time (in seconds):724.665 1283.62/724.79 o 1613758464 1293.86/729.90 c And the winner is solver1 1293.89/730.29 c Got one! Elapsed wall clock time (in seconds):730.167 1293.89/730.29 o 1613758463 1305.00/735.88 c And the winner is solver1 1305.16/736.29 c Got one! Elapsed wall clock time (in seconds):736.168 1305.16/736.29 o 1613758462 1318.27/742.87 c And the winner is solver1 1318.43/743.29 c Got one! Elapsed wall clock time (in seconds):743.17 1318.43/743.29 o 1613750271 1321.05/744.63 c And the winner is solver1 1321.13/744.79 c Got one! Elapsed wall clock time (in seconds):744.671 1321.13/744.79 o 1613750270 1335.13/751.85 c cleaning 13452 clauses out of 26957 with flag 1000/130414 1380.92/775.35 c And the winner is solver1 1381.06/775.73 c Got one! Elapsed wall clock time (in seconds):775.609 1381.06/775.73 o 1613725695 1399.83/785.18 c And the winner is solver1 1400.03/785.23 c Got one! Elapsed wall clock time (in seconds):785.111 1400.03/785.23 o 1613717503 1405.20/787.86 c And the winner is solver1 1405.36/788.24 c Got one! Elapsed wall clock time (in seconds):788.112 1405.36/788.24 o 1613692927 1408.08/789.66 c And the winner is solver1 1408.23/789.74 c Got one! Elapsed wall clock time (in seconds):789.613 1408.23/789.74 o 1613692926 1410.95/791.18 c And the winner is solver1 1411.13/791.24 c Got one! Elapsed wall clock time (in seconds):791.114 1411.13/791.24 o 1613692925 1437.09/804.25 c cleaning 12607 clauses out of 25213 with flag 3003/142122 1451.51/811.83 c And the winner is solver1 1451.60/812.10 c Got one! Elapsed wall clock time (in seconds):811.973 1451.60/812.10 o 1613684735 1464.62/818.61 c And the winner is solver1 1464.69/819.10 c Got one! Elapsed wall clock time (in seconds):818.975 1464.69/819.10 o 1613684734 1466.48/820.08 c And the winner is solver1 1466.67/820.10 c Got one! Elapsed wall clock time (in seconds):819.975 1466.67/820.10 o 1613684733 1515.55/844.59 c cleaning 9457 clauses out of 18925 with flag 4003/148441 1516.94/845.67 c And the winner is solver1 1517.12/845.93 c Got one! Elapsed wall clock time (in seconds):845.809 1517.12/845.93 o 1613660159 1568.88/871.87 c cleaning 7241 clauses out of 14488 with flag 5001/153461 1612.08/893.85 c cleaning 6617 clauses out of 13246 with flag 11000/159460 1672.80/924.87 c cleaning 6803 clauses out of 13629 with flag 18000/166460 1693.60/935.66 c And the winner is solver0 1694.49/936.44 c Got one! Elapsed wall clock time (in seconds):936.319 1694.49/936.44 o 1613627391 1705.84/942.19 c cleaning 6056 clauses out of 12121 with flag 1000/171755 1785.85/982.56 c cleaning 6022 clauses out of 12065 with flag 7000/177755 1800.06/990.02 c starts : 1288 1800.06/990.02 c conflicts : 178715 1800.06/990.02 c decisions : 1530930 1800.06/990.02 c propagations : 158114262 1800.06/990.02 c inspects : 4285347942 1800.06/990.02 c shortcuts : 0 1800.06/990.02 c learnt literals : 1 1800.06/990.02 c learnt binary clauses : 0 1800.06/990.02 c learnt ternary clauses : 0 1800.06/990.02 c learnt constraints : 178714 1800.06/990.02 c ignored constraints : 0 1800.06/990.02 c root simplifications : 0 1800.06/990.02 c removed literals (reason simplification) : 299466 1800.06/990.02 c reason swapping (by a shorter reason) : 0 1800.06/990.02 c Calls to reduceDB : 17 1800.06/990.02 c number of reductions to clauses (during analyze) : 0 1800.06/990.02 c number of learned constraints concerned by reduction : 0 1800.06/990.02 c number of learning phase by resolution : 0 1800.06/990.02 c number of learning phase by cutting planes : 0 1800.06/990.02 c speed (assignments/second) : 1097383.6955088386 1800.06/990.02 c non guided choices 303017 1800.06/990.02 c learnt constraints type 1800.06/990.02 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 7003 1800.06/990.02 c constraints type 1800.06/990.02 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51 1800.06/990.02 c org.sat4j.minisat.constraints.card.MinWatchCard => 331 1800.06/990.02 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 340 1800.06/990.02 c 722 constraints processed. 1800.06/990.02 c constraints type 1800.06/990.02 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 1800.06/990.02 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 1800.06/990.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 340 1800.06/990.02 c 722 constraints processed. 1800.06/990.02 s SATISFIABLE 1800.06/990.03 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 -x18 x19 x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 x5163 -x5164 x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 1800.06/990.04 c objective function=1613627391 1800.06/990.04 c Total wall clock time (in seconds): 989.912
OK 1613627391
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3687974-1337875179/watcher-3687974-1337875179 -o /tmp/evaluation-result-3687974-1337875179/solver-3687974-1337875179 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687974-1337875179.opb 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: 3.45 3.58 3.45 3/197 26069 /proc/meminfo: memFree=26105792/32873648 swapFree=6856/6856 [pid=26069] ppid=26067 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/26069/stat : 26069 (java) D 26067 26069 24583 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 253643342 2560000 46 33554432000 1073741824 1073778376 140736830483472 140736830480600 270698376487 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/26069/statm: 625 46 37 9 0 29 0 [startup+0.0266359 s] /proc/loadavg: 3.45 3.58 3.45 3/197 26069 /proc/meminfo: memFree=26105792/32873648 swapFree=6856/6856 [pid=26069] ppid=26067 vsize=8482100 CPUtime=0 cores=0,2,4,6 /proc/26069/stat : 26069 (java) S 26067 26069 24583 0 -1 4202496 1734 0 1 0 0 0 0 0 20 0 2 0 253643342 8685670400 1927 33554432000 1073741824 1073778376 140733752178848 140733752169984 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26069/statm: 2120525 1952 941 9 0 2111634 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8482100 [startup+0.100193 s] /proc/loadavg: 3.45 3.58 3.45 3/197 26069 /proc/meminfo: memFree=26105792/32873648 swapFree=6856/6856 [pid=26069] ppid=26067 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/26069/stat : 26069 (java) S 26067 26069 24583 0 -1 4202496 4201 0 1 0 7 0 0 0 20 0 18 0 253643342 9787813888 5401 33554432000 1073741824 1073778376 140733752178848 140733752169984 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26069/statm: 2389603 5402 2080 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.300228 s] /proc/loadavg: 3.45 3.58 3.45 3/197 26069 /proc/meminfo: memFree=26105792/32873648 swapFree=6856/6856 [pid=26069] ppid=26067 vsize=9558412 CPUtime=0.48 cores=0,2,4,6 /proc/26069/stat : 26069 (java) S 26067 26069 24583 0 -1 4202496 5774 0 1 0 47 1 0 0 20 0 18 0 253643342 9787813888 8882 33554432000 1073741824 1073778376 140733752178848 140733752169984 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26069/statm: 2389603 8882 2224 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558412 [startup+0.700243 s] /proc/loadavg: 3.45 3.58 3.45 3/197 26069 /proc/meminfo: memFree=26105792/32873648 swapFree=6856/6856 [pid=26069] ppid=26067 vsize=9558412 CPUtime=1.26 cores=0,2,4,6 /proc/26069/stat : 26069 (java) S 26067 26069 24583 0 -1 4202496 8962 0 1 0 119 7 0 0 20 0 18 0 253643342 9787813888 45106 33554432000 1073741824 1073778376 140733752178848 140733752169984 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26069/statm: 2389603 45106 2262 9 0 2380296 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 9558412 [startup+1.50065 s] /proc/loadavg: 3.45 3.58 3.45 7/219 26091 /proc/meminfo: memFree=25920732/32873648 swapFree=6856/6856 [pid=26069] ppid=26067 vsize=9824668 CPUtime=3.23 cores=0,2,4,6 /proc/26069/stat : 26069 (java) S 26067 26069 24583 0 -1 4202496 14526 0 1 0 307 16 0 0 20 0 22 0 253643342 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140733752169984 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26069/statm: 2456167 60202 2272 9 0 2446860 0 [pid=26069/tid=26071] ppid=26067 vsize=9824668 CPUtime=0.74 cores=0,2,4,6 /proc/26069/task/26071/stat : 26071 (java) S 26067 26069 24583 0 -1 4202560 2524 0 1 0 71 3 0 0 20 0 22 0 253643344 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140336157938680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26072] ppid=26067 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/26069/task/26072/stat : 26072 (java) S 26067 26069 24583 0 -1 4202560 108 0 0 0 2 0 0 0 20 0 22 0 253643345 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140336119429544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26073] ppid=26067 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/26069/task/26073/stat : 26073 (java) S 26067 26069 24583 0 -1 4202560 23 0 0 0 1 1 0 0 20 0 22 0 253643345 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140336118377000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26074] ppid=26067 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/26069/task/26074/stat : 26074 (java) S 26067 26069 24583 0 -1 4202560 14 0 0 0 0 1 0 0 20 0 22 0 253643345 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140336117323944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26075] ppid=26067 vsize=9824668 CPUtime=0.05 cores=0,2,4,6 /proc/26069/task/26075/stat : 26075 (java) S 26067 26069 24583 0 -1 4202560 117 0 0 0 3 2 0 0 20 0 22 0 253643345 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140336116271400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26076] ppid=26067 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/26069/task/26076/stat : 26076 (java) S 26067 26069 24583 0 -1 4202560 108 0 0 0 2 0 0 0 20 0 22 0 253643345 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140336115219368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26077] ppid=26067 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/26069/task/26077/stat : 26077 (java) S 26067 26069 24583 0 -1 4202560 102 0 0 0 1 2 0 0 20 0 22 0 253643345 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140336114166824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26078] ppid=26067 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/26069/task/26078/stat : 26078 (java) S 26067 26069 24583 0 -1 4202560 19 0 0 0 1 2 0 0 20 0 22 0 253643345 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140336113113768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26079] ppid=26067 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/26069/task/26079/stat : 26079 (java) S 26067 26069 24583 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 253643345 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140336112061224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26080] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26080/stat : 26080 (java) S 26067 26069 24583 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 253643346 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140335981648232 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26081] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26081/stat : 26081 (java) S 26067 26069 24583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253643347 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140335980594552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26082] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26082/stat : 26082 (java) S 26067 26069 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253643347 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140335979541384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26083] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26083/stat : 26083 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253643349 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140335978490128 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26084] ppid=26067 vsize=9824668 CPUtime=0.61 cores=0,2,4,6 /proc/26069/task/26084/stat : 26084 (java) S 26067 26069 24583 0 -1 4202560 3745 0 0 0 61 0 0 0 20 0 22 0 253643349 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140335977438008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26085] ppid=26067 vsize=9824668 CPUtime=0.6 cores=0,2,4,6 /proc/26069/task/26085/stat : 26085 (java) S 26067 26069 24583 0 -1 4202560 6380 0 0 0 58 2 0 0 20 0 22 0 253643349 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140335103601592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26086] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26086/stat : 26086 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253643349 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140335102548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26087] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26087/stat : 26087 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253643349 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140335101496392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26090] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26090/stat : 26090 (java) S 26067 26069 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253643424 10060460032 60202 33554432000 1073741824 1073778376 140733752178848 140335098336040 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.23 Current children cumulated vsize (KiB) 9824668 [startup+3.10079 s] /proc/loadavg: 3.45 3.58 3.45 3/216 26097 /proc/meminfo: memFree=25743908/32873648 swapFree=6856/6856 [pid=26069] ppid=26067 vsize=9824668 CPUtime=5.42 cores=0,2,4,6 /proc/26069/stat : 26069 (java) S 26067 26069 24583 0 -1 4202496 14952 0 1 0 515 27 0 0 20 0 19 0 253643342 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140733752169984 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26069/statm: 2456167 98791 2272 9 0 2446860 0 [pid=26069/tid=26071] ppid=26067 vsize=9824668 CPUtime=0.74 cores=0,2,4,6 /proc/26069/task/26071/stat : 26071 (java) S 26067 26069 24583 0 -1 4202560 2524 0 1 0 71 3 0 0 20 0 19 0 253643344 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140336157938680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26072] ppid=26067 vsize=9824668 CPUtime=0.05 cores=0,2,4,6 /proc/26069/task/26072/stat : 26072 (java) S 26067 26069 24583 0 -1 4202560 115 0 0 0 3 2 0 0 20 0 19 0 253643345 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140336119429544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26073] ppid=26067 vsize=9824668 CPUtime=0.07 cores=0,2,4,6 /proc/26069/task/26073/stat : 26073 (java) S 26067 26069 24583 0 -1 4202560 35 0 0 0 6 1 0 0 20 0 19 0 253643345 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140336118377000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26074] ppid=26067 vsize=9824668 CPUtime=0.07 cores=0,2,4,6 /proc/26069/task/26074/stat : 26074 (java) S 26067 26069 24583 0 -1 4202560 32 0 0 0 5 2 0 0 20 0 19 0 253643345 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140336117323944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26075] ppid=26067 vsize=9824668 CPUtime=0.07 cores=0,2,4,6 /proc/26069/task/26075/stat : 26075 (java) S 26067 26069 24583 0 -1 4202560 127 0 0 0 5 2 0 0 20 0 19 0 253643345 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140336116271400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26076] ppid=26067 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/26069/task/26076/stat : 26076 (java) S 26067 26069 24583 0 -1 4202560 127 0 0 0 2 2 0 0 20 0 19 0 253643345 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140336115219368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26077] ppid=26067 vsize=9824668 CPUtime=0.07 cores=0,2,4,6 /proc/26069/task/26077/stat : 26077 (java) S 26067 26069 24583 0 -1 4202560 122 0 0 0 5 2 0 0 20 0 19 0 253643345 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140336114166824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26078] ppid=26067 vsize=9824668 CPUtime=0.08 cores=0,2,4,6 /proc/26069/task/26078/stat : 26078 (java) S 26067 26069 24583 0 -1 4202560 54 0 0 0 6 2 0 0 20 0 19 0 253643345 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140336113113768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26079] ppid=26067 vsize=9824668 CPUtime=0.07 cores=0,2,4,6 /proc/26069/task/26079/stat : 26079 (java) S 26067 26069 24583 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 19 0 253643345 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140336112061224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26080] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26080/stat : 26080 (java) S 26067 26069 24583 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 19 0 253643346 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140335981648232 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26081] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26081/stat : 26081 (java) S 26067 26069 24583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253643347 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140335980594552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26082] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26082/stat : 26082 (java) S 26067 26069 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253643347 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140335979541384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26083] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26083/stat : 26083 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253643349 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140335978490128 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26084] ppid=26067 vsize=9824668 CPUtime=0.82 cores=0,2,4,6 /proc/26069/task/26084/stat : 26084 (java) S 26067 26069 24583 0 -1 4202560 3832 0 0 0 82 0 0 0 20 0 19 0 253643349 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140335977438008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26085] ppid=26067 vsize=9824668 CPUtime=0.69 cores=0,2,4,6 /proc/26069/task/26085/stat : 26085 (java) S 26067 26069 24583 0 -1 4202560 6380 0 0 0 67 2 0 0 20 0 19 0 253643349 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140335103601592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26086] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26086/stat : 26086 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253643349 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140335102548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26087] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26087/stat : 26087 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253643349 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140335101496392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26094] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26094/stat : 26094 (java) S 26067 26069 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253643473 10060460032 98791 33554432000 1073741824 1073778376 140733752178848 140335097283880 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 5.42 Current children cumulated vsize (KiB) 9824668 [startup+6.30058 s] /proc/loadavg: 3.33 3.56 3.44 5/219 26118 /proc/meminfo: memFree=25487244/32873648 swapFree=6856/6856 [pid=26069] ppid=26067 vsize=9824668 CPUtime=8.2 cores=0,2,4,6 /proc/26069/stat : 26069 (java) S 26067 26069 24583 0 -1 4202496 15617 0 1 0 778 42 0 0 20 0 19 0 253643342 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140733752169984 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26069/statm: 2456167 156490 2273 9 0 2446860 0 [pid=26069/tid=26071] ppid=26067 vsize=9824668 CPUtime=0.75 cores=0,2,4,6 /proc/26069/task/26071/stat : 26071 (java) S 26067 26069 24583 0 -1 4202560 2525 0 1 0 72 3 0 0 20 0 19 0 253643344 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140336157938680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26072] ppid=26067 vsize=9824668 CPUtime=0.07 cores=0,2,4,6 /proc/26069/task/26072/stat : 26072 (java) S 26067 26069 24583 0 -1 4202560 119 0 0 0 5 2 0 0 20 0 19 0 253643345 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140336119429544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26073] ppid=26067 vsize=9824668 CPUtime=0.08 cores=0,2,4,6 /proc/26069/task/26073/stat : 26073 (java) S 26067 26069 24583 0 -1 4202560 40 0 0 0 7 1 0 0 20 0 19 0 253643345 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140336118377000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26074] ppid=26067 vsize=9824668 CPUtime=0.08 cores=0,2,4,6 /proc/26069/task/26074/stat : 26074 (java) S 26067 26069 24583 0 -1 4202560 34 0 0 0 6 2 0 0 20 0 19 0 253643345 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140336117323944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26075] ppid=26067 vsize=9824668 CPUtime=0.09 cores=0,2,4,6 /proc/26069/task/26075/stat : 26075 (java) S 26067 26069 24583 0 -1 4202560 132 0 0 0 7 2 0 0 20 0 19 0 253643345 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140336116271400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26076] ppid=26067 vsize=9824668 CPUtime=0.06 cores=0,2,4,6 /proc/26069/task/26076/stat : 26076 (java) S 26067 26069 24583 0 -1 4202560 139 0 0 0 4 2 0 0 20 0 19 0 253643345 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140336115219368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26077] ppid=26067 vsize=9824668 CPUtime=0.09 cores=0,2,4,6 /proc/26069/task/26077/stat : 26077 (java) S 26067 26069 24583 0 -1 4202560 132 0 0 0 6 3 0 0 20 0 19 0 253643345 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140336114166824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26078] ppid=26067 vsize=9824668 CPUtime=0.1 cores=0,2,4,6 /proc/26069/task/26078/stat : 26078 (java) S 26067 26069 24583 0 -1 4202560 59 0 0 0 8 2 0 0 20 0 19 0 253643345 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140336113113768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26079] ppid=26067 vsize=9824668 CPUtime=0.09 cores=0,2,4,6 /proc/26069/task/26079/stat : 26079 (java) S 26067 26069 24583 0 -1 4202560 38 0 0 0 7 2 0 0 20 0 19 0 253643345 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140336112061224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26080] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26080/stat : 26080 (java) S 26067 26069 24583 0 -1 4202560 472 0 0 0 0 0 0 0 20 0 19 0 253643346 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140335981648232 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26081] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26081/stat : 26081 (java) S 26067 26069 24583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253643347 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140335980594552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26082] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26082/stat : 26082 (java) S 26067 26069 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253643347 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140335979541384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26083] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26083/stat : 26083 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253643349 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140335978490128 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26084] ppid=26067 vsize=9824668 CPUtime=0.82 cores=0,2,4,6 /proc/26069/task/26084/stat : 26084 (java) S 26067 26069 24583 0 -1 4202560 3832 0 0 0 82 0 0 0 20 0 19 0 253643349 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140335977438008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26085] ppid=26067 vsize=9824668 CPUtime=0.74 cores=0,2,4,6 /proc/26069/task/26085/stat : 26085 (java) S 26067 26069 24583 0 -1 4202560 6387 0 0 0 72 2 0 0 20 0 19 0 253643349 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140335103601592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26086] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26086/stat : 26086 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253643349 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140335102548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26087] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26087/stat : 26087 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253643349 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140335101496392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26094] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26094/stat : 26094 (java) S 26067 26069 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253643473 10060460032 156490 33554432000 1073741824 1073778376 140733752178848 140335097283880 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 8.2 Current children cumulated vsize (KiB) 9824668 [startup+12.7006 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 3.90 3.83 3.65 5/219 27325 /proc/meminfo: memFree=24010168/32873648 swapFree=6856/6856 [pid=26069] ppid=26067 vsize=9824668 CPUtime=1589.06 cores=0,2,4,6 /proc/26069/stat : 26069 (java) S 26067 26069 24583 0 -1 4202496 47019 0 1 0 157961 945 0 0 20 0 22 0 253643342 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140733752169984 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26069/statm: 2456167 899229 2287 9 0 2446860 0 [pid=26069/tid=26071] ppid=26067 vsize=9824668 CPUtime=0.92 cores=0,2,4,6 /proc/26069/task/26071/stat : 26071 (java) S 26067 26069 24583 0 -1 4202560 2546 0 1 0 86 6 0 0 20 0 22 0 253643344 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140336157938680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26072] ppid=26067 vsize=9824668 CPUtime=1.67 cores=0,2,4,6 /proc/26069/task/26072/stat : 26072 (java) S 26067 26069 24583 0 -1 4202560 651 0 0 0 151 16 0 0 20 0 22 0 253643345 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140336119429544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26073] ppid=26067 vsize=9824668 CPUtime=1.64 cores=0,2,4,6 /proc/26069/task/26073/stat : 26073 (java) S 26067 26069 24583 0 -1 4202560 342 0 0 0 147 17 0 0 20 0 22 0 253643345 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140336118377000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26074] ppid=26067 vsize=9824668 CPUtime=1.68 cores=0,2,4,6 /proc/26069/task/26074/stat : 26074 (java) S 26067 26069 24583 0 -1 4202560 468 0 0 0 148 20 0 0 20 0 22 0 253643345 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140336117323944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26075] ppid=26067 vsize=9824668 CPUtime=1.69 cores=0,2,4,6 /proc/26069/task/26075/stat : 26075 (java) S 26067 26069 24583 0 -1 4202560 857 0 0 0 149 20 0 0 20 0 22 0 253643345 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140336116271400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26076] ppid=26067 vsize=9824668 CPUtime=1.6 cores=0,2,4,6 /proc/26069/task/26076/stat : 26076 (java) S 26067 26069 24583 0 -1 4202560 749 0 0 0 146 14 0 0 20 0 22 0 253643345 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140336115219368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26077] ppid=26067 vsize=9824668 CPUtime=1.71 cores=0,2,4,6 /proc/26069/task/26077/stat : 26077 (java) S 26067 26069 24583 0 -1 4202560 1132 0 0 0 149 22 0 0 20 0 22 0 253643345 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140336114166824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26078] ppid=26067 vsize=9824668 CPUtime=1.63 cores=0,2,4,6 /proc/26069/task/26078/stat : 26078 (java) S 26067 26069 24583 0 -1 4202560 525 0 0 0 143 20 0 0 20 0 22 0 253643345 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140336113113768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26079] ppid=26067 vsize=9824668 CPUtime=1.73 cores=0,2,4,6 /proc/26069/task/26079/stat : 26079 (java) S 26067 26069 24583 0 -1 4202560 747 0 0 0 154 19 0 0 20 0 22 0 253643345 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140336112061224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26080] ppid=26067 vsize=9824668 CPUtime=10.47 cores=0,2,4,6 /proc/26069/task/26080/stat : 26080 (java) S 26067 26069 24583 0 -1 4202560 20140 0 0 0 1022 25 0 0 20 0 22 0 253643346 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335981648232 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26081] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26081/stat : 26081 (java) S 26067 26069 24583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253643347 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335980594552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26082] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26082/stat : 26082 (java) S 26067 26069 24583 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 22 0 253643347 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335979541384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26083] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26083/stat : 26083 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253643349 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335978490128 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26084] ppid=26067 vsize=9824668 CPUtime=1.29 cores=0,2,4,6 /proc/26069/task/26084/stat : 26084 (java) S 26067 26069 24583 0 -1 4202560 6164 0 0 0 129 0 0 0 20 0 22 0 253643349 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335977438008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26085] ppid=26067 vsize=9824668 CPUtime=1 cores=0,2,4,6 /proc/26069/task/26085/stat : 26085 (java) S 26067 26069 24583 0 -1 4202560 6406 0 0 0 98 2 0 0 20 0 22 0 253643349 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335103601592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26086] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26086/stat : 26086 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253643349 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335102548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26087] ppid=26067 vsize=9824668 CPUtime=0.31 cores=0,2,4,6 /proc/26069/task/26087/stat : 26087 (java) S 26067 26069 24583 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 253643349 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335101496392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=27201] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/27201/stat : 27201 (java) S 26067 26069 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705657 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335097284136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=27323] ppid=26067 vsize=9824668 CPUtime=35.47 cores=0,2,4,6 /proc/26069/task/27323/stat : 27323 (java) R 26067 26069 24583 0 -1 4202560 6 0 0 0 3547 0 0 0 20 0 22 0 253727936 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335098336056 140335993615466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=27324] ppid=26067 vsize=9824668 CPUtime=35.48 cores=0,2,4,6 /proc/26069/task/27324/stat : 27324 (java) R 26067 26069 24583 0 -1 4202560 3 0 0 0 3548 0 0 0 20 0 22 0 253727936 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335100438656 140335993341523 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=27325] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/27325/stat : 27325 (java) S 26067 26069 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253727936 10060460032 899229 33554432000 1073741824 1073778376 140733752178848 140335099389096 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1589.06 Current children cumulated vsize (KiB) 9824668 [startup+942.301 s] /proc/loadavg: 3.89 3.83 3.65 5/219 27328 /proc/meminfo: memFree=24049980/32873648 swapFree=6856/6856 [pid=26069] ppid=26067 vsize=9824668 CPUtime=1706.16 cores=0,2,4,6 /proc/26069/stat : 26069 (java) S 26067 26069 24583 0 -1 4202496 47080 0 1 0 169665 951 0 0 20 0 22 0 253643342 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140733752169984 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26069/statm: 2456167 899250 2287 9 0 2446860 0 [pid=26069/tid=26071] ppid=26067 vsize=9824668 CPUtime=0.92 cores=0,2,4,6 /proc/26069/task/26071/stat : 26071 (java) S 26067 26069 24583 0 -1 4202560 2547 0 1 0 86 6 0 0 20 0 22 0 253643344 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140336157938680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26072] ppid=26067 vsize=9824668 CPUtime=1.71 cores=0,2,4,6 /proc/26069/task/26072/stat : 26072 (java) S 26067 26069 24583 0 -1 4202560 655 0 0 0 155 16 0 0 20 0 22 0 253643345 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140336119429544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26073] ppid=26067 vsize=9824668 CPUtime=1.67 cores=0,2,4,6 /proc/26069/task/26073/stat : 26073 (java) S 26067 26069 24583 0 -1 4202560 342 0 0 0 150 17 0 0 20 0 22 0 253643345 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140336118377000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26074] ppid=26067 vsize=9824668 CPUtime=1.71 cores=0,2,4,6 /proc/26069/task/26074/stat : 26074 (java) S 26067 26069 24583 0 -1 4202560 468 0 0 0 151 20 0 0 20 0 22 0 253643345 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140336117323944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26075] ppid=26067 vsize=9824668 CPUtime=1.74 cores=0,2,4,6 /proc/26069/task/26075/stat : 26075 (java) S 26067 26069 24583 0 -1 4202560 857 0 0 0 154 20 0 0 20 0 22 0 253643345 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140336116271400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26076] ppid=26067 vsize=9824668 CPUtime=1.63 cores=0,2,4,6 /proc/26069/task/26076/stat : 26076 (java) S 26067 26069 24583 0 -1 4202560 750 0 0 0 149 14 0 0 20 0 22 0 253643345 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140336115219368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26077] ppid=26067 vsize=9824668 CPUtime=1.75 cores=0,2,4,6 /proc/26069/task/26077/stat : 26077 (java) S 26067 26069 24583 0 -1 4202560 1132 0 0 0 153 22 0 0 20 0 22 0 253643345 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140336114166824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26078] ppid=26067 vsize=9824668 CPUtime=1.67 cores=0,2,4,6 /proc/26069/task/26078/stat : 26078 (java) S 26067 26069 24583 0 -1 4202560 533 0 0 0 147 20 0 0 20 0 22 0 253643345 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140336113113768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26079] ppid=26067 vsize=9824668 CPUtime=1.77 cores=0,2,4,6 /proc/26069/task/26079/stat : 26079 (java) S 26067 26069 24583 0 -1 4202560 747 0 0 0 158 19 0 0 20 0 22 0 253643345 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140336112061224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26080] ppid=26067 vsize=9824668 CPUtime=12.73 cores=0,2,4,6 /proc/26069/task/26080/stat : 26080 (java) R 26067 26069 24583 0 -1 4202560 20170 0 0 0 1248 25 0 0 20 0 22 0 253643346 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335981647304 140336164064399 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26081] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26081/stat : 26081 (java) S 26067 26069 24583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253643347 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335980594552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26082] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26082/stat : 26082 (java) S 26067 26069 24583 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 22 0 253643347 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335979541384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26083] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26083/stat : 26083 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253643349 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335978490128 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26084] ppid=26067 vsize=9824668 CPUtime=1.29 cores=0,2,4,6 /proc/26069/task/26084/stat : 26084 (java) S 26067 26069 24583 0 -1 4202560 6164 0 0 0 129 0 0 0 20 0 22 0 253643349 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335977438008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26085] ppid=26067 vsize=9824668 CPUtime=1 cores=0,2,4,6 /proc/26069/task/26085/stat : 26085 (java) S 26067 26069 24583 0 -1 4202560 6406 0 0 0 98 2 0 0 20 0 22 0 253643349 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335103601592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26086] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26086/stat : 26086 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253643349 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335102548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26087] ppid=26067 vsize=9824668 CPUtime=0.33 cores=0,2,4,6 /proc/26069/task/26087/stat : 26087 (java) S 26067 26069 24583 0 -1 4202560 55 0 0 0 15 18 0 0 20 0 22 0 253643349 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335101496392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=27325] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/27325/stat : 27325 (java) S 26067 26069 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253727936 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335099389096 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=27326] ppid=26067 vsize=9824668 CPUtime=5.72 cores=0,2,4,6 /proc/26069/task/27326/stat : 27326 (java) S 26067 26069 24583 0 -1 4202560 4 0 0 0 572 0 0 0 20 0 22 0 253736987 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335100440792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=27327] ppid=26067 vsize=9824668 CPUtime=5.72 cores=0,2,4,6 /proc/26069/task/27327/stat : 27327 (java) S 26067 26069 24583 0 -1 4202560 2 0 0 0 572 0 0 0 20 0 22 0 253736987 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335098333400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=27328] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/27328/stat : 27328 (java) S 26067 26069 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253736987 10060460032 899250 33554432000 1073741824 1073778376 140733752178848 140335097284136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1706.16 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+990.007 s] /proc/loadavg: 3.95 3.86 3.67 5/219 27329 /proc/meminfo: memFree=24076892/32873648 swapFree=6856/6856 [pid=26069] ppid=26067 vsize=9824668 CPUtime=1800.06 cores=0,2,4,6 /proc/26069/stat : 26069 (java) S 26067 26069 24583 0 -1 4202496 47096 0 1 0 179054 952 0 0 20 0 22 0 253643342 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140733752169984 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26069/statm: 2456167 899755 2287 9 0 2446860 0 [pid=26069/tid=26071] ppid=26067 vsize=9824668 CPUtime=0.93 cores=0,2,4,6 /proc/26069/task/26071/stat : 26071 (java) S 26067 26069 24583 0 -1 4202560 2549 0 1 0 86 7 0 0 20 0 22 0 253643344 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140336157938680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26072] ppid=26067 vsize=9824668 CPUtime=1.71 cores=0,2,4,6 /proc/26069/task/26072/stat : 26072 (java) S 26067 26069 24583 0 -1 4202560 655 0 0 0 155 16 0 0 20 0 22 0 253643345 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140336119429544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26073] ppid=26067 vsize=9824668 CPUtime=1.68 cores=0,2,4,6 /proc/26069/task/26073/stat : 26073 (java) S 26067 26069 24583 0 -1 4202560 342 0 0 0 151 17 0 0 20 0 22 0 253643345 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140336118377000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26074] ppid=26067 vsize=9824668 CPUtime=1.71 cores=0,2,4,6 /proc/26069/task/26074/stat : 26074 (java) S 26067 26069 24583 0 -1 4202560 468 0 0 0 151 20 0 0 20 0 22 0 253643345 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140336117323944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26075] ppid=26067 vsize=9824668 CPUtime=1.75 cores=0,2,4,6 /proc/26069/task/26075/stat : 26075 (java) S 26067 26069 24583 0 -1 4202560 857 0 0 0 155 20 0 0 20 0 22 0 253643345 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140336116271400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26076] ppid=26067 vsize=9824668 CPUtime=1.64 cores=0,2,4,6 /proc/26069/task/26076/stat : 26076 (java) S 26067 26069 24583 0 -1 4202560 750 0 0 0 150 14 0 0 20 0 22 0 253643345 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140336115219368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26077] ppid=26067 vsize=9824668 CPUtime=1.76 cores=0,2,4,6 /proc/26069/task/26077/stat : 26077 (java) S 26067 26069 24583 0 -1 4202560 1132 0 0 0 154 22 0 0 20 0 22 0 253643345 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140336114166824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26078] ppid=26067 vsize=9824668 CPUtime=1.68 cores=0,2,4,6 /proc/26069/task/26078/stat : 26078 (java) S 26067 26069 24583 0 -1 4202560 533 0 0 0 148 20 0 0 20 0 22 0 253643345 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140336113113768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26079] ppid=26067 vsize=9824668 CPUtime=1.79 cores=0,2,4,6 /proc/26069/task/26079/stat : 26079 (java) S 26067 26069 24583 0 -1 4202560 747 0 0 0 160 19 0 0 20 0 22 0 253643345 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140336112061224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26080] ppid=26067 vsize=9824668 CPUtime=14.28 cores=0,2,4,6 /proc/26069/task/26080/stat : 26080 (java) S 26067 26069 24583 0 -1 4202560 20180 0 0 0 1403 25 0 0 20 0 22 0 253643346 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335981648232 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=26081] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26081/stat : 26081 (java) S 26067 26069 24583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253643347 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335980594552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26082] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26082/stat : 26082 (java) S 26067 26069 24583 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 22 0 253643347 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335979541384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26083] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26083/stat : 26083 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253643349 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335978490128 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=26084] ppid=26067 vsize=9824668 CPUtime=1.29 cores=0,2,4,6 /proc/26069/task/26084/stat : 26084 (java) S 26067 26069 24583 0 -1 4202560 6164 0 0 0 129 0 0 0 20 0 22 0 253643349 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335977438008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26085] ppid=26067 vsize=9824668 CPUtime=1 cores=0,2,4,6 /proc/26069/task/26085/stat : 26085 (java) S 26067 26069 24583 0 -1 4202560 6406 0 0 0 98 2 0 0 20 0 22 0 253643349 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335103601592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=26086] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/26086/stat : 26086 (java) S 26067 26069 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253643349 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335102548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=26087] ppid=26067 vsize=9824668 CPUtime=0.35 cores=0,2,4,6 /proc/26069/task/26087/stat : 26087 (java) S 26067 26069 24583 0 -1 4202560 57 0 0 0 16 19 0 0 20 0 22 0 253643349 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335101496392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26069/tid=27325] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/27325/stat : 27325 (java) S 26067 26069 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253727936 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335099389096 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26069/tid=27326] ppid=26067 vsize=9824668 CPUtime=51.87 cores=0,2,4,6 /proc/26069/task/27326/stat : 27326 (java) R 26067 26069 24583 0 -1 4202560 5 0 0 0 5187 0 0 0 20 0 22 0 253736987 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335100440672 140335993509942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=26069/tid=27327] ppid=26067 vsize=9824668 CPUtime=51.88 cores=0,2,4,6 /proc/26069/task/27327/stat : 27327 (java) R 26067 26069 24583 0 -1 4202560 3 0 0 0 5188 0 0 0 20 0 22 0 253736987 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335098333280 140335993507406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26069/tid=27328] ppid=26067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26069/task/27328/stat : 27328 (java) S 26067 26069 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253736987 10060460032 899755 33554432000 1073741824 1073778376 140733752178848 140335097284136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.05176e-05 # lost CPU user time (s): 0.0100098 # lost CPU system time (s): -0.00999999 Real time (s): 990.054 CPU time (s): 1800.29 CPU user time (s): 1790.58 CPU system time (s): 9.70952 CPU usage (%): 181.838 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.57 system time used= 9.71952 maximum resident set size= 3599136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47126 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1064 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33700 involuntary context switches= 25896 runsolver used 4.07038 second user time and 8.31374 second system time The end
Begin job on node125 at 2012-05-24 17:59:39 IDJOB=3687974 IDBENCH=2527 IDSOLVER=2268 FILE ID=node125/3687974-1337875179 RUNJOBID= node125-1337871881-24599 PBS_JOBID= 14620079 Free space on /tmp= 71696 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687974-1337875179/watcher-3687974-1337875179 -o /tmp/evaluation-result-3687974-1337875179/solver-3687974-1337875179 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687974-1337875179.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED=997330539 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26106436 kB Buffers: 201548 kB Cached: 2195776 kB SwapCached: 0 kB Active: 4201476 kB Inactive: 1795684 kB Active(anon): 3602140 kB Inactive(anon): 0 kB Active(file): 599336 kB Inactive(file): 1795684 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2408 kB Writeback: 0 kB AnonPages: 3659420 kB Mapped: 22616 kB Shmem: 200 kB Slab: 627088 kB SReclaimable: 71184 kB SUnreclaim: 555904 kB KernelStack: 1816 kB PageTables: 11420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 4032216 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 3575808 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node125 at 2012-05-24 18:16:11