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) | 6381 | 1800.01 | 1155.77 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.lin.opb |
| MD5SUM | 6a8853326d72dcbb7b31f93bb594e0b2 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5989 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2684 |
| Total number of constraints | 6459 |
| Number of constraints which are clauses | 3957 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2501 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 2674 |
| Biggest coefficient in the objective function | 6872 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 13678 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 6872 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 13678 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4118791-1467236260.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 0.72/0.42 c ... done. Wall clock time 0.303s. 0.72/0.42 c declared #vars 2684 0.72/0.42 c #constraints 6460 0.72/0.43 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.72/0.43 c constraints type 0.72/0.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3957 0.72/0.43 c org.sat4j.specs.Constr$1 => 1 0.72/0.43 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.72/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2501 0.72/0.43 c 6460 constraints processed. 0.72/0.43 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.72/0.43 c constraints type 0.72/0.43 c org.sat4j.specs.Constr$1 => 1 0.72/0.43 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3957 0.72/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2501 0.72/0.43 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 0.72/0.43 c 6460 constraints processed. 0.72/0.43 c objective function length is 2674 literals 0.72/0.47 c And the winner is solver0 1.13/0.93 c SATISFIABLE 1.13/0.93 c OPTIMIZING... 1.13/0.93 c Got one! Elapsed wall clock time (in seconds):0.811 1.13/0.93 o 6994 1.76/1.18 c And the winner is solver0 2.18/1.46 c Got one! Elapsed wall clock time (in seconds):1.343 2.18/1.46 o 6993 2.18/1.48 c And the winner is solver0 2.36/1.98 c Got one! Elapsed wall clock time (in seconds):1.856 2.36/1.98 o 6982 2.41/2.06 c And the winner is solver0 2.63/2.48 c Got one! Elapsed wall clock time (in seconds):2.363 2.63/2.48 o 6971 2.67/2.53 c And the winner is solver0 2.85/2.99 c Got one! Elapsed wall clock time (in seconds):2.871 2.85/2.99 o 6960 2.86/3.02 c And the winner is solver0 2.99/3.50 c Got one! Elapsed wall clock time (in seconds):3.376 2.99/3.50 o 6953 2.99/3.50 c And the winner is solver0 3.01/4.00 c Got one! Elapsed wall clock time (in seconds):3.881 3.01/4.00 o 6940 3.81/4.34 c And the winner is solver0 3.92/4.50 c Got one! Elapsed wall clock time (in seconds):4.384 3.92/4.50 o 6936 3.92/4.54 c And the winner is solver0 4.03/5.01 c Got one! Elapsed wall clock time (in seconds):4.888 4.03/5.01 o 6927 4.21/5.19 c And the winner is solver0 4.48/5.51 c Got one! Elapsed wall clock time (in seconds):5.391 4.48/5.51 o 6925 4.69/5.68 c And the winner is solver0 4.89/6.01 c Got one! Elapsed wall clock time (in seconds):5.895 4.89/6.01 o 6923 5.05/6.19 c And the winner is solver0 5.27/6.52 c Got one! Elapsed wall clock time (in seconds):6.398 5.27/6.52 o 6922 5.27/6.55 c And the winner is solver0 5.38/7.02 c Got one! Elapsed wall clock time (in seconds):6.901 5.38/7.02 o 6920 5.80/7.29 c And the winner is solver0 6.01/7.52 c Got one! Elapsed wall clock time (in seconds):7.404 6.01/7.52 o 6914 6.16/7.67 c And the winner is solver0 6.46/8.03 c Got one! Elapsed wall clock time (in seconds):7.907 6.46/8.03 o 6912 6.46/8.06 c And the winner is solver0 6.57/8.53 c Got one! Elapsed wall clock time (in seconds):8.41 6.57/8.53 o 6910 6.70/8.66 c And the winner is solver0 6.85/9.03 c Got one! Elapsed wall clock time (in seconds):8.913 6.85/9.03 o 6907 6.85/9.08 c And the winner is solver0 7.02/9.57 c Got one! Elapsed wall clock time (in seconds):9.448 7.02/9.57 o 6905 10.57/11.38 c cleaning 4903 clauses out of 9807 with flag 10018/9807 14.13/13.02 c And the winner is solver0 14.37/13.14 c Got one! Elapsed wall clock time (in seconds):13.024 14.37/13.14 o 6902 14.87/13.49 c cleaning 5408 clauses out of 10821 with flag 2098/15724 15.08/13.60 c And the winner is solver0 15.27/13.65 c Got one! Elapsed wall clock time (in seconds):13.527 15.27/13.65 o 6901 15.27/13.68 c And the winner is solver0 15.41/14.15 c Got one! Elapsed wall clock time (in seconds):14.03 15.41/14.15 o 6899 15.92/14.46 c And the winner is solver0 16.08/14.65 c Got one! Elapsed wall clock time (in seconds):14.534 16.08/14.65 o 6891 16.17/14.73 c And the winner is solver0 16.28/15.16 c Got one! Elapsed wall clock time (in seconds):15.037 16.28/15.16 o 6889 16.35/15.26 c And the winner is solver0 16.54/15.66 c Got one! Elapsed wall clock time (in seconds):15.541 16.54/15.66 o 6886 16.54/15.68 c And the winner is solver0 16.59/16.17 c Got one! Elapsed wall clock time (in seconds):16.044 16.59/16.17 o 6884 20.11/17.95 c cleaning 6147 clauses out of 12298 with flag 10070/22609 24.44/20.00 c cleaning 6075 clauses out of 12151 with flag 22102/28609 28.04/21.83 c And the winner is solver0 28.18/22.17 c Got one! Elapsed wall clock time (in seconds):22.048 28.18/22.17 o 6881 31.96/24.08 c cleaning 8276 clauses out of 16555 with flag 10069/39088 33.36/24.77 c And the winner is solver0 33.62/25.17 c Got one! Elapsed wall clock time (in seconds):25.052 33.62/25.17 o 6872 34.07/25.45 c And the winner is solver0 34.27/25.68 c Got one! Elapsed wall clock time (in seconds):25.556 34.27/25.68 o 6867 34.50/25.88 c And the winner is solver0 34.74/26.18 c Got one! Elapsed wall clock time (in seconds):26.06 34.74/26.18 o 6865 34.77/26.21 c And the winner is solver0 34.82/26.68 c Got one! Elapsed wall clock time (in seconds):26.564 34.82/26.68 o 6863 37.41/27.93 c cleaning 7368 clauses out of 14742 with flag 6177/45551 41.41/29.92 c cleaning 6679 clauses out of 13375 with flag 18215/51552 42.42/30.49 c And the winner is solver0 42.71/30.72 c Got one! Elapsed wall clock time (in seconds):30.604 42.71/30.72 o 6862 45.27/32.05 c cleaning 6201 clauses out of 12410 with flag 8268/57266 49.65/34.17 c cleaning 6103 clauses out of 12210 with flag 20682/63267 52.24/35.47 c And the winner is solver0 52.47/35.73 c Got one! Elapsed wall clock time (in seconds):35.609 52.47/35.73 o 6861 53.82/36.42 c cleaning 5923 clauses out of 11857 with flag 4326/69017 55.00/37.07 c And the winner is solver0 55.28/37.23 c Got one! Elapsed wall clock time (in seconds):37.113 55.28/37.23 o 6859 55.62/37.47 c And the winner is solver0 55.87/37.74 c Got one! Elapsed wall clock time (in seconds):37.617 55.87/37.74 o 6855 55.87/37.77 c And the winner is solver0 55.97/38.24 c Got one! Elapsed wall clock time (in seconds):38.122 55.97/38.24 o 6851 56.76/38.70 c And the winner is solver0 56.82/38.80 c Got one! Elapsed wall clock time (in seconds):38.677 56.82/38.80 o 6849 56.82/38.84 c And the winner is solver0 56.95/39.30 c Got one! Elapsed wall clock time (in seconds):39.181 56.95/39.30 o 6846 56.95/39.31 c And the winner is solver0 56.98/39.80 c Got one! Elapsed wall clock time (in seconds):39.685 56.98/39.80 o 6844 59.77/41.21 c cleaning 6493 clauses out of 13004 with flag 8656/76087 63.77/43.29 c cleaning 6252 clauses out of 12512 with flag 20659/82088 68.57/45.65 c cleaning 6623 clauses out of 13259 with flag 34659/89087 74.30/48.49 c cleaning 7315 clauses out of 14637 with flag 50662/97088 80.48/51.54 c cleaning 8160 clauses out of 16322 with flag 68673/106088 87.89/55.14 c cleaning 9075 clauses out of 18161 with flag 88672/116087 92.47/57.46 c And the winner is solver1 92.73/57.97 c Got one! Elapsed wall clock time (in seconds):57.85 92.73/57.97 o 6674 93.38/58.29 c And the winner is solver0 93.78/58.52 c Got one! Elapsed wall clock time (in seconds):58.405 93.78/58.52 o 6669 93.95/58.63 c And the winner is solver0 94.08/59.03 c Got one! Elapsed wall clock time (in seconds):58.91 94.08/59.03 o 6666 94.62/59.30 c And the winner is solver0 94.80/59.54 c Got one! Elapsed wall clock time (in seconds):59.415 94.80/59.54 o 6662 95.12/59.71 c And the winner is solver0 95.26/60.04 c Got one! Elapsed wall clock time (in seconds):59.92 95.26/60.04 o 6661 95.56/60.24 c And the winner is solver0 95.79/60.54 c Got one! Elapsed wall clock time (in seconds):60.424 95.79/60.54 o 6658 95.91/60.68 c And the winner is solver0 96.16/61.05 c Got one! Elapsed wall clock time (in seconds):60.929 96.16/61.05 o 6653 96.45/61.28 c And the winner is solver0 96.77/61.55 c Got one! Elapsed wall clock time (in seconds):61.434 96.77/61.55 o 6650 97.06/61.75 c And the winner is solver0 97.28/62.06 c Got one! Elapsed wall clock time (in seconds):61.938 97.28/62.06 o 6644 97.75/62.31 c And the winner is solver0 97.97/62.56 c Got one! Elapsed wall clock time (in seconds):62.443 97.97/62.56 o 6641 98.03/62.70 c And the winner is solver0 98.97/63.37 c Got one! Elapsed wall clock time (in seconds):63.25 98.97/63.37 o 6633 99.07/63.47 c And the winner is solver0 99.28/63.88 c Got one! Elapsed wall clock time (in seconds):63.755 99.28/63.88 o 6627 99.52/64.04 c And the winner is solver0 99.73/64.38 c Got one! Elapsed wall clock time (in seconds):64.26 99.73/64.38 o 6621 99.96/64.51 c And the winner is solver0 100.07/64.88 c Got one! Elapsed wall clock time (in seconds):64.765 100.07/64.88 o 6617 100.49/65.17 c And the winner is solver0 100.78/65.39 c Got one! Elapsed wall clock time (in seconds):65.27 100.78/65.39 o 6611 103.85/66.99 c And the winner is solver0 104.26/67.39 c Got one! Elapsed wall clock time (in seconds):67.275 104.26/67.39 o 6608 104.66/67.66 c And the winner is solver0 104.97/67.90 c Got one! Elapsed wall clock time (in seconds):67.779 104.97/67.90 o 6603 105.96/68.40 c cleaning 13429 clauses out of 26858 with flag 2064/133859 109.22/70.08 c And the winner is solver0 109.60/70.40 c Got one! Elapsed wall clock time (in seconds):70.285 109.60/70.40 o 6598 110.60/70.96 c And the winner is solver0 110.98/71.41 c Got one! Elapsed wall clock time (in seconds):71.289 110.98/71.41 o 6594 111.16/71.53 c And the winner is solver0 111.31/71.91 c Got one! Elapsed wall clock time (in seconds):71.794 111.31/71.91 o 6593 111.87/72.29 c And the winner is solver0 112.26/72.52 c Got one! Elapsed wall clock time (in seconds):72.399 112.26/72.52 o 6592 113.23/73.07 c And the winner is solver0 113.59/73.53 c Got one! Elapsed wall clock time (in seconds):73.405 113.59/73.53 o 6585 115.73/74.62 c cleaning 12439 clauses out of 24877 with flag 6804/145307 119.33/76.42 c cleaning 9213 clauses out of 18432 with flag 21214/151301 123.74/78.66 c cleaning 8109 clauses out of 16218 with flag 39968/158300 128.94/81.20 c cleaning 8054 clauses out of 16108 with flag 62156/166299 134.87/84.18 c cleaning 8524 clauses out of 17054 with flag 89158/175299 139.87/86.61 c And the winner is solver1 139.87/87.10 c Got one! Elapsed wall clock time (in seconds):86.98 139.87/87.10 o 6562 140.66/87.59 c And the winner is solver0 141.14/87.96 c Got one! Elapsed wall clock time (in seconds):87.836 141.14/87.96 o 6558 141.45/88.14 c And the winner is solver0 141.65/88.46 c Got one! Elapsed wall clock time (in seconds):88.341 141.65/88.46 o 6541 141.91/88.61 c And the winner is solver0 142.04/88.97 c Got one! Elapsed wall clock time (in seconds):88.846 142.04/88.97 o 6536 142.51/89.22 c And the winner is solver0 142.73/89.47 c Got one! Elapsed wall clock time (in seconds):89.351 142.73/89.47 o 6524 143.37/89.80 c And the winner is solver0 143.57/90.03 c Got one! Elapsed wall clock time (in seconds):89.907 143.57/90.03 o 6518 144.33/90.32 c And the winner is solver0 144.49/90.53 c Got one! Elapsed wall clock time (in seconds):90.413 144.49/90.53 o 6516 144.81/90.79 c And the winner is solver0 145.18/91.04 c Got one! Elapsed wall clock time (in seconds):90.918 145.18/91.04 o 6515 145.71/91.36 c And the winner is solver0 145.96/91.59 c Got one! Elapsed wall clock time (in seconds):91.473 145.96/91.59 o 6513 147.05/92.15 c And the winner is solver0 147.41/92.60 c Got one! Elapsed wall clock time (in seconds):92.479 147.41/92.60 o 6512 147.81/92.80 c And the winner is solver0 147.95/93.10 c Got one! Elapsed wall clock time (in seconds):92.984 147.95/93.10 o 6510 150.33/94.32 c cleaning 12435 clauses out of 24870 with flag 7797/191639 154.33/96.32 c cleaning 9216 clauses out of 18433 with flag 26291/197637 156.33/97.35 c And the winner is solver0 156.68/97.66 c Got one! Elapsed wall clock time (in seconds):97.54 156.68/97.66 o 6509 156.96/97.90 c And the winner is solver0 157.32/98.16 c Got one! Elapsed wall clock time (in seconds):98.045 157.32/98.16 o 6504 157.78/98.44 c And the winner is solver0 158.04/98.67 c Got one! Elapsed wall clock time (in seconds):98.551 158.04/98.67 o 6503 159.10/99.18 c And the winner is solver0 159.52/99.68 c Got one! Elapsed wall clock time (in seconds):99.556 159.52/99.68 o 6498 159.75/99.87 c And the winner is solver0 160.03/100.18 c Got one! Elapsed wall clock time (in seconds):100.061 160.03/100.18 o 6491 160.26/100.30 c And the winner is solver0 160.35/100.69 c Got one! Elapsed wall clock time (in seconds):100.566 160.35/100.69 o 6486 161.77/101.45 c cleaning 8535 clauses out of 17069 with flag 5797/205489 165.57/103.40 c cleaning 7259 clauses out of 14534 with flag 29274/211489 169.97/105.56 c cleaning 7136 clauses out of 14276 with flag 53446/218490 170.97/106.08 c And the winner is solver0 171.65/106.69 c Got one! Elapsed wall clock time (in seconds):106.573 171.65/106.69 o 6485 174.29/108.06 c cleaning 6453 clauses out of 12907 with flag 13319/224257 177.89/109.84 c cleaning 6224 clauses out of 12453 with flag 34889/230256 180.89/111.34 c And the winner is solver0 181.68/111.80 c Got one! Elapsed wall clock time (in seconds):111.679 181.68/111.80 o 6482 182.26/112.13 c And the winner is solver0 182.51/112.35 c Got one! Elapsed wall clock time (in seconds):112.234 182.51/112.35 o 6475 183.03/112.65 c And the winner is solver0 183.29/112.86 c Got one! Elapsed wall clock time (in seconds):112.74 183.29/112.86 o 6473 184.01/113.30 c cleaning 6764 clauses out of 13537 with flag 2470/237564 184.23/113.32 c And the winner is solver0 184.54/113.61 c Got one! Elapsed wall clock time (in seconds):113.495 184.54/113.61 o 6472 185.32/114.06 c And the winner is solver0 185.68/114.37 c Got one! Elapsed wall clock time (in seconds):114.251 185.68/114.37 o 6466 186.17/114.63 c And the winner is solver0 186.40/114.88 c Got one! Elapsed wall clock time (in seconds):114.757 186.40/114.88 o 6460 189.84/116.62 c cleaning 6650 clauses out of 13302 with flag 16102/244093 193.42/118.43 c cleaning 6325 clauses out of 12652 with flag 37196/250093 197.62/120.53 c cleaning 6664 clauses out of 13327 with flag 62632/257093 202.56/122.95 c cleaning 7328 clauses out of 14663 with flag 92566/265093 205.37/124.34 c And the winner is solver0 214.88/133.85 c Got one! Elapsed wall clock time (in seconds):133.734 214.88/133.85 o 6457 215.75/134.31 c cleaning 6448 clauses out of 12899 with flag 2648/270657 219.34/136.12 c cleaning 6220 clauses out of 12450 with flag 24734/276656 220.34/136.68 c And the winner is solver0 231.53/147.78 c Got one! Elapsed wall clock time (in seconds):147.66 231.53/147.78 o 6456 233.77/148.94 c cleaning 5637 clauses out of 11277 with flag 9137/281703 237.39/150.71 c cleaning 5819 clauses out of 11640 with flag 30758/287703 241.37/152.79 c cleaning 6408 clauses out of 12820 with flag 49490/294702 245.37/154.80 c And the winner is solver0 252.36/161.70 c Got one! Elapsed wall clock time (in seconds):161.577 252.36/161.70 o 6455 255.82/163.41 c cleaning 8920 clauses out of 17842 with flag 17117/306132 258.22/164.68 c And the winner is solver0 269.26/175.63 c Got one! Elapsed wall clock time (in seconds):175.506 269.26/175.63 o 6450 270.37/176.17 c cleaning 7023 clauses out of 14055 with flag 2551/311265 274.16/178.08 c cleaning 6515 clauses out of 13032 with flag 22210/317265 278.56/180.25 c cleaning 6758 clauses out of 13517 with flag 45014/324265 283.37/182.62 c cleaning 7379 clauses out of 14759 with flag 67544/332265 288.76/185.32 c cleaning 8189 clauses out of 16380 with flag 95024/341265 295.35/188.63 c cleaning 9092 clauses out of 18191 with flag 124812/351265 296.35/189.11 c And the winner is solver0 296.84/189.64 c Got one! Elapsed wall clock time (in seconds):189.516 296.84/189.64 o 6445 299.54/191.03 c cleaning 7202 clauses out of 14408 with flag 11123/356574 303.33/192.92 c cleaning 6600 clauses out of 13205 with flag 25961/362573 307.53/195.02 c cleaning 6796 clauses out of 13605 with flag 45728/369573 312.93/197.73 c cleaning 7401 clauses out of 14809 with flag 67679/377573 319.73/201.19 c cleaning 8205 clauses out of 16409 with flag 90277/386574 329.73/206.17 c cleaning 9100 clauses out of 18203 with flag 113658/396573 340.73/211.60 c cleaning 10049 clauses out of 20104 with flag 139190/407574 349.13/215.83 c cleaning 11028 clauses out of 22056 with flag 172349/419575 357.93/220.21 c cleaning 12013 clauses out of 24026 with flag 208582/432573 367.14/224.82 c cleaning 13006 clauses out of 26014 with flag 247590/446574 376.94/229.79 c cleaning 14000 clauses out of 28007 with flag 285769/461573 389.34/235.98 c cleaning 15004 clauses out of 30009 with flag 324073/477575 401.34/241.97 c cleaning 15999 clauses out of 32004 with flag 366116/494574 416.13/249.33 c cleaning 17000 clauses out of 34005 with flag 412475/512574 431.13/256.87 c cleaning 17999 clauses out of 36005 with flag 465780/531574 446.93/264.76 c cleaning 18996 clauses out of 38005 with flag 517145/551573 463.99/273.43 c cleaning 20002 clauses out of 40009 with flag 568959/572573 481.39/282.14 c cleaning 21000 clauses out of 42007 with flag 626490/594573 497.58/290.29 c cleaning 22003 clauses out of 44009 with flag 685898/617575 514.78/298.85 c cleaning 23000 clauses out of 46004 with flag 749146/641573 521.99/302.44 c And the winner is solver0 542.89/323.44 c Got one! Elapsed wall clock time (in seconds):323.319 542.89/323.44 o 6442 546.87/325.51 c cleaning 19605 clauses out of 39224 with flag 13406/657793 550.67/327.45 c cleaning 12807 clauses out of 25617 with flag 28686/663791 555.88/330.09 c cleaning 9901 clauses out of 19812 with flag 47645/670793 561.27/332.70 c cleaning 8953 clauses out of 17909 with flag 68429/678791 567.08/335.68 c cleaning 8971 clauses out of 17956 with flag 91320/687791 573.68/338.96 c cleaning 9486 clauses out of 18985 with flag 114813/697791 580.47/342.36 c cleaning 10244 clauses out of 20500 with flag 144744/708792 588.47/346.35 c cleaning 11124 clauses out of 22256 with flag 177181/720792 597.68/350.97 c cleaning 12066 clauses out of 24131 with flag 210271/733791 607.07/355.67 c cleaning 13031 clauses out of 26065 with flag 247063/747791 617.26/360.79 c cleaning 14014 clauses out of 28034 with flag 287213/762791 629.46/366.80 c cleaning 15002 clauses out of 30020 with flag 329178/778791 640.66/372.47 c cleaning 16007 clauses out of 32019 with flag 372362/795792 653.46/378.85 c cleaning 17002 clauses out of 34013 with flag 415029/813793 665.06/384.63 c And the winner is solver0 721.27/440.98 c Got one! Elapsed wall clock time (in seconds):440.86 721.27/440.98 o 6435 723.20/441.97 c And the winner is solver0 725.17/443.84 c Got one! Elapsed wall clock time (in seconds):443.72 725.17/443.84 o 6428 725.70/444.14 c And the winner is solver0 725.94/444.34 c Got one! Elapsed wall clock time (in seconds):444.225 725.94/444.34 o 6426 729.07/445.96 c cleaning 19457 clauses out of 38919 with flag 11179/835701 732.88/447.87 c cleaning 12722 clauses out of 25462 with flag 27271/841701 737.08/449.99 c cleaning 9862 clauses out of 19740 with flag 46396/848701 742.47/452.63 c cleaning 8932 clauses out of 17877 with flag 69716/856700 748.47/455.60 c cleaning 8968 clauses out of 17945 with flag 94962/865700 755.06/458.99 c cleaning 9486 clauses out of 18978 with flag 123362/875701 762.66/462.77 c cleaning 10242 clauses out of 20492 with flag 155310/886701 770.66/466.71 c cleaning 11124 clauses out of 22250 with flag 189187/898701 779.46/471.12 c cleaning 12060 clauses out of 24128 with flag 225579/911703 780.66/471.74 c And the winner is solver0 870.74/561.85 c Got one! Elapsed wall clock time (in seconds):561.735 870.74/561.85 o 6422 871.15/562.13 c And the winner is solver0 871.55/562.41 c Got one! Elapsed wall clock time (in seconds):562.29 871.55/562.41 o 6414 873.52/563.48 c cleaning 8902 clauses out of 17815 with flag 7753/917450 875.12/564.28 c And the winner is solver0 876.11/565.17 c Got one! Elapsed wall clock time (in seconds):565.048 876.11/565.17 o 6412 878.62/566.47 c cleaning 7343 clauses out of 14697 with flag 7559/923234 878.84/566.59 c And the winner is solver0 880.31/567.92 c Got one! Elapsed wall clock time (in seconds):567.805 880.31/567.92 o 6411 883.86/569.70 c cleaning 6328 clauses out of 12672 with flag 13852/928552 887.86/571.72 c cleaning 6167 clauses out of 12344 with flag 29553/934552 892.46/574.10 c cleaning 6585 clauses out of 13179 with flag 46738/941554 898.05/576.87 c cleaning 7294 clauses out of 14592 with flag 66652/949552 905.05/580.31 c cleaning 8145 clauses out of 16299 with flag 90851/958553 905.05/580.31 c And the winner is solver0 1010.19/685.46 c Got one! Elapsed wall clock time (in seconds):685.34 1010.19/685.46 o 6410 1010.88/685.81 c And the winner is solver0 1011.09/686.01 c Got one! Elapsed wall clock time (in seconds):685.895 1011.09/686.01 o 6405 1011.86/686.43 c And the winner is solver0 1012.16/686.72 c Got one! Elapsed wall clock time (in seconds):686.601 1012.16/686.72 o 6404 1016.12/688.74 c cleaning 7379 clauses out of 14759 with flag 11773/965158 1020.32/690.85 c cleaning 6683 clauses out of 13378 with flag 26030/971156 1026.10/693.71 c cleaning 6846 clauses out of 13696 with flag 43607/978157 1032.50/696.92 c cleaning 7417 clauses out of 14850 with flag 62997/986157 1038.50/699.99 c cleaning 8214 clauses out of 16434 with flag 84017/995158 1045.89/703.61 c cleaning 9109 clauses out of 18218 with flag 108715/1005156 1053.68/707.51 c cleaning 10045 clauses out of 20109 with flag 136605/1016156 1061.88/711.70 c cleaning 11032 clauses out of 22065 with flag 164642/1028157 1070.28/715.85 c cleaning 12016 clauses out of 24033 with flag 195365/1041157 1080.08/720.72 c cleaning 13004 clauses out of 26016 with flag 227907/1055156 1090.89/726.14 c cleaning 14001 clauses out of 28013 with flag 264644/1070157 1103.89/732.65 c cleaning 15006 clauses out of 30012 with flag 300593/1086157 1117.68/739.52 c cleaning 16002 clauses out of 32007 with flag 337633/1103158 1133.08/747.27 c cleaning 16996 clauses out of 34003 with flag 377466/1121156 1150.48/755.97 c cleaning 17999 clauses out of 36007 with flag 418103/1140156 1165.49/763.41 c cleaning 19005 clauses out of 38009 with flag 465847/1160157 1183.06/772.14 c cleaning 20000 clauses out of 40004 with flag 512904/1181157 1191.66/776.45 c And the winner is solver0 1209.47/794.38 c Got one! Elapsed wall clock time (in seconds):794.26 1209.47/794.38 o 6399 1210.27/794.86 c And the winner is solver0 1210.64/795.18 c Got one! Elapsed wall clock time (in seconds):795.065 1210.64/795.18 o 6395 1212.76/796.50 c And the winner is solver0 1213.16/796.97 c Got one! Elapsed wall clock time (in seconds):796.849 1213.16/796.97 o 6388 1214.01/797.40 c And the winner is solver0 1214.22/797.67 c Got one! Elapsed wall clock time (in seconds):797.554 1214.22/797.67 o 6387 1218.53/799.86 c cleaning 18999 clauses out of 38014 with flag 12727/1199167 1223.12/802.18 c cleaning 12502 clauses out of 25014 with flag 28777/1205166 1229.12/805.18 c cleaning 9752 clauses out of 19512 with flag 45843/1212166 1235.72/808.49 c cleaning 8875 clauses out of 17761 with flag 65355/1220167 1243.12/812.13 c cleaning 8940 clauses out of 17885 with flag 88063/1229166 1250.32/815.70 c cleaning 9467 clauses out of 18945 with flag 114802/1239166 1257.71/819.43 c cleaning 10235 clauses out of 20478 with flag 140829/1250166 1266.11/823.65 c cleaning 11122 clauses out of 22243 with flag 169120/1262166 1274.31/827.73 c cleaning 12053 clauses out of 24121 with flag 201895/1275166 1282.72/831.97 c cleaning 13034 clauses out of 26068 with flag 236434/1289166 1292.92/837.02 c cleaning 14014 clauses out of 28034 with flag 272491/1304166 1304.58/842.82 c cleaning 15008 clauses out of 30020 with flag 310407/1320166 1316.37/848.77 c cleaning 16006 clauses out of 32012 with flag 351286/1337166 1323.37/852.25 c And the winner is solver0 1453.22/982.22 c Got one! Elapsed wall clock time (in seconds):982.097 1453.22/982.22 o 6386 1453.99/982.65 c And the winner is solver0 1454.35/982.97 c Got one! Elapsed wall clock time (in seconds):982.853 1454.35/982.97 o 6381 1458.01/984.82 c cleaning 16107 clauses out of 32220 with flag 12157/1353380 1461.82/986.79 c cleaning 11047 clauses out of 22112 with flag 27612/1359379 1466.44/989.04 c cleaning 9023 clauses out of 18065 with flag 44577/1366379 1472.02/991.81 c cleaning 8518 clauses out of 17041 with flag 65288/1374378 1477.82/994.73 c cleaning 8755 clauses out of 17525 with flag 85615/1383380 1484.03/997.89 c cleaning 9380 clauses out of 18768 with flag 108972/1393378 1491.48/1001.59 c cleaning 10192 clauses out of 20388 with flag 136817/1404378 1499.68/1005.69 c cleaning 11099 clauses out of 22197 with flag 164994/1416379 1509.48/1010.59 c cleaning 12045 clauses out of 24098 with flag 195830/1429379 1519.87/1015.72 c cleaning 13026 clauses out of 26053 with flag 228990/1443379 1531.07/1021.32 c cleaning 14011 clauses out of 28028 with flag 263868/1458380 1543.87/1027.76 c cleaning 15007 clauses out of 30016 with flag 301147/1474379 1557.66/1034.69 c cleaning 16000 clauses out of 32008 with flag 339822/1491378 1571.46/1041.59 c cleaning 17004 clauses out of 34009 with flag 380819/1509379 1585.28/1048.44 c cleaning 17996 clauses out of 36004 with flag 423417/1528378 1600.05/1055.84 c cleaning 19004 clauses out of 38008 with flag 469328/1548378 1617.65/1064.60 c cleaning 20003 clauses out of 40005 with flag 515571/1569379 1637.04/1074.32 c cleaning 20998 clauses out of 42002 with flag 566614/1591379 1656.04/1083.84 c cleaning 22002 clauses out of 44003 with flag 617814/1614378 1678.02/1094.87 c cleaning 23002 clauses out of 46004 with flag 670689/1638381 1700.80/1106.29 c cleaning 23999 clauses out of 47999 with flag 725442/1663378 1725.81/1118.78 c cleaning 24996 clauses out of 50001 with flag 786552/1689379 1749.39/1130.59 c cleaning 25999 clauses out of 52005 with flag 849808/1716379 1776.41/1143.94 c cleaning 26999 clauses out of 54006 with flag 912533/1744379 1800.01/1155.71 c >>>>>>>>>> Solver number 0 (104 answers) <<<<<<<<<<<<<<<<<< 1800.01/1155.71 c starts : 5329 1800.01/1155.71 c conflicts : 1770945 1800.01/1155.71 c decisions : 2348564 1800.01/1155.71 c propagations : 119465138 1800.01/1155.71 c inspects : 2041937807 1800.01/1155.71 c shortcuts : 0 1800.01/1155.71 c learnt literals : 0 1800.01/1155.71 c learnt binary clauses : 0 1800.01/1155.71 c learnt ternary clauses : 1890 1800.01/1155.71 c learnt constraints : 1770945 1800.01/1155.71 c ignored constraints : 0 1800.01/1155.71 c root simplifications : 0 1800.01/1155.71 c removed literals (reason simplification) : 370937032 1800.01/1155.71 c reason swapping (by a shorter reason) : 0 1800.01/1155.71 c Calls to reduceDB : 150 1800.01/1155.71 c Number of update (reduction) of LBD : 9380 1800.01/1155.71 c Imported unit clauses : 0 1800.01/1155.71 c number of reductions to clauses (during analyze) : 0 1800.01/1155.71 c number of learned constraints concerned by reduction : 0 1800.01/1155.71 c number of learning phase by resolution : 0 1800.01/1155.71 c number of learning phase by cutting planes : 0 1800.01/1155.71 c speed (assignments/second) : 111795.7275019137 1800.01/1155.71 c non guided choices 316 1800.01/1155.73 c learnt constraints type 1800.01/1155.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 53573 1800.01/1155.73 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.01/1155.73 c starts : 110 1800.01/1155.73 c conflicts : 716 1800.01/1155.73 c decisions : 14221 1800.01/1155.73 c propagations : 247773 1800.01/1155.73 c inspects : 61817643 1800.01/1155.73 c shortcuts : 0 1800.01/1155.73 c learnt literals : 0 1800.01/1155.73 c learnt binary clauses : 0 1800.01/1155.73 c learnt ternary clauses : 0 1800.01/1155.73 c learnt constraints : 665 1800.01/1155.73 c ignored constraints : 0 1800.01/1155.73 c root simplifications : 0 1800.01/1155.73 c removed literals (reason simplification) : 0 1800.01/1155.73 c reason swapping (by a shorter reason) : 0 1800.01/1155.73 c Calls to reduceDB : 0 1800.01/1155.73 c Number of update (reduction) of LBD : 0 1800.01/1155.73 c Imported unit clauses : 0 1800.01/1155.73 c number of reductions to clauses (during analyze) : 0 1800.01/1155.73 c number of learned constraints concerned by reduction : 0 1800.01/1155.73 c number of learning phase by resolution : 0 1800.01/1155.73 c number of learning phase by cutting planes : 0 1800.01/1155.73 c speed (assignments/second) : 1434.286541244573 1800.01/1155.73 c non guided choices 4 1800.01/1155.73 c learnt constraints type 1800.01/1155.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 665 1800.01/1155.73 s SATISFIABLE 1800.01/1155.73 c Found 106 solution(s) 1800.01/1155.74 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 1800.01/1155.74 c objective function=6381 1800.01/1155.74 c Total wall clock time (in seconds): 1155.62
OK 6381
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-4118791-1467236260/watcher-4118791-1467236260 -o /tmp/evaluation-result-4118791-1467236260/solver-4118791-1467236260 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467233347-7542 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118791-1467236260.opb pid=8752 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.59 4.03 4.00 3/197 8755 /proc/meminfo: memFree=24438088/32872528 swapFree=1268996/1432516 [pid=8755] ppid=8752 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/8755/stat : 8755 (java) D 8752 8755 5003 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 4581079 2560000 46 33554432000 1073741824 1073778376 140737349036576 140737349033704 214360485159 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/8755/statm: 625 46 37 9 0 29 0 [startup+0.10006 s] /proc/loadavg: 3.59 4.03 4.00 3/197 8755 /proc/meminfo: memFree=24438088/32872528 swapFree=1268996/1432516 [pid=8755] ppid=8752 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/8755/stat : 8755 (java) S 8752 8755 5003 0 -1 4202496 4423 0 1 0 8 0 0 0 20 0 18 0 4581079 9787879424 6054 33554432000 1073741824 1073778376 140737349036576 140737349027712 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8755/statm: 2389619 6054 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200228 s] /proc/loadavg: 3.59 4.03 4.00 3/197 8755 /proc/meminfo: memFree=24438088/32872528 swapFree=1268996/1432516 [pid=8755] ppid=8752 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/8755/stat : 8755 (java) S 8752 8755 5003 0 -1 4202496 5024 0 1 0 26 1 0 0 20 0 18 0 4581079 9787879424 6994 33554432000 1073741824 1073778376 140737349036576 140737349027712 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8755/statm: 2389619 6994 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300236 s] /proc/loadavg: 3.59 4.03 4.00 3/197 8755 /proc/meminfo: memFree=24438088/32872528 swapFree=1268996/1432516 [pid=8755] ppid=8752 vsize=9558476 CPUtime=0.47 cores=1,3,5,7 /proc/8755/stat : 8755 (java) S 8752 8755 5003 0 -1 4202496 5654 0 1 0 46 1 0 0 20 0 18 0 4581079 9787879424 8918 33554432000 1073741824 1073778376 140737349036576 140737349027712 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8755/statm: 2389619 8918 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700259 s] /proc/loadavg: 3.59 4.03 4.00 3/197 8755 /proc/meminfo: memFree=24438088/32872528 swapFree=1268996/1432516 [pid=8755] ppid=8752 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/8755/stat : 8755 (java) S 8752 8755 5003 0 -1 4202496 10495 0 1 0 109 4 0 0 20 0 19 0 4581079 10060525568 16086 33554432000 1073741824 1073778376 140737349036576 140737349027712 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8755/statm: 2456183 16086 2262 9 0 2446860 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 9824732 [startup+1.50075 s] /proc/loadavg: 3.59 4.03 4.00 7/219 8780 /proc/meminfo: memFree=24369816/32872528 swapFree=1268996/1432516 [pid=8755] ppid=8752 vsize=9824732 CPUtime=2.29 cores=1,3,5,7 /proc/8755/stat : 8755 (java) S 8752 8755 5003 0 -1 4202496 14764 0 1 0 222 7 0 0 20 0 20 0 4581079 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 140737349027712 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8755/statm: 2456183 20708 2267 9 0 2446860 0 [pid=8755/tid=8757] ppid=8752 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/8755/task/8757/stat : 8757 (java) S 8752 8755 5003 0 -1 4202560 2451 0 1 0 41 2 0 0 20 0 20 0 4581080 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786888586104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8758] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8758/stat : 8758 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4581081 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786827315880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8759] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8759/stat : 8759 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4581081 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786826263336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8760] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8760/stat : 8760 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4581081 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786729503656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8761] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8761/stat : 8761 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4581081 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786728451112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8762] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8762/stat : 8762 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4581081 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786727397544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8763] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8763/stat : 8763 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4581081 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786726345000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8764] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8764/stat : 8764 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4581081 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786725292456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8765] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8765/stat : 8765 (java) S 8752 8755 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 4581081 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786724239912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8766] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8766/stat : 8766 (java) S 8752 8755 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 4581083 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786712042088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8767] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8767/stat : 8767 (java) S 8752 8755 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 4581083 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786710988408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8768] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8768/stat : 8768 (java) S 8752 8755 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4581083 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786709935752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8769] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8769/stat : 8769 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4581085 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786708884496 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8770] ppid=8752 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/8755/task/8770/stat : 8770 (java) R 8752 8755 5003 0 -1 4202560 5433 0 0 0 62 0 0 0 20 0 20 0 4581085 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786707830840 139786892428210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8771] ppid=8752 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/8755/task/8771/stat : 8771 (java) R 8752 8755 5003 0 -1 4202560 5524 0 0 0 63 0 0 0 20 0 20 0 4581085 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786706778296 139786891194978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8772] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8772/stat : 8772 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4581085 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786705725944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8773] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8773/stat : 8773 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4581085 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786704673608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8777] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8777/stat : 8777 (java) S 8752 8755 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4581124 10060525568 20708 33554432000 1073741824 1073778376 140737349036576 139786700461736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 9824732 [startup+3.1009 s] /proc/loadavg: 3.59 4.03 4.00 3/216 8789 /proc/meminfo: memFree=24356552/32872528 swapFree=1268996/1432516 [pid=8755] ppid=8752 vsize=9824732 CPUtime=2.99 cores=1,3,5,7 /proc/8755/stat : 8755 (java) S 8752 8755 5003 0 -1 4202496 15305 0 1 0 285 14 0 0 20 0 19 0 4581079 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 140737349027712 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8755/statm: 2456183 28395 2275 9 0 2446860 0 [pid=8755/tid=8757] ppid=8752 vsize=9824732 CPUtime=0.45 cores=1,3,5,7 /proc/8755/task/8757/stat : 8757 (java) S 8752 8755 5003 0 -1 4202560 2454 0 1 0 43 2 0 0 20 0 19 0 4581080 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786888586104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8758] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8758/stat : 8758 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786827315880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8759] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8759/stat : 8759 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786826263336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8760] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8760/stat : 8760 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786729503656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8761] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8761/stat : 8761 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786728451112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8762] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8762/stat : 8762 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786727397544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8763] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8763/stat : 8763 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786726345000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8764] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8764/stat : 8764 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786725292456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8765] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8765/stat : 8765 (java) S 8752 8755 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786724239912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8766] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8766/stat : 8766 (java) S 8752 8755 5003 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4581083 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786712042088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8767] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8767/stat : 8767 (java) S 8752 8755 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4581083 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786710988408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8768] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8768/stat : 8768 (java) S 8752 8755 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4581083 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786709935752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8769] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8769/stat : 8769 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581085 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786708884496 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8770] ppid=8752 vsize=9824732 CPUtime=0.81 cores=1,3,5,7 /proc/8755/task/8770/stat : 8770 (java) S 8752 8755 5003 0 -1 4202560 5930 0 0 0 81 0 0 0 20 0 19 0 4581085 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786707830840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8771] ppid=8752 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/8755/task/8771/stat : 8771 (java) S 8752 8755 5003 0 -1 4202560 5531 0 0 0 79 0 0 0 20 0 19 0 4581085 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786706778296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8772] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8772/stat : 8772 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581085 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786705725944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8773] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8773/stat : 8773 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581085 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786704673608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8777] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8777/stat : 8777 (java) S 8752 8755 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4581124 10060525568 28395 33554432000 1073741824 1073778376 140737349036576 139786700461736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 9824732 [startup+6.30085 s] /proc/loadavg: 3.46 3.99 3.99 3/216 8807 /proc/meminfo: memFree=24255380/32872528 swapFree=1268996/1432516 [pid=8755] ppid=8752 vsize=9824732 CPUtime=5.27 cores=1,3,5,7 /proc/8755/stat : 8755 (java) S 8752 8755 5003 0 -1 4202496 16372 0 1 0 499 28 0 0 20 0 19 0 4581079 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 140737349027712 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8755/statm: 2456183 47436 2288 9 0 2446860 0 [pid=8755/tid=8757] ppid=8752 vsize=9824732 CPUtime=0.46 cores=1,3,5,7 /proc/8755/task/8757/stat : 8757 (java) S 8752 8755 5003 0 -1 4202560 2456 0 1 0 44 2 0 0 20 0 19 0 4581080 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786888586104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8758] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8758/stat : 8758 (java) S 8752 8755 5003 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786827315880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8759] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8759/stat : 8759 (java) S 8752 8755 5003 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786826263336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8760] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8760/stat : 8760 (java) S 8752 8755 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786729503656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8761] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8761/stat : 8761 (java) S 8752 8755 5003 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786728451112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8762] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8762/stat : 8762 (java) S 8752 8755 5003 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786727397544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8763] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8763/stat : 8763 (java) S 8752 8755 5003 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786726345000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8764] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8764/stat : 8764 (java) S 8752 8755 5003 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786725292456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8765] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8765/stat : 8765 (java) S 8752 8755 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4581081 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786724239912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8766] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8766/stat : 8766 (java) S 8752 8755 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4581083 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786712042088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8767] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8767/stat : 8767 (java) S 8752 8755 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4581083 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786710988408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8768] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8768/stat : 8768 (java) S 8752 8755 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4581083 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786709935752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8769] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8769/stat : 8769 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581085 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786708884496 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8770] ppid=8752 vsize=9824732 CPUtime=0.9 cores=1,3,5,7 /proc/8755/task/8770/stat : 8770 (java) S 8752 8755 5003 0 -1 4202560 6836 0 0 0 90 0 0 0 20 0 19 0 4581085 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786707830840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8771] ppid=8752 vsize=9824732 CPUtime=0.96 cores=1,3,5,7 /proc/8755/task/8771/stat : 8771 (java) S 8752 8755 5003 0 -1 4202560 5531 0 0 0 96 0 0 0 20 0 19 0 4581085 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786706778296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8772] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8772/stat : 8772 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581085 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786705725944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8773] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8773/stat : 8773 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4581085 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786704673608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8777] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8777/stat : 8777 (java) S 8752 8755 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4581124 10060525568 47436 33554432000 1073741824 1073778376 140737349036576 139786700461736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 5.27 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [pid=8755/tid=8765] ppid=8752 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/8755/task/8765/stat : 8765 (java) S 8752 8755 5003 0 -1 4202560 643 0 0 0 72 29 0 0 20 0 22 0 4581081 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786724239912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8766] ppid=8752 vsize=9824732 CPUtime=2.24 cores=1,3,5,7 /proc/8755/task/8766/stat : 8766 (java) S 8752 8755 5003 0 -1 4202560 2125 0 0 0 214 10 0 0 20 0 22 0 4581083 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786712042088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8767] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8767/stat : 8767 (java) S 8752 8755 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4581083 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786710988408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8768] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8768/stat : 8768 (java) S 8752 8755 5003 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 22 0 4581083 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786709935752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8769] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8769/stat : 8769 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4581085 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786708884496 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8770] ppid=8752 vsize=9824732 CPUtime=1.1 cores=1,3,5,7 /proc/8755/task/8770/stat : 8770 (java) S 8752 8755 5003 0 -1 4202560 7493 0 0 0 109 1 0 0 20 0 22 0 4581085 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786707830840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8771] ppid=8752 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/8755/task/8771/stat : 8771 (java) S 8752 8755 5003 0 -1 4202560 5569 0 0 0 133 0 0 0 20 0 22 0 4581085 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786706778296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8772] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8772/stat : 8772 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4581085 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786705725944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8773] ppid=8752 vsize=9824732 CPUtime=0.21 cores=1,3,5,7 /proc/8755/task/8773/stat : 8773 (java) S 8752 8755 5003 0 -1 4202560 65 0 0 0 8 13 0 0 20 0 22 0 4581085 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786704673608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8967] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8967/stat : 8967 (java) S 8752 8755 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4589790 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786700461608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=9542] ppid=8752 vsize=9824732 CPUtime=138.9 cores=1,3,5,7 /proc/8755/task/9542/stat : 9542 (java) R 8752 8755 5003 0 -1 4202560 3 0 0 0 13888 2 0 0 20 0 22 0 4679377 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786702557200 139786829108832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=9543] ppid=8752 vsize=9824732 CPUtime=138.84 cores=1,3,5,7 /proc/8755/task/9543/stat : 9543 (java) R 8752 8755 5003 0 -1 4202560 4 0 0 0 13882 2 0 0 20 0 22 0 4679377 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786703616760 139786829299710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=9544] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/9544/stat : 9544 (java) S 8752 8755 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4679377 10060525568 858375 33554432000 1073741824 1073778376 140737349036576 139786701514152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1731.49 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1155.7 s] /proc/loadavg: 4.40 3.85 3.78 5/219 9550 /proc/meminfo: memFree=19776592/32872528 swapFree=1268996/1432516 [pid=8755] ppid=8752 vsize=9824732 CPUtime=1798.5 cores=1,3,5,7 /proc/8755/stat : 8755 (java) S 8752 8755 5003 0 -1 4202496 26848 0 1 0 179369 481 0 0 20 0 22 0 4581079 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 140737349027712 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8755/statm: 2456183 858527 2303 9 0 2446860 0 [pid=8755/tid=8757] ppid=8752 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/8755/task/8757/stat : 8757 (java) S 8752 8755 5003 0 -1 4202560 2485 0 1 0 93 7 0 0 20 0 22 0 4581080 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786888586104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8758] ppid=8752 vsize=9824732 CPUtime=0.91 cores=1,3,5,7 /proc/8755/task/8758/stat : 8758 (java) S 8752 8755 5003 0 -1 4202560 653 0 0 0 65 26 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786827315880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8759] ppid=8752 vsize=9824732 CPUtime=1.16 cores=1,3,5,7 /proc/8755/task/8759/stat : 8759 (java) S 8752 8755 5003 0 -1 4202560 707 0 0 0 87 29 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786826263336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8760] ppid=8752 vsize=9824732 CPUtime=1.12 cores=1,3,5,7 /proc/8755/task/8760/stat : 8760 (java) S 8752 8755 5003 0 -1 4202560 754 0 0 0 83 29 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786729503656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8761] ppid=8752 vsize=9824732 CPUtime=1.18 cores=1,3,5,7 /proc/8755/task/8761/stat : 8761 (java) S 8752 8755 5003 0 -1 4202560 743 0 0 0 87 31 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786728451112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8762] ppid=8752 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/8755/task/8762/stat : 8762 (java) S 8752 8755 5003 0 -1 4202560 505 0 0 0 72 25 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786727397544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8763] ppid=8752 vsize=9824732 CPUtime=1.14 cores=1,3,5,7 /proc/8755/task/8763/stat : 8763 (java) S 8752 8755 5003 0 -1 4202560 691 0 0 0 86 28 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786726345000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8764] ppid=8752 vsize=9824732 CPUtime=0.96 cores=1,3,5,7 /proc/8755/task/8764/stat : 8764 (java) S 8752 8755 5003 0 -1 4202560 529 0 0 0 72 24 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786725292456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8765] ppid=8752 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/8755/task/8765/stat : 8765 (java) S 8752 8755 5003 0 -1 4202560 654 0 0 0 75 29 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786724239912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8766] ppid=8752 vsize=9824732 CPUtime=2.24 cores=1,3,5,7 /proc/8755/task/8766/stat : 8766 (java) S 8752 8755 5003 0 -1 4202560 2178 0 0 0 214 10 0 0 20 0 22 0 4581083 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786712042088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8767] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8767/stat : 8767 (java) S 8752 8755 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4581083 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786710988408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8768] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8768/stat : 8768 (java) S 8752 8755 5003 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 22 0 4581083 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786709935752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8769] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8769/stat : 8769 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4581085 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786708884496 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8770] ppid=8752 vsize=9824732 CPUtime=1.1 cores=1,3,5,7 /proc/8755/task/8770/stat : 8770 (java) S 8752 8755 5003 0 -1 4202560 7493 0 0 0 109 1 0 0 20 0 22 0 4581085 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786707830840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8771] ppid=8752 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/8755/task/8771/stat : 8771 (java) S 8752 8755 5003 0 -1 4202560 5569 0 0 0 133 0 0 0 20 0 22 0 4581085 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786706778296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8772] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8772/stat : 8772 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4581085 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786705725944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8773] ppid=8752 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/8755/task/8773/stat : 8773 (java) S 8752 8755 5003 0 -1 4202560 67 0 0 0 9 13 0 0 20 0 22 0 4581085 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786704673608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8967] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8967/stat : 8967 (java) S 8752 8755 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4589790 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786700461608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=9542] ppid=8752 vsize=9824732 CPUtime=172.1 cores=1,3,5,7 /proc/8755/task/9542/stat : 9542 (java) R 8752 8755 5003 0 -1 4202560 3 0 0 0 17208 2 0 0 20 0 22 0 4679377 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786702557200 139786829108800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=9543] ppid=8752 vsize=9824732 CPUtime=172.04 cores=1,3,5,7 /proc/8755/task/9543/stat : 9543 (java) R 8752 8755 5003 0 -1 4202560 6 0 0 0 17202 2 0 0 20 0 22 0 4679377 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786703617264 139786829638092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=9544] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/9544/stat : 9544 (java) S 8752 8755 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4679377 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786701514152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1798.5 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 8755 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1155.7 s] /proc/loadavg: 4.40 3.85 3.78 5/219 9550 /proc/meminfo: memFree=19776592/32872528 swapFree=1268996/1432516 [pid=8755] ppid=8752 vsize=9824732 CPUtime=1798.5 cores=1,3,5,7 /proc/8755/stat : 8755 (java) S 8752 8755 5003 0 -1 4202496 26848 0 1 0 179369 481 0 0 20 0 22 0 4581079 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 140737349027712 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8755/statm: 2456183 858527 2303 9 0 2446860 0 [pid=8755/tid=8757] ppid=8752 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/8755/task/8757/stat : 8757 (java) S 8752 8755 5003 0 -1 4202560 2485 0 1 0 93 7 0 0 20 0 22 0 4581080 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786888586104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8758] ppid=8752 vsize=9824732 CPUtime=0.91 cores=1,3,5,7 /proc/8755/task/8758/stat : 8758 (java) S 8752 8755 5003 0 -1 4202560 653 0 0 0 65 26 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786827315880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8759] ppid=8752 vsize=9824732 CPUtime=1.16 cores=1,3,5,7 /proc/8755/task/8759/stat : 8759 (java) S 8752 8755 5003 0 -1 4202560 707 0 0 0 87 29 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786826263336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8760] ppid=8752 vsize=9824732 CPUtime=1.12 cores=1,3,5,7 /proc/8755/task/8760/stat : 8760 (java) S 8752 8755 5003 0 -1 4202560 754 0 0 0 83 29 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786729503656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8761] ppid=8752 vsize=9824732 CPUtime=1.18 cores=1,3,5,7 /proc/8755/task/8761/stat : 8761 (java) S 8752 8755 5003 0 -1 4202560 743 0 0 0 87 31 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786728451112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8762] ppid=8752 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/8755/task/8762/stat : 8762 (java) S 8752 8755 5003 0 -1 4202560 505 0 0 0 72 25 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786727397544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8763] ppid=8752 vsize=9824732 CPUtime=1.14 cores=1,3,5,7 /proc/8755/task/8763/stat : 8763 (java) S 8752 8755 5003 0 -1 4202560 691 0 0 0 86 28 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786726345000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8764] ppid=8752 vsize=9824732 CPUtime=0.96 cores=1,3,5,7 /proc/8755/task/8764/stat : 8764 (java) S 8752 8755 5003 0 -1 4202560 529 0 0 0 72 24 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786725292456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8765] ppid=8752 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/8755/task/8765/stat : 8765 (java) S 8752 8755 5003 0 -1 4202560 654 0 0 0 75 29 0 0 20 0 22 0 4581081 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786724239912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8766] ppid=8752 vsize=9824732 CPUtime=2.24 cores=1,3,5,7 /proc/8755/task/8766/stat : 8766 (java) S 8752 8755 5003 0 -1 4202560 2178 0 0 0 214 10 0 0 20 0 22 0 4581083 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786712042088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8767] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8767/stat : 8767 (java) S 8752 8755 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4581083 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786710988408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8768] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8768/stat : 8768 (java) S 8752 8755 5003 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 22 0 4581083 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786709935752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=8769] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8769/stat : 8769 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4581085 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786708884496 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8770] ppid=8752 vsize=9824732 CPUtime=1.1 cores=1,3,5,7 /proc/8755/task/8770/stat : 8770 (java) S 8752 8755 5003 0 -1 4202560 7493 0 0 0 109 1 0 0 20 0 22 0 4581085 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786707830840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=8771] ppid=8752 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/8755/task/8771/stat : 8771 (java) S 8752 8755 5003 0 -1 4202560 5569 0 0 0 133 0 0 0 20 0 22 0 4581085 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786706778296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8772] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8772/stat : 8772 (java) S 8752 8755 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4581085 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786705725944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=8773] ppid=8752 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/8755/task/8773/stat : 8773 (java) S 8752 8755 5003 0 -1 4202560 67 0 0 0 9 13 0 0 20 0 22 0 4581085 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786704673608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8755/tid=8967] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/8967/stat : 8967 (java) S 8752 8755 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4589790 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786700461608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8755/tid=9542] ppid=8752 vsize=9824732 CPUtime=172.1 cores=1,3,5,7 /proc/8755/task/9542/stat : 9542 (java) R 8752 8755 5003 0 -1 4202560 3 0 0 0 17208 2 0 0 20 0 22 0 4679377 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786702557200 139786829108800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8755/tid=9543] ppid=8752 vsize=9824732 CPUtime=172.04 cores=1,3,5,7 /proc/8755/task/9543/stat : 9543 (java) R 8752 8755 5003 0 -1 4202560 6 0 0 0 17202 2 0 0 20 0 22 0 4679377 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786703617264 139786829638092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8755/tid=9544] ppid=8752 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8755/task/9544/stat : 9544 (java) S 8752 8755 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4679377 10060525568 858527 33554432000 1073741824 1073778376 140737349036576 139786701514152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8755 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=850445 # childrusage.ru_stime.tv_sec=5 # childrusage.ru_stime.tv_usec=29235 # CPU time returned by wait4() is 1797.88 # while last known CPU time is 1798.5 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # 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): 1.50994 # lost CPU user time (s): 1.72005 # lost CPU system time (s): -0.21 Real time (s): 1155.77 CPU time (s): 1800.01 CPU user time (s): 1795.41 CPU system time (s): 4.6 CPU usage (%): 155.742 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.85 system time used= 5.02923 maximum resident set size= 3558476 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26888 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39016 involuntary context switches= 10803 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.60384 second user time and 8.03578 second system time The end
Begin job on node130 at 2016-06-29 23:37:40 IDJOB=4118791 IDBENCH=111533 IDSOLVER=2543 FILE ID=node130/4118791-1467236260 RUNJOBID= node130-1467233347-7542 PBS_JOBID= 19997578 Free space on /tmp= 71668 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118791-1467236260/watcher-4118791-1467236260 -o /tmp/evaluation-result-4118791-1467236260/solver-4118791-1467236260 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467233347-7542 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118791-1467236260.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6a8853326d72dcbb7b31f93bb594e0b2 RANDOM SEED=1869496571 node130.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.813 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.62 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.813 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.813 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.813 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.813 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.813 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.813 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 24438360 kB Buffers: 140056 kB Cached: 3754652 kB SwapCached: 0 kB Active: 2784244 kB Inactive: 3421488 kB Active(anon): 2313984 kB Inactive(anon): 0 kB Active(file): 470260 kB Inactive(file): 3421488 kB Unevictable: 1432516 kB Mlocked: 1268996 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 916 kB Writeback: 0 kB AnonPages: 3787024 kB Mapped: 22136 kB Shmem: 204 kB Slab: 617360 kB SReclaimable: 61036 kB SUnreclaim: 556324 kB KernelStack: 1632 kB PageTables: 11740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4901172 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2459648 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= 71664 MiB End job on node130 at 2016-06-29 23:56:56