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) | -46 | 1800.03 | 898.965 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_1.opb |
| MD5SUM | 2be9d345a101e171c9ff93c0b5b2195d |
| 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 | -49 |
| 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 | -52 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| 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 | 200 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2482 |
| Sum of products size (including duplicates) | 4964 |
| Number of different products | 1241 |
| Sum of products size | 2482 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081785-1465256243.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.47/0.32 c ... done. Wall clock time 0.2s. 0.47/0.32 c declared #vars 200 0.47/0.32 c internal #vars 1441 0.47/0.32 c #constraints 2882 0.47/0.32 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.47/0.32 c constraints type 0.47/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1241 0.47/0.32 c org.sat4j.minisat.constraints.cnf.UnitClauses => 160 0.47/0.32 c org.sat4j.specs.Constr$1 => 228 0.47/0.32 c org.sat4j.minisat.constraints.cnf.UnitClause => 12 0.47/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1241 0.47/0.32 c 2882 constraints processed. 0.47/0.32 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.47/0.32 c constraints type 0.47/0.32 c org.sat4j.specs.Constr$1 => 228 0.47/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1241 0.47/0.32 c org.sat4j.pb.constraints.pb.UnitClausesPB => 160 0.47/0.32 c org.sat4j.pb.constraints.pb.UnitClausePB => 12 0.47/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1241 0.47/0.32 c 2882 constraints processed. 0.47/0.32 c objective function length is 200 literals 0.47/0.34 c And the winner is solver0 0.57/0.82 c SATISFIABLE 0.57/0.82 c OPTIMIZING... 0.57/0.82 c Got one! Elapsed wall clock time (in seconds):0.705 0.57/0.82 o -38 0.57/0.87 c And the winner is solver0 0.85/1.33 c Got one! Elapsed wall clock time (in seconds):1.206 0.85/1.33 o -39 1.06/1.46 c And the winner is solver0 1.48/1.83 c Got one! Elapsed wall clock time (in seconds):1.708 1.48/1.83 o -40 1.48/1.86 c And the winner is solver1 1.66/2.33 c Got one! Elapsed wall clock time (in seconds):2.209 1.66/2.33 o -41 1.86/2.50 c And the winner is solver1 2.40/2.83 c Got one! Elapsed wall clock time (in seconds):2.711 2.40/2.83 o -42 2.40/2.90 c And the winner is solver1 2.59/3.33 c Got one! Elapsed wall clock time (in seconds):3.212 2.59/3.33 o -43 3.02/3.50 c cleaning 3205 clauses out of 6409 with flag 4607/6409 4.03/3.84 c cleaning 4603 clauses out of 9205 with flag 17975/12410 5.13/4.32 c cleaning 5800 clauses out of 11600 with flag 34755/19408 6.19/4.89 c cleaning 6900 clauses out of 13800 with flag 53134/27408 7.74/5.52 c cleaning 7946 clauses out of 15900 with flag 72173/36408 9.20/6.25 c cleaning 8973 clauses out of 17954 with flag 93386/46408 10.87/7.01 c cleaning 9987 clauses out of 19981 with flag 116629/57408 12.79/7.96 c cleaning 10998 clauses out of 21995 with flag 142022/69409 14.64/8.85 c cleaning 11993 clauses out of 23996 with flag 169374/82408 16.88/9.95 c cleaning 12997 clauses out of 26004 with flag 198673/96409 19.47/11.25 c cleaning 14004 clauses out of 28008 with flag 230166/111410 22.60/12.72 c cleaning 14999 clauses out of 30002 with flag 263993/127408 25.64/14.20 c cleaning 16001 clauses out of 32004 with flag 299845/144409 29.36/16.02 c cleaning 16994 clauses out of 34002 with flag 337840/162408 33.16/17.93 c cleaning 18004 clauses out of 36008 with flag 377799/181408 37.56/20.11 c cleaning 19001 clauses out of 38005 with flag 419962/201409 42.27/22.46 c cleaning 19996 clauses out of 40004 with flag 464258/222409 47.07/24.89 c cleaning 20997 clauses out of 42008 with flag 510639/244409 52.98/27.70 c cleaning 22003 clauses out of 44012 with flag 559235/267410 59.19/30.83 c cleaning 23003 clauses out of 46007 with flag 610003/291408 65.79/34.18 c cleaning 24002 clauses out of 48004 with flag 662717/316408 73.29/37.86 c cleaning 24991 clauses out of 50002 with flag 717605/342408 80.69/41.57 c cleaning 26004 clauses out of 52012 with flag 774828/369409 88.68/45.57 c cleaning 27002 clauses out of 54008 with flag 834114/397409 98.59/50.42 c cleaning 28003 clauses out of 56005 with flag 895283/426408 108.59/55.49 c cleaning 28999 clauses out of 58002 with flag 958645/456408 109.79/56.05 c cleaning 0 clauses out of 5227 with flag 0/5228 112.60/57.22 c And the winner is solver1 112.60/57.38 c Got one! Elapsed wall clock time (in seconds):57.259 112.60/57.38 o -44 116.78/59.42 c cleaning 24023 clauses out of 48051 with flag 11900/475456 119.56/60.81 c cleaning 15011 clauses out of 30027 with flag 26608/481455 121.76/61.91 c cleaning 11004 clauses out of 22017 with flag 44267/488456 123.40/62.79 c cleaning 9500 clauses out of 19013 with flag 63480/496456 125.18/63.66 c cleaning 9250 clauses out of 18512 with flag 85016/505455 127.38/64.70 c cleaning 9632 clauses out of 19264 with flag 109257/515457 129.58/65.81 c cleaning 10315 clauses out of 20630 with flag 136649/526455 133.00/67.74 c cleaning 11157 clauses out of 22317 with flag 165648/538457 135.80/69.14 c cleaning 12076 clauses out of 24158 with flag 197981/551455 139.20/70.86 c cleaning 13039 clauses out of 26082 with flag 234145/565455 142.61/72.52 c cleaning 14017 clauses out of 28045 with flag 270772/580457 146.80/74.63 c cleaning 15012 clauses out of 30027 with flag 311314/596456 151.20/76.89 c cleaning 16003 clauses out of 32015 with flag 353865/613456 156.05/79.30 c cleaning 17003 clauses out of 34012 with flag 397524/631456 162.43/82.50 c cleaning 17999 clauses out of 36009 with flag 446052/650456 168.84/85.68 c cleaning 19001 clauses out of 38009 with flag 496314/670455 176.06/89.26 c cleaning 20004 clauses out of 40008 with flag 549709/691455 183.53/92.90 c cleaning 21002 clauses out of 42005 with flag 603812/713456 191.54/96.99 c cleaning 21994 clauses out of 44002 with flag 661698/736455 200.34/101.32 c cleaning 22999 clauses out of 46008 with flag 721846/760455 212.20/107.21 c cleaning 24005 clauses out of 48009 with flag 788536/785455 223.40/112.80 c cleaning 25001 clauses out of 50004 with flag 859077/811455 236.27/119.29 c cleaning 26001 clauses out of 52003 with flag 924608/838455 250.78/126.47 c cleaning 27000 clauses out of 54003 with flag 998141/866456 260.14/131.14 c And the winner is solver1 260.14/131.46 c Got one! Elapsed wall clock time (in seconds):131.341 260.14/131.46 o -45 264.21/133.59 c cleaning 28681 clauses out of 57378 with flag 11581/896831 267.41/135.16 c cleaning 17344 clauses out of 34698 with flag 26082/902832 269.01/135.91 c cleaning 12178 clauses out of 24355 with flag 42728/909833 270.22/136.52 c cleaning 10086 clauses out of 20176 with flag 60995/917832 271.61/137.25 c cleaning 9542 clauses out of 19090 with flag 81948/926832 273.61/138.20 c cleaning 9765 clauses out of 19547 with flag 106375/936831 275.67/139.25 c cleaning 10388 clauses out of 20785 with flag 132101/947834 278.28/140.54 c cleaning 11194 clauses out of 22395 with flag 162123/959832 280.88/141.87 c cleaning 12094 clauses out of 24201 with flag 193915/972832 283.68/143.30 c cleaning 13049 clauses out of 26107 with flag 228409/986832 287.08/144.91 c cleaning 14030 clauses out of 28059 with flag 264718/1001833 290.28/146.52 c cleaning 15009 clauses out of 30027 with flag 303099/1017831 294.31/148.58 c cleaning 16008 clauses out of 32019 with flag 345344/1034832 299.69/151.21 c cleaning 17001 clauses out of 34010 with flag 391417/1052831 305.20/153.97 c cleaning 18005 clauses out of 36009 with flag 440498/1071831 311.40/157.02 c cleaning 18996 clauses out of 38004 with flag 492627/1091831 317.80/160.23 c cleaning 20002 clauses out of 40008 with flag 549796/1112831 325.22/163.90 c cleaning 21003 clauses out of 42006 with flag 606209/1134831 332.47/167.50 c cleaning 22000 clauses out of 44003 with flag 662550/1157831 342.06/172.34 c cleaning 23002 clauses out of 46003 with flag 723282/1181831 351.88/177.29 c cleaning 23997 clauses out of 48001 with flag 784801/1206831 364.97/183.80 c cleaning 25002 clauses out of 50004 with flag 850091/1232831 376.55/189.59 c cleaning 25997 clauses out of 52002 with flag 918969/1259831 390.09/196.22 c cleaning 27000 clauses out of 54005 with flag 993427/1287831 402.89/202.69 c cleaning 28001 clauses out of 56006 with flag 1065185/1316832 420.41/211.38 c cleaning 28997 clauses out of 58004 with flag 1137464/1346831 435.61/218.91 c cleaning 30001 clauses out of 60008 with flag 1214579/1377832 457.11/229.61 c cleaning 31003 clauses out of 62006 with flag 1296202/1409831 473.04/237.56 c cleaning 31996 clauses out of 64003 with flag 1376452/1442831 493.25/247.67 c cleaning 32996 clauses out of 66007 with flag 1459753/1476831 509.96/255.97 c cleaning 34002 clauses out of 68011 with flag 1543127/1511831 531.49/266.61 c cleaning 34998 clauses out of 70009 with flag 1631530/1547831 557.84/279.70 c cleaning 36002 clauses out of 72013 with flag 1727714/1584833 587.36/294.89 c cleaning 37000 clauses out of 74009 with flag 1829427/1622831 604.00/303.14 c cleaning 0 clauses out of 10710 with flag 0/10711 614.63/308.47 c cleaning 38004 clauses out of 76010 with flag 1927553/1661832 649.57/325.84 c cleaning 39001 clauses out of 78005 with flag 2029583/1701831 677.25/339.63 c cleaning 39993 clauses out of 80005 with flag 2131096/1742832 707.94/354.98 c cleaning 41005 clauses out of 82011 with flag 2235722/1784831 742.52/372.16 c cleaning 42000 clauses out of 84006 with flag 2341137/1827831 780.31/390.93 c cleaning 43001 clauses out of 86006 with flag 2452551/1871831 813.24/407.37 c cleaning 43997 clauses out of 88005 with flag 2565110/1916831 846.02/423.51 c cleaning 44999 clauses out of 90009 with flag 2682275/1962832 879.44/440.16 c cleaning 46001 clauses out of 92009 with flag 2801069/2009831 934.58/467.55 c cleaning 46999 clauses out of 94008 with flag 2922177/2057831 989.25/494.79 c cleaning 47998 clauses out of 96009 with flag 3043031/2106831 1039.35/519.68 c cleaning 49000 clauses out of 98012 with flag 3168841/2156832 1091.20/545.47 c cleaning 50006 clauses out of 100012 with flag 3299231/2207832 1146.94/573.16 c cleaning 50997 clauses out of 102005 with flag 3435839/2259831 1196.62/597.97 c cleaning 52000 clauses out of 104008 with flag 3572401/2312831 1243.16/621.20 c cleaning 53004 clauses out of 106008 with flag 3710527/2366831 1291.79/645.30 c cleaning 54003 clauses out of 108005 with flag 3852203/2421832 1357.45/677.93 c cleaning 54996 clauses out of 110002 with flag 4000060/2477832 1420.24/709.87 c cleaning 56002 clauses out of 112006 with flag 4142018/2534832 1425.48/712.41 c And the winner is solver1 1425.48/712.53 c Got one! Elapsed wall clock time (in seconds):712.41 1425.48/712.53 o -46 1429.78/714.63 c cleaning 33323 clauses out of 66651 with flag 11533/2545479 1432.38/715.91 c cleaning 19661 clauses out of 39326 with flag 26362/2551477 1434.38/716.98 c cleaning 13326 clauses out of 26664 with flag 44737/2558476 1436.38/717.99 c cleaning 10661 clauses out of 21338 with flag 64934/2566476 1437.98/718.78 c cleaning 9838 clauses out of 19677 with flag 87291/2575476 1439.98/719.72 c cleaning 9916 clauses out of 19839 with flag 111752/2585476 1442.38/720.95 c cleaning 10458 clauses out of 20924 with flag 139400/2596477 1445.23/722.35 c cleaning 11232 clauses out of 22465 with flag 170844/2608476 1448.24/723.89 c cleaning 12115 clauses out of 24233 with flag 201174/2621476 1452.03/725.71 c cleaning 13053 clauses out of 26118 with flag 235899/2635476 1456.23/727.80 c cleaning 14027 clauses out of 28065 with flag 275180/2650476 1460.43/729.95 c cleaning 15016 clauses out of 30038 with flag 316818/2666476 1464.83/732.18 c cleaning 16009 clauses out of 32022 with flag 359155/2683476 1470.31/734.82 c cleaning 17007 clauses out of 34013 with flag 405131/2701476 1475.69/737.56 c cleaning 17999 clauses out of 36006 with flag 451043/2720476 1481.70/740.53 c cleaning 19004 clauses out of 38007 with flag 499961/2740476 1488.81/744.08 c cleaning 20002 clauses out of 40004 with flag 552065/2761477 1496.21/747.79 c cleaning 20999 clauses out of 42001 with flag 608695/2783476 1505.01/752.18 c cleaning 21998 clauses out of 44002 with flag 667175/2806476 1514.69/756.91 c cleaning 23000 clauses out of 46004 with flag 729333/2830476 1524.88/762.05 c cleaning 23997 clauses out of 48004 with flag 790319/2855476 1537.57/768.30 c cleaning 25002 clauses out of 50007 with flag 856512/2881476 1549.27/774.17 c cleaning 25997 clauses out of 52006 with flag 923443/2908477 1561.28/780.14 c cleaning 26999 clauses out of 54008 with flag 995283/2936476 1574.59/786.72 c cleaning 28000 clauses out of 56010 with flag 1072930/2965477 1588.50/793.61 c cleaning 29004 clauses out of 58009 with flag 1147305/2995476 1604.42/801.55 c cleaning 30000 clauses out of 60005 with flag 1230803/3026476 1619.01/808.88 c cleaning 0 clauses out of 16679 with flag 0/16680 1620.75/809.68 c cleaning 31003 clauses out of 62006 with flag 1316451/3058477 1638.34/818.43 c cleaning 32001 clauses out of 64002 with flag 1404928/3091476 1656.85/827.68 c cleaning 32992 clauses out of 66002 with flag 1493482/3125477 1674.33/836.31 c cleaning 34003 clauses out of 68009 with flag 1581419/3160476 1691.69/844.95 c cleaning 35002 clauses out of 70006 with flag 1669265/3196476 1716.80/857.47 c cleaning 35999 clauses out of 72006 with flag 1760275/3233478 1745.09/871.52 c cleaning 36997 clauses out of 74006 with flag 1855342/3271477 1780.35/889.14 c cleaning 38001 clauses out of 76008 with flag 1951702/3310476 1800.03/898.90 c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<< 1800.03/898.90 c starts : 57060 1800.03/898.90 c conflicts : 3342960 1800.03/898.90 c decisions : 10865728 1800.03/898.90 c propagations : 27606193 1800.03/898.90 c inspects : 10553787135 1800.03/898.90 c shortcuts : 0 1800.03/898.90 c learnt literals : 0 1800.03/898.90 c learnt binary clauses : 0 1800.03/898.90 c learnt ternary clauses : 0 1800.03/898.90 c learnt constraints : 3342960 1800.03/898.90 c ignored constraints : 0 1800.03/898.90 c root simplifications : 0 1800.03/898.90 c removed literals (reason simplification) : 61852181 1800.03/898.90 c reason swapping (by a shorter reason) : 0 1800.03/898.90 c Calls to reduceDB : 138 1800.03/898.90 c Number of update (reduction) of LBD : 118282 1800.03/898.90 c Imported unit clauses : 0 1800.03/898.90 c number of reductions to clauses (during analyze) : 0 1800.03/898.90 c number of learned constraints concerned by reduction : 0 1800.03/898.90 c number of learning phase by resolution : 0 1800.03/898.90 c number of learning phase by cutting planes : 0 1800.03/898.90 c speed (assignments/second) : 148122.55464818055 1800.03/898.90 c non guided choices 0 1800.03/898.93 c learnt constraints type 1800.03/898.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 70491 1800.03/898.93 c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<< 1800.03/898.93 c starts : 53 1800.03/898.93 c conflicts : 17527 1800.03/898.93 c decisions : 24343 1800.03/898.93 c propagations : 206622 1800.03/898.93 c inspects : 831362161 1800.03/898.93 c shortcuts : 0 1800.03/898.93 c learnt literals : 0 1800.03/898.93 c learnt binary clauses : 0 1800.03/898.93 c learnt ternary clauses : 0 1800.03/898.93 c learnt constraints : 17526 1800.03/898.93 c ignored constraints : 0 1800.03/898.93 c root simplifications : 0 1800.03/898.93 c removed literals (reason simplification) : 0 1800.03/898.93 c reason swapping (by a shorter reason) : 0 1800.03/898.93 c Calls to reduceDB : 3 1800.03/898.93 c Number of update (reduction) of LBD : 0 1800.03/898.93 c Imported unit clauses : 0 1800.03/898.93 c number of reductions to clauses (during analyze) : 0 1800.03/898.93 c number of learned constraints concerned by reduction : 0 1800.03/898.93 c number of learning phase by resolution : 0 1800.03/898.93 c number of learning phase by cutting planes : 0 1800.03/898.93 c speed (assignments/second) : 230.3224058883133 1800.03/898.93 c non guided choices 0 1800.03/898.94 c learnt constraints type 1800.03/898.94 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 541 1800.03/898.94 c org.sat4j.pb.constraints.pb.MaxWatchPb => 16985 1800.03/898.94 s SATISFIABLE 1800.03/898.94 c Found 9 solution(s) 1800.03/898.94 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 1800.03/898.94 c objective function=-46 1800.03/898.94 c Total wall clock time (in seconds): 898.818
OK -46
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-4081785-1465256243/watcher-4081785-1465256243 -o /tmp/evaluation-result-4081785-1465256243/solver-4081785-1465256243 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081785-1465256243.opb pid=19911 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.10 4.23 4.22 4/197 19914 /proc/meminfo: memFree=25600296/32872528 swapFree=16636/1570076 [pid=19914] ppid=19911 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/19914/stat : 19914 (java) D 19911 19914 17726 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 107556637 9515008 185 33554432000 1073741824 1073778376 140733615458976 140733615448040 213410475303 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/19914/statm: 2323 185 143 9 0 71 0 [startup+0.100061 s] /proc/loadavg: 4.10 4.23 4.22 4/197 19914 /proc/meminfo: memFree=25600296/32872528 swapFree=16636/1570076 [pid=19914] ppid=19911 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/19914/stat : 19914 (java) S 19911 19914 17726 0 -1 4202496 4406 0 1 0 8 1 0 0 20 0 18 0 107556637 9787879424 6031 33554432000 1073741824 1073778376 140733615458976 140733615450112 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19914/statm: 2389619 6031 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200217 s] /proc/loadavg: 4.10 4.23 4.22 4/197 19914 /proc/meminfo: memFree=25600296/32872528 swapFree=16636/1570076 [pid=19914] ppid=19911 vsize=9558476 CPUtime=0.21 cores=0,2,4,6 /proc/19914/stat : 19914 (java) S 19911 19914 17726 0 -1 4202496 4563 0 1 0 20 1 0 0 20 0 18 0 107556637 9787879424 7182 33554432000 1073741824 1073778376 140733615458976 140733615450112 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19914/statm: 2389619 7182 2198 9 0 2380296 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 9558476 [startup+0.300232 s] /proc/loadavg: 4.10 4.23 4.22 4/197 19914 /proc/meminfo: memFree=25600296/32872528 swapFree=16636/1570076 [pid=19914] ppid=19911 vsize=9558476 CPUtime=0.47 cores=0,2,4,6 /proc/19914/stat : 19914 (java) S 19911 19914 17726 0 -1 4202496 6031 0 1 0 45 2 0 0 20 0 18 0 107556637 9787879424 9040 33554432000 1073741824 1073778376 140733615458976 140733615450112 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19914/statm: 2389619 9040 2237 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700244 s] /proc/loadavg: 4.10 4.23 4.22 4/197 19914 /proc/meminfo: memFree=25600296/32872528 swapFree=16636/1570076 [pid=19914] ppid=19911 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/19914/stat : 19914 (java) S 19911 19914 17726 0 -1 4202496 6097 0 1 0 53 4 0 0 20 0 19 0 107556637 10060525568 10117 33554432000 1073741824 1073778376 140733615458976 140733615450112 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19914/statm: 2456183 10117 2252 9 0 2446860 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 4.10 4.23 4.22 4/216 19939 /proc/meminfo: memFree=25556012/32872528 swapFree=16636/1570076 [pid=19914] ppid=19911 vsize=9824732 CPUtime=1.33 cores=0,2,4,6 /proc/19914/stat : 19914 (java) S 19911 19914 17726 0 -1 4202496 11564 0 1 0 125 8 0 0 20 0 19 0 107556637 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140733615450112 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19914/statm: 2456183 15746 2263 9 0 2446860 0 [pid=19914/tid=19916] ppid=19911 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/19914/task/19916/stat : 19916 (java) S 19911 19914 17726 0 -1 4202560 2422 0 1 0 27 2 0 0 20 0 19 0 107556638 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538673017720 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19917] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19917/stat : 19917 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538516384552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19918] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19918/stat : 19918 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538515331752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19919] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19919/stat : 19919 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538514279464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19920] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19920/stat : 19920 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538513226664 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19921] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19921/stat : 19921 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538512173352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19922] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19922/stat : 19922 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538175023272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19923] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19923/stat : 19923 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538173970984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19924] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19924/stat : 19924 (java) S 19911 19914 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538172918184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19925] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19925/stat : 19925 (java) S 19911 19914 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107556640 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538160720616 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19926] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19926/stat : 19926 (java) S 19911 19914 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107556641 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538159666680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19927] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19927/stat : 19927 (java) S 19911 19914 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107556641 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538158614280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19928] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19928/stat : 19928 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556643 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538157562768 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19929] ppid=19911 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/19914/task/19929/stat : 19929 (java) S 19911 19914 17726 0 -1 4202560 2961 0 0 0 30 0 0 0 20 0 19 0 107556643 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538156509368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19930] ppid=19911 vsize=9824732 CPUtime=0.38 cores=0,2,4,6 /proc/19914/task/19930/stat : 19930 (java) R 19911 19914 17726 0 -1 4202560 4810 0 0 0 38 0 0 0 20 0 19 0 107556643 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538155443744 140538680371265 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19931] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19931/stat : 19931 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556643 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538154404472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19932] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19932/stat : 19932 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556643 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538153351880 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19936] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19936/stat : 19936 (java) S 19911 19914 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107556671 10060525568 15746 33554432000 1073741824 1073778376 140733615458976 140538149041704 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 4.10 4.23 4.22 4/216 19945 /proc/meminfo: memFree=25538956/32872528 swapFree=16636/1570076 [pid=19914] ppid=19911 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/19914/stat : 19914 (java) S 19911 19914 17726 0 -1 4202496 19707 0 1 0 244 15 0 0 20 0 19 0 107556637 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140733615450112 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19914/statm: 2456183 30261 2273 9 0 2446860 0 [pid=19914/tid=19916] ppid=19911 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/19914/task/19916/stat : 19916 (java) S 19911 19914 17726 0 -1 4202560 2423 0 1 0 28 2 0 0 20 0 19 0 107556638 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538673017720 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19917] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19917/stat : 19917 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538516384552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19918] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19918/stat : 19918 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538515331752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19919] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19919/stat : 19919 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538514279464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19920] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19920/stat : 19920 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538513226664 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19921] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19921/stat : 19921 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538512173352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19922] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19922/stat : 19922 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538175023272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19923] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19923/stat : 19923 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538173970984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19924] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19924/stat : 19924 (java) S 19911 19914 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107556639 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538172918184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19925] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19925/stat : 19925 (java) S 19911 19914 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107556640 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538160720616 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19926] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19926/stat : 19926 (java) S 19911 19914 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107556641 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538159666680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19927] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19927/stat : 19927 (java) S 19911 19914 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107556641 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538158614280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19928] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19928/stat : 19928 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556643 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538157562768 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19929] ppid=19911 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/19914/task/19929/stat : 19929 (java) S 19911 19914 17726 0 -1 4202560 5417 0 0 0 59 1 0 0 20 0 19 0 107556643 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538156509368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19930] ppid=19911 vsize=9824732 CPUtime=0.89 cores=0,2,4,6 /proc/19914/task/19930/stat : 19930 (java) S 19911 19914 17726 0 -1 4202560 10448 0 0 0 88 1 0 0 20 0 19 0 107556643 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538155456568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19931] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19931/stat : 19931 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556643 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538154404472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19932] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19932/stat : 19932 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107556643 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538153351880 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19945] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19945/stat : 19945 (java) S 19911 19914 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107556820 10060525568 30261 33554432000 1073741824 1073778376 140733615458976 140538150093736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.59 Current children cumulated vsize (KiB) 9824732 [startup+6.30095 s] /proc/loadavg: 4.34 4.27 4.24 7/219 19954 /proc/meminfo: memFree=25232108/32872528 swapFree=16636/1570076 [pid=19914] ppid=19911 vsize=9824732 CPUtime=9.41 cores=0,2,4,6 /proc/19914/stat : 19914 (java) S 19911 19914 17726 0 -1 4202496 30246 0 1 0 906 35 0 0 20 0 22 0 107556637 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140733615450112 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19914/statm: 2456183 102177 2292 9 0 2446860 0 [pid=19914/tid=19916] ppid=19911 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/19914/task/19916/stat : 19916 (java) S 19911 19914 17726 0 -1 4202560 2425 0 1 0 28 2 0 0 20 0 22 0 107556638 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538673017720 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19917] ppid=19911 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/19914/task/19917/stat : 19917 (java) S 19911 19914 17726 0 -1 4202560 151 0 0 0 6 4 0 0 20 0 22 0 107556639 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538516384552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19918] ppid=19911 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/19914/task/19918/stat : 19918 (java) S 19911 19914 17726 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 22 0 107556639 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538515331752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19919] ppid=19911 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/19914/task/19919/stat : 19919 (java) S 19911 19914 17726 0 -1 4202560 87 0 0 0 4 1 0 0 20 0 22 0 107556639 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538514279464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19920] ppid=19911 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/19914/task/19920/stat : 19920 (java) S 19911 19914 17726 0 -1 4202560 125 0 0 0 7 3 0 0 20 0 22 0 107556639 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538513226664 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19921] ppid=19911 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/19914/task/19921/stat : 19921 (java) S 19911 19914 17726 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 22 0 107556639 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538512173352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19922] ppid=19911 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/19914/task/19922/stat : 19922 (java) S 19911 19914 17726 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 22 0 107556639 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538175023272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19923] ppid=19911 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/19914/task/19923/stat : 19923 (java) S 19911 19914 17726 0 -1 4202560 41 0 0 0 6 3 0 0 20 0 22 0 107556639 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538173970984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19924] ppid=19911 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/19914/task/19924/stat : 19924 (java) S 19911 19914 17726 0 -1 4202560 145 0 0 0 6 2 0 0 20 0 22 0 107556639 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538172918184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19925] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19925/stat : 19925 (java) S 19911 19914 17726 0 -1 4202560 215 0 0 0 0 0 0 0 20 0 22 0 107556640 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538160720616 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19926] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19926/stat : 19926 (java) S 19911 19914 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107556641 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538159666680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19927] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19927/stat : 19927 (java) S 19911 19914 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107556641 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538158614280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19928] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19928/stat : 19928 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107556643 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538157562768 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19929] ppid=19911 vsize=9824732 CPUtime=0.82 cores=0,2,4,6 /proc/19914/task/19929/stat : 19929 (java) S 19911 19914 17726 0 -1 4202560 7662 0 0 0 80 2 0 0 20 0 22 0 107556643 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538156509368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19930] ppid=19911 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/19914/task/19930/stat : 19930 (java) S 19911 19914 17726 0 -1 4202560 17812 0 0 0 127 3 0 0 20 0 22 0 107556643 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538155456568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19931] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19931/stat : 19931 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107556643 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538154404472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19932] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19932/stat : 19932 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107556643 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538153351880 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19945] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19945/stat : 19945 (java) S 19911 19914 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107556820 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538150093736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19952] ppid=19911 vsize=9824732 CPUtime=2.73 cores=0,2,4,6 /proc/19914/task/19952/stat : 19952 (java) R 19911 19914 17726 0 -1 4202560 6 0 0 0 273 0 0 0 20 0 22 0 107556970 10060525568 102177 33554432000 1073741824 1073778376 140733615458976 140538152197400 140538527845663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19953] ppid=19911 vsize=9824732 CPUtime=2.75 cores=0,2,4,6 ################ # More data... # ################ [pid=19914/tid=19924] ppid=19911 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/19914/task/19924/stat : 19924 (java) S 19911 19914 17726 0 -1 4202560 1166 0 0 0 200 25 0 0 20 0 22 0 107556639 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538172918184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19925] ppid=19911 vsize=9824732 CPUtime=2.57 cores=0,2,4,6 /proc/19914/task/19925/stat : 19925 (java) S 19911 19914 17726 0 -1 4202560 2511 0 0 0 253 4 0 0 20 0 22 0 107556640 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538160720616 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19926] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19926/stat : 19926 (java) S 19911 19914 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107556641 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538159666680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19927] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19927/stat : 19927 (java) S 19911 19914 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107556641 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538158614280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19928] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19928/stat : 19928 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107556643 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538157562768 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19929] ppid=19911 vsize=9824732 CPUtime=1.41 cores=0,2,4,6 /proc/19914/task/19929/stat : 19929 (java) S 19911 19914 17726 0 -1 4202560 10421 0 0 0 138 3 0 0 20 0 22 0 107556643 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538156509368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19930] ppid=19911 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/19914/task/19930/stat : 19930 (java) S 19911 19914 17726 0 -1 4202560 17857 0 0 0 159 3 0 0 20 0 22 0 107556643 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538155456568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19931] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19931/stat : 19931 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107556643 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538154404472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19932] ppid=19911 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/19914/task/19932/stat : 19932 (java) S 19911 19914 17726 0 -1 4202560 51 0 0 0 11 19 0 0 20 0 22 0 107556643 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538153351880 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19945] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19945/stat : 19945 (java) S 19911 19914 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107556820 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538150093736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=20067] ppid=19911 vsize=9824732 CPUtime=168.4 cores=0,2,4,6 /proc/19914/task/20067/stat : 20067 (java) R 19911 19914 17726 0 -1 4202560 10 0 0 0 16838 2 0 0 20 0 22 0 107627890 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538152197520 140538527891802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=20068] ppid=19911 vsize=9824732 CPUtime=168.37 cores=0,2,4,6 /proc/19914/task/20068/stat : 20068 (java) R 19911 19914 17726 0 -1 4202560 148 0 0 0 16832 5 0 0 20 0 22 0 107627890 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538149040368 140538527416233 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=20069] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/20069/stat : 20069 (java) S 19911 19914 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107627890 10060525568 820876 33554432000 1073741824 1073778376 140733615458976 140538151146664 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1763.52 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+898.901 s] /proc/loadavg: 4.09 4.16 4.18 5/219 20075 /proc/meminfo: memFree=23539076/32872528 swapFree=16636/1570076 [pid=19914] ppid=19911 vsize=9824732 CPUtime=1796.78 cores=0,2,4,6 /proc/19914/stat : 19914 (java) S 19911 19914 17726 0 -1 4202496 42957 0 1 0 179399 279 0 0 20 0 22 0 107556637 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140733615450112 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19914/statm: 2456183 818114 2301 9 0 2446860 0 [pid=19914/tid=19916] ppid=19911 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/19914/task/19916/stat : 19916 (java) S 19911 19914 17726 0 -1 4202560 2427 0 1 0 31 3 0 0 20 0 22 0 107556638 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538673017720 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19917] ppid=19911 vsize=9824732 CPUtime=2.72 cores=0,2,4,6 /proc/19914/task/19917/stat : 19917 (java) S 19911 19914 17726 0 -1 4202560 1032 0 0 0 248 24 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538516384552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19918] ppid=19911 vsize=9824732 CPUtime=2.53 cores=0,2,4,6 /proc/19914/task/19918/stat : 19918 (java) S 19911 19914 17726 0 -1 4202560 769 0 0 0 230 23 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538515331752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19919] ppid=19911 vsize=9824732 CPUtime=2.18 cores=0,2,4,6 /proc/19914/task/19919/stat : 19919 (java) S 19911 19914 17726 0 -1 4202560 844 0 0 0 199 19 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538514279464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19920] ppid=19911 vsize=9824732 CPUtime=2.22 cores=0,2,4,6 /proc/19914/task/19920/stat : 19920 (java) S 19911 19914 17726 0 -1 4202560 814 0 0 0 198 24 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538513226664 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19921] ppid=19911 vsize=9824732 CPUtime=2.18 cores=0,2,4,6 /proc/19914/task/19921/stat : 19921 (java) S 19911 19914 17726 0 -1 4202560 594 0 0 0 198 20 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538512173352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19922] ppid=19911 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/19914/task/19922/stat : 19922 (java) S 19911 19914 17726 0 -1 4202560 729 0 0 0 224 21 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538175023272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19923] ppid=19911 vsize=9824732 CPUtime=2.32 cores=0,2,4,6 /proc/19914/task/19923/stat : 19923 (java) S 19911 19914 17726 0 -1 4202560 762 0 0 0 212 20 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538173970984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19924] ppid=19911 vsize=9824732 CPUtime=2.27 cores=0,2,4,6 /proc/19914/task/19924/stat : 19924 (java) S 19911 19914 17726 0 -1 4202560 1166 0 0 0 202 25 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538172918184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19925] ppid=19911 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/19914/task/19925/stat : 19925 (java) S 19911 19914 17726 0 -1 4202560 2511 0 0 0 254 5 0 0 20 0 22 0 107556640 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538160720616 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19926] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19926/stat : 19926 (java) S 19911 19914 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107556641 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538159666680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19927] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19927/stat : 19927 (java) S 19911 19914 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107556641 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538158614280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19928] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19928/stat : 19928 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107556643 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538157562768 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19929] ppid=19911 vsize=9824732 CPUtime=1.41 cores=0,2,4,6 /proc/19914/task/19929/stat : 19929 (java) S 19911 19914 17726 0 -1 4202560 10421 0 0 0 138 3 0 0 20 0 22 0 107556643 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538156509368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19930] ppid=19911 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/19914/task/19930/stat : 19930 (java) S 19911 19914 17726 0 -1 4202560 17857 0 0 0 159 3 0 0 20 0 22 0 107556643 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538155456568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19931] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19931/stat : 19931 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107556643 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538154404472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19932] ppid=19911 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/19914/task/19932/stat : 19932 (java) S 19911 19914 17726 0 -1 4202560 53 0 0 0 12 19 0 0 20 0 22 0 107556643 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538153351880 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19945] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19945/stat : 19945 (java) S 19911 19914 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107556820 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538150093736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=20067] ppid=19911 vsize=9824732 CPUtime=184.9 cores=0,2,4,6 /proc/19914/task/20067/stat : 20067 (java) R 19911 19914 17726 0 -1 4202560 10 0 0 0 18488 2 0 0 20 0 22 0 107627890 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538152196752 140538527845637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=20068] ppid=19911 vsize=9824732 CPUtime=184.87 cores=0,2,4,6 /proc/19914/task/20068/stat : 20068 (java) R 19911 19914 17726 0 -1 4202560 149 0 0 0 18482 5 0 0 20 0 22 0 107627890 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538149039232 140538527945609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=20069] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/20069/stat : 20069 (java) S 19911 19914 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107627890 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538151146664 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1796.78 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 19914 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+898.901 s] /proc/loadavg: 4.09 4.16 4.18 5/219 20075 /proc/meminfo: memFree=23539076/32872528 swapFree=16636/1570076 [pid=19914] ppid=19911 vsize=9824732 CPUtime=1796.78 cores=0,2,4,6 /proc/19914/stat : 19914 (java) S 19911 19914 17726 0 -1 4202496 42957 0 1 0 179399 279 0 0 20 0 22 0 107556637 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140733615450112 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19914/statm: 2456183 818114 2301 9 0 2446860 0 [pid=19914/tid=19916] ppid=19911 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/19914/task/19916/stat : 19916 (java) S 19911 19914 17726 0 -1 4202560 2427 0 1 0 31 3 0 0 20 0 22 0 107556638 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538673017720 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19917] ppid=19911 vsize=9824732 CPUtime=2.72 cores=0,2,4,6 /proc/19914/task/19917/stat : 19917 (java) S 19911 19914 17726 0 -1 4202560 1032 0 0 0 248 24 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538516384552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19918] ppid=19911 vsize=9824732 CPUtime=2.53 cores=0,2,4,6 /proc/19914/task/19918/stat : 19918 (java) S 19911 19914 17726 0 -1 4202560 769 0 0 0 230 23 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538515331752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19919] ppid=19911 vsize=9824732 CPUtime=2.18 cores=0,2,4,6 /proc/19914/task/19919/stat : 19919 (java) S 19911 19914 17726 0 -1 4202560 844 0 0 0 199 19 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538514279464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19920] ppid=19911 vsize=9824732 CPUtime=2.22 cores=0,2,4,6 /proc/19914/task/19920/stat : 19920 (java) S 19911 19914 17726 0 -1 4202560 814 0 0 0 198 24 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538513226664 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19921] ppid=19911 vsize=9824732 CPUtime=2.18 cores=0,2,4,6 /proc/19914/task/19921/stat : 19921 (java) S 19911 19914 17726 0 -1 4202560 594 0 0 0 198 20 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538512173352 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19922] ppid=19911 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/19914/task/19922/stat : 19922 (java) S 19911 19914 17726 0 -1 4202560 729 0 0 0 224 21 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538175023272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19923] ppid=19911 vsize=9824732 CPUtime=2.32 cores=0,2,4,6 /proc/19914/task/19923/stat : 19923 (java) S 19911 19914 17726 0 -1 4202560 762 0 0 0 212 20 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538173970984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19914/tid=19924] ppid=19911 vsize=9824732 CPUtime=2.27 cores=0,2,4,6 /proc/19914/task/19924/stat : 19924 (java) S 19911 19914 17726 0 -1 4202560 1166 0 0 0 202 25 0 0 20 0 22 0 107556639 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538172918184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19925] ppid=19911 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/19914/task/19925/stat : 19925 (java) S 19911 19914 17726 0 -1 4202560 2511 0 0 0 254 5 0 0 20 0 22 0 107556640 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538160720616 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19926] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19926/stat : 19926 (java) S 19911 19914 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107556641 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538159666680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19927] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19927/stat : 19927 (java) S 19911 19914 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107556641 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538158614280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19928] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19928/stat : 19928 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107556643 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538157562768 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19929] ppid=19911 vsize=9824732 CPUtime=1.41 cores=0,2,4,6 /proc/19914/task/19929/stat : 19929 (java) S 19911 19914 17726 0 -1 4202560 10421 0 0 0 138 3 0 0 20 0 22 0 107556643 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538156509368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19930] ppid=19911 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/19914/task/19930/stat : 19930 (java) S 19911 19914 17726 0 -1 4202560 17857 0 0 0 159 3 0 0 20 0 22 0 107556643 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538155456568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=19931] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19931/stat : 19931 (java) S 19911 19914 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107556643 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538154404472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=19932] ppid=19911 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/19914/task/19932/stat : 19932 (java) S 19911 19914 17726 0 -1 4202560 53 0 0 0 12 19 0 0 20 0 22 0 107556643 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538153351880 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=19945] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/19945/stat : 19945 (java) S 19911 19914 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107556820 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538150093736 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19914/tid=20067] ppid=19911 vsize=9824732 CPUtime=184.9 cores=0,2,4,6 /proc/19914/task/20067/stat : 20067 (java) R 19911 19914 17726 0 -1 4202560 10 0 0 0 18488 2 0 0 20 0 22 0 107627890 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538152196752 140538527845637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19914/tid=20068] ppid=19911 vsize=9824732 CPUtime=184.87 cores=0,2,4,6 /proc/19914/task/20068/stat : 20068 (java) R 19911 19914 17726 0 -1 4202560 149 0 0 0 18482 5 0 0 20 0 22 0 107627890 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538149039232 140538527945609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=19914/tid=20069] ppid=19911 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19914/task/20069/stat : 20069 (java) S 19911 19914 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107627890 10060525568 818114 33554432000 1073741824 1073778376 140733615458976 140538151146664 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19914 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=128403 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=32538 # CPU time returned by wait4() is 1796.16 # while last known CPU time is 1796.78 # # 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): 3.25001 # lost CPU user time (s): 3.45993 # lost CPU system time (s): -0.21 Real time (s): 898.965 CPU time (s): 1800.03 CPU user time (s): 1797.45 CPU system time (s): 2.58 CPU usage (%): 200.234 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.13 system time used= 3.03254 maximum resident set size= 3388876 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42997 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24031 involuntary context switches= 27558 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.03508 second user time and 7.20191 second system time The end
Begin job on node140 at 2016-06-07 01:37:23 IDJOB=4081785 IDBENCH=48208 IDSOLVER=2543 FILE ID=node140/4081785-1465256243 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/mis/normalized-mis_200_10_1.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081785-1465256243/watcher-4081785-1465256243 -o /tmp/evaluation-result-4081785-1465256243/solver-4081785-1465256243 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081785-1465256243.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2be9d345a101e171c9ff93c0b5b2195d RANDOM SEED=279087204 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: 25600948 kB Buffers: 65036 kB Cached: 80744 kB SwapCached: 1744 kB Active: 4889460 kB Inactive: 100468 kB Active(anon): 4843932 kB Inactive(anon): 2608 kB Active(file): 45528 kB Inactive(file): 97860 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098608 kB Dirty: 488 kB Writeback: 0 kB AnonPages: 6413808 kB Mapped: 15388 kB Shmem: 0 kB Slab: 568540 kB SReclaimable: 12648 kB SUnreclaim: 555892 kB KernelStack: 1616 kB PageTables: 16492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 7408828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 6242304 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 01:52:22