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) | -19193 | 1800.27 | 952.133 |
| Name | PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-28.opb |
| MD5SUM | 40411e6a4c46189c3f6e7fff54e66dde |
| Bench Category | OPT-BIGINT-NLC (optimisation, big integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -46719 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| 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 | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 19897 |
| Biggest coefficient in the objective function | 12740 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 3485664 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 12740 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 3485664 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 19842 |
| Sum of products size (including duplicates) | 64529 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.12 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.04/0.12 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.12 c See www.sat4j.org for details. 0.04/0.12 c version PB16.v20160501 0.04/0.12 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.12 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.12 c java.vm.version 19.1-b02 0.04/0.12 c java.vm.vendor Sun Microsystems Inc. 0.04/0.12 c sun.arch.data.model 64 0.04/0.12 c java.version 1.6.0_24 0.04/0.12 c os.name Linux 0.04/0.12 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.12 c os.arch amd64 0.04/0.12 c Free memory 501472288 0.04/0.12 c Max memory 7480803328 0.04/0.13 c Total memory 504102912 0.04/0.13 c Number of processors 16 0.04/0.15 c Pseudo Boolean Optimization by upper bound 0.04/0.15 c ManyCore solver with 2 solvers running in parallel 0.04/0.15 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.04/0.15 c --- Begin Solver configuration --- 0.04/0.15 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@22c84d9 0.04/0.15 c Learn all clauses as in MiniSAT 0.04/0.15 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.04/0.15 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.04/0.15 c Expensive reason simplification 0.04/0.15 c Glucose 2.1 dynamic restart strategy 0.04/0.15 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.04/0.15 c timeout=2147483s 0.04/0.15 c DB Simplification allowed=false 0.04/0.15 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.04/0.15 c --- End Solver configuration --- 0.04/0.15 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.04/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.04/0.15 c --- Begin Solver configuration --- 0.04/0.15 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@558385e3 0.04/0.15 c Learn all clauses as in MiniSAT 0.04/0.15 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.04/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.04/0.15 c No reason simplification 0.04/0.15 c Armin Biere (Picosat) restarts strategy 0.04/0.15 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.04/0.15 c timeout=2147483s 0.04/0.15 c DB Simplification allowed=false 0.04/0.15 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.04/0.15 c --- End Solver configuration --- 0.04/0.15 c solving HOME/instance-4118071-1467220001.opb 0.04/0.15 c reading problem ... 0.04/0.16 c objective function found 8.37/7.60 c ... done. Wall clock time 7.446s. 8.37/7.60 c declared #vars 55 8.37/7.60 c internal #vars 19897 8.37/7.60 c #constraints 39684 8.37/7.60 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 8.37/7.60 c constraints type 8.37/7.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19842 8.37/7.60 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 19842 8.37/7.60 c 39684 constraints processed. 8.37/7.60 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 8.37/7.60 c constraints type 8.37/7.60 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 19842 8.37/7.60 c org.sat4j.pb.constraints.pb.MaxWatchPb => 19842 8.37/7.60 c 39684 constraints processed. 8.37/7.60 c objective function length is 19897 literals 8.81/7.80 c And the winner is solver0 9.16/8.11 c SATISFIABLE 9.16/8.11 c OPTIMIZING... 9.16/8.11 c Got one! Elapsed wall clock time (in seconds):7.96 9.16/8.11 o 0 9.37/8.30 c And the winner is solver0 9.93/8.68 c Got one! Elapsed wall clock time (in seconds):8.529 9.93/8.68 o -351 10.55/8.82 c And the winner is solver0 10.70/9.23 c Got one! Elapsed wall clock time (in seconds):9.074 10.70/9.23 o -702 10.70/9.29 c And the winner is solver0 10.93/9.75 c Got one! Elapsed wall clock time (in seconds):9.601 10.93/9.75 o -1328 11.00/9.81 c And the winner is solver0 11.02/10.28 c Got one! Elapsed wall clock time (in seconds):10.127 11.02/10.28 o -1703 11.04/10.35 c And the winner is solver0 11.18/10.81 c Got one! Elapsed wall clock time (in seconds):10.653 11.18/10.81 o -1954 11.18/10.85 c And the winner is solver0 11.26/11.33 c Got one! Elapsed wall clock time (in seconds):11.179 11.26/11.33 o -2787 11.37/11.43 c And the winner is solver0 11.53/11.86 c Got one! Elapsed wall clock time (in seconds):11.704 11.53/11.86 o -3025 11.79/11.98 c And the winner is solver0 12.04/12.43 c Got one! Elapsed wall clock time (in seconds):12.273 12.04/12.43 o -3620 12.18/12.52 c And the winner is solver0 12.25/12.95 c Got one! Elapsed wall clock time (in seconds):12.8 12.25/12.95 o -4181 12.71/13.16 c And the winner is solver0 12.84/13.48 c Got one! Elapsed wall clock time (in seconds):13.328 12.84/13.48 o -4342 12.85/13.57 c And the winner is solver0 13.01/14.01 c Got one! Elapsed wall clock time (in seconds):13.855 13.01/14.01 o -4358 13.01/14.10 c And the winner is solver0 13.38/14.57 c Got one! Elapsed wall clock time (in seconds):14.42 13.38/14.57 o -4439 13.41/14.62 c And the winner is solver0 13.46/15.10 c Got one! Elapsed wall clock time (in seconds):14.947 13.46/15.10 o -4519 13.46/15.15 c And the winner is solver0 13.55/15.63 c Got one! Elapsed wall clock time (in seconds):15.473 13.55/15.63 o -4600 13.55/15.67 c And the winner is solver0 13.63/16.15 c Got one! Elapsed wall clock time (in seconds):16.0 13.63/16.15 o -5580 14.42/16.56 c And the winner is solver0 14.54/16.68 c Got one! Elapsed wall clock time (in seconds):16.526 14.54/16.68 o -6005 16.01/17.20 c And the winner is solver0 16.01/17.26 c Got one! Elapsed wall clock time (in seconds):17.105 16.01/17.26 o -6098 16.30/17.49 c And the winner is solver0 16.50/17.79 c Got one! Elapsed wall clock time (in seconds):17.631 16.50/17.79 o -6275 16.70/17.92 c And the winner is solver0 16.76/18.31 c Got one! Elapsed wall clock time (in seconds):18.158 16.76/18.31 o -6450 16.91/18.40 c And the winner is solver0 16.94/18.84 c Got one! Elapsed wall clock time (in seconds):18.685 16.94/18.84 o -6553 17.02/18.90 c And the winner is solver0 17.05/19.37 c Got one! Elapsed wall clock time (in seconds):19.213 17.05/19.37 o -6655 17.09/19.43 c And the winner is solver0 17.17/19.90 c Got one! Elapsed wall clock time (in seconds):19.741 17.17/19.90 o -7730 19.94/21.15 c And the winner is solver0 22.86/23.93 c Got one! Elapsed wall clock time (in seconds):23.776 22.86/23.93 o -8548 25.47/25.20 c And the winner is solver0 28.08/27.81 c Got one! Elapsed wall clock time (in seconds):27.657 28.08/27.81 o -8836 29.87/28.62 c And the winner is solver0 32.87/31.68 c Got one! Elapsed wall clock time (in seconds):31.531 32.87/31.68 o -8905 34.13/32.31 c And the winner is solver0 37.35/35.57 c Got one! Elapsed wall clock time (in seconds):35.413 37.35/35.57 o -9444 42.93/38.16 c And the winner is solver0 44.80/39.90 c Got one! Elapsed wall clock time (in seconds):39.744 44.80/39.90 o -10031 48.18/41.64 c And the winner is solver0 50.34/43.73 c Got one! Elapsed wall clock time (in seconds):43.573 50.34/43.73 o -10050 51.78/44.44 c And the winner is solver0 55.09/47.61 c Got one! Elapsed wall clock time (in seconds):47.454 55.09/47.61 o -10065 55.25/47.79 c And the winner is solver0 55.47/48.13 c Got one! Elapsed wall clock time (in seconds):47.98 55.47/48.13 o -10080 55.57/48.26 c And the winner is solver0 55.73/48.66 c Got one! Elapsed wall clock time (in seconds):48.506 55.73/48.66 o -10785 63.71/52.49 c And the winner is solver0 63.97/52.69 c Got one! Elapsed wall clock time (in seconds):52.533 63.97/52.69 o -11118 72.18/56.86 c And the winner is solver0 72.32/57.21 c Got one! Elapsed wall clock time (in seconds):57.06 72.32/57.21 o -11176 73.46/57.89 c And the winner is solver0 73.66/58.24 c Got one! Elapsed wall clock time (in seconds):58.087 73.66/58.24 o -11196 73.97/58.45 c And the winner is solver0 74.08/58.77 c Got one! Elapsed wall clock time (in seconds):58.615 74.08/58.77 o -11209 74.31/58.97 c And the winner is solver0 74.48/59.30 c Got one! Elapsed wall clock time (in seconds):59.144 74.48/59.30 o -11329 74.87/59.55 c And the winner is solver0 74.97/59.83 c Got one! Elapsed wall clock time (in seconds):59.673 74.97/59.83 o -12507 90.66/67.35 c cleaning 5180 clauses out of 10360 with flag 6001/10360 90.88/67.41 c And the winner is solver0 90.88/67.48 c Got one! Elapsed wall clock time (in seconds):67.33 90.88/67.48 o -12514 99.90/72.00 c And the winner is solver0 103.10/75.27 c Got one! Elapsed wall clock time (in seconds):75.112 103.10/75.27 o -12571 112.88/79.83 c And the winner is solver0 115.89/82.80 c Got one! Elapsed wall clock time (in seconds):82.644 115.89/82.80 o -12578 117.06/83.41 c And the winner is solver0 120.18/86.58 c Got one! Elapsed wall clock time (in seconds):86.425 120.18/86.58 o -13673 135.04/94.06 c cleaning 5880 clauses out of 11760 with flag 6001/16940 149.05/101.05 c And the winner is solver0 150.27/102.26 c Got one! Elapsed wall clock time (in seconds):102.107 150.27/102.26 o -13708 166.88/110.34 c cleaning 5808 clauses out of 11615 with flag 6004/22675 167.70/110.75 c And the winner is solver0 170.11/113.13 c Got one! Elapsed wall clock time (in seconds):112.978 170.11/113.13 o -13737 180.22/118.20 c And the winner is solver0 181.91/119.91 c Got one! Elapsed wall clock time (in seconds):119.758 181.91/119.91 o -13795 186.85/122.44 c And the winner is solver0 187.80/123.34 c Got one! Elapsed wall clock time (in seconds):123.188 187.80/123.34 o -13899 190.50/124.75 c And the winner is solver0 192.55/126.77 c Got one! Elapsed wall clock time (in seconds):126.618 192.55/126.77 o -13906 195.42/128.23 c And the winner is solver0 197.43/130.20 c Got one! Elapsed wall clock time (in seconds):130.049 197.43/130.20 o -14919 216.19/139.64 c cleaning 6933 clauses out of 13874 with flag 8003/30742 245.98/154.17 c And the winner is solver0 248.62/156.80 c Got one! Elapsed wall clock time (in seconds):156.651 248.62/156.80 o -14982 275.78/170.42 c cleaning 8849 clauses out of 17697 with flag 10002/41498 288.86/176.88 c And the winner is solver0 291.42/179.39 c Got one! Elapsed wall clock time (in seconds):179.235 291.42/179.39 o -15108 308.00/187.70 c cleaning 7135 clauses out of 14269 with flag 6065/46919 308.82/188.13 c And the winner is solver0 311.81/191.12 c Got one! Elapsed wall clock time (in seconds):190.97 311.81/191.12 o -15132 320.32/195.43 c And the winner is solver0 323.90/199.01 c Got one! Elapsed wall clock time (in seconds):198.855 323.90/199.01 o -15137 329.96/201.97 c And the winner is solver0 331.02/202.99 c Got one! Elapsed wall clock time (in seconds):202.836 331.02/202.99 o -15176 334.28/204.67 c And the winner is solver0 336.73/207.07 c Got one! Elapsed wall clock time (in seconds):206.92 336.73/207.07 o -15199 338.60/208.08 c And the winner is solver0 341.74/211.11 c Got one! Elapsed wall clock time (in seconds):210.955 341.74/211.11 o -15229 342.70/211.61 c And the winner is solver0 342.70/211.69 c Got one! Elapsed wall clock time (in seconds):211.532 342.70/211.69 o -15234 342.97/211.88 c And the winner is solver0 343.17/212.21 c Got one! Elapsed wall clock time (in seconds):212.06 343.17/212.21 o -16344 358.10/219.72 c cleaning 6921 clauses out of 13845 with flag 6003/53630 388.70/234.81 c cleaning 6457 clauses out of 12923 with flag 18001/59629 422.30/251.63 c cleaning 6732 clauses out of 13466 with flag 32001/66629 438.04/259.45 c And the winner is solver0 441.07/262.60 c Got one! Elapsed wall clock time (in seconds):262.451 441.07/262.60 o -16367 451.42/267.80 c cleaning 5927 clauses out of 11859 with flag 4004/71754 480.65/282.32 c cleaning 5964 clauses out of 11931 with flag 16002/77753 503.66/293.83 c And the winner is solver0 506.61/296.85 c Got one! Elapsed wall clock time (in seconds):296.695 506.61/296.85 o -16596 511.44/299.32 c cleaning 5807 clauses out of 11617 with flag 2003/83403 541.58/314.29 c cleaning 5905 clauses out of 11810 with flag 14003/89403 545.98/316.47 c And the winner is solver0 546.11/316.91 c Got one! Elapsed wall clock time (in seconds):316.759 546.11/316.91 o -16597 565.05/326.44 c And the winner is solver0 566.77/328.15 c Got one! Elapsed wall clock time (in seconds):327.993 566.77/328.15 o -16605 577.43/333.59 c And the winner is solver0 579.60/335.63 c Got one! Elapsed wall clock time (in seconds):335.478 579.60/335.63 o -16627 585.50/338.60 c cleaning 6647 clauses out of 13294 with flag 2077/96792 587.10/339.45 c And the winner is solver0 587.25/339.66 c Got one! Elapsed wall clock time (in seconds):339.508 587.25/339.66 o -16632 589.09/340.62 c And the winner is solver0 592.01/343.55 c Got one! Elapsed wall clock time (in seconds):343.394 592.01/343.55 o -17890 616.65/355.73 c cleaning 6123 clauses out of 12252 with flag 10001/102397 647.66/371.26 c cleaning 6061 clauses out of 12130 with flag 22003/108398 681.24/387.96 c cleaning 6529 clauses out of 13068 with flag 36001/115397 720.89/407.53 c cleaning 7268 clauses out of 14539 with flag 52001/123397 766.35/429.94 c cleaning 8134 clauses out of 16271 with flag 70001/132397 818.03/456.13 c cleaning 9069 clauses out of 18137 with flag 90001/142397 873.90/484.01 c cleaning 10032 clauses out of 20068 with flag 112001/153397 900.17/496.76 c And the winner is solver0 903.38/500.02 c Got one! Elapsed wall clock time (in seconds):499.868 903.38/500.02 o -17910 931.09/513.75 c cleaning 10099 clauses out of 20201 with flag 10005/163562 963.07/529.78 c cleaning 8049 clauses out of 16101 with flag 22003/169561 972.07/534.24 c And the winner is solver0 972.13/534.56 c Got one! Elapsed wall clock time (in seconds):534.404 972.13/534.56 o -17928 995.12/545.79 c cleaning 6910 clauses out of 13821 with flag 8046/175330 1007.10/551.71 c And the winner is solver0 1009.74/554.41 c Got one! Elapsed wall clock time (in seconds):554.254 1009.74/554.41 o -17934 1026.49/562.85 c cleaning 6105 clauses out of 12212 with flag 6036/180631 1030.69/564.96 c And the winner is solver0 1031.33/565.59 c Got one! Elapsed wall clock time (in seconds):565.439 1031.33/565.59 o -17969 1043.14/571.52 c And the winner is solver0 1044.87/573.28 c Got one! Elapsed wall clock time (in seconds):573.125 1044.87/573.28 o -18021 1055.81/578.65 c And the winner is solver0 1058.33/581.17 c Got one! Elapsed wall clock time (in seconds):581.013 1058.33/581.17 o -18030 1060.17/582.16 c And the winner is solver0 1063.04/584.96 c Got one! Elapsed wall clock time (in seconds):584.802 1063.04/584.96 o -19111 1072.71/589.84 c cleaning 6483 clauses out of 12972 with flag 4001/187496 1103.93/605.03 c cleaning 6242 clauses out of 12490 with flag 16003/193497 1137.51/621.89 c cleaning 6618 clauses out of 13247 with flag 30001/200496 1175.68/640.84 c cleaning 7313 clauses out of 14630 with flag 46003/208497 1219.55/662.62 c cleaning 8153 clauses out of 16316 with flag 64001/217496 1267.53/686.49 c cleaning 9081 clauses out of 18163 with flag 84001/227496 1322.97/713.85 c cleaning 10041 clauses out of 20083 with flag 106003/238497 1383.93/743.92 c cleaning 11017 clauses out of 22042 with flag 130003/250497 1451.47/777.60 c cleaning 12009 clauses out of 24024 with flag 156001/263496 1525.32/814.19 c cleaning 13006 clauses out of 26015 with flag 184001/277496 1582.30/842.14 c And the winner is solver0 1584.10/844.10 c Got one! Elapsed wall clock time (in seconds):843.946 1584.10/844.10 o -19128 1611.08/857.50 c cleaning 14014 clauses out of 28036 with flag 10002/292523 1641.57/872.61 c cleaning 10011 clauses out of 20023 with flag 22004/298524 1677.41/890.32 c cleaning 8503 clauses out of 17012 with flag 36004/305524 1719.76/911.32 c cleaning 8253 clauses out of 16509 with flag 52005/313524 1759.35/931.19 c And the winner is solver0 1760.96/932.83 c Got one! Elapsed wall clock time (in seconds):932.681 1760.96/932.83 o -19193 1786.56/945.58 c cleaning 10488 clauses out of 20978 with flag 10005/326246 1800.13/952.10 c >>>>>>>>>> Solver number 0 (73 answers) <<<<<<<<<<<<<<<<<< 1800.13/952.10 c starts : 74 1800.13/952.10 c conflicts : 328883 1800.13/952.10 c decisions : 332613 1800.13/952.10 c propagations : 271611647 1800.13/952.10 c inspects : 1186005398 1800.13/952.10 c shortcuts : 0 1800.13/952.10 c learnt literals : 0 1800.13/952.10 c learnt binary clauses : 0 1800.13/952.10 c learnt ternary clauses : 0 1800.13/952.10 c learnt constraints : 328883 1800.13/952.10 c ignored constraints : 0 1800.13/952.10 c root simplifications : 0 1800.13/952.10 c removed literals (reason simplification) : 629857003 1800.13/952.10 c reason swapping (by a shorter reason) : 0 1800.13/952.10 c Calls to reduceDB : 40 1800.13/952.10 c Number of update (reduction) of LBD : 196 1800.13/952.10 c Imported unit clauses : 0 1800.13/952.10 c number of reductions to clauses (during analyze) : 0 1800.13/952.10 c number of learned constraints concerned by reduction : 0 1800.13/952.10 c number of learning phase by resolution : 0 1800.13/952.10 c number of learning phase by cutting planes : 0 1800.13/952.10 c speed (assignments/second) : 287589.8515629881 1800.13/952.10 c non guided choices 0 1800.13/952.11 c learnt constraints type 1800.13/952.11 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13127 1800.13/952.11 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.13/952.11 c starts : 74 1800.13/952.11 c conflicts : 200 1800.13/952.11 c decisions : 3930 1800.13/952.11 c propagations : 1532724 1800.13/952.11 c inspects : 16134423 1800.13/952.11 c shortcuts : 0 1800.13/952.11 c learnt literals : 0 1800.13/952.11 c learnt binary clauses : 0 1800.13/952.11 c learnt ternary clauses : 0 1800.13/952.11 c learnt constraints : 128 1800.13/952.11 c ignored constraints : 0 1800.13/952.11 c root simplifications : 0 1800.13/952.11 c removed literals (reason simplification) : 0 1800.13/952.11 c reason swapping (by a shorter reason) : 0 1800.13/952.11 c Calls to reduceDB : 0 1800.13/952.11 c Number of update (reduction) of LBD : 0 1800.13/952.11 c Imported unit clauses : 0 1800.13/952.11 c number of reductions to clauses (during analyze) : 0 1800.13/952.11 c number of learned constraints concerned by reduction : 0 1800.13/952.11 c number of learning phase by resolution : 0 1800.13/952.11 c number of learning phase by cutting planes : 0 1800.13/952.11 c speed (assignments/second) : 79667.55028847653 1800.13/952.11 c non guided choices 0 1800.13/952.11 c learnt constraints type 1800.13/952.11 c org.sat4j.pb.constraints.pb.MaxWatchPb => 128 1800.13/952.11 s SATISFIABLE 1800.13/952.11 c Found 73 solution(s) 1800.13/952.11 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 1800.13/952.11 c objective function=-19193 1800.13/952.11 c Total wall clock time (in seconds): 951.957
OK -19193
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-4118071-1467220001/watcher-4118071-1467220001 -o /tmp/evaluation-result-4118071-1467220001/solver-4118071-1467220001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6737 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118071-1467220001.opb pid=11220 running on 8 cores: 0-3,8-11 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.99 4.03 3.69 3/284 11223 /proc/meminfo: memFree=25154616/32872528 swapFree=8828/8828 [pid=11223] ppid=11220 vsize=9212 CPUtime=0 cores=0-3,8-11 /proc/11223/stat : 11223 (java) R 11220 11223 6721 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 1 0 2952881 9433088 59 33554432000 1073741824 1073778376 140733482147152 140733482144280 216799473543 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/11223/statm: 2304 66 53 9 0 36 0 [startup+0.100061 s] /proc/loadavg: 3.99 4.03 3.69 3/284 11223 /proc/meminfo: memFree=25154616/32872528 swapFree=8828/8828 [pid=11223] ppid=11220 vsize=9896388 CPUtime=0.04 cores=0-3,8-11 /proc/11223/stat : 11223 (java) S 11220 11223 6721 0 -1 4202496 3313 0 1 0 3 1 0 0 20 0 23 0 2952881 10133901312 4443 33554432000 1073741824 1073778376 140733482147152 140733482138288 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11223/statm: 2474097 4443 1761 9 0 2464786 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9896388 [startup+0.200223 s] /proc/loadavg: 3.99 4.03 3.69 3/284 11223 /proc/meminfo: memFree=25154616/32872528 swapFree=8828/8828 [pid=11223] ppid=11220 vsize=9896436 CPUtime=0.18 cores=0-3,8-11 /proc/11223/stat : 11223 (java) S 11220 11223 6721 0 -1 4202496 4604 0 1 0 16 2 0 0 20 0 23 0 2952881 10133950464 6706 33554432000 1073741824 1073778376 140733482147152 140733482138288 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11223/statm: 2474109 6706 2189 9 0 2464786 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 9896436 [startup+0.300214 s] /proc/loadavg: 3.99 4.03 3.69 3/284 11223 /proc/meminfo: memFree=25154616/32872528 swapFree=8828/8828 [pid=11223] ppid=11220 vsize=9896436 CPUtime=0.39 cores=0-3,8-11 /proc/11223/stat : 11223 (java) S 11220 11223 6721 0 -1 4202496 5191 0 1 0 37 2 0 0 20 0 23 0 2952881 10133950464 8200 33554432000 1073741824 1073778376 140733482147152 140733482138288 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11223/statm: 2474109 8200 2233 9 0 2464786 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 9896436 [startup+0.700181 s] /proc/loadavg: 3.99 4.03 3.69 3/284 11223 /proc/meminfo: memFree=25154616/32872528 swapFree=8828/8828 [pid=11223] ppid=11220 vsize=9896436 CPUtime=1.06 cores=0-3,8-11 /proc/11223/stat : 11223 (java) S 11220 11223 6721 0 -1 4202496 6792 0 1 0 103 3 0 0 20 0 23 0 2952881 10133950464 12094 33554432000 1073741824 1073778376 140733482147152 140733482138288 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11223/statm: 2474109 12094 2246 9 0 2464786 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 9896436 [startup+1.50096 s] /proc/loadavg: 3.99 4.03 3.69 4/307 11246 /proc/meminfo: memFree=25098540/32872528 swapFree=8828/8828 [pid=11223] ppid=11220 vsize=9896436 CPUtime=2.03 cores=0-3,8-11 /proc/11223/stat : 11223 (java) S 11220 11223 6721 0 -1 4202496 9501 0 1 0 200 3 0 0 20 0 23 0 2952881 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140733482138288 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11223/statm: 2474109 17730 2251 9 0 2464786 0 [pid=11223/tid=11225] ppid=11220 vsize=9896436 CPUtime=1.43 cores=0-3,8-11 /proc/11223/task/11225/stat : 11225 (java) R 11220 11223 6721 0 -1 4202560 2462 0 1 0 141 2 0 0 20 0 23 0 2952882 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707398241320 140707239455730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11226] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11226/stat : 11226 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707359733928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11227] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11227/stat : 11227 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707358681384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11228] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11228/stat : 11228 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707357628840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11229] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11229/stat : 11229 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707239029288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11230] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11230/stat : 11230 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707237976744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11231] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11231/stat : 11231 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707236924200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11232] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11232/stat : 11232 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707235871656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11233] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11233/stat : 11233 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707234819112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11234] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11234/stat : 11234 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707233765544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11235] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11235/stat : 11235 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707232713000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=11223/tid=11236] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11236/stat : 11236 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707231660456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=11223/tid=11237] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11237/stat : 11237 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707230607912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11223/tid=11238] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11238/stat : 11238 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952887 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140707229555368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11239] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11239/stat : 11239 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952888 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140706339310312 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11240] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11240/stat : 11240 (java) S 11220 11223 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 23 0 2952888 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140706338256632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11241] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11241/stat : 11241 (java) S 11220 11223 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 2952888 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140706337203976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11242] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11242/stat : 11242 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952891 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140706336151696 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11243] ppid=11220 vsize=9896436 CPUtime=0.33 cores=0-3,8-11 /proc/11223/task/11243/stat : 11243 (java) S 11220 11223 6721 0 -1 4202560 3615 0 0 0 33 0 0 0 20 0 23 0 2952891 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140706335099064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11244] ppid=11220 vsize=9896436 CPUtime=0.22 cores=0-3,8-11 /proc/11223/task/11244/stat : 11244 (java) S 11220 11223 6721 0 -1 4202560 2145 0 0 0 22 0 0 0 20 0 23 0 2952891 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140706334046520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11245] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11245/stat : 11245 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952891 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140706332994168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11246] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11246/stat : 11246 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952891 10133950464 17730 33554432000 1073741824 1073778376 140733482147152 140706331941832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.03 Current children cumulated vsize (KiB) 9896436 [startup+3.10092 s] /proc/loadavg: 3.91 4.01 3.69 4/307 11246 /proc/meminfo: memFree=25079876/32872528 swapFree=8828/8828 [pid=11223] ppid=11220 vsize=9896436 CPUtime=3.79 cores=0-3,8-11 /proc/11223/stat : 11223 (java) S 11220 11223 6721 0 -1 4202496 9550 0 1 0 376 3 0 0 20 0 23 0 2952881 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140733482138288 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11223/statm: 2474109 22373 2252 9 0 2464786 0 [pid=11223/tid=11225] ppid=11220 vsize=9896436 CPUtime=3.02 cores=0-3,8-11 /proc/11223/task/11225/stat : 11225 (java) R 11220 11223 6721 0 -1 4202560 2472 0 1 0 300 2 0 0 20 0 23 0 2952882 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707398240376 140707239455708 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11226] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11226/stat : 11226 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707359733928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11227] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11227/stat : 11227 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707358681384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11228] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11228/stat : 11228 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707357628840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11229] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11229/stat : 11229 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707239029288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11230] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11230/stat : 11230 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707237976744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11231] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11231/stat : 11231 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707236924200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11232] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11232/stat : 11232 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707235871656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11233] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11233/stat : 11233 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707234819112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11234] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11234/stat : 11234 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707233765544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11235] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11235/stat : 11235 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707232713000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=11223/tid=11236] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11236/stat : 11236 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707231660456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=11223/tid=11237] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11237/stat : 11237 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707230607912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11223/tid=11238] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11238/stat : 11238 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952887 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140707229555368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11239] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11239/stat : 11239 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952888 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140706339310312 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11240] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11240/stat : 11240 (java) S 11220 11223 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 23 0 2952888 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140706338256632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11241] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11241/stat : 11241 (java) S 11220 11223 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 2952888 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140706337203976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11242] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11242/stat : 11242 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952891 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140706336151696 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11243] ppid=11220 vsize=9896436 CPUtime=0.42 cores=0-3,8-11 /proc/11223/task/11243/stat : 11243 (java) S 11220 11223 6721 0 -1 4202560 3624 0 0 0 42 0 0 0 20 0 23 0 2952891 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140706335099064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11244] ppid=11220 vsize=9896436 CPUtime=0.3 cores=0-3,8-11 /proc/11223/task/11244/stat : 11244 (java) S 11220 11223 6721 0 -1 4202560 2175 0 0 0 30 0 0 0 20 0 23 0 2952891 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140706334046520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11245] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11245/stat : 11245 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952891 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140706332994168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11246] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11246/stat : 11246 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952891 10133950464 22373 33554432000 1073741824 1073778376 140733482147152 140706331941832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.79 Current children cumulated vsize (KiB) 9896436 [startup+6.30098 s] /proc/loadavg: 3.91 4.01 3.69 4/307 11246 /proc/meminfo: memFree=25054680/32872528 swapFree=8828/8828 [pid=11223] ppid=11220 vsize=9896436 CPUtime=7.01 cores=0-3,8-11 /proc/11223/stat : 11223 (java) S 11220 11223 6721 0 -1 4202496 9563 0 1 0 697 4 0 0 20 0 23 0 2952881 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140733482138288 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11223/statm: 2474109 27466 2253 9 0 2464786 0 [pid=11223/tid=11225] ppid=11220 vsize=9896436 CPUtime=6.21 cores=0-3,8-11 /proc/11223/task/11225/stat : 11225 (java) R 11220 11223 6721 0 -1 4202560 2484 0 1 0 618 3 0 0 20 0 23 0 2952882 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140707398233952 140707239455907 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11226] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11226/stat : 11226 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140707359733928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11227] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11227/stat : 11227 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140707358681384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11228] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11228/stat : 11228 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140707357628840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11229] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11229/stat : 11229 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140707239029288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11230] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11230/stat : 11230 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140707237976744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11231] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11231/stat : 11231 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140707236924200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11232] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11232/stat : 11232 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140707235871656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11233] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11233/stat : 11233 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140707234819112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11234] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11234/stat : 11234 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140707233765544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11235] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11235/stat : 11235 (java) S 11220 11223 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2952886 10133950464 27466 33554432000 1073741824 1073778376 140733482147152 140707232713000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=11223/tid=11236] ppid=11220 vsize=9896436 CPUtime=0 cores=0-3,8-11 ################ # More data... # ################ [pid=11223/tid=11241] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11241/stat : 11241 (java) S 11220 11223 6721 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 27 0 2952888 10406596608 790975 33554432000 1073741824 1073778376 140733482147152 140706337203976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=11223/tid=11242] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11242/stat : 11242 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2952891 10406596608 790975 33554432000 1073741824 1073778376 140733482147152 140706336151696 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11243] ppid=11220 vsize=10162692 CPUtime=1.55 cores=0-3,8-11 /proc/11223/task/11243/stat : 11243 (java) S 11220 11223 6721 0 -1 4202560 5473 0 0 0 155 0 0 0 20 0 27 0 2952891 10406596608 790975 33554432000 1073741824 1073778376 140733482147152 140706335099064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=11223/tid=11244] ppid=11220 vsize=10162692 CPUtime=1.57 cores=0-3,8-11 /proc/11223/task/11244/stat : 11244 (java) S 11220 11223 6721 0 -1 4202560 5894 0 0 0 157 0 0 0 20 0 27 0 2952891 10406596608 790975 33554432000 1073741824 1073778376 140733482147152 140706334046520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11245] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11245/stat : 11245 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2952891 10406596608 790975 33554432000 1073741824 1073778376 140733482147152 140706332994168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11246] ppid=11220 vsize=10162692 CPUtime=0.27 cores=0-3,8-11 /proc/11223/task/11246/stat : 11246 (java) S 11220 11223 6721 0 -1 4202560 56 0 0 0 14 13 0 0 20 0 27 0 2952891 10406596608 790975 33554432000 1073741824 1073778376 140733482147152 140706331941832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11250] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11250/stat : 11250 (java) S 11220 11223 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 2953648 10406596608 790975 33554432000 1073741824 1073778376 140733482147152 140706327728936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11697] ppid=11220 vsize=10162692 CPUtime=9.31 cores=0-3,8-11 /proc/11223/task/11697/stat : 11697 (java) R 11220 11223 6721 0 -1 4202560 2 0 0 0 931 0 0 0 20 0 27 0 3046168 10406596608 790975 33554432000 1073741824 1073778376 140733482147152 140706330884576 140707240353403 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 [pid=11223/tid=11698] ppid=11220 vsize=10162692 CPUtime=9.31 cores=0-3,8-11 /proc/11223/task/11698/stat : 11698 (java) R 11220 11223 6721 0 -1 4202560 4 0 0 0 931 0 0 0 20 0 27 0 3046168 10406596608 790975 33554432000 1073741824 1073778376 140733482147152 140706329832864 140707240299967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11699] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11699/stat : 11699 (java) S 11220 11223 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3046168 10406596608 790975 33554432000 1073741824 1073778376 140733482147152 140706328781992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1778.51 Current children cumulated vsize (KiB) 10162692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+952.101 s] /proc/loadavg: 3.68 3.72 3.71 4/309 11706 /proc/meminfo: memFree=21721692/32872528 swapFree=8828/8828 [pid=11223] ppid=11220 vsize=10162692 CPUtime=1798.48 cores=0-3,8-11 /proc/11223/stat : 11223 (java) S 11220 11223 6721 0 -1 4202496 57114 0 1 0 178829 1019 0 0 20 0 27 0 2952881 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140733482138288 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11223/statm: 2540673 783191 2304 9 0 2531350 0 [pid=11223/tid=11225] ppid=11220 vsize=10162692 CPUtime=9.65 cores=0-3,8-11 /proc/11223/task/11225/stat : 11225 (java) S 11220 11223 6721 0 -1 4202560 2746 0 1 0 958 7 0 0 20 0 27 0 2952882 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707398243192 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11226] ppid=11220 vsize=10162692 CPUtime=2.49 cores=0-3,8-11 /proc/11223/task/11226/stat : 11226 (java) S 11220 11223 6721 0 -1 4202560 3426 0 0 0 192 57 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707359733928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11223/tid=11227] ppid=11220 vsize=10162692 CPUtime=2.45 cores=0-3,8-11 /proc/11223/task/11227/stat : 11227 (java) S 11220 11223 6721 0 -1 4202560 2327 0 0 0 175 70 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707358681384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11228] ppid=11220 vsize=10162692 CPUtime=2.24 cores=0-3,8-11 /proc/11223/task/11228/stat : 11228 (java) S 11220 11223 6721 0 -1 4202560 2999 0 0 0 164 60 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707357628840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11223/tid=11229] ppid=11220 vsize=10162692 CPUtime=2.17 cores=0-3,8-11 /proc/11223/task/11229/stat : 11229 (java) S 11220 11223 6721 0 -1 4202560 3056 0 0 0 162 55 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707239029288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11230] ppid=11220 vsize=10162692 CPUtime=2.65 cores=0-3,8-11 /proc/11223/task/11230/stat : 11230 (java) S 11220 11223 6721 0 -1 4202560 1763 0 0 0 185 80 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707237976744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11231] ppid=11220 vsize=10162692 CPUtime=2.2 cores=0-3,8-11 /proc/11223/task/11231/stat : 11231 (java) S 11220 11223 6721 0 -1 4202560 2659 0 0 0 165 55 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707236924200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11232] ppid=11220 vsize=10162692 CPUtime=2.25 cores=0-3,8-11 /proc/11223/task/11232/stat : 11232 (java) S 11220 11223 6721 0 -1 4202560 3604 0 0 0 155 70 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707235871656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11233] ppid=11220 vsize=10162692 CPUtime=2.09 cores=0-3,8-11 /proc/11223/task/11233/stat : 11233 (java) S 11220 11223 6721 0 -1 4202560 2716 0 0 0 151 58 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707234819112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11234] ppid=11220 vsize=10162692 CPUtime=2.32 cores=0-3,8-11 /proc/11223/task/11234/stat : 11234 (java) S 11220 11223 6721 0 -1 4202560 3102 0 0 0 172 60 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707233765544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11235] ppid=11220 vsize=10162692 CPUtime=2.35 cores=0-3,8-11 /proc/11223/task/11235/stat : 11235 (java) S 11220 11223 6721 0 -1 4202560 1992 0 0 0 163 72 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707232713000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11236] ppid=11220 vsize=10162692 CPUtime=2.27 cores=0-3,8-11 /proc/11223/task/11236/stat : 11236 (java) S 11220 11223 6721 0 -1 4202560 3660 0 0 0 166 61 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707231660456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11237] ppid=11220 vsize=10162692 CPUtime=2.36 cores=0-3,8-11 /proc/11223/task/11237/stat : 11237 (java) S 11220 11223 6721 0 -1 4202560 3621 0 0 0 176 60 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707230607912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11238] ppid=11220 vsize=10162692 CPUtime=2.12 cores=0-3,8-11 /proc/11223/task/11238/stat : 11238 (java) S 11220 11223 6721 0 -1 4202560 1823 0 0 0 157 55 0 0 20 0 27 0 2952887 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707229555368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11239] ppid=11220 vsize=10162692 CPUtime=4.45 cores=0-3,8-11 /proc/11223/task/11239/stat : 11239 (java) S 11220 11223 6721 0 -1 4202560 2682 0 0 0 442 3 0 0 20 0 27 0 2952888 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706339310312 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11240] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11240/stat : 11240 (java) S 11220 11223 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 2952888 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706338256632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=11223/tid=11241] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11241/stat : 11241 (java) S 11220 11223 6721 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 27 0 2952888 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706337203976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=11223/tid=11242] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11242/stat : 11242 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2952891 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706336151696 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11243] ppid=11220 vsize=10162692 CPUtime=1.55 cores=0-3,8-11 /proc/11223/task/11243/stat : 11243 (java) S 11220 11223 6721 0 -1 4202560 5473 0 0 0 155 0 0 0 20 0 27 0 2952891 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706335099064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=11223/tid=11244] ppid=11220 vsize=10162692 CPUtime=1.57 cores=0-3,8-11 /proc/11223/task/11244/stat : 11244 (java) S 11220 11223 6721 0 -1 4202560 5894 0 0 0 157 0 0 0 20 0 27 0 2952891 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706334046520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11245] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11245/stat : 11245 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2952891 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706332994168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11246] ppid=11220 vsize=10162692 CPUtime=0.27 cores=0-3,8-11 /proc/11223/task/11246/stat : 11246 (java) S 11220 11223 6721 0 -1 4202560 56 0 0 0 14 13 0 0 20 0 27 0 2952891 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706331941832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=11223/tid=11250] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11250/stat : 11250 (java) S 11220 11223 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 2953648 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706327728936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11697] ppid=11220 vsize=10162692 CPUtime=19.02 cores=0-3,8-11 /proc/11223/task/11697/stat : 11697 (java) R 11220 11223 6721 0 -1 4202560 3 0 0 0 1902 0 0 0 20 0 27 0 3046168 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706330884400 140707240169868 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 [pid=11223/tid=11698] ppid=11220 vsize=10162692 CPUtime=19.02 cores=0-3,8-11 /proc/11223/task/11698/stat : 11698 (java) R 11220 11223 6721 0 -1 4202560 6 0 0 0 1902 0 0 0 20 0 27 0 3046168 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706329832416 140707240252383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11699] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11699/stat : 11699 (java) S 11220 11223 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3046168 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706328781992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (KiB) 10162692 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 11223 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+952.101 s] /proc/loadavg: 3.68 3.72 3.71 4/309 11706 /proc/meminfo: memFree=21721692/32872528 swapFree=8828/8828 [pid=11223] ppid=11220 vsize=10162692 CPUtime=1798.48 cores=0-3,8-11 /proc/11223/stat : 11223 (java) S 11220 11223 6721 0 -1 4202496 57114 0 1 0 178829 1019 0 0 20 0 27 0 2952881 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140733482138288 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11223/statm: 2540673 783191 2304 9 0 2531350 0 [pid=11223/tid=11225] ppid=11220 vsize=10162692 CPUtime=9.65 cores=0-3,8-11 /proc/11223/task/11225/stat : 11225 (java) S 11220 11223 6721 0 -1 4202560 2746 0 1 0 958 7 0 0 20 0 27 0 2952882 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707398243192 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11226] ppid=11220 vsize=10162692 CPUtime=2.49 cores=0-3,8-11 /proc/11223/task/11226/stat : 11226 (java) S 11220 11223 6721 0 -1 4202560 3426 0 0 0 192 57 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707359733928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11223/tid=11227] ppid=11220 vsize=10162692 CPUtime=2.45 cores=0-3,8-11 /proc/11223/task/11227/stat : 11227 (java) S 11220 11223 6721 0 -1 4202560 2327 0 0 0 175 70 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707358681384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11228] ppid=11220 vsize=10162692 CPUtime=2.24 cores=0-3,8-11 /proc/11223/task/11228/stat : 11228 (java) S 11220 11223 6721 0 -1 4202560 2999 0 0 0 164 60 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707357628840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11223/tid=11229] ppid=11220 vsize=10162692 CPUtime=2.17 cores=0-3,8-11 /proc/11223/task/11229/stat : 11229 (java) S 11220 11223 6721 0 -1 4202560 3056 0 0 0 162 55 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707239029288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11230] ppid=11220 vsize=10162692 CPUtime=2.65 cores=0-3,8-11 /proc/11223/task/11230/stat : 11230 (java) S 11220 11223 6721 0 -1 4202560 1763 0 0 0 185 80 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707237976744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11231] ppid=11220 vsize=10162692 CPUtime=2.2 cores=0-3,8-11 /proc/11223/task/11231/stat : 11231 (java) S 11220 11223 6721 0 -1 4202560 2659 0 0 0 165 55 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707236924200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11232] ppid=11220 vsize=10162692 CPUtime=2.25 cores=0-3,8-11 /proc/11223/task/11232/stat : 11232 (java) S 11220 11223 6721 0 -1 4202560 3604 0 0 0 155 70 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707235871656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11233] ppid=11220 vsize=10162692 CPUtime=2.09 cores=0-3,8-11 /proc/11223/task/11233/stat : 11233 (java) S 11220 11223 6721 0 -1 4202560 2716 0 0 0 151 58 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707234819112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11234] ppid=11220 vsize=10162692 CPUtime=2.32 cores=0-3,8-11 /proc/11223/task/11234/stat : 11234 (java) S 11220 11223 6721 0 -1 4202560 3102 0 0 0 172 60 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707233765544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11235] ppid=11220 vsize=10162692 CPUtime=2.35 cores=0-3,8-11 /proc/11223/task/11235/stat : 11235 (java) S 11220 11223 6721 0 -1 4202560 1992 0 0 0 163 72 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707232713000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11223/tid=11236] ppid=11220 vsize=10162692 CPUtime=2.27 cores=0-3,8-11 /proc/11223/task/11236/stat : 11236 (java) S 11220 11223 6721 0 -1 4202560 3660 0 0 0 166 61 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707231660456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11237] ppid=11220 vsize=10162692 CPUtime=2.36 cores=0-3,8-11 /proc/11223/task/11237/stat : 11237 (java) S 11220 11223 6721 0 -1 4202560 3621 0 0 0 176 60 0 0 20 0 27 0 2952886 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707230607912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11238] ppid=11220 vsize=10162692 CPUtime=2.12 cores=0-3,8-11 /proc/11223/task/11238/stat : 11238 (java) S 11220 11223 6721 0 -1 4202560 1823 0 0 0 157 55 0 0 20 0 27 0 2952887 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140707229555368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11223/tid=11239] ppid=11220 vsize=10162692 CPUtime=4.45 cores=0-3,8-11 /proc/11223/task/11239/stat : 11239 (java) S 11220 11223 6721 0 -1 4202560 2682 0 0 0 442 3 0 0 20 0 27 0 2952888 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706339310312 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11240] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11240/stat : 11240 (java) S 11220 11223 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 2952888 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706338256632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=11223/tid=11241] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11241/stat : 11241 (java) S 11220 11223 6721 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 27 0 2952888 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706337203976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=11223/tid=11242] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11242/stat : 11242 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2952891 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706336151696 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=11223/tid=11243] ppid=11220 vsize=10162692 CPUtime=1.55 cores=0-3,8-11 /proc/11223/task/11243/stat : 11243 (java) S 11220 11223 6721 0 -1 4202560 5473 0 0 0 155 0 0 0 20 0 27 0 2952891 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706335099064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=11223/tid=11244] ppid=11220 vsize=10162692 CPUtime=1.57 cores=0-3,8-11 /proc/11223/task/11244/stat : 11244 (java) S 11220 11223 6721 0 -1 4202560 5894 0 0 0 157 0 0 0 20 0 27 0 2952891 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706334046520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11245] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11245/stat : 11245 (java) S 11220 11223 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2952891 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706332994168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=11223/tid=11246] ppid=11220 vsize=10162692 CPUtime=0.27 cores=0-3,8-11 /proc/11223/task/11246/stat : 11246 (java) S 11220 11223 6721 0 -1 4202560 56 0 0 0 14 13 0 0 20 0 27 0 2952891 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706331941832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=11223/tid=11250] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11250/stat : 11250 (java) S 11220 11223 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 2953648 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706327728936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11697] ppid=11220 vsize=10162692 CPUtime=19.02 cores=0-3,8-11 /proc/11223/task/11697/stat : 11697 (java) R 11220 11223 6721 0 -1 4202560 3 0 0 0 1902 0 0 0 20 0 27 0 3046168 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706330884400 140707240169868 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 [pid=11223/tid=11698] ppid=11220 vsize=10162692 CPUtime=19.02 cores=0-3,8-11 /proc/11223/task/11698/stat : 11698 (java) R 11220 11223 6721 0 -1 4202560 6 0 0 0 1902 0 0 0 20 0 27 0 3046168 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706329832416 140707240252383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11223/tid=11699] ppid=11220 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/11223/task/11699/stat : 11699 (java) S 11220 11223 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3046168 10406596608 783191 33554432000 1073741824 1073778376 140733482147152 140706328781992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (KiB) 10162692 Child status: 143 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.65005 # lost CPU user time (s): 1.85007 # lost CPU system time (s): -0.2 Real time (s): 952.133 CPU time (s): 1800.27 CPU user time (s): 1790.07 CPU system time (s): 10.2004 CPU usage (%): 189.078 Max. virtual memory (cumulated for all children) (KiB): 10162692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.22 system time used= 10.4004 maximum resident set size= 3292180 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57165 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30391 involuntary context switches= 15927 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.15476 second user time and 10.1245 second system time The end
Begin job on node132 at 2016-06-29 19:06:41 IDJOB=4118071 IDBENCH=111443 IDSOLVER=2543 FILE ID=node132/4118071-1467220001 RUNJOBID= node132-1467209088-6737 PBS_JOBID= 19997577 Free space on /tmp= 71540 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-28.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118071-1467220001/watcher-4118071-1467220001 -o /tmp/evaluation-result-4118071-1467220001/solver-4118071-1467220001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6737 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118071-1467220001.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 40411e6a4c46189c3f6e7fff54e66dde RANDOM SEED=612808039 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.02 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 25155392 kB Buffers: 101564 kB Cached: 3841172 kB SwapCached: 0 kB Active: 3072212 kB Inactive: 3842432 kB Active(anon): 2974336 kB Inactive(anon): 0 kB Active(file): 97876 kB Inactive(file): 3842432 kB Unevictable: 8828 kB Mlocked: 8828 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1068 kB Writeback: 0 kB AnonPages: 3005156 kB Mapped: 22152 kB Shmem: 216 kB Slab: 631168 kB SReclaimable: 71880 kB SUnreclaim: 559288 kB KernelStack: 2440 kB PageTables: 10416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3288580 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 2934784 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= 71536 MiB End job on node132 at 2016-06-29 19:22:33