Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 1614804990 | 1800.12 | 984.046 |
| 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 | 1241512960 |
| Best CPU time to get the best result obtained on this benchmark | 1800.18 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4080672-1465229861.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.42/0.82 c ... done. Wall clock time 0.698s. 1.42/0.82 c declared #vars 6651 1.42/0.82 c #constraints 721 1.42/0.82 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.42/0.82 c constraints type 1.42/0.82 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51 1.42/0.82 c org.sat4j.minisat.constraints.card.MinWatchCard => 331 1.42/0.82 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 339 1.42/0.82 c 721 constraints processed. 1.42/0.82 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.42/0.82 c constraints type 1.42/0.82 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 1.42/0.82 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 1.42/0.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 339 1.42/0.82 c 721 constraints processed. 1.42/0.82 c objective function length is 31 literals 2.51/1.12 c And the winner is solver0 2.66/1.32 c SATISFIABLE 2.66/1.32 c OPTIMIZING... 2.66/1.35 c Got one! Elapsed wall clock time (in seconds):1.207 2.66/1.35 o 2130706432 3.56/1.64 c And the winner is solver1 3.69/1.83 c Got one! Elapsed wall clock time (in seconds):1.712 3.69/1.83 o 2130706431 4.07/2.07 c And the winner is solver1 4.34/2.33 c Got one! Elapsed wall clock time (in seconds):2.214 4.34/2.33 o 2130706430 5.04/2.62 c And the winner is solver1 5.11/2.83 c Got one! Elapsed wall clock time (in seconds):2.715 5.11/2.83 o 2130706429 5.46/3.08 c And the winner is solver1 5.69/3.33 c Got one! Elapsed wall clock time (in seconds):3.216 5.69/3.33 o 2130706428 6.05/3.56 c And the winner is solver1 6.21/3.83 c Got one! Elapsed wall clock time (in seconds):3.716 6.21/3.83 o 2130706427 6.53/4.05 c And the winner is solver1 6.67/4.33 c Got one! Elapsed wall clock time (in seconds):4.217 6.67/4.33 o 2130706426 6.81/4.45 c And the winner is solver1 6.92/4.84 c Got one! Elapsed wall clock time (in seconds):4.718 6.92/4.84 o 2130706425 7.25/5.08 c And the winner is solver1 7.43/5.34 c Got one! Elapsed wall clock time (in seconds):5.219 7.43/5.34 o 2130706424 8.02/5.61 c And the winner is solver1 8.05/5.84 c Got one! Elapsed wall clock time (in seconds):5.72 8.05/5.84 o 2130706423 8.37/6.04 c And the winner is solver1 8.48/6.34 c Got one! Elapsed wall clock time (in seconds):6.22 8.48/6.34 o 2130706422 8.88/6.57 c And the winner is solver1 9.17/6.84 c Got one! Elapsed wall clock time (in seconds):6.721 9.17/6.84 o 2130706421 18.62/11.53 c And the winner is solver1 18.68/11.84 c Got one! Elapsed wall clock time (in seconds):11.723 18.68/11.84 o 2130706420 18.99/12.06 c And the winner is solver1 19.17/12.34 c Got one! Elapsed wall clock time (in seconds):12.224 19.17/12.34 o 2130706419 19.47/12.57 c And the winner is solver1 19.65/12.84 c Got one! Elapsed wall clock time (in seconds):12.724 19.65/12.84 o 2130706418 20.24/13.12 c And the winner is solver1 20.32/13.34 c Got one! Elapsed wall clock time (in seconds):13.225 20.32/13.34 o 2130706417 20.68/13.56 c And the winner is solver1 20.83/13.84 c Got one! Elapsed wall clock time (in seconds):13.726 20.83/13.84 o 2130706416 21.13/14.05 c And the winner is solver1 21.27/14.34 c Got one! Elapsed wall clock time (in seconds):14.227 21.27/14.34 o 2130706415 21.57/14.56 c And the winner is solver1 21.72/14.84 c Got one! Elapsed wall clock time (in seconds):14.728 21.72/14.84 o 2130706414 22.02/15.05 c And the winner is solver1 22.15/15.35 c Got one! Elapsed wall clock time (in seconds):15.229 22.15/15.35 o 2130706413 22.47/15.56 c And the winner is solver1 22.60/15.85 c Got one! Elapsed wall clock time (in seconds):15.729 22.60/15.85 o 2130706412 22.90/16.06 c And the winner is solver1 23.06/16.35 c Got one! Elapsed wall clock time (in seconds):16.23 23.06/16.35 o 2130706411 23.37/16.56 c And the winner is solver1 23.52/16.85 c Got one! Elapsed wall clock time (in seconds):16.731 23.52/16.85 o 2130706410 23.85/17.10 c And the winner is solver1 24.12/17.35 c Got one! Elapsed wall clock time (in seconds):17.232 24.12/17.35 o 2130706409 24.41/17.56 c And the winner is solver1 24.56/17.85 c Got one! Elapsed wall clock time (in seconds):17.732 24.56/17.85 o 2130706408 34.85/23.06 c And the winner is solver1 34.98/23.35 c Got one! Elapsed wall clock time (in seconds):23.234 34.98/23.35 o 2130706407 38.88/25.37 c And the winner is solver1 39.03/25.85 c Got one! Elapsed wall clock time (in seconds):25.735 39.03/25.85 o 2130706406 39.32/26.09 c And the winner is solver1 39.55/26.35 c Got one! Elapsed wall clock time (in seconds):26.236 39.55/26.35 o 2130706405 39.85/26.58 c And the winner is solver1 40.03/26.85 c Got one! Elapsed wall clock time (in seconds):26.737 40.03/26.85 o 2130706404 40.58/27.11 c And the winner is solver1 40.64/27.35 c Got one! Elapsed wall clock time (in seconds):27.238 40.64/27.35 o 2130706403 40.95/27.57 c And the winner is solver1 41.10/27.86 c Got one! Elapsed wall clock time (in seconds):27.738 41.10/27.86 o 2130706402 41.38/28.07 c And the winner is solver1 41.55/28.36 c Got one! Elapsed wall clock time (in seconds):28.239 41.55/28.36 o 2130706401 41.83/28.58 c And the winner is solver1 42.02/28.86 c Got one! Elapsed wall clock time (in seconds):28.74 42.02/28.86 o 2130706400 42.30/29.07 c And the winner is solver1 42.46/29.36 c Got one! Elapsed wall clock time (in seconds):29.24 42.46/29.36 o 2130706399 42.74/29.57 c And the winner is solver1 42.89/29.86 c Got one! Elapsed wall clock time (in seconds):29.741 42.89/29.86 o 2130706398 44.98/30.93 c And the winner is solver1 45.06/31.36 c Got one! Elapsed wall clock time (in seconds):31.242 45.06/31.36 o 2130706397 47.93/32.86 c And the winner is solver1 48.07/32.91 c Got one! Elapsed wall clock time (in seconds):32.793 48.07/32.91 o 2130706396 51.04/34.42 c And the winner is solver1 51.11/34.91 c Got one! Elapsed wall clock time (in seconds):34.794 51.11/34.91 o 2130706395 54.14/36.46 c And the winner is solver1 54.28/36.91 c Got one! Elapsed wall clock time (in seconds):36.795 54.28/36.91 o 2130706394 56.85/38.28 c And the winner is solver1 57.03/38.41 c Got one! Elapsed wall clock time (in seconds):38.296 57.03/38.41 o 2130706393 59.61/39.78 c And the winner is solver1 59.78/39.91 c Got one! Elapsed wall clock time (in seconds):39.796 59.78/39.91 o 2130706392 60.14/40.14 c And the winner is solver1 60.26/40.41 c Got one! Elapsed wall clock time (in seconds):40.297 60.26/40.41 o 2130706391 60.62/40.63 c And the winner is solver1 60.71/40.91 c Got one! Elapsed wall clock time (in seconds):40.798 60.71/40.91 o 2130706390 61.07/41.14 c And the winner is solver1 61.18/41.42 c Got one! Elapsed wall clock time (in seconds):41.299 61.18/41.42 o 2130706389 61.54/41.64 c And the winner is solver1 61.64/41.92 c Got one! Elapsed wall clock time (in seconds):41.799 61.64/41.92 o 2130706388 62.00/42.13 c And the winner is solver1 62.08/42.42 c Got one! Elapsed wall clock time (in seconds):42.3 62.08/42.42 o 2130706387 62.44/42.67 c And the winner is solver1 62.61/42.92 c Got one! Elapsed wall clock time (in seconds):42.801 62.61/42.92 o 2130706386 62.97/43.15 c And the winner is solver1 63.10/43.42 c Got one! Elapsed wall clock time (in seconds):43.301 63.10/43.42 o 2130706385 66.26/45.07 c And the winner is solver1 66.44/45.42 c Got one! Elapsed wall clock time (in seconds):45.302 66.44/45.42 o 2130706384 66.98/45.74 c And the winner is solver1 67.11/45.92 c Got one! Elapsed wall clock time (in seconds):45.803 67.11/45.92 o 2130706383 67.45/46.17 c And the winner is solver1 67.62/46.42 c Got one! Elapsed wall clock time (in seconds):46.304 67.62/46.42 o 2130706382 71.03/48.13 c And the winner is solver1 71.10/48.42 c Got one! Elapsed wall clock time (in seconds):48.305 71.10/48.42 o 2130706381 71.45/48.65 c And the winner is solver1 71.58/48.92 c Got one! Elapsed wall clock time (in seconds):48.806 71.58/48.92 o 2130706380 71.92/49.15 c And the winner is solver1 72.05/49.42 c Got one! Elapsed wall clock time (in seconds):49.307 72.05/49.42 o 2130706379 88.99/57.93 c And the winner is solver1 89.04/58.43 c Got one! Elapsed wall clock time (in seconds):58.309 89.04/58.43 o 2130706378 89.38/58.66 c And the winner is solver1 89.52/58.93 c Got one! Elapsed wall clock time (in seconds):58.81 89.52/58.93 o 2130706377 98.33/63.39 c And the winner is solver1 98.52/63.43 c Got one! Elapsed wall clock time (in seconds):63.312 98.52/63.43 o 2130706376 103.26/65.87 c And the winner is solver1 103.41/65.93 c Got one! Elapsed wall clock time (in seconds):65.813 103.41/65.93 o 2130706375 108.16/68.37 c And the winner is solver1 108.30/68.43 c Got one! Elapsed wall clock time (in seconds):68.314 108.30/68.43 o 2130706374 113.26/70.97 c And the winner is solver1 113.41/71.43 c Got one! Elapsed wall clock time (in seconds):71.315 113.41/71.43 o 2130706373 118.15/73.88 c And the winner is solver1 118.32/73.93 c Got one! Elapsed wall clock time (in seconds):73.816 118.32/73.93 o 2130706372 123.27/76.44 c And the winner is solver1 123.36/76.93 c Got one! Elapsed wall clock time (in seconds):76.817 123.36/76.93 o 2130706371 128.29/79.40 c And the winner is solver1 128.29/79.43 c Got one! Elapsed wall clock time (in seconds):79.318 128.29/79.43 o 2130706370 133.23/81.90 c And the winner is solver1 133.23/81.94 c Got one! Elapsed wall clock time (in seconds):81.819 133.23/81.94 o 2130706369 133.55/82.18 c And the winner is solver1 133.74/82.44 c Got one! Elapsed wall clock time (in seconds):82.32 133.74/82.44 o 2130706368 140.67/85.98 c And the winner is solver1 140.83/86.44 c Got one! Elapsed wall clock time (in seconds):86.321 140.83/86.44 o 2130706367 155.75/94.00 c And the winner is solver1 155.94/94.44 c Got one! Elapsed wall clock time (in seconds):94.323 155.94/94.44 o 2130706366 160.86/96.97 c And the winner is solver1 160.99/97.44 c Got one! Elapsed wall clock time (in seconds):97.324 160.99/97.44 o 2130706365 161.50/97.71 c And the winner is solver1 161.54/97.94 c Got one! Elapsed wall clock time (in seconds):97.825 161.54/97.94 o 2130706364 169.46/101.98 c And the winner is solver1 169.63/102.44 c Got one! Elapsed wall clock time (in seconds):102.326 169.63/102.44 o 2130706363 193.97/114.68 c cleaning 8772 clauses out of 17544 with flag 7822/17545 208.10/121.60 c And the winner is solver1 208.10/121.95 c Got one! Elapsed wall clock time (in seconds):121.83 208.10/121.95 o 2130706362 227.40/131.66 c And the winner is solver1 227.50/131.95 c Got one! Elapsed wall clock time (in seconds):131.832 227.50/131.95 o 2130706361 229.81/133.13 c And the winner is solver1 229.88/133.45 c Got one! Elapsed wall clock time (in seconds):133.333 229.88/133.45 o 2130706360 231.17/134.17 c And the winner is solver1 231.33/134.45 c Got one! Elapsed wall clock time (in seconds):134.334 231.33/134.45 o 2130706359 258.23/147.94 c And the winner is solver1 258.27/148.00 c Got one! Elapsed wall clock time (in seconds):147.887 258.27/148.00 o 2130706358 258.66/148.27 c And the winner is solver1 258.83/148.50 c Got one! Elapsed wall clock time (in seconds):148.387 258.83/148.50 o 2130706357 268.05/153.18 c cleaning 7701 clauses out of 15411 with flag 3774/24184 277.27/157.71 c And the winner is solver1 277.29/158.01 c Got one! Elapsed wall clock time (in seconds):157.89 277.29/158.01 o 2130706356 293.26/166.09 c And the winner is solver1 293.44/166.51 c Got one! Elapsed wall clock time (in seconds):166.392 293.44/166.51 o 2130706355 295.61/167.64 c And the winner is solver1 295.71/168.01 c Got one! Elapsed wall clock time (in seconds):167.893 295.71/168.01 o 2130706354 296.08/168.27 c And the winner is solver1 296.24/168.51 c Got one! Elapsed wall clock time (in seconds):168.393 296.24/168.51 o 2130706353 296.61/168.77 c And the winner is solver1 296.79/169.01 c Got one! Elapsed wall clock time (in seconds):168.894 296.79/169.01 o 2130706352 297.16/169.29 c And the winner is solver1 297.36/169.51 c Got one! Elapsed wall clock time (in seconds):169.395 297.36/169.51 o 2130706351 297.73/169.76 c And the winner is solver1 297.87/170.01 c Got one! Elapsed wall clock time (in seconds):169.895 297.87/170.01 o 2130706350 298.24/170.27 c And the winner is solver1 298.41/170.51 c Got one! Elapsed wall clock time (in seconds):170.396 298.41/170.51 o 2130706349 298.78/170.78 c And the winner is solver1 298.96/171.01 c Got one! Elapsed wall clock time (in seconds):170.897 298.96/171.01 o 2130706348 299.32/171.27 c And the winner is solver1 299.49/171.51 c Got one! Elapsed wall clock time (in seconds):171.397 299.49/171.51 o 2130706347 300.09/171.83 c And the winner is solver1 300.18/172.02 c Got one! Elapsed wall clock time (in seconds):171.898 300.18/172.02 o 2130706346 300.54/172.29 c And the winner is solver1 300.75/172.52 c Got one! Elapsed wall clock time (in seconds):172.399 300.75/172.52 o 2130706345 301.12/172.78 c And the winner is solver1 301.31/173.02 c Got one! Elapsed wall clock time (in seconds):172.9 301.31/173.02 o 2130706344 301.87/173.35 c And the winner is solver1 301.99/173.52 c Got one! Elapsed wall clock time (in seconds):173.4 301.99/173.52 o 2130706343 302.34/173.79 c And the winner is solver1 302.56/174.02 c Got one! Elapsed wall clock time (in seconds):173.901 302.56/174.02 o 2130706342 305.51/175.56 c And the winner is solver1 305.65/176.02 c Got one! Elapsed wall clock time (in seconds):175.902 305.65/176.02 o 2130706341 306.00/176.29 c And the winner is solver1 306.22/176.52 c Got one! Elapsed wall clock time (in seconds):176.403 306.22/176.52 o 2130706340 307.58/177.25 c And the winner is solver1 307.69/177.52 c Got one! Elapsed wall clock time (in seconds):177.404 307.69/177.52 o 2130706339 309.05/178.25 c And the winner is solver1 309.17/178.52 c Got one! Elapsed wall clock time (in seconds):178.404 309.17/178.52 o 2130706338 310.57/179.24 c And the winner is solver1 310.66/179.52 c Got one! Elapsed wall clock time (in seconds):179.405 310.66/179.52 o 2130706337 312.01/180.20 c And the winner is solver1 312.04/180.52 c Got one! Elapsed wall clock time (in seconds):180.406 312.04/180.52 o 2130706336 313.39/181.20 c And the winner is solver1 313.42/181.52 c Got one! Elapsed wall clock time (in seconds):181.407 313.42/181.52 o 2130706335 314.77/182.21 c And the winner is solver1 314.81/182.52 c Got one! Elapsed wall clock time (in seconds):182.407 314.81/182.52 o 2130706334 316.15/183.21 c And the winner is solver1 316.20/183.53 c Got one! Elapsed wall clock time (in seconds):183.408 316.20/183.53 o 2130706333 317.54/184.22 c And the winner is solver1 317.61/184.53 c Got one! Elapsed wall clock time (in seconds):184.409 317.61/184.53 o 2130706332 318.95/185.22 c And the winner is solver1 319.03/185.53 c Got one! Elapsed wall clock time (in seconds):185.41 319.03/185.53 o 2130706331 320.43/186.26 c And the winner is solver1 320.58/186.53 c Got one! Elapsed wall clock time (in seconds):186.411 320.58/186.53 o 2130706330 321.91/187.24 c And the winner is solver1 322.01/187.53 c Got one! Elapsed wall clock time (in seconds):187.412 322.01/187.53 o 2130706329 323.36/188.24 c And the winner is solver1 323.45/188.53 c Got one! Elapsed wall clock time (in seconds):188.413 323.45/188.53 o 2130706328 323.98/188.83 c And the winner is solver1 324.07/189.03 c Got one! Elapsed wall clock time (in seconds):188.913 324.07/189.03 o 2130706327 325.40/189.75 c And the winner is solver1 325.53/190.03 c Got one! Elapsed wall clock time (in seconds):189.914 325.53/190.03 o 2130706326 326.86/190.75 c And the winner is solver1 326.99/191.03 c Got one! Elapsed wall clock time (in seconds):190.915 326.99/191.03 o 2130706325 328.32/191.76 c And the winner is solver1 328.47/192.03 c Got one! Elapsed wall clock time (in seconds):191.916 328.47/192.03 o 2130706324 329.80/192.75 c And the winner is solver1 329.97/193.03 c Got one! Elapsed wall clock time (in seconds):192.917 329.97/193.03 o 2130706323 331.31/193.77 c And the winner is solver1 331.46/194.03 c Got one! Elapsed wall clock time (in seconds):193.917 331.46/194.03 o 2130706322 332.80/194.80 c And the winner is solver1 333.02/195.04 c Got one! Elapsed wall clock time (in seconds):194.918 333.02/195.04 o 2130706321 333.54/195.36 c And the winner is solver1 333.69/195.54 c Got one! Elapsed wall clock time (in seconds):195.419 333.69/195.54 o 2130706320 335.21/196.32 c And the winner is solver1 335.27/196.54 c Got one! Elapsed wall clock time (in seconds):196.42 335.27/196.54 o 2130706319 336.59/197.28 c And the winner is solver1 336.78/197.54 c Got one! Elapsed wall clock time (in seconds):197.42 336.78/197.54 o 2130706318 338.10/198.29 c And the winner is solver1 338.30/198.54 c Got one! Elapsed wall clock time (in seconds):198.421 338.30/198.54 o 2130706317 339.87/199.35 c And the winner is solver1 340.00/199.54 c Got one! Elapsed wall clock time (in seconds):199.422 340.00/199.54 o 2130706316 341.53/200.31 c And the winner is solver1 341.58/200.54 c Got one! Elapsed wall clock time (in seconds):200.423 341.58/200.54 o 2130706315 343.10/201.32 c And the winner is solver1 343.16/201.54 c Got one! Elapsed wall clock time (in seconds):201.424 343.16/201.54 o 2130706314 344.66/202.32 c And the winner is solver1 344.74/202.54 c Got one! Elapsed wall clock time (in seconds):202.425 344.74/202.54 o 2130706313 345.44/202.92 c And the winner is solver1 345.53/203.04 c Got one! Elapsed wall clock time (in seconds):202.926 345.53/203.04 o 2130706312 346.03/203.37 c And the winner is solver1 346.21/203.54 c Got one! Elapsed wall clock time (in seconds):203.426 346.21/203.54 o 2130706311 346.71/203.86 c And the winner is solver1 346.86/204.04 c Got one! Elapsed wall clock time (in seconds):203.927 346.86/204.04 o 2130706310 348.61/204.93 c And the winner is solver1 348.70/205.04 c Got one! Elapsed wall clock time (in seconds):204.928 348.70/205.04 o 2130706309 350.02/205.80 c And the winner is solver1 350.23/206.05 c Got one! Elapsed wall clock time (in seconds):205.929 350.23/206.05 o 2130706308 350.73/206.34 c And the winner is solver1 350.83/206.55 c Got one! Elapsed wall clock time (in seconds):206.429 350.83/206.55 o 2130706307 351.35/206.84 c And the winner is solver1 351.43/207.05 c Got one! Elapsed wall clock time (in seconds):206.93 351.43/207.05 o 2130706306 353.73/208.27 c And the winner is solver1 353.88/208.55 c Got one! Elapsed wall clock time (in seconds):208.431 353.88/208.55 o 2130706305 355.38/209.31 c And the winner is solver1 355.40/209.55 c Got one! Elapsed wall clock time (in seconds):209.432 355.40/209.55 o 2130706304 357.14/210.41 c And the winner is solver1 357.19/210.55 c Got one! Elapsed wall clock time (in seconds):210.432 357.19/210.55 o 2130706303 358.70/211.39 c And the winner is solver1 358.89/211.55 c Got one! Elapsed wall clock time (in seconds):211.433 358.89/211.55 o 2130706302 360.40/212.39 c And the winner is solver1 360.60/212.55 c Got one! Elapsed wall clock time (in seconds):212.434 360.60/212.55 o 2130706301 361.29/212.93 c And the winner is solver1 361.39/213.05 c Got one! Elapsed wall clock time (in seconds):212.935 361.39/213.05 o 2130706300 362.09/213.44 c And the winner is solver1 362.18/213.55 c Got one! Elapsed wall clock time (in seconds):213.436 362.18/213.55 o 2130706299 363.66/214.34 c And the winner is solver1 363.77/214.55 c Got one! Elapsed wall clock time (in seconds):214.437 363.77/214.55 o 2130706298 364.25/214.88 c And the winner is solver1 364.45/215.05 c Got one! Elapsed wall clock time (in seconds):214.937 364.45/215.05 o 2130706297 364.99/215.38 c And the winner is solver1 365.18/215.56 c Got one! Elapsed wall clock time (in seconds):215.438 365.18/215.56 o 2130706296 365.66/215.86 c And the winner is solver1 365.81/216.06 c Got one! Elapsed wall clock time (in seconds):215.939 365.81/216.06 o 2130706295 366.29/216.35 c And the winner is solver1 366.41/216.56 c Got one! Elapsed wall clock time (in seconds):216.439 366.41/216.56 o 2130706294 370.69/218.78 c And the winner is solver1 370.86/219.06 c Got one! Elapsed wall clock time (in seconds):218.941 370.86/219.06 o 2130706293 379.17/223.20 c And the winner is solver1 379.17/223.56 c Got one! Elapsed wall clock time (in seconds):223.442 379.17/223.56 o 2130706292 380.65/224.32 c And the winner is solver1 380.71/224.56 c Got one! Elapsed wall clock time (in seconds):224.443 380.71/224.56 o 2130706291 385.79/227.17 c And the winner is solver1 385.99/227.56 c Got one! Elapsed wall clock time (in seconds):227.444 385.99/227.56 o 2130706290 391.06/230.12 c And the winner is solver1 391.11/230.56 c Got one! Elapsed wall clock time (in seconds):230.445 391.11/230.56 o 2130706289 392.78/231.41 c And the winner is solver1 392.82/231.56 c Got one! Elapsed wall clock time (in seconds):231.446 392.82/231.56 o 2130706288 394.49/232.44 c And the winner is solver1 394.60/232.56 c Got one! Elapsed wall clock time (in seconds):232.446 394.60/232.56 o 2130706287 396.30/233.45 c And the winner is solver1 396.42/233.56 c Got one! Elapsed wall clock time (in seconds):233.447 396.42/233.56 o 2130706286 399.09/234.92 c And the winner is solver1 399.15/235.07 c Got one! Elapsed wall clock time (in seconds):234.948 399.15/235.07 o 2130706285 400.61/235.87 c And the winner is solver1 400.78/236.07 c Got one! Elapsed wall clock time (in seconds):235.949 400.78/236.07 o 2130706284 403.44/237.41 c And the winner is solver1 403.47/237.57 c Got one! Elapsed wall clock time (in seconds):237.45 403.47/237.57 o 2130706283 404.15/237.98 c And the winner is solver1 404.34/238.07 c Got one! Elapsed wall clock time (in seconds):237.95 404.34/238.07 o 2130706282 405.00/238.47 c And the winner is solver1 405.17/238.57 c Got one! Elapsed wall clock time (in seconds):238.451 405.17/238.57 o 2130706281 405.83/238.97 c And the winner is solver1 406.00/239.07 c Got one! Elapsed wall clock time (in seconds):238.952 406.00/239.07 o 2130706280 406.66/239.48 c And the winner is solver1 406.84/239.57 c Got one! Elapsed wall clock time (in seconds):239.453 406.84/239.57 o 2130706279 407.51/239.99 c And the winner is solver1 407.69/240.07 c Got one! Elapsed wall clock time (in seconds):239.953 407.69/240.07 o 2130706278 408.35/240.49 c And the winner is solver1 408.55/240.57 c Got one! Elapsed wall clock time (in seconds):240.454 408.55/240.57 o 2130706277 410.23/241.48 c And the winner is solver1 410.41/241.57 c Got one! Elapsed wall clock time (in seconds):241.455 410.41/241.57 o 2130706276 412.06/242.45 c And the winner is solver1 412.18/242.57 c Got one! Elapsed wall clock time (in seconds):242.456 412.18/242.57 o 2130706275 413.02/243.01 c And the winner is solver1 413.02/243.07 c Got one! Elapsed wall clock time (in seconds):242.956 413.02/243.07 o 2130706274 430.18/251.61 c And the winner is solver1 430.20/252.08 c Got one! Elapsed wall clock time (in seconds):251.959 430.20/252.08 o 2130706273 431.84/252.95 c And the winner is solver1 431.98/253.08 c Got one! Elapsed wall clock time (in seconds):252.959 431.98/253.08 o 2130706272 448.05/261.13 c And the winner is solver1 448.10/261.58 c Got one! Elapsed wall clock time (in seconds):261.461 448.10/261.58 o 2130698239 451.73/263.46 c And the winner is solver1 451.86/263.58 c Got one! Elapsed wall clock time (in seconds):263.463 451.86/263.58 o 2130673663 453.50/264.49 c And the winner is solver1 453.70/264.58 c Got one! Elapsed wall clock time (in seconds):264.463 453.70/264.58 o 2130673662 454.35/264.94 c And the winner is solver1 454.45/265.08 c Got one! Elapsed wall clock time (in seconds):264.964 454.45/265.08 o 2130673661 455.08/265.42 c And the winner is solver1 455.15/265.58 c Got one! Elapsed wall clock time (in seconds):265.465 455.15/265.58 o 2130673660 457.77/266.99 c And the winner is solver1 457.97/267.08 c Got one! Elapsed wall clock time (in seconds):266.966 457.97/267.08 o 2130673659 459.66/267.93 c And the winner is solver1 459.72/268.08 c Got one! Elapsed wall clock time (in seconds):267.966 459.72/268.08 o 2130673658 460.36/268.43 c And the winner is solver1 460.43/268.58 c Got one! Elapsed wall clock time (in seconds):268.467 460.43/268.58 o 2130673657 462.06/269.42 c And the winner is solver1 462.13/269.58 c Got one! Elapsed wall clock time (in seconds):269.468 462.13/269.58 o 2130673656 463.76/270.43 c And the winner is solver1 463.84/270.59 c Got one! Elapsed wall clock time (in seconds):270.469 463.84/270.59 o 2130673655 466.49/271.93 c And the winner is solver1 466.58/272.09 c Got one! Elapsed wall clock time (in seconds):271.97 466.58/272.09 o 2130673654 468.01/272.88 c And the winner is solver1 468.17/273.09 c Got one! Elapsed wall clock time (in seconds):272.971 468.17/273.09 o 2130673653 470.80/274.46 c And the winner is solver1 470.96/274.59 c Got one! Elapsed wall clock time (in seconds):274.472 470.96/274.59 o 2130673652 482.38/280.30 c And the winner is solver1 482.38/280.59 c Got one! Elapsed wall clock time (in seconds):280.474 482.38/280.59 o 2130673651 482.99/280.97 c And the winner is solver1 483.15/281.09 c Got one! Elapsed wall clock time (in seconds):280.974 483.15/281.09 o 2130673650 492.39/285.74 c And the winner is solver1 492.47/286.09 c Got one! Elapsed wall clock time (in seconds):285.976 492.47/286.09 o 2130673649 493.07/286.44 c And the winner is solver1 493.17/286.59 c Got one! Elapsed wall clock time (in seconds):286.477 493.17/286.59 o 2130673648 494.77/287.48 c And the winner is solver1 494.95/287.59 c Got one! Elapsed wall clock time (in seconds):287.477 494.95/287.59 o 2130673647 495.57/287.96 c And the winner is solver1 495.70/288.10 c Got one! Elapsed wall clock time (in seconds):287.978 495.70/288.10 o 2130673646 498.12/289.39 c And the winner is solver1 498.30/289.60 c Got one! Elapsed wall clock time (in seconds):289.479 498.30/289.60 o 2130673645 500.14/290.57 c And the winner is solver1 500.30/290.60 c Got one! Elapsed wall clock time (in seconds):290.48 500.30/290.60 o 2130673644 502.11/291.55 c And the winner is solver1 502.11/291.60 c Got one! Elapsed wall clock time (in seconds):291.481 502.11/291.60 o 2130673643 510.05/295.52 c And the winner is solver1 510.10/295.60 c Got one! Elapsed wall clock time (in seconds):295.482 510.10/295.60 o 2130673642 512.69/296.99 c And the winner is solver1 512.89/297.10 c Got one! Elapsed wall clock time (in seconds):296.983 512.89/297.10 o 2130673641 514.68/298.08 c And the winner is solver1 514.68/298.10 c Got one! Elapsed wall clock time (in seconds):297.984 514.68/298.10 o 2130673640 518.68/300.06 c And the winner is solver1 518.82/300.10 c Got one! Elapsed wall clock time (in seconds):299.985 518.82/300.10 o 2130640895 521.62/301.52 c And the winner is solver1 521.67/301.60 c Got one! Elapsed wall clock time (in seconds):301.485 521.67/301.60 o 2130640894 522.30/301.96 c And the winner is solver1 522.44/302.10 c Got one! Elapsed wall clock time (in seconds):301.986 522.44/302.10 o 2130640893 523.02/302.44 c And the winner is solver1 523.14/302.60 c Got one! Elapsed wall clock time (in seconds):302.487 523.14/302.60 o 2130640892 523.72/302.95 c And the winner is solver1 523.85/303.10 c Got one! Elapsed wall clock time (in seconds):302.988 523.85/303.10 o 2130640891 524.45/303.47 c And the winner is solver1 524.62/303.61 c Got one! Elapsed wall clock time (in seconds):303.488 524.62/303.61 o 2130640890 535.26/308.90 c cleaning 16764 clauses out of 33534 with flag 3939/50008 544.47/313.52 c And the winner is solver1 544.49/313.61 c Got one! Elapsed wall clock time (in seconds):313.491 544.49/313.61 o 2113929215 554.49/318.68 c And the winner is solver1 554.64/319.11 c Got one! Elapsed wall clock time (in seconds):318.992 554.64/319.11 o 2113928959 555.64/319.60 c And the winner is solver1 555.64/319.66 c Got one! Elapsed wall clock time (in seconds):319.543 555.64/319.66 o 2113928958 567.60/325.68 c And the winner is solver1 567.76/326.16 c Got one! Elapsed wall clock time (in seconds):326.044 567.76/326.16 o 2113928957 573.48/329.06 c And the winner is solver1 573.60/329.16 c Got one! Elapsed wall clock time (in seconds):329.046 573.60/329.16 o 2113925119 601.49/343.16 c cleaning 11854 clauses out of 23710 with flag 10919/56948 629.59/357.11 c And the winner is solver1 629.59/357.18 c Got one! Elapsed wall clock time (in seconds):357.063 629.59/357.18 o 2113925118 630.22/357.59 c And the winner is solver1 630.40/357.68 c Got one! Elapsed wall clock time (in seconds):357.564 630.40/357.68 o 2113925117 636.86/360.99 c And the winner is solver1 637.05/361.18 c Got one! Elapsed wall clock time (in seconds):361.065 637.05/361.18 o 2113925116 643.51/364.47 c And the winner is solver1 643.67/364.68 c Got one! Elapsed wall clock time (in seconds):364.566 643.67/364.68 o 2113925115 648.31/367.02 c And the winner is solver1 648.37/367.18 c Got one! Elapsed wall clock time (in seconds):367.067 648.37/367.18 o 2113925114 667.25/376.63 c And the winner is solver1 667.30/376.70 c Got one! Elapsed wall clock time (in seconds):376.582 667.30/376.70 o 2113798143 677.28/382.04 c And the winner is solver1 677.38/382.28 c Got one! Elapsed wall clock time (in seconds):382.163 677.38/382.28 o 2113789951 678.21/382.74 c And the winner is solver1 678.21/382.78 c Got one! Elapsed wall clock time (in seconds):382.664 678.21/382.78 o 2113789950 691.03/389.11 c And the winner is solver1 691.05/389.28 c Got one! Elapsed wall clock time (in seconds):389.168 691.05/389.28 o 2113789949 691.67/389.67 c And the winner is solver1 691.83/389.79 c Got one! Elapsed wall clock time (in seconds):389.669 691.83/389.79 o 2113789948 701.07/394.48 c And the winner is solver1 701.23/394.79 c Got one! Elapsed wall clock time (in seconds):394.67 701.23/394.79 o 2113789947 702.25/395.35 c And the winner is solver1 702.37/395.79 c Got one! Elapsed wall clock time (in seconds):395.671 702.37/395.79 o 2113789946 703.19/396.25 c And the winner is solver1 703.19/396.29 c Got one! Elapsed wall clock time (in seconds):396.171 703.19/396.29 o 2113789945 704.15/396.75 c And the winner is solver1 704.15/396.79 c Got one! Elapsed wall clock time (in seconds):396.672 704.15/396.79 o 2113789944 704.91/397.20 c And the winner is solver1 705.11/397.29 c Got one! Elapsed wall clock time (in seconds):397.173 705.11/397.29 o 2113789943 711.18/400.31 c And the winner is solver1 711.21/400.79 c Got one! Elapsed wall clock time (in seconds):400.674 711.21/400.79 o 2113789942 712.02/401.21 c And the winner is solver1 712.02/401.29 c Got one! Elapsed wall clock time (in seconds):401.175 712.02/401.29 o 2113789941 712.89/401.71 c And the winner is solver1 712.89/401.79 c Got one! Elapsed wall clock time (in seconds):401.675 712.89/401.79 o 2113789940 713.53/402.19 c And the winner is solver1 713.73/402.29 c Got one! Elapsed wall clock time (in seconds):402.176 713.73/402.29 o 2113789939 716.58/403.74 c And the winner is solver1 716.58/403.79 c Got one! Elapsed wall clock time (in seconds):403.677 716.58/403.79 o 2113789938 717.27/404.19 c And the winner is solver1 717.47/404.29 c Got one! Elapsed wall clock time (in seconds):404.178 717.47/404.29 o 2113789937 727.54/409.34 c And the winner is solver1 727.60/409.80 c Got one! Elapsed wall clock time (in seconds):409.679 727.60/409.80 o 2113781759 728.43/410.24 c And the winner is solver1 728.43/410.30 c Got one! Elapsed wall clock time (in seconds):410.18 728.43/410.30 o 2113781758 730.30/411.22 c And the winner is solver1 730.35/411.30 c Got one! Elapsed wall clock time (in seconds):411.181 730.35/411.30 o 2113781757 730.94/411.69 c And the winner is solver1 731.16/411.80 c Got one! Elapsed wall clock time (in seconds):411.681 731.16/411.80 o 2113781756 735.76/414.20 c And the winner is solver1 735.97/414.30 c Got one! Elapsed wall clock time (in seconds):414.183 735.97/414.30 o 2113765375 737.22/414.93 c And the winner is solver1 737.27/415.30 c Got one! Elapsed wall clock time (in seconds):415.183 737.27/415.30 o 2113765374 745.11/419.25 c And the winner is solver1 745.18/419.30 c Got one! Elapsed wall clock time (in seconds):419.185 745.18/419.30 o 2113404927 746.37/419.96 c And the winner is solver1 746.51/420.30 c Got one! Elapsed wall clock time (in seconds):420.186 746.51/420.30 o 2113404926 747.53/420.85 c And the winner is solver1 747.66/421.30 c Got one! Elapsed wall clock time (in seconds):421.187 747.66/421.30 o 2113404925 748.24/421.69 c And the winner is solver1 748.45/421.80 c Got one! Elapsed wall clock time (in seconds):421.687 748.45/421.80 o 2113404924 749.25/422.21 c And the winner is solver1 749.29/422.31 c Got one! Elapsed wall clock time (in seconds):422.188 749.29/422.31 o 2113404923 750.07/422.70 c And the winner is solver1 750.11/422.81 c Got one! Elapsed wall clock time (in seconds):422.689 750.11/422.81 o 2113404922 755.91/425.72 c And the winner is solver1 755.95/425.81 c Got one! Elapsed wall clock time (in seconds):425.69 755.95/425.81 o 2113404921 765.36/430.50 c And the winner is solver1 765.37/430.81 c Got one! Elapsed wall clock time (in seconds):430.691 765.37/430.81 o 2113404920 769.38/432.89 c And the winner is solver1 769.58/433.31 c Got one! Elapsed wall clock time (in seconds):433.193 769.58/433.31 o 2113404919 770.76/433.93 c And the winner is solver1 770.84/434.31 c Got one! Elapsed wall clock time (in seconds):434.194 770.84/434.31 o 2113404918 777.24/437.53 c And the winner is solver1 777.31/437.81 c Got one! Elapsed wall clock time (in seconds):437.695 777.31/437.81 o 2113396735 778.48/438.45 c And the winner is solver1 778.60/438.81 c Got one! Elapsed wall clock time (in seconds):438.696 778.60/438.81 o 2113396734 790.21/444.64 c cleaning 14148 clauses out of 28321 with flag 3598/73413 804.03/451.58 c And the winner is solver1 804.17/451.82 c Got one! Elapsed wall clock time (in seconds):451.699 804.17/451.82 o 2113388543 805.53/452.57 c And the winner is solver1 805.72/452.82 c Got one! Elapsed wall clock time (in seconds):452.7 805.72/452.82 o 2113388542 810.89/455.46 c And the winner is solver1 811.02/455.82 c Got one! Elapsed wall clock time (in seconds):455.701 811.02/455.82 o 2113388541 822.60/461.61 c And the winner is solver1 822.63/461.82 c Got one! Elapsed wall clock time (in seconds):461.702 822.63/461.82 o 2113388540 823.61/462.33 c And the winner is solver1 823.71/462.82 c Got one! Elapsed wall clock time (in seconds):462.706 823.71/462.82 o 2113388539 824.47/463.26 c And the winner is solver1 824.61/463.32 c Got one! Elapsed wall clock time (in seconds):463.207 824.61/463.32 o 2113388538 825.37/463.76 c And the winner is solver1 825.51/463.82 c Got one! Elapsed wall clock time (in seconds):463.708 825.51/463.82 o 2113388537 826.49/464.32 c And the winner is solver1 826.49/464.38 c Got one! Elapsed wall clock time (in seconds):464.258 826.49/464.38 o 2113388536 827.60/464.96 c And the winner is solver1 827.76/465.38 c Got one! Elapsed wall clock time (in seconds):465.259 827.76/465.38 o 2113388535 830.40/466.75 c And the winner is solver1 830.54/466.88 c Got one! Elapsed wall clock time (in seconds):466.76 830.54/466.88 o 2113388534 833.38/468.38 c And the winner is solver1 833.58/468.88 c Got one! Elapsed wall clock time (in seconds):468.762 833.58/468.88 o 2113388533 834.42/469.35 c And the winner is solver1 834.42/469.38 c Got one! Elapsed wall clock time (in seconds):469.262 834.42/469.38 o 2113388532 837.79/471.03 c And the winner is solver1 837.87/471.38 c Got one! Elapsed wall clock time (in seconds):471.264 837.87/471.38 o 2113388531 838.70/471.88 c And the winner is solver1 838.88/471.93 c Got one! Elapsed wall clock time (in seconds):471.815 838.88/471.93 o 2113388530 850.05/477.59 c And the winner is solver1 850.21/477.93 c Got one! Elapsed wall clock time (in seconds):477.817 850.21/477.93 o 2113388529 851.55/478.61 c And the winner is solver1 851.59/478.93 c Got one! Elapsed wall clock time (in seconds):478.817 851.59/478.93 o 2113388528 853.93/480.14 c And the winner is solver1 854.03/480.44 c Got one! Elapsed wall clock time (in seconds):480.319 854.03/480.44 o 2113388527 856.35/481.61 c And the winner is solver1 856.38/481.94 c Got one! Elapsed wall clock time (in seconds):481.819 856.38/481.94 o 2113388526 859.27/483.77 c And the winner is solver1 859.43/483.86 c Got one! Elapsed wall clock time (in seconds):483.745 859.43/483.86 o 2113388525 860.50/484.42 c And the winner is solver1 860.57/484.86 c Got one! Elapsed wall clock time (in seconds):484.746 860.57/484.86 o 2113388524 863.65/486.44 c And the winner is solver1 863.75/486.87 c Got one! Elapsed wall clock time (in seconds):486.754 863.75/486.87 o 2113388523 865.00/487.57 c And the winner is solver1 865.16/487.87 c Got one! Elapsed wall clock time (in seconds):487.755 865.16/487.87 o 2113388522 866.45/488.56 c And the winner is solver1 866.58/488.87 c Got one! Elapsed wall clock time (in seconds):488.756 866.58/488.87 o 2113388521 867.84/489.53 c And the winner is solver1 867.91/489.87 c Got one! Elapsed wall clock time (in seconds):489.756 867.91/489.87 o 2113388520 872.57/492.21 c And the winner is solver1 872.62/492.37 c Got one! Elapsed wall clock time (in seconds):492.258 872.62/492.37 o 2113388519 873.86/493.05 c And the winner is solver1 873.99/493.38 c Got one! Elapsed wall clock time (in seconds):493.259 873.99/493.38 o 2113388518 875.24/494.03 c And the winner is solver1 875.32/494.38 c Got one! Elapsed wall clock time (in seconds):494.259 875.32/494.38 o 2113388517 878.37/495.92 c And the winner is solver1 878.43/496.38 c Got one! Elapsed wall clock time (in seconds):496.26 878.43/496.38 o 2113388516 881.50/497.93 c And the winner is solver1 881.59/498.38 c Got one! Elapsed wall clock time (in seconds):498.262 881.59/498.38 o 2113388515 884.63/499.93 c And the winner is solver1 884.70/500.38 c Got one! Elapsed wall clock time (in seconds):500.263 884.70/500.38 o 2113388514 891.16/503.64 c And the winner is solver1 891.26/503.88 c Got one! Elapsed wall clock time (in seconds):503.764 891.26/503.88 o 2113388513 892.30/504.43 c And the winner is solver1 892.37/504.88 c Got one! Elapsed wall clock time (in seconds):504.764 892.37/504.88 o 2113388512 895.60/506.57 c And the winner is solver1 895.76/506.88 c Got one! Elapsed wall clock time (in seconds):506.766 895.76/506.88 o 2113388511 897.81/507.96 c And the winner is solver1 897.96/508.38 c Got one! Elapsed wall clock time (in seconds):508.266 897.96/508.38 o 2113388510 900.00/509.43 c And the winner is solver1 900.07/509.88 c Got one! Elapsed wall clock time (in seconds):509.767 900.07/509.88 o 2113388509 905.74/512.77 c And the winner is solver1 905.90/512.89 c Got one! Elapsed wall clock time (in seconds):512.769 905.90/512.89 o 2113388508 909.31/514.64 c And the winner is solver1 909.42/514.89 c Got one! Elapsed wall clock time (in seconds):514.77 909.42/514.89 o 2113388507 911.88/516.11 c And the winner is solver1 911.91/516.39 c Got one! Elapsed wall clock time (in seconds):516.271 911.91/516.39 o 2113388506 914.38/517.61 c And the winner is solver1 914.42/517.89 c Got one! Elapsed wall clock time (in seconds):517.772 914.42/517.89 o 2113388505 916.44/518.93 c And the winner is solver1 916.53/519.39 c Got one! Elapsed wall clock time (in seconds):519.272 916.53/519.39 o 2113388504 917.54/519.92 c And the winner is solver1 917.62/520.39 c Got one! Elapsed wall clock time (in seconds):520.273 917.62/520.39 o 2113388503 920.06/521.64 c And the winner is solver1 920.16/521.89 c Got one! Elapsed wall clock time (in seconds):521.774 920.16/521.89 o 2113388502 921.17/522.47 c And the winner is solver1 921.34/522.89 c Got one! Elapsed wall clock time (in seconds):522.775 921.34/522.89 o 2113388501 922.57/523.58 c And the winner is solver1 922.77/523.89 c Got one! Elapsed wall clock time (in seconds):523.776 922.77/523.89 o 2113388500 923.97/524.55 c And the winner is solver1 924.10/524.89 c Got one! Elapsed wall clock time (in seconds):524.777 924.10/524.89 o 2113388499 925.92/525.88 c And the winner is solver1 925.92/525.89 c Got one! Elapsed wall clock time (in seconds):525.777 925.92/525.89 o 2113388498 928.72/527.21 c And the winner is solver1 928.76/527.40 c Got one! Elapsed wall clock time (in seconds):527.278 928.76/527.40 o 2113388497 929.98/528.01 c And the winner is solver1 930.00/528.40 c Got one! Elapsed wall clock time (in seconds):528.279 930.00/528.40 o 2113388496 933.84/530.37 c And the winner is solver1 933.98/530.40 c Got one! Elapsed wall clock time (in seconds):530.28 933.98/530.40 o 2113388495 936.78/531.87 c And the winner is solver1 936.94/531.90 c Got one! Elapsed wall clock time (in seconds):531.782 936.94/531.90 o 2113388494 939.74/533.39 c And the winner is solver1 939.93/533.45 c Got one! Elapsed wall clock time (in seconds):533.333 939.93/533.45 o 2113388493 941.07/534.05 c And the winner is solver1 941.19/534.45 c Got one! Elapsed wall clock time (in seconds):534.333 941.19/534.45 o 2113388492 942.28/535.03 c And the winner is solver1 942.36/535.45 c Got one! Elapsed wall clock time (in seconds):535.334 942.36/535.45 o 2113388491 945.65/537.15 c And the winner is solver1 945.78/537.45 c Got one! Elapsed wall clock time (in seconds):537.335 945.78/537.45 o 2113388490 948.68/538.97 c And the winner is solver1 948.85/539.45 c Got one! Elapsed wall clock time (in seconds):539.336 948.85/539.45 o 2113388489 950.74/540.40 c And the winner is solver1 950.74/540.45 c Got one! Elapsed wall clock time (in seconds):540.337 950.74/540.45 o 2113388488 954.47/542.38 c And the winner is solver1 954.65/542.45 c Got one! Elapsed wall clock time (in seconds):542.337 954.65/542.45 o 2113388487 957.58/543.91 c And the winner is solver1 957.58/543.96 c Got one! Elapsed wall clock time (in seconds):543.838 957.58/543.96 o 2113388486 958.70/544.60 c And the winner is solver1 958.92/544.96 c Got one! Elapsed wall clock time (in seconds):544.839 958.92/544.96 o 2113388485 960.21/545.63 c And the winner is solver1 960.28/545.96 c Got one! Elapsed wall clock time (in seconds):545.84 960.28/545.96 o 2113388484 963.57/547.66 c And the winner is solver1 963.72/547.96 c Got one! Elapsed wall clock time (in seconds):547.841 963.72/547.96 o 2113388483 964.80/548.59 c And the winner is solver1 965.00/548.96 c Got one! Elapsed wall clock time (in seconds):548.842 965.00/548.96 o 2113388482 966.08/549.53 c And the winner is solver1 966.16/549.96 c Got one! Elapsed wall clock time (in seconds):549.843 966.16/549.96 o 2113388481 967.23/550.52 c And the winner is solver1 967.31/550.96 c Got one! Elapsed wall clock time (in seconds):550.844 967.31/550.96 o 2113388480 968.42/551.55 c And the winner is solver1 968.55/551.96 c Got one! Elapsed wall clock time (in seconds):551.845 968.55/551.96 o 2113388479 969.62/552.60 c And the winner is solver1 969.84/552.96 c Got one! Elapsed wall clock time (in seconds):552.846 969.84/552.96 o 2113388478 970.91/553.54 c And the winner is solver1 971.01/553.96 c Got one! Elapsed wall clock time (in seconds):553.847 971.01/553.96 o 2113388477 972.09/554.52 c And the winner is solver1 972.15/554.96 c Got one! Elapsed wall clock time (in seconds):554.848 972.15/554.96 o 2113388476 973.98/556.23 c And the winner is solver1 973.98/556.27 c Got one! Elapsed wall clock time (in seconds):556.152 973.98/556.27 o 2113388475 975.13/556.89 c And the winner is solver1 975.32/557.27 c Got one! Elapsed wall clock time (in seconds):557.153 975.32/557.27 o 2113388474 976.58/557.97 c And the winner is solver1 976.74/558.27 c Got one! Elapsed wall clock time (in seconds):558.154 976.74/558.27 o 2113388473 978.14/558.96 c And the winner is solver1 978.27/559.31 c Got one! Elapsed wall clock time (in seconds):559.193 978.27/559.31 o 2113388472 979.46/560.00 c And the winner is solver1 979.66/560.31 c Got one! Elapsed wall clock time (in seconds):560.194 979.66/560.31 o 2113388471 980.83/560.99 c And the winner is solver1 981.03/561.31 c Got one! Elapsed wall clock time (in seconds):561.195 981.03/561.31 o 2113388470 982.40/562.00 c And the winner is solver1 982.43/562.31 c Got one! Elapsed wall clock time (in seconds):562.196 982.43/562.31 o 2113388469 986.07/564.19 c And the winner is solver1 986.28/564.31 c Got one! Elapsed wall clock time (in seconds):564.197 986.28/564.31 o 2113388468 987.64/565.00 c And the winner is solver1 987.68/565.31 c Got one! Elapsed wall clock time (in seconds):565.198 987.68/565.31 o 2113388467 988.84/565.98 c And the winner is solver1 989.03/566.32 c Got one! Elapsed wall clock time (in seconds):566.198 989.03/566.32 o 2113388466 990.19/566.95 c And the winner is solver1 990.32/567.32 c Got one! Elapsed wall clock time (in seconds):567.199 990.32/567.32 o 2113388465 991.95/568.12 c And the winner is solver1 992.02/568.32 c Got one! Elapsed wall clock time (in seconds):568.2 992.02/568.32 o 2113388464 993.38/569.08 c And the winner is solver1 993.57/569.32 c Got one! Elapsed wall clock time (in seconds):569.201 993.57/569.32 o 2113388463 994.93/570.08 c And the winner is solver1 995.12/570.32 c Got one! Elapsed wall clock time (in seconds):570.202 995.12/570.32 o 2113388462 1026.97/586.27 c cleaning 17079 clauses out of 34162 with flag 11959/93402 1055.83/600.69 c And the winner is solver1 1055.86/600.82 c Got one! Elapsed wall clock time (in seconds):600.707 1055.86/600.82 o 2109734911 1063.00/604.46 c And the winner is solver1 1063.12/604.83 c Got one! Elapsed wall clock time (in seconds):604.709 1063.12/604.83 o 2109734910 1064.26/605.48 c And the winner is solver1 1064.45/605.83 c Got one! Elapsed wall clock time (in seconds):605.71 1064.45/605.83 o 2109734909 1072.07/609.63 c And the winner is solver1 1072.12/609.83 c Got one! Elapsed wall clock time (in seconds):609.711 1072.12/609.83 o 2109734908 1085.12/616.30 c And the winner is solver1 1085.12/616.33 c Got one! Elapsed wall clock time (in seconds):616.213 1085.12/616.33 o 2109734907 1090.05/618.84 c And the winner is solver1 1090.16/619.33 c Got one! Elapsed wall clock time (in seconds):619.214 1090.16/619.33 o 2109734906 1091.89/620.22 c And the winner is solver1 1091.95/620.33 c Got one! Elapsed wall clock time (in seconds):620.215 1091.95/620.33 o 2109734905 1100.76/624.71 c And the winner is solver1 1100.78/624.83 c Got one! Elapsed wall clock time (in seconds):624.716 1100.78/624.83 o 2109734904 1114.60/631.78 c And the winner is solver1 1114.75/631.83 c Got one! Elapsed wall clock time (in seconds):631.718 1114.75/631.83 o 2109734903 1115.87/632.49 c And the winner is solver1 1116.08/632.84 c Got one! Elapsed wall clock time (in seconds):632.719 1116.08/632.84 o 2109734902 1123.80/636.78 c cleaning 12711 clauses out of 25421 with flag 3664/101740 1129.10/639.35 c And the winner is solver1 1129.20/639.84 c Got one! Elapsed wall clock time (in seconds):639.721 1129.20/639.84 o 2109734901 1130.72/640.62 c And the winner is solver1 1130.80/640.84 c Got one! Elapsed wall clock time (in seconds):640.722 1130.80/640.84 o 2109734900 1135.12/643.05 c And the winner is solver1 1135.23/643.34 c Got one! Elapsed wall clock time (in seconds):643.223 1135.23/643.34 o 2109734899 1149.19/650.32 c And the winner is solver1 1149.19/650.34 c Got one! Elapsed wall clock time (in seconds):650.224 1149.19/650.34 o 2109734898 1153.73/652.61 c And the winner is solver1 1153.76/652.84 c Got one! Elapsed wall clock time (in seconds):652.726 1153.76/652.84 o 2109734897 1164.16/658.08 c And the winner is solver1 1164.32/658.35 c Got one! Elapsed wall clock time (in seconds):658.229 1164.32/658.35 o 2109734896 1171.22/661.81 c And the winner is solver1 1171.22/661.85 c Got one! Elapsed wall clock time (in seconds):661.73 1171.22/661.85 o 2109734895 1174.75/663.63 c And the winner is solver1 1174.84/663.85 c Got one! Elapsed wall clock time (in seconds):663.731 1174.84/663.85 o 2109734894 1180.86/666.82 c And the winner is solver1 1180.86/666.85 c Got one! Elapsed wall clock time (in seconds):666.732 1180.86/666.85 o 2109734893 1191.62/672.21 c And the winner is solver1 1191.64/672.35 c Got one! Elapsed wall clock time (in seconds):672.234 1191.64/672.35 o 2109734892 1199.41/676.27 c And the winner is solver1 1199.60/676.35 c Got one! Elapsed wall clock time (in seconds):676.235 1199.60/676.35 o 2109734891 1203.09/678.13 c And the winner is solver1 1203.16/678.35 c Got one! Elapsed wall clock time (in seconds):678.236 1203.16/678.35 o 2109734890 1217.65/685.63 c And the winner is solver1 1217.70/685.86 c Got one! Elapsed wall clock time (in seconds):685.738 1217.70/685.86 o 2109734889 1225.49/689.77 c And the winner is solver1 1225.63/689.86 c Got one! Elapsed wall clock time (in seconds):689.739 1225.63/689.86 o 2109734888 1227.31/690.73 c And the winner is solver1 1227.40/690.86 c Got one! Elapsed wall clock time (in seconds):690.74 1227.40/690.86 o 2109734887 1230.87/692.62 c And the winner is solver1 1230.95/692.86 c Got one! Elapsed wall clock time (in seconds):692.741 1230.95/692.86 o 2109734886 1245.49/700.13 c And the winner is solver1 1245.54/700.36 c Got one! Elapsed wall clock time (in seconds):700.243 1245.54/700.36 o 2109734885 1250.63/702.95 c And the winner is solver1 1250.73/703.36 c Got one! Elapsed wall clock time (in seconds):703.244 1250.73/703.36 o 2109734884 1258.91/707.48 c And the winner is solver1 1259.05/707.86 c Got one! Elapsed wall clock time (in seconds):707.745 1259.05/707.86 o 2109726719 1261.31/709.01 c And the winner is solver1 1261.35/709.36 c Got one! Elapsed wall clock time (in seconds):709.246 1261.35/709.36 o 2109726718 1271.41/714.43 c And the winner is solver1 1271.46/714.86 c Got one! Elapsed wall clock time (in seconds):714.748 1271.46/714.86 o 2109702143 1283.99/721.89 c And the winner is solver1 1284.16/722.35 c Got one! Elapsed wall clock time (in seconds):722.234 1284.16/722.35 o 2109702142 1296.85/728.75 c And the winner is solver1 1296.94/728.85 c Got one! Elapsed wall clock time (in seconds):728.736 1296.94/728.85 o 2109693951 1299.43/730.13 c And the winner is solver1 1299.50/730.35 c Got one! Elapsed wall clock time (in seconds):730.237 1299.50/730.35 o 2109693950 1310.85/736.06 c cleaning 13749 clauses out of 27514 with flag 4413/116544 1358.49/759.88 c And the winner is solver1 1358.61/760.36 c Got one! Elapsed wall clock time (in seconds):760.242 1358.61/760.36 o 2109669375 1377.93/770.02 c And the winner is solver1 1377.93/770.36 c Got one! Elapsed wall clock time (in seconds):770.245 1377.93/770.36 o 2109661183 1382.80/772.87 c And the winner is solver1 1382.94/773.36 c Got one! Elapsed wall clock time (in seconds):773.246 1382.94/773.36 o 2109636607 1385.61/774.70 c And the winner is solver1 1385.64/774.86 c Got one! Elapsed wall clock time (in seconds):774.747 1385.64/774.86 o 2109636606 1388.37/776.28 c And the winner is solver1 1388.55/776.36 c Got one! Elapsed wall clock time (in seconds):776.248 1388.55/776.36 o 2109636605 1402.43/783.36 c cleaning 10513 clauses out of 21025 with flag 4547/123804 1427.34/795.76 c And the winner is solver1 1427.39/795.87 c Got one! Elapsed wall clock time (in seconds):795.752 1427.39/795.87 o 2109628415 1440.30/802.34 c And the winner is solver1 1440.30/802.37 c Got one! Elapsed wall clock time (in seconds):802.254 1440.30/802.37 o 2109628414 1442.04/803.28 c And the winner is solver1 1442.22/803.37 c Got one! Elapsed wall clock time (in seconds):803.255 1442.22/803.37 o 2109628413 1483.61/824.03 c cleaning 8334 clauses out of 16695 with flag 11509/129987 1494.80/829.68 c And the winner is solver1 1494.85/829.88 c Got one! Elapsed wall clock time (in seconds):829.76 1494.85/829.88 o 2109472767 1565.52/865.13 c cleaning 7085 clauses out of 14170 with flag 18553/135796 1602.68/883.67 c And the winner is solver0 1605.13/886.14 c Got one! Elapsed wall clock time (in seconds):886.022 1605.13/886.14 o 1614807039 1627.80/897.60 c And the winner is solver1 1627.99/897.64 c Got one! Elapsed wall clock time (in seconds):897.524 1627.99/897.64 o 1614804991 1630.89/899.16 c And the winner is solver1 1631.03/899.64 c Got one! Elapsed wall clock time (in seconds):899.526 1631.03/899.64 o 1614804990 1660.46/914.38 c cleaning 7064 clauses out of 14136 with flag 7625/142847 1747.82/957.97 c cleaning 6534 clauses out of 13071 with flag 29805/148846 1800.12/984.00 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.12/984.00 c starts : 3198 1800.12/984.00 c conflicts : 153323 1800.12/984.00 c decisions : 1041431 1800.12/984.00 c propagations : 152987448 1800.12/984.00 c inspects : 4324969849 1800.12/984.00 c shortcuts : 0 1800.12/984.00 c learnt literals : 1 1800.12/984.00 c learnt binary clauses : 0 1800.12/984.00 c learnt ternary clauses : 0 1800.12/984.00 c learnt constraints : 153322 1800.12/984.00 c ignored constraints : 0 1800.12/984.00 c root simplifications : 0 1800.12/984.00 c removed literals (reason simplification) : 383290 1800.12/984.00 c reason swapping (by a shorter reason) : 0 1800.12/984.00 c Calls to reduceDB : 13 1800.12/984.00 c Number of update (reduction) of LBD : 74067 1800.12/984.00 c Imported unit clauses : 0 1800.12/984.00 c number of reductions to clauses (during analyze) : 0 1800.12/984.00 c number of learned constraints concerned by reduction : 0 1800.12/984.00 c number of learning phase by resolution : 0 1800.12/984.00 c number of learning phase by cutting planes : 0 1800.12/984.00 c speed (assignments/second) : 1813507.3850165955 1800.12/984.00 c non guided choices 324609 1800.12/984.01 c learnt constraints type 1800.12/984.01 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11014 1800.12/984.01 c >>>>>>>>>> Solver number 1 (362 answers) <<<<<<<<<<<<<<<<<< 1800.12/984.01 c starts : 365 1800.12/984.01 c conflicts : 651 1800.12/984.01 c decisions : 2252092 1800.12/984.01 c propagations : 4751199 1800.12/984.01 c inspects : 185168548 1800.12/984.01 c shortcuts : 0 1800.12/984.01 c learnt literals : 0 1800.12/984.01 c learnt binary clauses : 0 1800.12/984.01 c learnt ternary clauses : 0 1800.12/984.01 c learnt constraints : 649 1800.12/984.01 c ignored constraints : 0 1800.12/984.01 c root simplifications : 0 1800.12/984.01 c removed literals (reason simplification) : 0 1800.12/984.01 c reason swapping (by a shorter reason) : 0 1800.12/984.01 c Calls to reduceDB : 0 1800.12/984.01 c Number of update (reduction) of LBD : 0 1800.12/984.01 c Imported unit clauses : 0 1800.12/984.01 c number of reductions to clauses (during analyze) : 0 1800.12/984.01 c number of learned constraints concerned by reduction : 0 1800.12/984.01 c number of learning phase by resolution : 0 1800.12/984.01 c number of learning phase by cutting planes : 0 1800.12/984.01 c speed (assignments/second) : 48546.02023091856 1800.12/984.01 c non guided choices 16547 1800.12/984.01 c learnt constraints type 1800.12/984.01 c org.sat4j.pb.constraints.pb.MaxWatchPb => 649 1800.12/984.01 s SATISFIABLE 1800.12/984.01 c Found 364 solution(s) 1800.12/984.02 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.12/984.03 c objective function=1614804990 1800.12/984.03 c Total wall clock time (in seconds): 983.912
OK 1614804990
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4080672-1465229861/watcher-4080672-1465229861 -o /tmp/evaluation-result-4080672-1465229861/solver-4080672-1465229861 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-973 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080672-1465229861.opb pid=3413 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: 4.02 4.28 4.31 4/195 3416 /proc/meminfo: memFree=28755932/32872528 swapFree=13256/481332 [pid=3416] ppid=3413 vsize=9160 CPUtime=0 cores=0,2,4,6 /proc/3416/stat : 3416 (java) R 3413 3416 955 0 -1 4202496 433 0 0 0 0 0 0 0 20 0 1 0 104920987 9379840 87 33554432000 1073741824 1073778376 140733633528096 140733633525224 235378071765 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/3416/statm: 2290 105 79 9 0 38 0 [startup+0.10006 s] /proc/loadavg: 4.02 4.28 4.31 4/195 3416 /proc/meminfo: memFree=28755932/32872528 swapFree=13256/481332 [pid=3416] ppid=3413 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/3416/stat : 3416 (java) S 3413 3416 955 0 -1 4202496 4401 0 1 0 8 1 0 0 20 0 18 0 104920987 9787879424 6032 33554432000 1073741824 1073778376 140733633528096 140733633519232 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3416/statm: 2389619 6032 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200213 s] /proc/loadavg: 4.02 4.28 4.31 4/195 3416 /proc/meminfo: memFree=28755932/32872528 swapFree=13256/481332 [pid=3416] ppid=3413 vsize=9558476 CPUtime=0.29 cores=0,2,4,6 /proc/3416/stat : 3416 (java) S 3413 3416 955 0 -1 4202496 5069 0 1 0 28 1 0 0 20 0 18 0 104920987 9787879424 6925 33554432000 1073741824 1073778376 140733633528096 140733633519232 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3416/statm: 2389619 6925 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300212 s] /proc/loadavg: 4.02 4.28 4.31 4/195 3416 /proc/meminfo: memFree=28755932/32872528 swapFree=13256/481332 [pid=3416] ppid=3413 vsize=9558476 CPUtime=0.5 cores=0,2,4,6 /proc/3416/stat : 3416 (java) S 3413 3416 955 0 -1 4202496 5843 0 1 0 48 2 0 0 20 0 18 0 104920987 9787879424 9389 33554432000 1073741824 1073778376 140733633528096 140733633519232 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3416/statm: 2389619 9389 2239 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700218 s] /proc/loadavg: 4.02 4.28 4.31 4/195 3416 /proc/meminfo: memFree=28755932/32872528 swapFree=13256/481332 [pid=3416] ppid=3413 vsize=9558476 CPUtime=1.32 cores=0,2,4,6 /proc/3416/stat : 3416 (java) S 3413 3416 955 0 -1 4202496 9006 0 1 0 125 7 0 0 20 0 18 0 104920987 9787879424 45162 33554432000 1073741824 1073778376 140733633528096 140733633519232 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3416/statm: 2389619 45162 2275 9 0 2380296 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 9558476 [startup+1.50076 s] /proc/loadavg: 4.02 4.28 4.31 11/217 3438 /proc/meminfo: memFree=28535236/32872528 swapFree=13256/481332 [pid=3416] ppid=3413 vsize=9824732 CPUtime=3.26 cores=0,2,4,6 /proc/3416/stat : 3416 (java) S 3413 3416 955 0 -1 4202496 14888 0 1 0 311 15 0 0 20 0 22 0 104920987 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140733633519232 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3416/statm: 2456183 58100 2284 9 0 2446860 0 [pid=3416/tid=3418] ppid=3413 vsize=9824732 CPUtime=0.76 cores=0,2,4,6 /proc/3416/task/3418/stat : 3418 (java) S 3413 3416 955 0 -1 4202560 2487 0 1 0 73 3 0 0 20 0 22 0 104920988 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293724558200 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3419] ppid=3413 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/3416/task/3419/stat : 3419 (java) S 3413 3416 955 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 104920989 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293702659112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3420] ppid=3413 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/3416/task/3420/stat : 3420 (java) S 3413 3416 955 0 -1 4202560 16 0 0 0 1 1 0 0 20 0 22 0 104920989 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293701606312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3421] ppid=3413 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/3416/task/3421/stat : 3421 (java) S 3413 3416 955 0 -1 4202560 78 0 0 0 2 0 0 0 20 0 22 0 104920989 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293700553512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3422] ppid=3413 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/3416/task/3422/stat : 3422 (java) S 3413 3416 955 0 -1 4202560 106 0 0 0 4 2 0 0 20 0 22 0 104920989 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293699500712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3423] ppid=3413 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/3416/task/3423/stat : 3423 (java) S 3413 3416 955 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 104920989 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293361887784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3424] ppid=3413 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/3416/task/3424/stat : 3424 (java) S 3413 3416 955 0 -1 4202560 128 0 0 0 2 2 0 0 20 0 22 0 104920989 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293360834984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3425] ppid=3413 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3416/task/3425/stat : 3425 (java) S 3413 3416 955 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 104920989 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293359782184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3426] ppid=3413 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/3416/task/3426/stat : 3426 (java) S 3413 3416 955 0 -1 4202560 101 0 0 0 1 0 0 0 20 0 22 0 104920989 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293358729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3427] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3427/stat : 3427 (java) S 3413 3416 955 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 104920990 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293346532328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3428] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3428/stat : 3428 (java) S 3413 3416 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104920990 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293345478392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3429] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3429/stat : 3429 (java) S 3413 3416 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104920990 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293344425480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3430] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3430/stat : 3430 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104920993 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293343373968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3431] ppid=3413 vsize=9824732 CPUtime=0.61 cores=0,2,4,6 /proc/3416/task/3431/stat : 3431 (java) R 3413 3416 955 0 -1 4202560 3723 0 0 0 61 0 0 0 20 0 22 0 104920993 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293342308608 140293730521900 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3432] ppid=3413 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/3416/task/3432/stat : 3432 (java) R 3413 3416 955 0 -1 4202560 6802 0 0 0 64 1 0 0 20 0 22 0 104920993 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293341268280 140293728644550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3433] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3433/stat : 3433 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104920993 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293340215672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3434] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3434/stat : 3434 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104920993 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293339163080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3437] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3437/stat : 3437 (java) S 3413 3416 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104921070 10060525568 58100 33554432000 1073741824 1073778376 140733633528096 140293336004008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.26 Current children cumulated vsize (KiB) 9824732 [startup+3.10086 s] /proc/loadavg: 4.02 4.28 4.31 3/214 3444 /proc/meminfo: memFree=28443324/32872528 swapFree=13256/481332 [pid=3416] ppid=3413 vsize=9824732 CPUtime=5.69 cores=0,2,4,6 /proc/3416/stat : 3416 (java) S 3413 3416 955 0 -1 4202496 15275 0 1 0 540 29 0 0 20 0 19 0 104920987 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140733633519232 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3416/statm: 2456183 96527 2287 9 0 2446860 0 [pid=3416/tid=3418] ppid=3413 vsize=9824732 CPUtime=0.76 cores=0,2,4,6 /proc/3416/task/3418/stat : 3418 (java) S 3413 3416 955 0 -1 4202560 2487 0 1 0 73 3 0 0 20 0 19 0 104920988 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293724558200 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3419] ppid=3413 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/3416/task/3419/stat : 3419 (java) S 3413 3416 955 0 -1 4202560 37 0 0 0 6 2 0 0 20 0 19 0 104920989 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293702659112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3420] ppid=3413 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/3416/task/3420/stat : 3420 (java) S 3413 3416 955 0 -1 4202560 28 0 0 0 2 2 0 0 20 0 19 0 104920989 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293701606312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3421] ppid=3413 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/3416/task/3421/stat : 3421 (java) S 3413 3416 955 0 -1 4202560 90 0 0 0 4 1 0 0 20 0 19 0 104920989 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293700553512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3422] ppid=3413 vsize=9824732 CPUtime=0.11 cores=0,2,4,6 /proc/3416/task/3422/stat : 3422 (java) S 3413 3416 955 0 -1 4202560 128 0 0 0 9 2 0 0 20 0 19 0 104920989 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293699500712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3423] ppid=3413 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/3416/task/3423/stat : 3423 (java) S 3413 3416 955 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 104920989 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293361887784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3424] ppid=3413 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/3416/task/3424/stat : 3424 (java) S 3413 3416 955 0 -1 4202560 156 0 0 0 5 2 0 0 20 0 19 0 104920989 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293360834984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3425] ppid=3413 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/3416/task/3425/stat : 3425 (java) S 3413 3416 955 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 19 0 104920989 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293359782184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3426] ppid=3413 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/3416/task/3426/stat : 3426 (java) S 3413 3416 955 0 -1 4202560 131 0 0 0 4 2 0 0 20 0 19 0 104920989 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293358729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3427] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3427/stat : 3427 (java) S 3413 3416 955 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 19 0 104920990 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293346532328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3428] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3428/stat : 3428 (java) S 3413 3416 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104920990 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293345478392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3429] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3429/stat : 3429 (java) S 3413 3416 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104920990 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293344425480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3430] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3430/stat : 3430 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104920993 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293343373968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3431] ppid=3413 vsize=9824732 CPUtime=0.91 cores=0,2,4,6 /proc/3416/task/3431/stat : 3431 (java) S 3413 3416 955 0 -1 4202560 3751 0 0 0 91 0 0 0 20 0 19 0 104920993 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293342321080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3432] ppid=3413 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/3416/task/3432/stat : 3432 (java) S 3413 3416 955 0 -1 4202560 6803 0 0 0 72 1 0 0 20 0 19 0 104920993 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293341268280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3433] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3433/stat : 3433 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104920993 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293340215672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3434] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3434/stat : 3434 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104920993 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293339163080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3441] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3441/stat : 3441 (java) S 3413 3416 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104921120 10060525568 96527 33554432000 1073741824 1073778376 140733633528096 140293334950824 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 5.69 Current children cumulated vsize (KiB) 9824732 [startup+6.3008 s] /proc/loadavg: 4.02 4.28 4.31 5/217 3465 /proc/meminfo: memFree=28184828/32872528 swapFree=13256/481332 [pid=3416] ppid=3413 vsize=9824732 CPUtime=8.48 cores=0,2,4,6 /proc/3416/stat : 3416 (java) S 3413 3416 955 0 -1 4202496 15923 0 1 0 804 44 0 0 20 0 19 0 104920987 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140733633519232 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3416/statm: 2456183 154841 2288 9 0 2446860 0 [pid=3416/tid=3418] ppid=3413 vsize=9824732 CPUtime=0.77 cores=0,2,4,6 /proc/3416/task/3418/stat : 3418 (java) S 3413 3416 955 0 -1 4202560 2488 0 1 0 73 4 0 0 20 0 19 0 104920988 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293724558200 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3419] ppid=3413 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/3416/task/3419/stat : 3419 (java) S 3413 3416 955 0 -1 4202560 42 0 0 0 7 2 0 0 20 0 19 0 104920989 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293702659112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3420] ppid=3413 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/3416/task/3420/stat : 3420 (java) S 3413 3416 955 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 19 0 104920989 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293701606312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3421] ppid=3413 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/3416/task/3421/stat : 3421 (java) S 3413 3416 955 0 -1 4202560 94 0 0 0 5 1 0 0 20 0 19 0 104920989 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293700553512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3422] ppid=3413 vsize=9824732 CPUtime=0.13 cores=0,2,4,6 /proc/3416/task/3422/stat : 3422 (java) S 3413 3416 955 0 -1 4202560 133 0 0 0 10 3 0 0 20 0 19 0 104920989 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293699500712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3423] ppid=3413 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/3416/task/3423/stat : 3423 (java) S 3413 3416 955 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 104920989 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293361887784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3424] ppid=3413 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/3416/task/3424/stat : 3424 (java) S 3413 3416 955 0 -1 4202560 162 0 0 0 7 2 0 0 20 0 19 0 104920989 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293360834984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3425] ppid=3413 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/3416/task/3425/stat : 3425 (java) S 3413 3416 955 0 -1 4202560 37 0 0 0 7 2 0 0 20 0 19 0 104920989 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293359782184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3426] ppid=3413 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/3416/task/3426/stat : 3426 (java) S 3413 3416 955 0 -1 4202560 134 0 0 0 5 2 0 0 20 0 19 0 104920989 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293358729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3427] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3427/stat : 3427 (java) S 3413 3416 955 0 -1 4202560 468 0 0 0 0 0 0 0 20 0 19 0 104920990 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293346532328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3428] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3428/stat : 3428 (java) S 3413 3416 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104920990 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293345478392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3429] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3429/stat : 3429 (java) S 3413 3416 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104920990 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293344425480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3430] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3430/stat : 3430 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104920993 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293343373968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3431] ppid=3413 vsize=9824732 CPUtime=0.98 cores=0,2,4,6 /proc/3416/task/3431/stat : 3431 (java) S 3413 3416 955 0 -1 4202560 3751 0 0 0 98 0 0 0 20 0 19 0 104920993 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293342321080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3432] ppid=3413 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/3416/task/3432/stat : 3432 (java) S 3413 3416 955 0 -1 4202560 6803 0 0 0 72 1 0 0 20 0 19 0 104920993 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293341268280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3433] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3433/stat : 3433 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104920993 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293340215672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3434] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3434/stat : 3434 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104920993 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293339163080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3441] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3441/stat : 3441 (java) S 3413 3416 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104921120 10060525568 154841 33554432000 1073741824 1073778376 140733633528096 140293334950824 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 8.48 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ /proc/3416/statm: 2456183 876394 2302 9 0 2446860 0 [pid=3416/tid=3418] ppid=3413 vsize=9824732 CPUtime=0.98 cores=0,2,4,6 /proc/3416/task/3418/stat : 3418 (java) S 3413 3416 955 0 -1 4202560 2503 0 1 0 92 6 0 0 20 0 22 0 104920988 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293724558200 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3419] ppid=3413 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/3416/task/3419/stat : 3419 (java) S 3413 3416 955 0 -1 4202560 417 0 0 0 149 18 0 0 20 0 22 0 104920989 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293702659112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3420] ppid=3413 vsize=9824732 CPUtime=1.59 cores=0,2,4,6 /proc/3416/task/3420/stat : 3420 (java) S 3413 3416 955 0 -1 4202560 800 0 0 0 143 16 0 0 20 0 22 0 104920989 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293701606312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3421] ppid=3413 vsize=9824732 CPUtime=1.91 cores=0,2,4,6 /proc/3416/task/3421/stat : 3421 (java) S 3413 3416 955 0 -1 4202560 769 0 0 0 171 20 0 0 20 0 22 0 104920989 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293700553512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3422] ppid=3413 vsize=9824732 CPUtime=2.06 cores=0,2,4,6 /proc/3416/task/3422/stat : 3422 (java) S 3413 3416 955 0 -1 4202560 713 0 0 0 182 24 0 0 20 0 22 0 104920989 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293699500712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3423] ppid=3413 vsize=9824732 CPUtime=1.82 cores=0,2,4,6 /proc/3416/task/3423/stat : 3423 (java) S 3413 3416 955 0 -1 4202560 1059 0 0 0 163 19 0 0 20 0 22 0 104920989 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293361887784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3424] ppid=3413 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/3416/task/3424/stat : 3424 (java) S 3413 3416 955 0 -1 4202560 636 0 0 0 167 16 0 0 20 0 22 0 104920989 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293360834984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3425] ppid=3413 vsize=9824732 CPUtime=1.79 cores=0,2,4,6 /proc/3416/task/3425/stat : 3425 (java) S 3413 3416 955 0 -1 4202560 478 0 0 0 158 21 0 0 20 0 22 0 104920989 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293359782184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3426] ppid=3413 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/3416/task/3426/stat : 3426 (java) S 3413 3416 955 0 -1 4202560 584 0 0 0 162 21 0 0 20 0 22 0 104920989 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293358729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3427] ppid=3413 vsize=9824732 CPUtime=3.55 cores=0,2,4,6 /proc/3416/task/3427/stat : 3427 (java) S 3413 3416 955 0 -1 4202560 7184 0 0 0 339 16 0 0 20 0 22 0 104920990 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293346532328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3428] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3428/stat : 3428 (java) S 3413 3416 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104920990 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293345478392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3429] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3429/stat : 3429 (java) S 3413 3416 955 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 22 0 104920990 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293344425480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3430] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3430/stat : 3430 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104920993 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293343373968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3431] ppid=3413 vsize=9824732 CPUtime=1.56 cores=0,2,4,6 /proc/3416/task/3431/stat : 3431 (java) S 3413 3416 955 0 -1 4202560 5446 0 0 0 156 0 0 0 20 0 22 0 104920993 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293342321080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3432] ppid=3413 vsize=9824732 CPUtime=0.96 cores=0,2,4,6 /proc/3416/task/3432/stat : 3432 (java) S 3413 3416 955 0 -1 4202560 6842 0 0 0 95 1 0 0 20 0 22 0 104920993 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293341268280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3433] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3433/stat : 3433 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104920993 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293340215672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3434] ppid=3413 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/3416/task/3434/stat : 3434 (java) S 3413 3416 955 0 -1 4202560 51 0 0 0 17 13 0 0 20 0 22 0 104920993 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293339163080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=4645] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/4645/stat : 4645 (java) S 3413 3416 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105003975 10060525568 876394 33554432000 1073741824 1073778376 140733633528096 140293336003496 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1604.92 Current children cumulated vsize (KiB) 9824732 # ############ [startup+942.301 s] /proc/loadavg: 4.13 3.93 4.01 5/217 4659 /proc/meminfo: memFree=25472676/32872528 swapFree=13256/481332 [pid=3416] ppid=3413 vsize=9824732 CPUtime=1716.37 cores=0,2,4,6 /proc/3416/stat : 3416 (java) S 3413 3416 955 0 -1 4202496 34904 0 1 0 170694 943 0 0 20 0 22 0 104920987 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140733633519232 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3416/statm: 2456183 881780 2302 9 0 2446860 0 [pid=3416/tid=3418] ppid=3413 vsize=9824732 CPUtime=0.98 cores=0,2,4,6 /proc/3416/task/3418/stat : 3418 (java) S 3413 3416 955 0 -1 4202560 2503 0 1 0 92 6 0 0 20 0 22 0 104920988 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293724558200 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3419] ppid=3413 vsize=9824732 CPUtime=1.74 cores=0,2,4,6 /proc/3416/task/3419/stat : 3419 (java) S 3413 3416 955 0 -1 4202560 420 0 0 0 155 19 0 0 20 0 22 0 104920989 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293702659112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3420] ppid=3413 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/3416/task/3420/stat : 3420 (java) S 3413 3416 955 0 -1 4202560 805 0 0 0 151 16 0 0 20 0 22 0 104920989 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293701606312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3421] ppid=3413 vsize=9824732 CPUtime=2.02 cores=0,2,4,6 /proc/3416/task/3421/stat : 3421 (java) S 3413 3416 955 0 -1 4202560 777 0 0 0 181 21 0 0 20 0 22 0 104920989 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293700553512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3422] ppid=3413 vsize=9824732 CPUtime=2.14 cores=0,2,4,6 /proc/3416/task/3422/stat : 3422 (java) S 3413 3416 955 0 -1 4202560 716 0 0 0 190 24 0 0 20 0 22 0 104920989 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293699500712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3423] ppid=3413 vsize=9824732 CPUtime=1.91 cores=0,2,4,6 /proc/3416/task/3423/stat : 3423 (java) S 3413 3416 955 0 -1 4202560 1064 0 0 0 171 20 0 0 20 0 22 0 104920989 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293361887784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3424] ppid=3413 vsize=9824732 CPUtime=1.96 cores=0,2,4,6 /proc/3416/task/3424/stat : 3424 (java) S 3413 3416 955 0 -1 4202560 648 0 0 0 179 17 0 0 20 0 22 0 104920989 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293360834984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3425] ppid=3413 vsize=9824732 CPUtime=1.88 cores=0,2,4,6 /proc/3416/task/3425/stat : 3425 (java) S 3413 3416 955 0 -1 4202560 487 0 0 0 167 21 0 0 20 0 22 0 104920989 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293359782184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3426] ppid=3413 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/3416/task/3426/stat : 3426 (java) S 3413 3416 955 0 -1 4202560 596 0 0 0 173 21 0 0 20 0 22 0 104920989 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293358729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3427] ppid=3413 vsize=9824732 CPUtime=3.55 cores=0,2,4,6 /proc/3416/task/3427/stat : 3427 (java) S 3413 3416 955 0 -1 4202560 7190 0 0 0 339 16 0 0 20 0 22 0 104920990 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293346532328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3428] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3428/stat : 3428 (java) S 3413 3416 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104920990 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293345478392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3429] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3429/stat : 3429 (java) S 3413 3416 955 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 22 0 104920990 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293344425480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3430] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3430/stat : 3430 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104920993 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293343373968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3431] ppid=3413 vsize=9824732 CPUtime=1.56 cores=0,2,4,6 /proc/3416/task/3431/stat : 3431 (java) S 3413 3416 955 0 -1 4202560 5446 0 0 0 156 0 0 0 20 0 22 0 104920993 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293342321080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3432] ppid=3413 vsize=9824732 CPUtime=0.96 cores=0,2,4,6 /proc/3416/task/3432/stat : 3432 (java) S 3413 3416 955 0 -1 4202560 6842 0 0 0 95 1 0 0 20 0 22 0 104920993 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293341268280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3433] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3433/stat : 3433 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104920993 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293340215672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3434] ppid=3413 vsize=9824732 CPUtime=0.33 cores=0,2,4,6 /proc/3416/task/3434/stat : 3434 (java) S 3413 3416 955 0 -1 4202560 55 0 0 0 18 15 0 0 20 0 22 0 104920993 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293339163080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=4651] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/4651/stat : 4651 (java) S 3413 3416 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105009601 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293334951464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=4656] ppid=3413 vsize=9824732 CPUtime=42.35 cores=0,2,4,6 /proc/3416/task/4656/stat : 4656 (java) R 3413 3416 955 0 -1 4202560 6 0 0 0 4235 0 0 0 20 0 22 0 105010952 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293338107232 140293580766935 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=4657] ppid=3413 vsize=9824732 CPUtime=42.36 cores=0,2,4,6 /proc/3416/task/4657/stat : 4657 (java) R 3413 3416 955 0 -1 4202560 4 0 0 0 4236 0 0 0 20 0 22 0 105010952 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293336000608 140293580700683 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=4658] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/4658/stat : 4658 (java) S 3413 3416 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105010952 10060525568 881780 33554432000 1073741824 1073778376 140733633528096 140293337056040 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1716.37 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+984.001 s] /proc/loadavg: 4.18 3.97 4.02 5/217 4660 /proc/meminfo: memFree=25623924/32872528 swapFree=13256/481332 [pid=3416] ppid=3413 vsize=9824732 CPUtime=1799.91 cores=0,2,4,6 /proc/3416/stat : 3416 (java) S 3413 3416 955 0 -1 4202496 34948 0 1 0 179047 944 0 0 20 0 22 0 104920987 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140733633519232 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3416/statm: 2456183 857442 2302 9 0 2446860 0 [pid=3416/tid=3418] ppid=3413 vsize=9824732 CPUtime=0.98 cores=0,2,4,6 /proc/3416/task/3418/stat : 3418 (java) S 3413 3416 955 0 -1 4202560 2503 0 1 0 92 6 0 0 20 0 22 0 104920988 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293724558200 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3419] ppid=3413 vsize=9824732 CPUtime=1.77 cores=0,2,4,6 /proc/3416/task/3419/stat : 3419 (java) S 3413 3416 955 0 -1 4202560 424 0 0 0 158 19 0 0 20 0 22 0 104920989 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293702659112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3420] ppid=3413 vsize=9824732 CPUtime=1.72 cores=0,2,4,6 /proc/3416/task/3420/stat : 3420 (java) S 3413 3416 955 0 -1 4202560 808 0 0 0 156 16 0 0 20 0 22 0 104920989 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293701606312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3421] ppid=3413 vsize=9824732 CPUtime=2.05 cores=0,2,4,6 /proc/3416/task/3421/stat : 3421 (java) S 3413 3416 955 0 -1 4202560 778 0 0 0 184 21 0 0 20 0 22 0 104920989 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293700553512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3422] ppid=3413 vsize=9824732 CPUtime=2.18 cores=0,2,4,6 /proc/3416/task/3422/stat : 3422 (java) S 3413 3416 955 0 -1 4202560 726 0 0 0 193 25 0 0 20 0 22 0 104920989 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293699500712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3423] ppid=3413 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/3416/task/3423/stat : 3423 (java) S 3413 3416 955 0 -1 4202560 1072 0 0 0 175 20 0 0 20 0 22 0 104920989 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293361887784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3424] ppid=3413 vsize=9824732 CPUtime=2.01 cores=0,2,4,6 /proc/3416/task/3424/stat : 3424 (java) S 3413 3416 955 0 -1 4202560 651 0 0 0 184 17 0 0 20 0 22 0 104920989 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293360834984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3425] ppid=3413 vsize=9824732 CPUtime=1.91 cores=0,2,4,6 /proc/3416/task/3425/stat : 3425 (java) S 3413 3416 955 0 -1 4202560 490 0 0 0 170 21 0 0 20 0 22 0 104920989 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293359782184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3426] ppid=3413 vsize=9824732 CPUtime=2.03 cores=0,2,4,6 /proc/3416/task/3426/stat : 3426 (java) S 3413 3416 955 0 -1 4202560 599 0 0 0 182 21 0 0 20 0 22 0 104920989 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293358729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3427] ppid=3413 vsize=9824732 CPUtime=3.55 cores=0,2,4,6 /proc/3416/task/3427/stat : 3427 (java) S 3413 3416 955 0 -1 4202560 7192 0 0 0 339 16 0 0 20 0 22 0 104920990 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293346532328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3428] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3428/stat : 3428 (java) S 3413 3416 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104920990 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293345478392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=3429] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3429/stat : 3429 (java) S 3413 3416 955 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 22 0 104920990 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293344425480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3430] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3430/stat : 3430 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104920993 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293343373968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3416/tid=3431] ppid=3413 vsize=9824732 CPUtime=1.56 cores=0,2,4,6 /proc/3416/task/3431/stat : 3431 (java) S 3413 3416 955 0 -1 4202560 5446 0 0 0 156 0 0 0 20 0 22 0 104920993 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293342321080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3432] ppid=3413 vsize=9824732 CPUtime=0.96 cores=0,2,4,6 /proc/3416/task/3432/stat : 3432 (java) S 3413 3416 955 0 -1 4202560 6843 0 0 0 95 1 0 0 20 0 22 0 104920993 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293341268280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=3433] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/3433/stat : 3433 (java) S 3413 3416 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104920993 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293340215672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=3434] ppid=3413 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/3416/task/3434/stat : 3434 (java) S 3413 3416 955 0 -1 4202560 57 0 0 0 19 15 0 0 20 0 22 0 104920993 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293339163080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=4651] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/4651/stat : 4651 (java) S 3413 3416 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105009601 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293334951464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3416/tid=4656] ppid=3413 vsize=9824732 CPUtime=83.83 cores=0,2,4,6 /proc/3416/task/4656/stat : 4656 (java) R 3413 3416 955 0 -1 4202560 8 0 0 0 8382 1 0 0 20 0 22 0 105010952 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293338107296 140293580733990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=3416/tid=4657] ppid=3413 vsize=9824732 CPUtime=83.85 cores=0,2,4,6 /proc/3416/task/4657/stat : 4657 (java) R 3413 3416 955 0 -1 4202560 6 0 0 0 8384 1 0 0 20 0 22 0 105010952 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293336000608 140293581158959 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=3416/tid=4658] ppid=3413 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/3416/task/4658/stat : 4658 (java) S 3413 3416 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105010952 10060525568 857442 33554432000 1073741824 1073778376 140733633528096 140293337056040 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3416 sig 9 ??? end of watcher thread 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): 0.209915 # lost CPU user time (s): 0.329803 # lost CPU system time (s): -0.119998 Real time (s): 984.046 CPU time (s): 1800.12 CPU user time (s): 1790.56 CPU system time (s): 9.56153 CPU usage (%): 182.931 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.23 system time used= 9.68153 maximum resident set size= 3560700 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34985 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1080 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 34178 involuntary context switches= 31354 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.78212 second user time and 7.9048 second system time The end
Begin job on node104 at 2016-06-06 18:17:41 IDJOB=4080672 IDBENCH=2527 IDSOLVER=2543 FILE ID=node104/4080672-1465229861 RUNJOBID= node104-1465220812-973 PBS_JOBID= 19843225 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 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 sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080672-1465229861/watcher-4080672-1465229861 -o /tmp/evaluation-result-4080672-1465229861/solver-4080672-1465229861 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-973 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080672-1465229861.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED=1617891538 node104.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.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 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.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28756196 kB Buffers: 18256 kB Cached: 87656 kB SwapCached: 1724 kB Active: 2885308 kB Inactive: 47104 kB Active(anon): 2826612 kB Inactive(anon): 2356 kB Active(file): 58696 kB Inactive(file): 44748 kB Unevictable: 481332 kB Mlocked: 13256 kB SwapTotal: 67108856 kB SwapFree: 67097228 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 3306920 kB Mapped: 15340 kB Shmem: 0 kB Slab: 565588 kB SReclaimable: 9680 kB SUnreclaim: 555908 kB KernelStack: 1584 kB PageTables: 11092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3481524 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3250176 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71736 MiB End job on node104 at 2016-06-06 18:34:05