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) | 56 | 1800.74 | 923.352 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-edgecross10-030.lin.opb |
| MD5SUM | 83b1232d1f44f8669566a6ba3d4a560a |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 52 |
| Best CPU time to get the best result obtained on this benchmark | 52.2081 |
| 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 | 408 |
| Total number of constraints | 1115 |
| Number of constraints which are clauses | 797 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 317 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 400 |
| Biggest coefficient in the objective function | 184 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 1112 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 184 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 1112 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4118449-1467227919.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.23/0.26 c ... done. Wall clock time 0.14s. 0.23/0.26 c declared #vars 408 0.23/0.26 c #constraints 1116 0.23/0.26 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.23/0.26 c constraints type 0.23/0.26 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 797 0.23/0.26 c org.sat4j.specs.Constr$1 => 1 0.23/0.26 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.23/0.26 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 317 0.23/0.26 c 1116 constraints processed. 0.23/0.26 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.23/0.26 c constraints type 0.23/0.26 c org.sat4j.specs.Constr$1 => 1 0.23/0.26 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 797 0.23/0.26 c org.sat4j.pb.constraints.pb.MaxWatchPb => 317 0.23/0.26 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 0.23/0.26 c 1116 constraints processed. 0.23/0.26 c objective function length is 400 literals 0.23/0.28 c And the winner is solver1 0.39/0.77 c SATISFIABLE 0.39/0.77 c OPTIMIZING... 0.39/0.77 c Got one! Elapsed wall clock time (in seconds):0.646 0.39/0.77 o 152 0.88/0.90 c And the winner is solver0 1.31/1.27 c Got one! Elapsed wall clock time (in seconds):1.153 1.31/1.27 o 150 1.31/1.29 c And the winner is solver0 1.43/1.78 c Got one! Elapsed wall clock time (in seconds):1.656 1.43/1.78 o 149 1.43/1.78 c And the winner is solver0 1.43/2.28 c Got one! Elapsed wall clock time (in seconds):2.159 1.43/2.28 o 148 1.43/2.28 c And the winner is solver0 1.45/2.78 c Got one! Elapsed wall clock time (in seconds):2.662 1.45/2.78 o 147 1.45/2.79 c And the winner is solver0 1.57/3.28 c Got one! Elapsed wall clock time (in seconds):3.164 1.57/3.28 o 139 1.57/3.29 c And the winner is solver0 1.58/3.79 c Got one! Elapsed wall clock time (in seconds):3.667 1.58/3.79 o 137 1.61/3.80 c And the winner is solver0 1.64/4.29 c Got one! Elapsed wall clock time (in seconds):4.169 1.64/4.29 o 135 1.64/4.30 c And the winner is solver0 1.65/4.79 c Got one! Elapsed wall clock time (in seconds):4.67 1.65/4.79 o 133 1.65/4.79 c And the winner is solver0 2.34/5.29 c Got one! Elapsed wall clock time (in seconds):5.172 2.34/5.29 o 132 2.34/5.30 c And the winner is solver0 2.36/5.79 c Got one! Elapsed wall clock time (in seconds):5.674 2.36/5.79 o 130 2.37/5.80 c And the winner is solver0 2.37/6.30 c Got one! Elapsed wall clock time (in seconds):6.176 2.37/6.30 o 128 2.37/6.30 c And the winner is solver0 2.43/6.80 c Got one! Elapsed wall clock time (in seconds):6.677 2.43/6.80 o 125 2.43/6.80 c And the winner is solver0 2.43/7.30 c Got one! Elapsed wall clock time (in seconds):7.178 2.43/7.30 o 122 2.43/7.30 c And the winner is solver0 2.48/7.80 c Got one! Elapsed wall clock time (in seconds):7.68 2.48/7.80 o 121 2.49/7.80 c And the winner is solver0 2.49/8.30 c Got one! Elapsed wall clock time (in seconds):8.181 2.49/8.30 o 118 2.49/8.32 c And the winner is solver0 2.56/8.80 c Got one! Elapsed wall clock time (in seconds):8.683 2.56/8.80 o 117 2.56/8.81 c And the winner is solver0 2.57/9.30 c Got one! Elapsed wall clock time (in seconds):9.184 2.57/9.30 o 116 2.57/9.31 c And the winner is solver0 2.57/9.81 c Got one! Elapsed wall clock time (in seconds):9.686 2.57/9.81 o 114 2.57/9.83 c And the winner is solver0 2.63/10.31 c Got one! Elapsed wall clock time (in seconds):10.187 2.63/10.31 o 113 2.63/10.33 c And the winner is solver0 2.68/10.81 c Got one! Elapsed wall clock time (in seconds):10.688 2.68/10.81 o 112 2.68/10.83 c And the winner is solver0 2.75/11.31 c Got one! Elapsed wall clock time (in seconds):11.19 2.75/11.31 o 111 2.75/11.31 c And the winner is solver0 2.75/11.81 c Got one! Elapsed wall clock time (in seconds):11.691 2.75/11.81 o 109 2.75/11.81 c And the winner is solver0 2.76/12.31 c Got one! Elapsed wall clock time (in seconds):12.192 2.76/12.31 o 105 2.76/12.32 c And the winner is solver0 2.78/12.81 c Got one! Elapsed wall clock time (in seconds):12.694 2.78/12.81 o 103 2.78/12.82 c And the winner is solver0 2.79/13.32 c Got one! Elapsed wall clock time (in seconds):13.195 2.79/13.32 o 101 2.79/13.32 c And the winner is solver0 2.82/13.82 c Got one! Elapsed wall clock time (in seconds):13.697 2.82/13.82 o 99 2.82/13.82 c And the winner is solver0 2.84/14.32 c Got one! Elapsed wall clock time (in seconds):14.198 2.84/14.32 o 97 2.84/14.32 c And the winner is solver0 2.84/14.82 c Got one! Elapsed wall clock time (in seconds):14.699 2.84/14.82 o 95 2.84/14.83 c And the winner is solver0 2.86/15.32 c Got one! Elapsed wall clock time (in seconds):15.2 2.86/15.32 o 89 2.86/15.33 c And the winner is solver0 2.88/15.82 c Got one! Elapsed wall clock time (in seconds):15.701 2.88/15.82 o 88 2.88/15.82 c And the winner is solver0 2.88/16.32 c Got one! Elapsed wall clock time (in seconds):16.202 2.88/16.32 o 86 2.88/16.33 c And the winner is solver0 2.88/16.82 c Got one! Elapsed wall clock time (in seconds):16.703 2.88/16.82 o 84 2.88/16.83 c And the winner is solver0 2.88/17.32 c Got one! Elapsed wall clock time (in seconds):17.204 2.88/17.32 o 78 2.88/17.33 c And the winner is solver0 2.88/17.83 c Got one! Elapsed wall clock time (in seconds):17.705 2.88/17.83 o 76 2.88/17.83 c And the winner is solver0 2.88/18.33 c Got one! Elapsed wall clock time (in seconds):18.206 2.88/18.33 o 74 2.88/18.33 c And the winner is solver0 2.88/18.83 c Got one! Elapsed wall clock time (in seconds):18.707 2.88/18.83 o 73 2.88/18.83 c And the winner is solver0 2.89/19.33 c Got one! Elapsed wall clock time (in seconds):19.208 2.89/19.33 o 71 2.89/19.33 c And the winner is solver0 2.89/19.83 c Got one! Elapsed wall clock time (in seconds):19.71 2.89/19.83 o 69 2.89/19.83 c And the winner is solver0 2.89/20.33 c Got one! Elapsed wall clock time (in seconds):20.211 2.89/20.33 o 67 2.89/20.34 c And the winner is solver0 2.89/20.83 c Got one! Elapsed wall clock time (in seconds):20.712 2.89/20.83 o 66 2.89/20.85 c And the winner is solver0 2.94/21.33 c Got one! Elapsed wall clock time (in seconds):21.213 2.94/21.33 o 65 2.94/21.34 c And the winner is solver0 2.95/21.83 c Got one! Elapsed wall clock time (in seconds):21.714 2.95/21.83 o 64 2.95/21.84 c And the winner is solver0 2.95/22.34 c Got one! Elapsed wall clock time (in seconds):22.215 2.95/22.34 o 63 2.95/22.36 c And the winner is solver0 3.03/22.84 c Got one! Elapsed wall clock time (in seconds):22.716 3.03/22.84 o 62 3.03/22.86 c And the winner is solver0 3.09/23.34 c Got one! Elapsed wall clock time (in seconds):23.217 3.09/23.34 o 61 3.22/23.43 c And the winner is solver0 3.30/23.84 c Got one! Elapsed wall clock time (in seconds):23.718 3.30/23.84 o 60 3.30/23.87 c And the winner is solver0 3.47/24.34 c Got one! Elapsed wall clock time (in seconds):24.219 3.47/24.34 o 59 3.47/24.35 c And the winner is solver0 3.47/24.84 c Got one! Elapsed wall clock time (in seconds):24.721 3.47/24.84 o 58 3.82/25.08 c And the winner is solver0 4.07/25.34 c Got one! Elapsed wall clock time (in seconds):25.222 4.07/25.34 o 56 4.22/25.47 c cleaning 4252 clauses out of 8514 with flag 2064/8514 5.51/26.00 c cleaning 5129 clauses out of 10261 with flag 14238/14513 6.75/26.62 c cleaning 6067 clauses out of 12133 with flag 28671/21514 8.24/27.38 c cleaning 7032 clauses out of 14066 with flag 45523/29514 10.33/28.31 c cleaning 8017 clauses out of 16034 with flag 69866/38514 12.13/29.23 c cleaning 9005 clauses out of 18016 with flag 96147/48513 13.93/30.20 c cleaning 10006 clauses out of 20011 with flag 122706/59513 16.19/31.30 c cleaning 10998 clauses out of 22005 with flag 150427/71513 18.85/32.53 c cleaning 11999 clauses out of 24007 with flag 178397/84513 21.47/33.89 c cleaning 13002 clauses out of 26011 with flag 209272/98516 24.88/35.50 c cleaning 14003 clauses out of 28006 with flag 246589/113513 27.88/37.09 c cleaning 14998 clauses out of 30003 with flag 283497/129513 31.53/38.86 c cleaning 15998 clauses out of 32005 with flag 328756/146513 36.20/41.19 c cleaning 17004 clauses out of 34007 with flag 378814/164513 41.26/43.60 c cleaning 18002 clauses out of 36003 with flag 428348/183513 46.06/46.07 c cleaning 18999 clauses out of 38002 with flag 484781/203514 51.07/48.51 c cleaning 19995 clauses out of 40002 with flag 545032/224513 55.92/50.96 c cleaning 21000 clauses out of 42007 with flag 606112/246513 61.72/53.81 c cleaning 22004 clauses out of 44007 with flag 674370/269513 67.12/56.59 c cleaning 23000 clauses out of 46003 with flag 736018/293513 73.92/59.90 c cleaning 24000 clauses out of 48004 with flag 810626/318514 80.72/63.34 c cleaning 24994 clauses out of 50003 with flag 879323/344513 87.92/66.97 c cleaning 26004 clauses out of 52010 with flag 954241/371514 95.72/70.83 c cleaning 27001 clauses out of 54005 with flag 1032815/399513 104.82/75.33 c cleaning 27994 clauses out of 56005 with flag 1115896/428514 112.83/79.36 c cleaning 29000 clauses out of 58011 with flag 1191525/458514 121.62/83.78 c cleaning 30002 clauses out of 60010 with flag 1274717/489513 131.02/88.49 c cleaning 31004 clauses out of 62008 with flag 1357425/521513 141.43/93.69 c cleaning 31993 clauses out of 64004 with flag 1446266/554513 152.42/99.18 c cleaning 33006 clauses out of 66011 with flag 1526577/588513 165.52/105.68 c cleaning 33997 clauses out of 68006 with flag 1613105/623514 178.10/111.93 c cleaning 35004 clauses out of 70008 with flag 1722868/659513 190.31/118.03 c cleaning 36004 clauses out of 72008 with flag 1825270/696517 203.50/124.63 c cleaning 37000 clauses out of 74000 with flag 1922312/734513 217.70/131.76 c cleaning 37996 clauses out of 76000 with flag 2024173/773513 230.29/138.09 c cleaning 38998 clauses out of 78004 with flag 2123038/813513 244.29/145.07 c cleaning 39999 clauses out of 80006 with flag 2233823/854513 260.10/153.00 c cleaning 41000 clauses out of 82008 with flag 2332979/896514 276.28/161.07 c cleaning 42002 clauses out of 84008 with flag 2432778/939514 291.28/168.58 c cleaning 42999 clauses out of 86006 with flag 2542216/983514 308.28/177.10 c cleaning 43999 clauses out of 88006 with flag 2655021/1028513 326.10/185.97 c cleaning 44999 clauses out of 90008 with flag 2765150/1074514 345.55/195.64 c cleaning 46001 clauses out of 92008 with flag 2896593/1121513 361.36/203.51 c cleaning 46999 clauses out of 94007 with flag 3015210/1169513 379.75/212.76 c cleaning 47999 clauses out of 96011 with flag 3129285/1218516 402.76/224.29 c cleaning 49003 clauses out of 98012 with flag 3249656/1268516 423.95/234.84 c cleaning 50000 clauses out of 100008 with flag 3383489/1319515 443.96/244.89 c cleaning 50997 clauses out of 102007 with flag 3505238/1371514 463.36/254.59 c cleaning 51999 clauses out of 104012 with flag 3621314/1424516 484.77/265.21 c cleaning 53002 clauses out of 106011 with flag 3752395/1478514 509.16/277.45 c cleaning 53996 clauses out of 108008 with flag 3894952/1533513 533.56/289.64 c cleaning 55005 clauses out of 110012 with flag 4029477/1589513 559.75/302.76 c cleaning 55998 clauses out of 112009 with flag 4172283/1646515 588.36/317.04 c cleaning 57001 clauses out of 114009 with flag 4325954/1704513 616.36/331.02 c cleaning 57999 clauses out of 116009 with flag 4487545/1763514 641.16/343.40 c cleaning 59003 clauses out of 118009 with flag 4621835/1823513 672.17/358.98 c cleaning 59994 clauses out of 120008 with flag 4769562/1884515 700.18/372.95 c cleaning 61004 clauses out of 122013 with flag 4935561/1946514 733.77/389.74 c cleaning 61998 clauses out of 124011 with flag 5122441/2009516 766.77/406.29 c cleaning 63002 clauses out of 126013 with flag 5310390/2073516 802.77/424.26 c cleaning 63999 clauses out of 128009 with flag 5490896/2138514 832.18/438.96 c cleaning 64998 clauses out of 130009 with flag 5658858/2204513 863.58/454.63 c cleaning 66001 clauses out of 132011 with flag 5813804/2271513 900.48/473.41 c cleaning 67000 clauses out of 134011 with flag 6004353/2339514 936.47/491.45 c cleaning 67996 clauses out of 136011 with flag 6199966/2408514 977.88/512.11 c cleaning 69001 clauses out of 138014 with flag 6399041/2478513 1019.48/532.90 c cleaning 70004 clauses out of 140013 with flag 6606699/2549513 1057.48/551.96 c cleaning 71001 clauses out of 142009 with flag 6802004/2621513 1100.10/573.25 c cleaning 71997 clauses out of 144008 with flag 7032608/2694513 1146.49/596.42 c cleaning 73001 clauses out of 146012 with flag 7257427/2768514 1194.09/620.22 c cleaning 74000 clauses out of 148011 with flag 7473998/2843514 1242.09/644.22 c cleaning 75000 clauses out of 150011 with flag 7706632/2919514 1288.29/667.38 c cleaning 76006 clauses out of 152011 with flag 7912302/2996514 1332.69/689.50 c cleaning 77000 clauses out of 154004 with flag 8100412/3074513 1387.49/716.94 c cleaning 77994 clauses out of 156004 with flag 8305557/3153513 1443.70/745.01 c cleaning 78999 clauses out of 158010 with flag 8558975/3233513 1495.50/770.96 c cleaning 79999 clauses out of 160014 with flag 8815705/3314516 1551.29/798.82 c cleaning 81002 clauses out of 162012 with flag 9044983/3396513 1608.50/827.48 c cleaning 81997 clauses out of 164011 with flag 9290556/3479514 1666.70/856.54 c cleaning 82999 clauses out of 166013 with flag 9556092/3563513 1723.54/885.01 c cleaning 84004 clauses out of 168015 with flag 9823882/3648514 1775.94/911.25 c cleaning 85001 clauses out of 170011 with flag 10105708/3734514 1800.14/923.30 c >>>>>>>>>> Solver number 0 (49 answers) <<<<<<<<<<<<<<<<<< 1800.14/923.30 c starts : 6576 1800.14/923.30 c conflicts : 3776164 1800.14/923.30 c decisions : 4042873 1800.14/923.30 c propagations : 99688042 1800.14/923.30 c inspects : 13532115099 1800.14/923.30 c shortcuts : 0 1800.14/923.30 c learnt literals : 0 1800.14/923.30 c learnt binary clauses : 0 1800.14/923.30 c learnt ternary clauses : 643 1800.14/923.30 c learnt constraints : 3776164 1800.14/923.30 c ignored constraints : 0 1800.14/923.30 c root simplifications : 0 1800.14/923.30 c removed literals (reason simplification) : 141763561 1800.14/923.30 c reason swapping (by a shorter reason) : 0 1800.14/923.30 c Calls to reduceDB : 82 1800.14/923.30 c Number of update (reduction) of LBD : 66261 1800.14/923.30 c Imported unit clauses : 0 1800.14/923.30 c number of reductions to clauses (during analyze) : 0 1800.14/923.30 c number of learned constraints concerned by reduction : 0 1800.14/923.30 c number of learning phase by resolution : 0 1800.14/923.30 c number of learning phase by cutting planes : 0 1800.14/923.30 c speed (assignments/second) : 108059.52116410433 1800.14/923.30 c non guided choices 75 1800.14/923.33 c learnt constraints type 1800.14/923.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 126660 1800.14/923.33 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.14/923.33 c starts : 60 1800.14/923.33 c conflicts : 1680 1800.14/923.33 c decisions : 3677 1800.14/923.33 c propagations : 66539 1800.14/923.33 c inspects : 17212772 1800.14/923.33 c shortcuts : 0 1800.14/923.33 c learnt literals : 0 1800.14/923.33 c learnt binary clauses : 0 1800.14/923.33 c learnt ternary clauses : 0 1800.14/923.33 c learnt constraints : 1667 1800.14/923.33 c ignored constraints : 0 1800.14/923.33 c root simplifications : 0 1800.14/923.33 c removed literals (reason simplification) : 0 1800.14/923.33 c reason swapping (by a shorter reason) : 0 1800.14/923.33 c Calls to reduceDB : 0 1800.14/923.33 c Number of update (reduction) of LBD : 0 1800.14/923.33 c Imported unit clauses : 0 1800.14/923.33 c number of reductions to clauses (during analyze) : 0 1800.14/923.33 c number of learned constraints concerned by reduction : 0 1800.14/923.33 c number of learning phase by resolution : 0 1800.14/923.33 c number of learning phase by cutting planes : 0 1800.14/923.33 c speed (assignments/second) : 74.09828471140322 1800.14/923.33 c non guided choices 5 1800.14/923.33 c learnt constraints type 1800.14/923.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1667 1800.14/923.33 s SATISFIABLE 1800.14/923.33 c Found 50 solution(s) 1800.14/923.33 v x1 x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 x27 x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 x73 -x74 x75 -x76 -x77 x78 -x79 x80 x81 x82 x83 x84 x85 x86 x87 -x88 -x89 x90 x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 x270 x271 -x272 -x273 -x274 -x275 x276 x277 x278 x279 -x280 x281 x282 x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 x291 x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1800.14/923.33 c objective function=56 1800.14/923.33 c Total wall clock time (in seconds): 923.211
OK 56
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-4118449-1467227919/watcher-4118449-1467227919 -o /tmp/evaluation-result-4118449-1467227919/solver-4118449-1467227919 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118449-1467227919.opb pid=13474 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.34 4.30 4.21 4/197 13477 /proc/meminfo: memFree=24441852/32872528 swapFree=1499084/1695308 [pid=13477] ppid=13474 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/13477/stat : 13477 (java) D 13474 13477 5962 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 3743120 9515008 182 33554432000 1073741824 1073778376 140735114868976 140735114860008 225444708021 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0 /proc/13477/statm: 2323 182 140 9 0 71 0 [startup+0.100092 s] /proc/loadavg: 4.34 4.30 4.21 4/197 13477 /proc/meminfo: memFree=24441852/32872528 swapFree=1499084/1695308 [pid=13477] ppid=13474 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/13477/stat : 13477 (java) S 13474 13477 5962 0 -1 4202496 4397 0 1 0 8 1 0 0 20 0 18 0 3743120 9787879424 6034 33554432000 1073741824 1073778376 140735500653744 140735500644880 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13477/statm: 2389619 6034 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200269 s] /proc/loadavg: 4.34 4.30 4.21 4/197 13477 /proc/meminfo: memFree=24441852/32872528 swapFree=1499084/1695308 [pid=13477] ppid=13474 vsize=9558476 CPUtime=0.23 cores=1,3,5,7 /proc/13477/stat : 13477 (java) S 13474 13477 5962 0 -1 4202496 4650 0 1 0 22 1 0 0 20 0 18 0 3743120 9787879424 6750 33554432000 1073741824 1073778376 140735500653744 140735500644880 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13477/statm: 2389619 6750 2198 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.300224 s] /proc/loadavg: 4.34 4.30 4.21 4/197 13477 /proc/meminfo: memFree=24441852/32872528 swapFree=1499084/1695308 [pid=13477] ppid=13474 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/13477/stat : 13477 (java) S 13474 13477 5962 0 -1 4202496 5358 0 1 0 36 3 0 0 20 0 19 0 3743120 10060525568 9302 33554432000 1073741824 1073778376 140735500653744 140735500644880 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13477/statm: 2456183 9302 2237 9 0 2446860 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 9824732 [startup+0.700219 s] /proc/loadavg: 4.34 4.30 4.21 4/197 13477 /proc/meminfo: memFree=24441852/32872528 swapFree=1499084/1695308 [pid=13477] ppid=13474 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/13477/stat : 13477 (java) S 13474 13477 5962 0 -1 4202496 5358 0 1 0 36 3 0 0 20 0 19 0 3743120 10060525568 9302 33554432000 1073741824 1073778376 140735500653744 140735500644880 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13477/statm: 2456183 9302 2237 9 0 2446860 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 9824732 [startup+1.50078 s] /proc/loadavg: 4.34 4.30 4.21 4/216 13502 /proc/meminfo: memFree=24386944/32872528 swapFree=1499084/1695308 [pid=13477] ppid=13474 vsize=9824732 CPUtime=1.43 cores=1,3,5,7 /proc/13477/stat : 13477 (java) S 13474 13477 5962 0 -1 4202496 14170 0 1 0 134 9 0 0 20 0 19 0 3743120 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140735500644880 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13477/statm: 2456183 16571 2259 9 0 2446860 0 [pid=13477/tid=13479] ppid=13474 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/13477/task/13479/stat : 13479 (java) S 13474 13477 5962 0 -1 4202560 2417 0 1 0 23 2 0 0 20 0 19 0 3743121 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140283105936248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13480] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13480/stat : 13480 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282949220776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13481] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13481/stat : 13481 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282948168232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13482] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13482/stat : 13482 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282947115176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13483] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13483/stat : 13483 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282946062632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13484] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13484/stat : 13484 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282945010600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13485] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13485/stat : 13485 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282943958056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13486] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13486/stat : 13486 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282942905000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13487] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13487/stat : 13487 (java) S 13474 13477 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282941852456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13488] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13488/stat : 13488 (java) S 13474 13477 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3743123 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282929654120 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13489] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13489/stat : 13489 (java) S 13474 13477 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3743124 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282928600440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13490] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13490/stat : 13490 (java) S 13474 13477 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3743124 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282927547272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13491] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13491/stat : 13491 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743126 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282926496016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13492] ppid=13474 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/13477/task/13492/stat : 13492 (java) S 13474 13477 5962 0 -1 4202560 4106 0 0 0 39 0 0 0 20 0 19 0 3743126 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282925443896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13493] ppid=13474 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/13477/task/13493/stat : 13493 (java) S 13474 13477 5962 0 -1 4202560 6297 0 0 0 40 2 0 0 20 0 19 0 3743126 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282924391352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13494] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13494/stat : 13494 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743126 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282923338488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13495] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13495/stat : 13495 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743126 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282922286152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13502] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13502/stat : 13502 (java) S 13474 13477 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3743198 10060525568 16571 33554432000 1073741824 1073778376 140735500653744 140282920178984 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 9824732 [startup+3.10077 s] /proc/loadavg: 4.39 4.31 4.21 3/216 13508 /proc/meminfo: memFree=24376448/32872528 swapFree=1499084/1695308 [pid=13477] ppid=13474 vsize=9824732 CPUtime=1.57 cores=1,3,5,7 /proc/13477/stat : 13477 (java) S 13474 13477 5962 0 -1 4202496 16038 0 1 0 148 9 0 0 20 0 19 0 3743120 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140735500644880 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13477/statm: 2456183 20721 2259 9 0 2446860 0 [pid=13477/tid=13479] ppid=13474 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/13477/task/13479/stat : 13479 (java) S 13474 13477 5962 0 -1 4202560 2418 0 1 0 23 2 0 0 20 0 19 0 3743121 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140283105936248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13480] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13480/stat : 13480 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282949220776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13481] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13481/stat : 13481 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282948168232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13482] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13482/stat : 13482 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282947115176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13483] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13483/stat : 13483 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282946062632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13484] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13484/stat : 13484 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282945010600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13485] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13485/stat : 13485 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282943958056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13486] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13486/stat : 13486 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282942905000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13487] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13487/stat : 13487 (java) S 13474 13477 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282941852456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13488] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13488/stat : 13488 (java) S 13474 13477 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3743123 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282929654120 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13489] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13489/stat : 13489 (java) S 13474 13477 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3743124 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282928600440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13490] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13490/stat : 13490 (java) S 13474 13477 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3743124 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282927547272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13491] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13491/stat : 13491 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743126 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282926496016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13492] ppid=13474 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/13477/task/13492/stat : 13492 (java) S 13474 13477 5962 0 -1 4202560 5946 0 0 0 50 1 0 0 20 0 19 0 3743126 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282925443896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13493] ppid=13474 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/13477/task/13493/stat : 13493 (java) S 13474 13477 5962 0 -1 4202560 6297 0 0 0 41 2 0 0 20 0 19 0 3743126 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282924391352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13494] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13494/stat : 13494 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743126 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282923338488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13495] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13495/stat : 13495 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743126 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282922286152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13502] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13502/stat : 13502 (java) S 13474 13477 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3743198 10060525568 20721 33554432000 1073741824 1073778376 140735500653744 140282920178984 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=31 pid=1811 uid=0 cmd= [startup+6.30076 s] /proc/loadavg: 4.39 4.31 4.21 3/216 13528 /proc/meminfo: memFree=24315288/32872528 swapFree=1499084/1695308 [pid=13477] ppid=13474 vsize=9824732 CPUtime=2.37 cores=1,3,5,7 /proc/13477/stat : 13477 (java) S 13474 13477 5962 0 -1 4202496 17402 0 1 0 225 12 0 0 20 0 19 0 3743120 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140735500644880 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13477/statm: 2456183 34046 2266 9 0 2446860 0 [pid=13477/tid=13479] ppid=13474 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/13477/task/13479/stat : 13479 (java) R 13474 13477 5962 0 -1 4202560 2420 0 1 0 24 2 0 0 20 0 19 0 3743121 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140283105936248 140282976865484 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13480] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13480/stat : 13480 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282949220776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13481] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13481/stat : 13481 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282948168232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13482] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13482/stat : 13482 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282947115176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13483] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13483/stat : 13483 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282946062632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13484] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13484/stat : 13484 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282945010600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13485] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13485/stat : 13485 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282943958056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13486] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13486/stat : 13486 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282942905000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13487] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13487/stat : 13487 (java) S 13474 13477 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3743122 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282941852456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13488] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13488/stat : 13488 (java) S 13474 13477 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3743123 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282929654120 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13489] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13489/stat : 13489 (java) S 13474 13477 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3743124 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282928600440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13490] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13490/stat : 13490 (java) S 13474 13477 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3743124 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282927547272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13491] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13491/stat : 13491 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743126 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282926496016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13492] ppid=13474 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/13477/task/13492/stat : 13492 (java) S 13474 13477 5962 0 -1 4202560 6806 0 0 0 74 2 0 0 20 0 19 0 3743126 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282925443896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13493] ppid=13474 vsize=9824732 CPUtime=0.73 cores=1,3,5,7 /proc/13477/task/13493/stat : 13493 (java) S 13474 13477 5962 0 -1 4202560 6721 0 0 0 71 2 0 0 20 0 19 0 3743126 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282924391352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13494] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13494/stat : 13494 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3743126 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282923338488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13495] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13495/stat : 13495 (java) S 13474 13477 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3743126 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282922286152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13502] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13502/stat : 13502 (java) S 13474 13477 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3743198 10060525568 34046 33554432000 1073741824 1073778376 140735500653744 140282920178984 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.37 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.27 4.24 4.22 5/219 13811 /proc/meminfo: memFree=21880848/32872528 swapFree=1499084/1695308 [pid=13477] ppid=13474 vsize=9824732 CPUtime=1718.16 cores=1,3,5,7 /proc/13477/stat : 13477 (java) S 13474 13477 5962 0 -1 4202496 51384 0 1 0 171646 170 0 0 20 0 22 0 3743120 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140735500644880 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13477/statm: 2456183 787740 2294 9 0 2446860 0 [pid=13477/tid=13479] ppid=13474 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/13477/task/13479/stat : 13479 (java) S 13474 13477 5962 0 -1 4202560 2422 0 1 0 30 3 0 0 20 0 22 0 3743121 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140283105936248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13480] ppid=13474 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/13477/task/13480/stat : 13480 (java) S 13474 13477 5962 0 -1 4202560 1972 0 0 0 23 10 0 0 20 0 22 0 3743122 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282949220776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13481] ppid=13474 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/13477/task/13481/stat : 13481 (java) S 13474 13477 5962 0 -1 4202560 2977 0 0 0 27 12 0 0 20 0 22 0 3743122 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282948168232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13482] ppid=13474 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/13477/task/13482/stat : 13482 (java) S 13474 13477 5962 0 -1 4202560 3424 0 0 0 21 7 0 0 20 0 22 0 3743122 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282947115176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13483] ppid=13474 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/13477/task/13483/stat : 13483 (java) S 13474 13477 5962 0 -1 4202560 6323 0 0 0 24 10 0 0 20 0 22 0 3743122 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282946062632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13484] ppid=13474 vsize=9824732 CPUtime=0.31 cores=1,3,5,7 /proc/13477/task/13484/stat : 13484 (java) S 13474 13477 5962 0 -1 4202560 4345 0 0 0 23 8 0 0 20 0 22 0 3743122 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282945010600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13485] ppid=13474 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/13477/task/13485/stat : 13485 (java) S 13474 13477 5962 0 -1 4202560 4955 0 0 0 24 11 0 0 20 0 22 0 3743122 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282943958056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13486] ppid=13474 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/13477/task/13486/stat : 13486 (java) S 13474 13477 5962 0 -1 4202560 2376 0 0 0 23 9 0 0 20 0 22 0 3743122 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282942905000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13487] ppid=13474 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/13477/task/13487/stat : 13487 (java) S 13474 13477 5962 0 -1 4202560 4442 0 0 0 23 13 0 0 20 0 22 0 3743122 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282941852456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13488] ppid=13474 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/13477/task/13488/stat : 13488 (java) S 13474 13477 5962 0 -1 4202560 1493 0 0 0 109 6 0 0 20 0 22 0 3743123 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282929654120 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13489] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13489/stat : 13489 (java) S 13474 13477 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3743124 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282928600440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13490] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13490/stat : 13490 (java) S 13474 13477 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 3743124 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282927547272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13491] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13491/stat : 13491 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3743126 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282926496016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13492] ppid=13474 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/13477/task/13492/stat : 13492 (java) S 13474 13477 5962 0 -1 4202560 6834 0 0 0 103 2 0 0 20 0 22 0 3743126 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282925443896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13493] ppid=13474 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/13477/task/13493/stat : 13493 (java) S 13474 13477 5962 0 -1 4202560 6732 0 0 0 98 2 0 0 20 0 22 0 3743126 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282924391352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13494] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13494/stat : 13494 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3743126 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282923338488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13495] ppid=13474 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/13477/task/13495/stat : 13495 (java) S 13474 13477 5962 0 -1 4202560 52 0 0 0 13 20 0 0 20 0 22 0 3743126 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282922286152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13502] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13502/stat : 13502 (java) S 13474 13477 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3743198 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282920178984 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13645] ppid=13474 vsize=9824732 CPUtime=855.04 cores=1,3,5,7 /proc/13477/task/13645/stat : 13645 (java) R 13474 13477 5962 0 -1 4202560 107 0 0 0 85488 16 0 0 20 0 22 0 3745655 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282918072240 140282977430585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13646] ppid=13474 vsize=9824732 CPUtime=855 cores=1,3,5,7 /proc/13477/task/13646/stat : 13646 (java) R 13474 13477 5962 0 -1 4202560 1095 0 0 0 85457 43 0 0 20 0 22 0 3745655 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282921228928 140282977602592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13647] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13647/stat : 13647 (java) S 13474 13477 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 3745655 10060525568 787740 33554432000 1073741824 1073778376 140735500653744 140282919126312 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1718.16 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+923.301 s] /proc/loadavg: 4.21 4.23 4.21 5/219 13813 /proc/meminfo: memFree=21848292/32872528 swapFree=1499084/1695308 [pid=13477] ppid=13474 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7 /proc/13477/stat : 13477 (java) S 13474 13477 5962 0 -1 4202496 51386 0 1 0 179843 171 0 0 20 0 22 0 3743120 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140735500644880 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13477/statm: 2456183 788157 2294 9 0 2446860 0 [pid=13477/tid=13479] ppid=13474 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/13477/task/13479/stat : 13479 (java) S 13474 13477 5962 0 -1 4202560 2422 0 1 0 30 4 0 0 20 0 22 0 3743121 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140283105936248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13480] ppid=13474 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/13477/task/13480/stat : 13480 (java) S 13474 13477 5962 0 -1 4202560 1972 0 0 0 23 10 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282949220776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13481] ppid=13474 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/13477/task/13481/stat : 13481 (java) S 13474 13477 5962 0 -1 4202560 2977 0 0 0 27 12 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282948168232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13482] ppid=13474 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/13477/task/13482/stat : 13482 (java) S 13474 13477 5962 0 -1 4202560 3424 0 0 0 21 7 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282947115176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13483] ppid=13474 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/13477/task/13483/stat : 13483 (java) S 13474 13477 5962 0 -1 4202560 6323 0 0 0 24 10 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282946062632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13484] ppid=13474 vsize=9824732 CPUtime=0.31 cores=1,3,5,7 /proc/13477/task/13484/stat : 13484 (java) S 13474 13477 5962 0 -1 4202560 4345 0 0 0 23 8 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282945010600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13485] ppid=13474 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/13477/task/13485/stat : 13485 (java) S 13474 13477 5962 0 -1 4202560 4955 0 0 0 24 11 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282943958056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13486] ppid=13474 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/13477/task/13486/stat : 13486 (java) S 13474 13477 5962 0 -1 4202560 2376 0 0 0 23 9 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282942905000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13487] ppid=13474 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/13477/task/13487/stat : 13487 (java) S 13474 13477 5962 0 -1 4202560 4442 0 0 0 23 13 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282941852456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13488] ppid=13474 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/13477/task/13488/stat : 13488 (java) S 13474 13477 5962 0 -1 4202560 1493 0 0 0 109 6 0 0 20 0 22 0 3743123 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282929654120 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13489] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13489/stat : 13489 (java) S 13474 13477 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3743124 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282928600440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13490] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13490/stat : 13490 (java) S 13474 13477 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 3743124 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282927547272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13491] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13491/stat : 13491 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3743126 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282926496016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13492] ppid=13474 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/13477/task/13492/stat : 13492 (java) S 13474 13477 5962 0 -1 4202560 6834 0 0 0 103 2 0 0 20 0 22 0 3743126 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282925443896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13493] ppid=13474 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/13477/task/13493/stat : 13493 (java) S 13474 13477 5962 0 -1 4202560 6732 0 0 0 98 2 0 0 20 0 22 0 3743126 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282924391352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13494] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13494/stat : 13494 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3743126 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282923338488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13495] ppid=13474 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/13477/task/13495/stat : 13495 (java) S 13474 13477 5962 0 -1 4202560 54 0 0 0 14 21 0 0 20 0 22 0 3743126 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282922286152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13502] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13502/stat : 13502 (java) S 13474 13477 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3743198 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282920178984 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13645] ppid=13474 vsize=9824732 CPUtime=896.04 cores=1,3,5,7 /proc/13477/task/13645/stat : 13645 (java) R 13474 13477 5962 0 -1 4202560 107 0 0 0 89587 17 0 0 20 0 22 0 3745655 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282918064528 140282977430585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13646] ppid=13474 vsize=9824732 CPUtime=895.99 cores=1,3,5,7 /proc/13477/task/13646/stat : 13646 (java) R 13474 13477 5962 0 -1 4202560 1095 0 0 0 89555 44 0 0 20 0 22 0 3745655 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282921228928 140282977602676 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13647] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13647/stat : 13647 (java) S 13474 13477 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 3745655 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282919126312 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 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 13477 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+923.301 s] /proc/loadavg: 4.21 4.23 4.21 5/219 13813 /proc/meminfo: memFree=21848292/32872528 swapFree=1499084/1695308 [pid=13477] ppid=13474 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7 /proc/13477/stat : 13477 (java) S 13474 13477 5962 0 -1 4202496 51386 0 1 0 179843 171 0 0 20 0 22 0 3743120 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140735500644880 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13477/statm: 2456183 788157 2294 9 0 2446860 0 [pid=13477/tid=13479] ppid=13474 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/13477/task/13479/stat : 13479 (java) S 13474 13477 5962 0 -1 4202560 2422 0 1 0 30 4 0 0 20 0 22 0 3743121 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140283105936248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13480] ppid=13474 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/13477/task/13480/stat : 13480 (java) S 13474 13477 5962 0 -1 4202560 1972 0 0 0 23 10 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282949220776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13481] ppid=13474 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/13477/task/13481/stat : 13481 (java) S 13474 13477 5962 0 -1 4202560 2977 0 0 0 27 12 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282948168232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13482] ppid=13474 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/13477/task/13482/stat : 13482 (java) S 13474 13477 5962 0 -1 4202560 3424 0 0 0 21 7 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282947115176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13483] ppid=13474 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/13477/task/13483/stat : 13483 (java) S 13474 13477 5962 0 -1 4202560 6323 0 0 0 24 10 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282946062632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13484] ppid=13474 vsize=9824732 CPUtime=0.31 cores=1,3,5,7 /proc/13477/task/13484/stat : 13484 (java) S 13474 13477 5962 0 -1 4202560 4345 0 0 0 23 8 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282945010600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13485] ppid=13474 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/13477/task/13485/stat : 13485 (java) S 13474 13477 5962 0 -1 4202560 4955 0 0 0 24 11 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282943958056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13486] ppid=13474 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/13477/task/13486/stat : 13486 (java) S 13474 13477 5962 0 -1 4202560 2376 0 0 0 23 9 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282942905000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13487] ppid=13474 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/13477/task/13487/stat : 13487 (java) S 13474 13477 5962 0 -1 4202560 4442 0 0 0 23 13 0 0 20 0 22 0 3743122 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282941852456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13488] ppid=13474 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/13477/task/13488/stat : 13488 (java) S 13474 13477 5962 0 -1 4202560 1493 0 0 0 109 6 0 0 20 0 22 0 3743123 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282929654120 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13489] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13489/stat : 13489 (java) S 13474 13477 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3743124 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282928600440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13490] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13490/stat : 13490 (java) S 13474 13477 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 3743124 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282927547272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13491] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13491/stat : 13491 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3743126 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282926496016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13492] ppid=13474 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/13477/task/13492/stat : 13492 (java) S 13474 13477 5962 0 -1 4202560 6834 0 0 0 103 2 0 0 20 0 22 0 3743126 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282925443896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13477/tid=13493] ppid=13474 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/13477/task/13493/stat : 13493 (java) S 13474 13477 5962 0 -1 4202560 6732 0 0 0 98 2 0 0 20 0 22 0 3743126 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282924391352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13494] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13494/stat : 13494 (java) S 13474 13477 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3743126 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282923338488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13495] ppid=13474 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/13477/task/13495/stat : 13495 (java) S 13474 13477 5962 0 -1 4202560 54 0 0 0 14 21 0 0 20 0 22 0 3743126 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282922286152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13477/tid=13502] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13502/stat : 13502 (java) S 13474 13477 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3743198 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282920178984 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13645] ppid=13474 vsize=9824732 CPUtime=896.04 cores=1,3,5,7 /proc/13477/task/13645/stat : 13645 (java) R 13474 13477 5962 0 -1 4202560 107 0 0 0 89587 17 0 0 20 0 22 0 3745655 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282918064528 140282977430585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13477/tid=13646] ppid=13474 vsize=9824732 CPUtime=895.99 cores=1,3,5,7 /proc/13477/task/13646/stat : 13646 (java) R 13474 13477 5962 0 -1 4202560 1095 0 0 0 89555 44 0 0 20 0 22 0 3745655 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282921228928 140282977602676 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13477/tid=13647] ppid=13474 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13477/task/13647/stat : 13647 (java) S 13474 13477 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 3745655 10060525568 788157 33554432000 1073741824 1073778376 140735500653744 140282919126312 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 923.352 CPU time (s): 1800.74 CPU user time (s): 1798.5 CPU system time (s): 2.24266 CPU usage (%): 195.022 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.5 system time used= 2.24266 maximum resident set size= 3152768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51433 page faults= 1 swaps= 0 block input operations= 0 block output operations= 624 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25467 involuntary context switches= 7945 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.9421 second user time and 7.61384 second system time The end
Begin job on node137 at 2016-06-29 21:18:39 IDJOB=4118449 IDBENCH=111495 IDSOLVER=2543 FILE ID=node137/4118449-1467227919 RUNJOBID= node137-1467212962-6647 PBS_JOBID= 19997573 Free space on /tmp= 71692 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-030.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118449-1467227919/watcher-4118449-1467227919 -o /tmp/evaluation-result-4118449-1467227919/solver-4118449-1467227919 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118449-1467227919.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 83b1232d1f44f8669566a6ba3d4a560a RANDOM SEED=1826840339 node137.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.265 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 : 5332.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.265 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.265 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.53 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.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 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.265 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.265 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.54 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.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 24442116 kB Buffers: 106092 kB Cached: 1791072 kB SwapCached: 0 kB Active: 4256956 kB Inactive: 1690336 kB Active(anon): 4052460 kB Inactive(anon): 4 kB Active(file): 204496 kB Inactive(file): 1690332 kB Unevictable: 1695308 kB Mlocked: 1499084 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 872 kB Writeback: 0 kB AnonPages: 5783644 kB Mapped: 22236 kB Shmem: 204 kB Slab: 608924 kB SReclaimable: 53044 kB SUnreclaim: 555880 kB KernelStack: 1600 kB PageTables: 15208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 6356548 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4204544 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= 71692 MiB End job on node137 at 2016-06-29 21:34:02