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) | -99 | 1800.11 | 918.757 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_4.opb |
| MD5SUM | 95bfca9fba26d7f8c875796701522876 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -112 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -139 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1501 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 12652 |
| Sum of products size (including duplicates) | 25304 |
| Number of different products | 6326 |
| Sum of products size | 12652 |
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.08/0.10 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-4081731-1465257142.opb 0.08/0.12 c reading problem ... 0.08/0.13 c objective function found 1.55/0.76 c ... done. Wall clock time 0.637s. 1.55/0.76 c declared #vars 1000 1.55/0.76 c internal #vars 7326 1.55/0.76 c #constraints 14154 1.55/0.76 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.55/0.76 c constraints type 1.55/0.76 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6326 1.55/0.76 c org.sat4j.minisat.constraints.card.MinWatchCard => 1002 1.55/0.76 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500 1.55/0.76 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6326 1.55/0.76 c 14154 constraints processed. 1.55/0.76 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.55/0.76 c constraints type 1.55/0.76 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 1.55/0.76 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6326 1.55/0.76 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002 1.55/0.76 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6326 1.55/0.76 c 14154 constraints processed. 1.55/0.76 c objective function length is 500 literals 4.27/1.45 c And the winner is solver1 4.63/1.77 c SATISFIABLE 4.63/1.77 c OPTIMIZING... 4.63/1.77 c Got one! Elapsed wall clock time (in seconds):1.642 4.63/1.77 o -12 4.72/1.82 c And the winner is solver1 4.84/2.27 c Got one! Elapsed wall clock time (in seconds):2.144 4.84/2.27 o -13 4.95/2.34 c And the winner is solver1 5.09/2.77 c Got one! Elapsed wall clock time (in seconds):2.647 5.09/2.77 o -14 5.15/2.83 c And the winner is solver1 5.25/3.27 c Got one! Elapsed wall clock time (in seconds):3.15 5.25/3.27 o -15 5.32/3.34 c And the winner is solver1 5.41/3.78 c Got one! Elapsed wall clock time (in seconds):3.652 5.41/3.78 o -25 5.45/3.83 c And the winner is solver1 5.53/4.28 c Got one! Elapsed wall clock time (in seconds):4.153 5.53/4.28 o -26 5.57/4.32 c And the winner is solver1 5.63/4.78 c Got one! Elapsed wall clock time (in seconds):4.655 5.63/4.78 o -27 5.66/4.84 c And the winner is solver1 5.81/5.28 c Got one! Elapsed wall clock time (in seconds):5.156 5.81/5.28 o -28 5.87/5.35 c And the winner is solver1 6.00/5.78 c Got one! Elapsed wall clock time (in seconds):5.657 6.00/5.78 o -29 6.03/5.82 c And the winner is solver1 6.09/6.28 c Got one! Elapsed wall clock time (in seconds):6.159 6.09/6.28 o -31 6.14/6.34 c And the winner is solver1 6.26/6.78 c Got one! Elapsed wall clock time (in seconds):6.66 6.26/6.78 o -32 6.29/6.83 c And the winner is solver1 6.39/7.29 c Got one! Elapsed wall clock time (in seconds):7.16 6.39/7.29 o -33 6.41/7.35 c And the winner is solver1 6.70/7.79 c Got one! Elapsed wall clock time (in seconds):7.661 6.70/7.79 o -34 6.75/7.83 c And the winner is solver1 6.82/8.29 c Got one! Elapsed wall clock time (in seconds):8.162 6.82/8.29 o -35 6.83/8.33 c And the winner is solver1 6.92/8.79 c Got one! Elapsed wall clock time (in seconds):8.663 6.92/8.79 o -36 6.95/8.85 c And the winner is solver1 7.09/9.29 c Got one! Elapsed wall clock time (in seconds):9.164 7.09/9.29 o -37 7.10/9.36 c And the winner is solver1 7.25/9.79 c Got one! Elapsed wall clock time (in seconds):9.665 7.25/9.79 o -38 7.26/9.84 c And the winner is solver1 7.43/10.29 c Got one! Elapsed wall clock time (in seconds):10.166 7.43/10.29 o -39 7.44/10.37 c And the winner is solver1 7.61/10.79 c Got one! Elapsed wall clock time (in seconds):10.667 7.61/10.79 o -40 7.62/10.86 c And the winner is solver1 7.77/11.29 c Got one! Elapsed wall clock time (in seconds):11.168 7.77/11.29 o -41 7.78/11.38 c And the winner is solver1 7.97/11.79 c Got one! Elapsed wall clock time (in seconds):11.668 7.97/11.79 o -42 7.98/11.87 c And the winner is solver1 8.21/12.29 c Got one! Elapsed wall clock time (in seconds):12.169 8.21/12.29 o -43 8.22/12.34 c And the winner is solver1 8.31/12.79 c Got one! Elapsed wall clock time (in seconds):12.67 8.31/12.79 o -47 8.33/12.84 c And the winner is solver1 8.42/13.30 c Got one! Elapsed wall clock time (in seconds):13.17 8.42/13.30 o -48 8.44/13.33 c And the winner is solver1 8.50/13.80 c Got one! Elapsed wall clock time (in seconds):13.671 8.50/13.80 o -49 8.50/13.88 c And the winner is solver1 8.71/14.30 c Got one! Elapsed wall clock time (in seconds):14.171 8.71/14.30 o -50 8.72/14.34 c And the winner is solver1 8.81/14.80 c Got one! Elapsed wall clock time (in seconds):14.672 8.81/14.80 o -54 8.81/14.85 c And the winner is solver1 8.93/15.30 c Got one! Elapsed wall clock time (in seconds):15.173 8.93/15.30 o -55 8.93/15.36 c And the winner is solver1 9.09/15.80 c Got one! Elapsed wall clock time (in seconds):15.673 9.09/15.80 o -56 9.33/15.90 c And the winner is solver1 9.37/16.30 c Got one! Elapsed wall clock time (in seconds):16.174 9.37/16.30 o -57 9.37/16.36 c And the winner is solver1 9.50/16.80 c Got one! Elapsed wall clock time (in seconds):16.675 9.50/16.80 o -58 9.50/16.89 c And the winner is solver1 9.68/17.30 c Got one! Elapsed wall clock time (in seconds):17.176 9.68/17.30 o -61 9.68/17.36 c And the winner is solver1 9.80/17.80 c Got one! Elapsed wall clock time (in seconds):17.677 9.80/17.80 o -62 9.80/17.85 c And the winner is solver1 9.90/18.30 c Got one! Elapsed wall clock time (in seconds):18.177 9.90/18.30 o -63 9.90/18.34 c And the winner is solver1 10.00/18.80 c Got one! Elapsed wall clock time (in seconds):18.678 10.00/18.80 o -64 10.00/18.85 c And the winner is solver1 10.10/19.30 c Got one! Elapsed wall clock time (in seconds):19.179 10.10/19.30 o -65 10.10/19.37 c And the winner is solver1 10.25/19.80 c Got one! Elapsed wall clock time (in seconds):19.68 10.25/19.80 o -66 10.25/19.85 c And the winner is solver1 10.35/20.31 c Got one! Elapsed wall clock time (in seconds):20.18 10.35/20.31 o -68 10.35/20.35 c And the winner is solver1 10.46/20.81 c Got one! Elapsed wall clock time (in seconds):20.681 10.46/20.81 o -69 10.84/21.03 c And the winner is solver1 10.93/21.31 c Got one! Elapsed wall clock time (in seconds):21.182 10.93/21.31 o -70 14.25/22.93 c And the winner is solver1 14.34/23.31 c Got one! Elapsed wall clock time (in seconds):23.183 14.34/23.31 o -71 18.78/25.58 c cleaning 4320 clauses out of 8640 with flag 30400/8640 27.65/29.90 c cleaning 5157 clauses out of 10320 with flag 88144/14640 38.32/35.14 c And the winner is solver0 38.41/35.31 c Got one! Elapsed wall clock time (in seconds):35.186 38.41/35.31 o -81 43.45/37.89 c And the winner is solver1 43.65/38.31 c Got one! Elapsed wall clock time (in seconds):38.188 43.65/38.31 o -82 46.43/39.76 c cleaning 9013 clauses out of 18025 with flag 20744/27502 55.16/44.03 c cleaning 7500 clauses out of 15011 with flag 79320/33501 60.01/46.49 c And the winner is solver0 60.23/46.83 c Got one! Elapsed wall clock time (in seconds):46.701 60.23/46.83 o -83 63.21/48.33 c cleaning 6522 clauses out of 13043 with flag 18783/39033 71.61/52.51 c cleaning 6257 clauses out of 12521 with flag 75422/45033 81.47/57.42 c cleaning 6625 clauses out of 13264 with flag 139481/52033 82.67/58.05 c And the winner is solver1 82.73/58.33 c Got one! Elapsed wall clock time (in seconds):58.204 82.73/58.33 o -84 85.86/59.94 c And the winner is solver1 85.95/60.33 c Got one! Elapsed wall clock time (in seconds):60.205 85.95/60.33 o -85 88.93/61.88 c cleaning 6023 clauses out of 12054 with flag 19647/57448 97.93/66.31 c cleaning 6006 clauses out of 12031 with flag 75606/63448 98.53/66.63 c And the winner is solver1 98.58/66.83 c Got one! Elapsed wall clock time (in seconds):66.707 98.58/66.83 o -86 106.15/70.60 c cleaning 5898 clauses out of 11808 with flag 48484/69231 111.96/73.56 c cleaning 5954 clauses out of 11911 with flag 109033/75232 117.97/76.53 c cleaning 6478 clauses out of 12957 with flag 186017/82232 125.00/80.02 c cleaning 7237 clauses out of 14478 with flag 278558/90231 132.84/83.95 c cleaning 8122 clauses out of 16243 with flag 392425/99233 134.24/84.68 c And the winner is solver1 134.33/84.84 c Got one! Elapsed wall clock time (in seconds):84.711 134.33/84.84 o -87 140.27/87.84 c cleaning 6924 clauses out of 13853 with flag 51845/104965 146.10/90.77 c cleaning 6465 clauses out of 12930 with flag 117551/110966 153.14/94.29 c cleaning 6727 clauses out of 13464 with flag 191865/117965 160.79/98.02 c cleaning 7268 clauses out of 14739 with flag 275621/125967 171.19/103.28 c cleaning 8220 clauses out of 16471 with flag 362493/134967 173.81/104.55 c And the winner is solver1 173.81/104.84 c Got one! Elapsed wall clock time (in seconds):104.715 173.81/104.84 o -88 178.13/107.09 c cleaning 6937 clauses out of 13881 with flag 39088/140597 183.77/109.83 c cleaning 6459 clauses out of 12944 with flag 111921/146597 189.77/112.83 c And the winner is solver1 189.77/112.84 c Got one! Elapsed wall clock time (in seconds):112.717 189.77/112.84 o -89 195.54/115.79 c cleaning 8721 clauses out of 17443 with flag 63045/157555 198.97/117.40 c And the winner is solver1 198.97/117.84 c Got one! Elapsed wall clock time (in seconds):117.719 198.97/117.84 o -90 201.92/119.36 c cleaning 6967 clauses out of 13946 with flag 28038/162779 207.98/122.38 c cleaning 6453 clauses out of 12978 with flag 97403/168778 214.63/125.69 c cleaning 6738 clauses out of 13525 with flag 169882/175778 222.27/129.46 c cleaning 7376 clauses out of 14795 with flag 268478/183786 232.32/134.42 c cleaning 8181 clauses out of 16411 with flag 386178/192778 242.36/139.40 c And the winner is solver1 242.36/139.85 c Got one! Elapsed wall clock time (in seconds):139.723 242.36/139.85 o -91 248.91/143.16 c cleaning 11394 clauses out of 22788 with flag 58003/207336 255.55/146.44 c cleaning 8704 clauses out of 17408 with flag 116552/213350 262.20/149.79 c cleaning 7735 clauses out of 15690 with flag 196894/220336 270.44/153.85 c cleaning 8023 clauses out of 16046 with flag 267359/228427 279.49/158.40 c cleaning 8467 clauses out of 16934 with flag 345830/237338 289.97/163.57 c cleaning 9202 clauses out of 18463 with flag 436683/247334 299.43/168.22 c cleaning 10119 clauses out of 20263 with flag 526958/258336 307.27/172.15 c And the winner is solver1 307.27/172.35 c Got one! Elapsed wall clock time (in seconds):172.229 307.27/172.35 o -92 313.41/175.47 c cleaning 11210 clauses out of 22420 with flag 63507/270612 319.84/178.80 c cleaning 8550 clauses out of 17211 with flag 121815/276613 326.90/182.30 c cleaning 7733 clauses out of 15658 with flag 206329/283610 335.55/186.69 c cleaning 7931 clauses out of 15925 with flag 282978/291610 344.76/191.24 c cleaning 8406 clauses out of 16994 with flag 366485/300610 356.80/197.28 c cleaning 9257 clauses out of 18589 with flag 462465/310611 369.45/203.55 c cleaning 10170 clauses out of 20339 with flag 564812/321618 382.53/210.05 c cleaning 11072 clauses out of 22163 with flag 689021/333612 395.89/216.69 c cleaning 11983 clauses out of 24089 with flag 814124/346610 412.16/224.74 c cleaning 13087 clauses out of 26174 with flag 979382/360678 429.93/233.87 c cleaning 14010 clauses out of 28019 with flag 1114517/375610 449.01/243.32 c cleaning 14899 clauses out of 30012 with flag 1282762/391613 469.31/253.41 c cleaning 16050 clauses out of 32114 with flag 1443362/408614 490.40/263.99 c cleaning 17022 clauses out of 34060 with flag 1654220/426610 515.32/276.35 c cleaning 18017 clauses out of 36045 with flag 1915437/445617 539.52/288.36 c cleaning 19010 clauses out of 38021 with flag 2140868/465610 564.47/300.73 c cleaning 20005 clauses out of 40015 with flag 2358717/486614 592.83/314.89 c cleaning 21000 clauses out of 42008 with flag 2602660/508612 606.52/321.61 c And the winner is solver1 606.52/321.96 c Got one! Elapsed wall clock time (in seconds):321.83 606.52/321.96 o -93 613.00/325.25 c cleaning 18892 clauses out of 37783 with flag 61145/525387 619.06/328.24 c cleaning 12441 clauses out of 24893 with flag 123575/531389 626.26/331.87 c cleaning 9558 clauses out of 19449 with flag 207419/538386 633.73/335.56 c cleaning 8857 clauses out of 17891 with flag 292583/546386 642.53/339.97 c cleaning 8962 clauses out of 18045 with flag 395082/555397 652.77/345.04 c cleaning 9480 clauses out of 19079 with flag 544649/565393 665.62/351.41 c cleaning 10299 clauses out of 20598 with flag 745177/576392 677.87/357.51 c cleaning 11096 clauses out of 22297 with flag 884191/588390 679.86/358.55 c And the winner is solver1 679.86/358.99 c Got one! Elapsed wall clock time (in seconds):358.867 679.86/358.99 o -94 683.17/360.61 c cleaning 8260 clauses out of 16622 with flag 35271/593811 689.46/363.72 c cleaning 7035 clauses out of 14363 with flag 106203/599812 695.26/366.64 c cleaning 6975 clauses out of 14330 with flag 175037/606814 703.16/370.55 c cleaning 7554 clauses out of 15356 with flag 261505/614815 712.58/375.29 c cleaning 8298 clauses out of 16797 with flag 357710/623810 722.03/380.23 c cleaning 9125 clauses out of 18501 with flag 457465/633812 732.69/385.53 c cleaning 10178 clauses out of 20374 with flag 553981/644810 737.29/387.82 c And the winner is solver1 737.29/387.96 c Got one! Elapsed wall clock time (in seconds):387.839 737.29/387.96 o -95 742.75/390.76 c cleaning 11071 clauses out of 22142 with flag 63516/656756 748.21/393.46 c cleaning 8512 clauses out of 17073 with flag 147540/662758 749.23/393.93 c And the winner is solver1 749.23/393.97 c Got one! Elapsed wall clock time (in seconds):393.841 749.23/393.97 o -96 753.11/395.94 c cleaning 6847 clauses out of 13695 with flag 58788/667892 759.11/398.91 c cleaning 6270 clauses out of 12847 with flag 155811/673891 765.78/402.26 c cleaning 6609 clauses out of 13577 with flag 220180/680891 773.78/406.29 c cleaning 7467 clauses out of 14968 with flag 297197/688891 779.45/409.03 c cleaning 8242 clauses out of 16501 with flag 374258/697891 784.26/411.48 c cleaning 9122 clauses out of 18260 with flag 454622/707892 791.14/414.81 c cleaning 10069 clauses out of 20138 with flag 545555/718892 800.32/419.49 c cleaning 10988 clauses out of 22068 with flag 656860/730891 813.03/425.71 c cleaning 12031 clauses out of 24080 with flag 777645/743891 825.10/431.75 c cleaning 13014 clauses out of 26056 with flag 905882/757898 839.17/438.79 c cleaning 14005 clauses out of 28035 with flag 1041353/772891 853.21/445.75 c And the winner is solver1 853.21/446.03 c Got one! Elapsed wall clock time (in seconds):445.907 853.21/446.03 o -97 858.74/448.81 c cleaning 16162 clauses out of 32323 with flag 68149/791184 864.78/451.85 c cleaning 11079 clauses out of 22157 with flag 154713/797180 871.78/455.40 c cleaning 8926 clauses out of 18078 with flag 253953/804180 880.01/459.43 c cleaning 8491 clauses out of 17159 with flag 353256/812187 889.83/464.35 c cleaning 8839 clauses out of 17678 with flag 514289/821197 899.65/469.27 c cleaning 9413 clauses out of 18825 with flag 645869/831183 910.29/474.53 c cleaning 10115 clauses out of 20409 with flag 782669/842180 922.35/480.54 c cleaning 11008 clauses out of 22295 with flag 915477/854181 936.63/487.66 c cleaning 12167 clauses out of 24334 with flag 1080063/867228 952.10/495.30 c cleaning 12943 clauses out of 26120 with flag 1264264/881181 966.80/502.63 c cleaning 14005 clauses out of 28192 with flag 1442073/896196 985.29/511.83 c cleaning 15086 clauses out of 30171 with flag 1709725/912180 1003.37/520.82 c cleaning 15974 clauses out of 32085 with flag 1903590/929180 1019.74/528.99 c cleaning 17051 clauses out of 34111 with flag 2069082/947180 1033.74/535.90 c cleaning 17925 clauses out of 36060 with flag 2225311/966180 1056.75/547.35 c cleaning 19075 clauses out of 38169 with flag 2402144/986214 1078.26/558.03 c cleaning 19946 clauses out of 40060 with flag 2600923/1007180 1101.47/569.51 c cleaning 20894 clauses out of 42115 with flag 2821964/1029181 1120.14/578.85 c cleaning 22027 clauses out of 44220 with flag 3002984/1052180 1139.93/589.20 c cleaning 23079 clauses out of 46193 with flag 3189724/1076180 1162.25/600.38 c cleaning 23974 clauses out of 48114 with flag 3393599/1101180 1189.76/614.03 c And the winner is solver1 1189.76/614.13 c Got one! Elapsed wall clock time (in seconds):614.006 1189.76/614.13 o -98 1197.49/618.05 c cleaning 23363 clauses out of 46726 with flag 68699/1123766 1203.96/621.22 c cleaning 14587 clauses out of 29359 with flag 149941/1129762 1210.15/624.39 c cleaning 10887 clauses out of 21773 with flag 227847/1136763 1218.03/628.26 c cleaning 9271 clauses out of 18885 with flag 313188/1144762 1227.44/632.97 c cleaning 9278 clauses out of 18614 with flag 401893/1153762 1237.43/637.99 c cleaning 9500 clauses out of 19336 with flag 510461/1163762 1247.66/643.09 c cleaning 10325 clauses out of 20838 with flag 619972/1174764 1259.13/648.73 c cleaning 11256 clauses out of 22512 with flag 739751/1186763 1271.01/654.68 c cleaning 12056 clauses out of 24258 with flag 871328/1199765 1283.64/660.95 c cleaning 13077 clauses out of 26211 with flag 1001122/1213774 1297.83/668.08 c cleaning 14064 clauses out of 28128 with flag 1165062/1228768 1314.52/676.31 c cleaning 14979 clauses out of 30062 with flag 1374468/1244766 1337.19/687.63 c cleaning 16056 clauses out of 32111 with flag 1663113/1261794 1357.44/697.70 c cleaning 16993 clauses out of 34023 with flag 1933942/1279762 1375.23/706.51 c cleaning 17999 clauses out of 36030 with flag 2117157/1298762 1396.93/717.36 c cleaning 18962 clauses out of 38034 with flag 2363714/1318765 1417.19/727.42 c cleaning 19895 clauses out of 40069 with flag 2576258/1339762 1438.58/738.09 c cleaning 21003 clauses out of 42175 with flag 2815408/1361763 1463.67/750.53 c cleaning 22083 clauses out of 44173 with flag 3124143/1384764 1488.04/762.66 c cleaning 23014 clauses out of 46088 with flag 3406637/1408762 1514.96/776.01 c cleaning 24032 clauses out of 48074 with flag 3704188/1433762 1541.83/789.48 c cleaning 25014 clauses out of 50042 with flag 3974126/1459762 1570.58/803.76 c And the winner is solver1 1570.58/804.19 c Got one! Elapsed wall clock time (in seconds):804.06 1570.58/804.19 o -99 1578.93/808.30 c cleaning 28174 clauses out of 56347 with flag 69682/1491081 1584.73/811.24 c cleaning 17106 clauses out of 34211 with flag 148410/1497119 1590.74/814.27 c cleaning 11832 clauses out of 24065 with flag 236824/1504079 1599.20/818.88 c cleaning 10099 clauses out of 20240 with flag 322417/1512086 1607.80/823.10 c cleaning 9434 clauses out of 19134 with flag 458440/1521079 1616.85/827.61 c cleaning 9797 clauses out of 19701 with flag 566044/1531080 1626.49/832.40 c cleaning 10433 clauses out of 20904 with flag 698981/1542080 1637.50/837.94 c cleaning 11231 clauses out of 22470 with flag 866413/1554079 1648.93/843.65 c cleaning 12056 clauses out of 24239 with flag 1003664/1567079 1660.57/849.43 c cleaning 13069 clauses out of 26185 with flag 1139215/1581081 1672.81/855.58 c cleaning 14036 clauses out of 28114 with flag 1283896/1596079 1688.53/863.37 c cleaning 14947 clauses out of 30079 with flag 1500035/1612080 1699.95/869.04 c cleaning 16049 clauses out of 32131 with flag 1640148/1629079 1713.92/875.98 c cleaning 17041 clauses out of 34082 with flag 1805402/1647079 1728.86/883.38 c cleaning 18021 clauses out of 36042 with flag 1978300/1666080 1748.24/892.92 c cleaning 18954 clauses out of 38020 with flag 2197352/1686079 1765.78/901.65 c cleaning 20033 clauses out of 40066 with flag 2400839/1707079 1787.04/912.21 c cleaning 21021 clauses out of 42042 with flag 2634937/1729088 1800.11/918.70 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.11/918.70 c starts : 32187 1800.11/918.70 c conflicts : 1743024 1800.11/918.70 c decisions : 79843381 1800.11/918.70 c propagations : 651032522 1800.11/918.70 c inspects : 4862014072 1800.11/918.70 c shortcuts : 0 1800.11/918.70 c learnt literals : 0 1800.11/918.70 c learnt binary clauses : 42 1800.11/918.70 c learnt ternary clauses : 1502 1800.11/918.70 c learnt constraints : 1743024 1800.11/918.70 c ignored constraints : 0 1800.11/918.70 c root simplifications : 0 1800.11/918.70 c removed literals (reason simplification) : 655278633 1800.11/918.70 c reason swapping (by a shorter reason) : 0 1800.11/918.70 c Calls to reduceDB : 141 1800.11/918.70 c Number of update (reduction) of LBD : 665161 1800.11/918.70 c Imported unit clauses : 0 1800.11/918.70 c number of reductions to clauses (during analyze) : 0 1800.11/918.70 c number of learned constraints concerned by reduction : 0 1800.11/918.70 c number of learning phase by resolution : 0 1800.11/918.70 c number of learning phase by cutting planes : 0 1800.11/918.70 c speed (assignments/second) : 5685029.489071492 1800.11/918.70 c non guided choices 1 1800.11/918.72 c learnt constraints type 1800.11/918.72 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 42 1800.11/918.72 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 34915 1800.11/918.72 c >>>>>>>>>> Solver number 1 (58 answers) <<<<<<<<<<<<<<<<<< 1800.11/918.72 c starts : 111 1800.11/918.72 c conflicts : 12887 1800.11/918.72 c decisions : 794638 1800.11/918.72 c propagations : 9457827 1800.11/918.72 c inspects : 1401729755 1800.11/918.72 c shortcuts : 0 1800.11/918.72 c learnt literals : 0 1800.11/918.72 c learnt binary clauses : 0 1800.11/918.72 c learnt ternary clauses : 0 1800.11/918.72 c learnt constraints : 12886 1800.11/918.72 c ignored constraints : 0 1800.11/918.72 c root simplifications : 0 1800.11/918.72 c removed literals (reason simplification) : 0 1800.11/918.72 c reason swapping (by a shorter reason) : 0 1800.11/918.72 c Calls to reduceDB : 0 1800.11/918.72 c Number of update (reduction) of LBD : 0 1800.11/918.72 c Imported unit clauses : 0 1800.11/918.72 c number of reductions to clauses (during analyze) : 0 1800.11/918.72 c number of learned constraints concerned by reduction : 0 1800.11/918.72 c number of learning phase by resolution : 0 1800.11/918.72 c number of learning phase by cutting planes : 0 1800.11/918.72 c speed (assignments/second) : 10847.512699437657 1800.11/918.72 c non guided choices 120 1800.11/918.72 c learnt constraints type 1800.11/918.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 9 1800.11/918.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 12877 1800.11/918.72 s SATISFIABLE 1800.11/918.72 c Found 60 solution(s) 1800.11/918.72 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 1800.11/918.73 c objective function=-99 1800.11/918.73 c Total wall clock time (in seconds): 918.602
OK -99
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-4081731-1465257142/watcher-4081731-1465257142 -o /tmp/evaluation-result-4081731-1465257142/solver-4081731-1465257142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081731-1465257142.opb pid=20119 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.08 4.16 4.18 4/197 20122 /proc/meminfo: memFree=26810136/32872528 swapFree=16636/1570076 [pid=20122] ppid=20119 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/20122/stat : 20122 (java) D 20119 20122 17726 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 107646602 9515008 186 33554432000 1073741824 1073778376 140733905163200 140733905152264 213410475303 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/20122/statm: 2323 186 143 9 0 71 0 [startup+0.100057 s] /proc/loadavg: 4.08 4.16 4.18 4/197 20122 /proc/meminfo: memFree=26810136/32872528 swapFree=16636/1570076 [pid=20122] ppid=20119 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/20122/stat : 20122 (java) S 20119 20122 17726 0 -1 4202496 4411 0 1 0 8 0 0 0 20 0 18 0 107646602 9787879424 6035 33554432000 1073741824 1073778376 140733905163200 140733905154336 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20122/statm: 2389619 6035 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200268 s] /proc/loadavg: 4.08 4.16 4.18 4/197 20122 /proc/meminfo: memFree=26810136/32872528 swapFree=16636/1570076 [pid=20122] ppid=20119 vsize=9558476 CPUtime=0.21 cores=0,2,4,6 /proc/20122/stat : 20122 (java) S 20119 20122 17726 0 -1 4202496 4559 0 1 0 20 1 0 0 20 0 18 0 107646602 9787879424 7184 33554432000 1073741824 1073778376 140733905163200 140733905154336 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20122/statm: 2389619 7184 2196 9 0 2380296 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 9558476 [startup+0.300287 s] /proc/loadavg: 4.08 4.16 4.18 4/197 20122 /proc/meminfo: memFree=26810136/32872528 swapFree=16636/1570076 [pid=20122] ppid=20119 vsize=9558476 CPUtime=0.44 cores=0,2,4,6 /proc/20122/stat : 20122 (java) S 20119 20122 17726 0 -1 4202496 5683 0 1 0 43 1 0 0 20 0 18 0 107646602 9787879424 9053 33554432000 1073741824 1073778376 140733905163200 140733905154336 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20122/statm: 2389619 9053 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558476 [startup+0.700223 s] /proc/loadavg: 4.08 4.16 4.18 4/197 20122 /proc/meminfo: memFree=26810136/32872528 swapFree=16636/1570076 [pid=20122] ppid=20119 vsize=9558476 CPUtime=1.55 cores=0,2,4,6 /proc/20122/stat : 20122 (java) S 20119 20122 17726 0 -1 4202496 21786 0 1 0 150 5 0 0 20 0 18 0 107646602 9787879424 41678 33554432000 1073741824 1073778376 140733905163200 140733905154336 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20122/statm: 2389619 41678 2255 9 0 2380296 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 9558476 [startup+1.50095 s] /proc/loadavg: 4.08 4.16 4.18 8/219 20144 /proc/meminfo: memFree=26616044/32872528 swapFree=16636/1570076 [pid=20122] ppid=20119 vsize=9824732 CPUtime=4.57 cores=0,2,4,6 /proc/20122/stat : 20122 (java) S 20119 20122 17726 0 -1 4202496 31534 0 1 0 446 11 0 0 20 0 19 0 107646602 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 140733905154336 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20122/statm: 2456183 54959 2283 9 0 2446860 0 [pid=20122/tid=20124] ppid=20119 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/20122/task/20124/stat : 20124 (java) S 20119 20122 17726 0 -1 4202560 2477 0 1 0 70 3 0 0 20 0 19 0 107646603 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645540643704 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20125] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20125/stat : 20125 (java) S 20119 20122 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645502135080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20126] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20126/stat : 20126 (java) S 20119 20122 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645501082280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20127] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20127/stat : 20127 (java) S 20119 20122 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645500029992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20128] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20128/stat : 20128 (java) S 20119 20122 17726 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645498977192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20129] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20129/stat : 20129 (java) S 20119 20122 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645497923880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20130] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20130/stat : 20130 (java) S 20119 20122 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645496871080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20131] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20131/stat : 20131 (java) S 20119 20122 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645495818792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20132] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20132/stat : 20132 (java) S 20119 20122 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645494765992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20133] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20133/stat : 20133 (java) S 20119 20122 17726 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 107646605 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645364329192 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20134] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20134/stat : 20134 (java) S 20119 20122 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107646606 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645363275256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20135] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20135/stat : 20135 (java) S 20119 20122 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107646606 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645362222856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20136] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20136/stat : 20136 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107646608 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645361171344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20137] ppid=20119 vsize=9824732 CPUtime=1.19 cores=0,2,4,6 /proc/20122/task/20137/stat : 20137 (java) R 20119 20122 17726 0 -1 4202560 15511 0 0 0 116 3 0 0 20 0 19 0 107646608 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139645360105224 139645544760764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20138] ppid=20119 vsize=9824732 CPUtime=1.21 cores=0,2,4,6 /proc/20122/task/20138/stat : 20138 (java) S 20119 20122 17726 0 -1 4202560 12107 0 0 0 119 2 0 0 20 0 19 0 107646608 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139644486281272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20139] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20139/stat : 20139 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107646608 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139644485229176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20140] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20140/stat : 20140 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107646608 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139644484176584 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20144] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20144/stat : 20144 (java) S 20119 20122 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107646680 10060525568 54959 33554432000 1073741824 1073778376 140733905163200 139644479964712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.57 Current children cumulated vsize (KiB) 9824732 [startup+3.1008 s] /proc/loadavg: 4.08 4.16 4.18 4/216 20147 /proc/meminfo: memFree=26602904/32872528 swapFree=16636/1570076 [pid=20122] ppid=20119 vsize=9824732 CPUtime=5.25 cores=0,2,4,6 /proc/20122/stat : 20122 (java) S 20119 20122 17726 0 -1 4202496 32801 0 1 0 508 17 0 0 20 0 19 0 107646602 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 140733905154336 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20122/statm: 2456183 53580 2284 9 0 2446860 0 [pid=20122/tid=20124] ppid=20119 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/20122/task/20124/stat : 20124 (java) S 20119 20122 17726 0 -1 4202560 2478 0 1 0 71 3 0 0 20 0 19 0 107646603 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645540643704 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20125] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20125/stat : 20125 (java) S 20119 20122 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645502135080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20126] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20126/stat : 20126 (java) S 20119 20122 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645501082280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20127] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20127/stat : 20127 (java) S 20119 20122 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645500029992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20128] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20128/stat : 20128 (java) S 20119 20122 17726 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645498977192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20129] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20129/stat : 20129 (java) S 20119 20122 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645497923880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20130] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20130/stat : 20130 (java) S 20119 20122 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645496871080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20131] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20131/stat : 20131 (java) S 20119 20122 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645495818792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20132] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20132/stat : 20132 (java) S 20119 20122 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107646604 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645494765992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20133] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20133/stat : 20133 (java) S 20119 20122 17726 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 107646605 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645364329192 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20134] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20134/stat : 20134 (java) S 20119 20122 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107646606 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645363275256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20135] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20135/stat : 20135 (java) S 20119 20122 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107646606 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645362222856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20136] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20136/stat : 20136 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107646608 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645361171344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20137] ppid=20119 vsize=9824732 CPUtime=1.38 cores=0,2,4,6 /proc/20122/task/20137/stat : 20137 (java) S 20119 20122 17726 0 -1 4202560 16758 0 0 0 135 3 0 0 20 0 19 0 107646608 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139645360117944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20138] ppid=20119 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/20122/task/20138/stat : 20138 (java) S 20119 20122 17726 0 -1 4202560 12107 0 0 0 128 2 0 0 20 0 19 0 107646608 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139644486281272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20139] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20139/stat : 20139 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107646608 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139644485229176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20140] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20140/stat : 20140 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107646608 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139644484176584 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20144] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20144/stat : 20144 (java) S 20119 20122 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107646680 10060525568 53580 33554432000 1073741824 1073778376 140733905163200 139644479964712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 5.25 Current children cumulated vsize (KiB) 9824732 [startup+6.30081 s] /proc/loadavg: 4.00 4.14 4.17 3/216 20168 /proc/meminfo: memFree=26575484/32872528 swapFree=16636/1570076 [pid=20122] ppid=20119 vsize=9824732 CPUtime=6.14 cores=0,2,4,6 /proc/20122/stat : 20122 (java) S 20119 20122 17726 0 -1 4202496 32900 0 1 0 582 32 0 0 20 0 22 0 107646602 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 140733905154336 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20122/statm: 2456183 56699 2290 9 0 2446860 0 [pid=20122/tid=20124] ppid=20119 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/20122/task/20124/stat : 20124 (java) S 20119 20122 17726 0 -1 4202560 2480 0 1 0 72 3 0 0 20 0 22 0 107646603 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645540643704 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20125] ppid=20119 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/20122/task/20125/stat : 20125 (java) S 20119 20122 17726 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 107646604 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645502135080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20126] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20126/stat : 20126 (java) S 20119 20122 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107646604 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645501082280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20127] ppid=20119 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20122/task/20127/stat : 20127 (java) S 20119 20122 17726 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 107646604 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645500029992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20128] ppid=20119 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20122/task/20128/stat : 20128 (java) S 20119 20122 17726 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 107646604 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645498977192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20129] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20129/stat : 20129 (java) S 20119 20122 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107646604 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645497923880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20130] ppid=20119 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20122/task/20130/stat : 20130 (java) S 20119 20122 17726 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 107646604 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645496871080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20131] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20131/stat : 20131 (java) S 20119 20122 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 107646604 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645495818792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20132] ppid=20119 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20122/task/20132/stat : 20132 (java) S 20119 20122 17726 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 107646604 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645494765992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20133] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20133/stat : 20133 (java) S 20119 20122 17726 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 107646605 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645364329192 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20134] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20134/stat : 20134 (java) S 20119 20122 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107646606 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645363275256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20135] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20135/stat : 20135 (java) S 20119 20122 17726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107646606 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645362222856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20136] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20136/stat : 20136 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107646608 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645361171344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20137] ppid=20119 vsize=9824732 CPUtime=1.45 cores=0,2,4,6 /proc/20122/task/20137/stat : 20137 (java) R 20119 20122 17726 0 -1 4202560 16762 0 0 0 142 3 0 0 20 0 22 0 107646608 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139645360117808 139645543244672 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20138] ppid=20119 vsize=9824732 CPUtime=1.39 cores=0,2,4,6 /proc/20122/task/20138/stat : 20138 (java) R 20119 20122 17726 0 -1 4202560 12112 0 0 0 137 2 0 0 20 0 22 0 107646608 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139644486268552 139645547617766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20139] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20139/stat : 20139 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107646608 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139644485229176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20140] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20140/stat : 20140 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107646608 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139644484176584 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20144] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20144/stat : 20144 (java) S 20119 20122 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107646680 10060525568 56699 33554432000 1073741824 1073778376 140733905163200 139644479964712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [pid=20122/tid=20132] ppid=20119 vsize=9824732 CPUtime=2.52 cores=0,2,4,6 /proc/20122/task/20132/stat : 20132 (java) S 20119 20122 17726 0 -1 4202560 664 0 0 0 234 18 0 0 20 0 22 0 107646604 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139645494765992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20133] ppid=20119 vsize=9824732 CPUtime=3.67 cores=0,2,4,6 /proc/20122/task/20133/stat : 20133 (java) S 20119 20122 17726 0 -1 4202560 2361 0 0 0 351 16 0 0 20 0 22 0 107646605 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139645364329192 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20134] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20134/stat : 20134 (java) S 20119 20122 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107646606 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139645363275256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20135] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20135/stat : 20135 (java) S 20119 20122 17726 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 22 0 107646606 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139645362222856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20136] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20136/stat : 20136 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107646608 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139645361171344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20137] ppid=20119 vsize=9824732 CPUtime=2.02 cores=0,2,4,6 /proc/20122/task/20137/stat : 20137 (java) S 20119 20122 17726 0 -1 4202560 16781 0 0 0 199 3 0 0 20 0 22 0 107646608 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139645360117944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20138] ppid=20119 vsize=9824732 CPUtime=2.1 cores=0,2,4,6 /proc/20122/task/20138/stat : 20138 (java) S 20119 20122 17726 0 -1 4202560 12138 0 0 0 208 2 0 0 20 0 22 0 107646608 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139644486281272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20139] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20139/stat : 20139 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107646608 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139644485229176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20140] ppid=20119 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/20122/task/20140/stat : 20140 (java) S 20119 20122 17726 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 107646608 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139644484176584 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20277] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20277/stat : 20277 (java) S 20119 20122 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107651285 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139644482069544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20492] ppid=20119 vsize=9824732 CPUtime=76.57 cores=0,2,4,6 /proc/20122/task/20492/stat : 20492 (java) R 20119 20122 17726 0 -1 4202560 4 0 0 0 7656 1 0 0 20 0 22 0 107727021 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139644483120288 139645376656448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20493] ppid=20119 vsize=9824732 CPUtime=76.57 cores=0,2,4,6 /proc/20122/task/20493/stat : 20493 (java) R 20119 20122 17726 0 -1 4202560 14 0 0 0 7656 1 0 0 20 0 22 0 107727021 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139644479963792 139645376393113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20494] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20494/stat : 20494 (java) S 20119 20122 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107727021 10060525568 865610 33554432000 1073741824 1073778376 140733905163200 139644481016872 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1724.22 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+918.701 s] /proc/loadavg: 4.15 4.20 4.18 5/219 20496 /proc/meminfo: memFree=24054612/32872528 swapFree=16636/1570076 [pid=20122] ppid=20119 vsize=9824732 CPUtime=1797.47 cores=0,2,4,6 /proc/20122/stat : 20122 (java) S 20119 20122 17726 0 -1 4202496 42924 0 1 0 179405 342 0 0 20 0 22 0 107646602 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 140733905154336 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20122/statm: 2456183 875041 2303 9 0 2446860 0 [pid=20122/tid=20124] ppid=20119 vsize=9824732 CPUtime=0.82 cores=0,2,4,6 /proc/20122/task/20124/stat : 20124 (java) S 20119 20122 17726 0 -1 4202560 2491 0 1 0 77 5 0 0 20 0 22 0 107646603 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645540643704 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20125] ppid=20119 vsize=9824732 CPUtime=2.71 cores=0,2,4,6 /proc/20122/task/20125/stat : 20125 (java) S 20119 20122 17726 0 -1 4202560 556 0 0 0 254 17 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645502135080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20126] ppid=20119 vsize=9824732 CPUtime=2.55 cores=0,2,4,6 /proc/20122/task/20126/stat : 20126 (java) S 20119 20122 17726 0 -1 4202560 513 0 0 0 239 16 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645501082280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20127] ppid=20119 vsize=9824732 CPUtime=2.55 cores=0,2,4,6 /proc/20122/task/20127/stat : 20127 (java) S 20119 20122 17726 0 -1 4202560 474 0 0 0 239 16 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645500029992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20128] ppid=20119 vsize=9824732 CPUtime=2.36 cores=0,2,4,6 /proc/20122/task/20128/stat : 20128 (java) S 20119 20122 17726 0 -1 4202560 574 0 0 0 222 14 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645498977192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20129] ppid=20119 vsize=9824732 CPUtime=2.6 cores=0,2,4,6 /proc/20122/task/20129/stat : 20129 (java) S 20119 20122 17726 0 -1 4202560 639 0 0 0 245 15 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645497923880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20130] ppid=20119 vsize=9824732 CPUtime=2.72 cores=0,2,4,6 /proc/20122/task/20130/stat : 20130 (java) S 20119 20122 17726 0 -1 4202560 613 0 0 0 253 19 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645496871080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20131] ppid=20119 vsize=9824732 CPUtime=2.76 cores=0,2,4,6 /proc/20122/task/20131/stat : 20131 (java) S 20119 20122 17726 0 -1 4202560 587 0 0 0 260 16 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645495818792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20132] ppid=20119 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/20122/task/20132/stat : 20132 (java) S 20119 20122 17726 0 -1 4202560 686 0 0 0 245 19 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645494765992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20133] ppid=20119 vsize=9824732 CPUtime=3.67 cores=0,2,4,6 /proc/20122/task/20133/stat : 20133 (java) S 20119 20122 17726 0 -1 4202560 2367 0 0 0 351 16 0 0 20 0 22 0 107646605 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645364329192 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20134] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20134/stat : 20134 (java) S 20119 20122 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107646606 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645363275256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20135] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20135/stat : 20135 (java) S 20119 20122 17726 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 22 0 107646606 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645362222856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20136] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20136/stat : 20136 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107646608 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645361171344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20137] ppid=20119 vsize=9824732 CPUtime=2.02 cores=0,2,4,6 /proc/20122/task/20137/stat : 20137 (java) S 20119 20122 17726 0 -1 4202560 16781 0 0 0 199 3 0 0 20 0 22 0 107646608 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645360117944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20138] ppid=20119 vsize=9824732 CPUtime=2.1 cores=0,2,4,6 /proc/20122/task/20138/stat : 20138 (java) S 20119 20122 17726 0 -1 4202560 12138 0 0 0 208 2 0 0 20 0 22 0 107646608 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644486281272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20139] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20139/stat : 20139 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107646608 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644485229176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20140] ppid=20119 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/20122/task/20140/stat : 20140 (java) S 20119 20122 17726 0 -1 4202560 53 0 0 0 15 17 0 0 20 0 22 0 107646608 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644484176584 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20277] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20277/stat : 20277 (java) S 20119 20122 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107651285 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644482069544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20492] ppid=20119 vsize=9824732 CPUtime=112.6 cores=0,2,4,6 /proc/20122/task/20492/stat : 20492 (java) R 20119 20122 17726 0 -1 4202560 4 0 0 0 11259 1 0 0 20 0 22 0 107727021 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644483119264 139645376053992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20493] ppid=20119 vsize=9824732 CPUtime=112.59 cores=0,2,4,6 /proc/20122/task/20493/stat : 20493 (java) R 20119 20122 17726 0 -1 4202560 19 0 0 0 11258 1 0 0 20 0 22 0 107727021 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644479962560 139645376650147 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20494] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20494/stat : 20494 (java) S 20119 20122 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107727021 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644481016872 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1797.47 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 20122 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+918.701 s] /proc/loadavg: 4.15 4.20 4.18 5/219 20496 /proc/meminfo: memFree=24054612/32872528 swapFree=16636/1570076 [pid=20122] ppid=20119 vsize=9824732 CPUtime=1797.47 cores=0,2,4,6 /proc/20122/stat : 20122 (java) S 20119 20122 17726 0 -1 4202496 42924 0 1 0 179405 342 0 0 20 0 22 0 107646602 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 140733905154336 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20122/statm: 2456183 875041 2303 9 0 2446860 0 [pid=20122/tid=20124] ppid=20119 vsize=9824732 CPUtime=0.82 cores=0,2,4,6 /proc/20122/task/20124/stat : 20124 (java) S 20119 20122 17726 0 -1 4202560 2491 0 1 0 77 5 0 0 20 0 22 0 107646603 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645540643704 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20125] ppid=20119 vsize=9824732 CPUtime=2.71 cores=0,2,4,6 /proc/20122/task/20125/stat : 20125 (java) S 20119 20122 17726 0 -1 4202560 556 0 0 0 254 17 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645502135080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20126] ppid=20119 vsize=9824732 CPUtime=2.55 cores=0,2,4,6 /proc/20122/task/20126/stat : 20126 (java) S 20119 20122 17726 0 -1 4202560 513 0 0 0 239 16 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645501082280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20127] ppid=20119 vsize=9824732 CPUtime=2.55 cores=0,2,4,6 /proc/20122/task/20127/stat : 20127 (java) S 20119 20122 17726 0 -1 4202560 474 0 0 0 239 16 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645500029992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20128] ppid=20119 vsize=9824732 CPUtime=2.36 cores=0,2,4,6 /proc/20122/task/20128/stat : 20128 (java) S 20119 20122 17726 0 -1 4202560 574 0 0 0 222 14 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645498977192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20129] ppid=20119 vsize=9824732 CPUtime=2.6 cores=0,2,4,6 /proc/20122/task/20129/stat : 20129 (java) S 20119 20122 17726 0 -1 4202560 639 0 0 0 245 15 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645497923880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20130] ppid=20119 vsize=9824732 CPUtime=2.72 cores=0,2,4,6 /proc/20122/task/20130/stat : 20130 (java) S 20119 20122 17726 0 -1 4202560 613 0 0 0 253 19 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645496871080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20131] ppid=20119 vsize=9824732 CPUtime=2.76 cores=0,2,4,6 /proc/20122/task/20131/stat : 20131 (java) S 20119 20122 17726 0 -1 4202560 587 0 0 0 260 16 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645495818792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20132] ppid=20119 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/20122/task/20132/stat : 20132 (java) S 20119 20122 17726 0 -1 4202560 686 0 0 0 245 19 0 0 20 0 22 0 107646604 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645494765992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20133] ppid=20119 vsize=9824732 CPUtime=3.67 cores=0,2,4,6 /proc/20122/task/20133/stat : 20133 (java) S 20119 20122 17726 0 -1 4202560 2367 0 0 0 351 16 0 0 20 0 22 0 107646605 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645364329192 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20134] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20134/stat : 20134 (java) S 20119 20122 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107646606 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645363275256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20135] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20135/stat : 20135 (java) S 20119 20122 17726 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 22 0 107646606 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645362222856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20122/tid=20136] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20136/stat : 20136 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107646608 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645361171344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20137] ppid=20119 vsize=9824732 CPUtime=2.02 cores=0,2,4,6 /proc/20122/task/20137/stat : 20137 (java) S 20119 20122 17726 0 -1 4202560 16781 0 0 0 199 3 0 0 20 0 22 0 107646608 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139645360117944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20138] ppid=20119 vsize=9824732 CPUtime=2.1 cores=0,2,4,6 /proc/20122/task/20138/stat : 20138 (java) S 20119 20122 17726 0 -1 4202560 12138 0 0 0 208 2 0 0 20 0 22 0 107646608 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644486281272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20139] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20139/stat : 20139 (java) S 20119 20122 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107646608 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644485229176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20140] ppid=20119 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/20122/task/20140/stat : 20140 (java) S 20119 20122 17726 0 -1 4202560 53 0 0 0 15 17 0 0 20 0 22 0 107646608 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644484176584 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20277] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20277/stat : 20277 (java) S 20119 20122 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107651285 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644482069544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20122/tid=20492] ppid=20119 vsize=9824732 CPUtime=112.6 cores=0,2,4,6 /proc/20122/task/20492/stat : 20492 (java) R 20119 20122 17726 0 -1 4202560 4 0 0 0 11259 1 0 0 20 0 22 0 107727021 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644483119264 139645376053992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=20122/tid=20493] ppid=20119 vsize=9824732 CPUtime=112.59 cores=0,2,4,6 /proc/20122/task/20493/stat : 20493 (java) R 20119 20122 17726 0 -1 4202560 19 0 0 0 11258 1 0 0 20 0 22 0 107727021 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644479962560 139645376650147 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20122/tid=20494] ppid=20119 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20122/task/20494/stat : 20494 (java) S 20119 20122 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107727021 10060525568 875041 33554432000 1073741824 1073778376 140733905163200 139644481016872 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20122 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=588333 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=662443 # CPU time returned by wait4() is 1797.25 # while last known CPU time is 1797.47 # # 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): 2.63989 # lost CPU user time (s): 2.90002 # lost CPU system time (s): -0.26 Real time (s): 918.757 CPU time (s): 1800.11 CPU user time (s): 1796.95 CPU system time (s): 3.16 CPU usage (%): 195.929 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.59 system time used= 3.66244 maximum resident set size= 3539276 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42959 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28225 involuntary context switches= 35619 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.03308 second user time and 7.42387 second system time The end
Begin job on node140 at 2016-06-07 01:52:23 IDJOB=4081731 IDBENCH=48234 IDSOLVER=2543 FILE ID=node140/4081731-1465257142 RUNJOBID= node140-1465252001-17742 PBS_JOBID= 19843256 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081731-1465257142/watcher-4081731-1465257142 -o /tmp/evaluation-result-4081731-1465257142/solver-4081731-1465257142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081731-1465257142.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 95bfca9fba26d7f8c875796701522876 RANDOM SEED=1568825581 node140.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.768 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.53 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.768 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.768 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.768 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.56 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.768 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.768 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.768 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.768 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 : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26810524 kB Buffers: 66300 kB Cached: 81176 kB SwapCached: 1744 kB Active: 3679696 kB Inactive: 102008 kB Active(anon): 3634236 kB Inactive(anon): 2608 kB Active(file): 45460 kB Inactive(file): 99400 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098608 kB Dirty: 888 kB Writeback: 0 kB AnonPages: 5204020 kB Mapped: 15340 kB Shmem: 0 kB Slab: 568740 kB SReclaimable: 12680 kB SUnreclaim: 556060 kB KernelStack: 1608 kB PageTables: 14004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5383076 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 5103616 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= 71740 MiB End job on node140 at 2016-06-07 02:07:41