Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | -66 | 1800.54 | 1791.35 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb |
| MD5SUM | 3262a45f0e59552e467da6c31a32418a |
| 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 | -73 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -70 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| 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 | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 109 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75586 |
| Sum of products size (including duplicates) | 151172 |
| Number of different products | 37793 |
| Sum of products size | 75586 |
0.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.03/0.08 c version 2.3.2.v20120418 0.03/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.08 c java.vm.version 19.1-b02 0.03/0.08 c java.vm.vendor Sun Microsystems Inc. 0.03/0.08 c sun.arch.data.model 64 0.03/0.08 c java.version 1.6.0_24 0.03/0.08 c os.name Linux 0.03/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.08 c os.arch amd64 0.03/0.08 c Free memory 501472288 0.03/0.08 c Max memory 7480803328 0.03/0.08 c Total memory 504102912 0.03/0.08 c Number of processors 8 0.09/0.11 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.11 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 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 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3711230-1338168358.opb 0.09/0.12 c reading problem ... 1.97/0.87 c ... done. Wall clock time 0.752s. 1.97/0.87 c declared #vars 1000 1.97/0.87 c internal #vars 38793 1.97/0.87 c #constraints 76586 1.97/0.87 c constraints type 1.97/0.87 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37793 1.97/0.87 c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000 1.97/0.87 c ignored satisfied constraints => 1000 1.97/0.87 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37793 1.97/0.87 c 77586 constraints processed. 2.44/1.01 c SATISFIABLE 2.44/1.01 c OPTIMIZING... 2.44/1.01 c Got one! Elapsed wall clock time (in seconds):0.89 2.44/1.01 o 0 2.44/1.02 c Got one! Elapsed wall clock time (in seconds):0.903 2.44/1.02 o -1 2.44/1.04 c Got one! Elapsed wall clock time (in seconds):0.923 2.44/1.04 o -2 2.44/1.09 c Got one! Elapsed wall clock time (in seconds):0.976 2.44/1.09 o -3 2.77/1.11 c Got one! Elapsed wall clock time (in seconds):0.989 2.77/1.11 o -4 2.77/1.13 c Got one! Elapsed wall clock time (in seconds):1.008 2.77/1.13 o -5 2.77/1.17 c Got one! Elapsed wall clock time (in seconds):1.047 2.77/1.17 o -58 3.31/1.40 c Got one! Elapsed wall clock time (in seconds):1.284 3.31/1.40 o -63 4.05/2.13 c cleaning 2541 clauses out of 5081 with flag 4001/5081 5.42/3.37 c cleaning 4270 clauses out of 8540 with flag 10001/11081 6.88/4.77 c cleaning 5634 clauses out of 11269 with flag 17000/18080 8.61/6.43 c cleaning 6812 clauses out of 13636 with flag 25001/26081 10.69/8.42 c cleaning 7913 clauses out of 15825 with flag 34002/35082 12.71/10.48 c cleaning 8955 clauses out of 17911 with flag 44001/45081 15.18/12.86 c cleaning 9977 clauses out of 19956 with flag 55001/56081 17.83/15.43 c cleaning 10986 clauses out of 21978 with flag 67000/68080 20.97/18.56 c cleaning 11994 clauses out of 23994 with flag 80002/81082 21.40/18.98 c Got one! Elapsed wall clock time (in seconds):18.861 21.40/18.98 o -64 22.30/19.81 c cleaning 8831 clauses out of 17674 with flag 4001/86756 23.62/21.14 c cleaning 7421 clauses out of 14842 with flag 10000/92755 25.24/22.71 c cleaning 7207 clauses out of 14422 with flag 17001/99756 27.07/24.56 c cleaning 7603 clauses out of 15215 with flag 25001/107756 29.29/26.70 c cleaning 8302 clauses out of 16612 with flag 34001/116756 31.22/28.69 c cleaning 9149 clauses out of 18310 with flag 44001/126756 33.74/31.12 c cleaning 10076 clauses out of 20163 with flag 55003/137758 36.56/33.99 c cleaning 11041 clauses out of 22084 with flag 67000/149755 39.59/36.98 c cleaning 12021 clauses out of 24043 with flag 80000/162755 43.22/40.53 c cleaning 13006 clauses out of 26022 with flag 94000/176755 46.50/43.79 c cleaning 14004 clauses out of 28018 with flag 109002/191757 50.42/47.63 c cleaning 15001 clauses out of 30013 with flag 125001/207756 54.48/51.70 c cleaning 15997 clauses out of 32011 with flag 142000/224755 55.92/53.03 c Got one! Elapsed wall clock time (in seconds):52.914 55.92/53.03 o -65 56.93/54.09 c cleaning 13145 clauses out of 26298 with flag 5000/235039 58.36/55.49 c cleaning 9569 clauses out of 19154 with flag 11001/241040 60.18/57.23 c cleaning 8287 clauses out of 16584 with flag 18000/248039 62.08/59.18 c cleaning 8145 clauses out of 16298 with flag 26001/256040 64.11/61.12 c cleaning 8571 clauses out of 17154 with flag 35002/265041 66.13/63.11 c cleaning 9286 clauses out of 18581 with flag 45000/275039 68.66/65.65 c cleaning 10143 clauses out of 20295 with flag 56000/286039 71.59/68.58 c cleaning 11073 clauses out of 22152 with flag 68000/298039 74.91/71.86 c cleaning 12038 clauses out of 24081 with flag 81002/311041 78.24/75.16 c cleaning 13012 clauses out of 26041 with flag 95000/325039 82.57/79.41 c cleaning 14014 clauses out of 28029 with flag 110000/340039 86.49/83.38 c cleaning 15008 clauses out of 30016 with flag 126001/356040 91.51/88.37 c cleaning 15999 clauses out of 32008 with flag 143001/373040 97.69/94.46 c cleaning 17004 clauses out of 34008 with flag 161000/391039 101.84/98.53 c cleaning 17994 clauses out of 36004 with flag 180000/410039 106.71/103.34 c cleaning 19003 clauses out of 38011 with flag 200001/430040 112.30/108.84 c cleaning 19997 clauses out of 40007 with flag 221000/451039 119.08/115.51 c cleaning 21001 clauses out of 42012 with flag 243002/473041 125.33/121.78 c cleaning 21995 clauses out of 44009 with flag 266000/496039 133.26/129.67 c cleaning 23005 clauses out of 46014 with flag 290000/520039 140.36/136.60 c cleaning 23997 clauses out of 48012 with flag 315003/545042 148.83/145.02 c cleaning 25002 clauses out of 50012 with flag 341000/571039 157.02/153.16 c cleaning 26001 clauses out of 52011 with flag 368001/598040 164.10/160.19 c cleaning 27004 clauses out of 54009 with flag 396000/626039 172.80/168.74 c cleaning 27999 clauses out of 56005 with flag 425000/655039 180.96/176.87 c cleaning 28999 clauses out of 58007 with flag 455001/685040 190.97/186.77 c cleaning 30004 clauses out of 60007 with flag 486000/716039 200.45/196.17 c cleaning 30992 clauses out of 62004 with flag 518001/748040 211.74/207.39 c cleaning 31999 clauses out of 64011 with flag 551000/781039 222.12/217.68 c cleaning 33004 clauses out of 66014 with flag 585002/815041 237.31/232.78 c cleaning 34001 clauses out of 68008 with flag 620000/850039 253.02/248.36 c cleaning 35000 clauses out of 70010 with flag 656003/886042 262.15/257.39 c cleaning 35998 clauses out of 72008 with flag 693001/923040 273.83/268.96 c cleaning 36999 clauses out of 74010 with flag 731001/961040 284.84/279.98 c cleaning 38004 clauses out of 76011 with flag 770001/1000040 296.21/291.22 c cleaning 38999 clauses out of 78007 with flag 810001/1040040 311.61/306.64 c cleaning 40001 clauses out of 80007 with flag 851000/1081039 325.82/320.85 c cleaning 40998 clauses out of 82006 with flag 893000/1123039 342.64/337.64 c cleaning 42002 clauses out of 84009 with flag 936001/1166040 356.94/351.99 c cleaning 42992 clauses out of 86006 with flag 980000/1210039 375.44/370.49 c cleaning 44001 clauses out of 88014 with flag 1025000/1255039 393.94/388.92 c cleaning 45003 clauses out of 90015 with flag 1071002/1301041 404.35/399.38 c Got one! Elapsed wall clock time (in seconds):399.266 404.35/399.38 o -66 406.35/401.35 c cleaning 39311 clauses out of 78633 with flag 5003/1334662 407.85/402.84 c cleaning 22655 clauses out of 45320 with flag 11001/1340660 409.46/404.42 c cleaning 14830 clauses out of 29666 with flag 18002/1347661 411.17/406.15 c cleaning 11412 clauses out of 22835 with flag 26001/1355660 413.50/408.40 c cleaning 10205 clauses out of 20422 with flag 35000/1364659 415.82/410.71 c cleaning 10105 clauses out of 20217 with flag 45000/1374659 418.44/413.35 c cleaning 10550 clauses out of 21112 with flag 56000/1385659 421.56/416.42 c cleaning 11279 clauses out of 22563 with flag 68001/1397660 425.40/420.25 c cleaning 12142 clauses out of 24284 with flag 81001/1410660 428.72/423.54 c cleaning 13063 clauses out of 26142 with flag 95001/1424660 432.95/427.71 c cleaning 14037 clauses out of 28081 with flag 110003/1439662 437.58/432.32 c cleaning 15018 clauses out of 30041 with flag 126000/1455659 441.80/436.51 c cleaning 16012 clauses out of 32023 with flag 143000/1472659 447.15/441.82 c cleaning 17006 clauses out of 34011 with flag 161000/1490659 452.89/447.51 c cleaning 18000 clauses out of 36006 with flag 180001/1509660 458.62/453.25 c cleaning 18997 clauses out of 38005 with flag 200000/1529659 464.44/459.06 c cleaning 19999 clauses out of 40008 with flag 221000/1550659 471.47/466.00 c cleaning 20999 clauses out of 42011 with flag 243002/1572661 478.61/473.16 c cleaning 22004 clauses out of 44011 with flag 266001/1595660 486.73/481.28 c cleaning 22999 clauses out of 46006 with flag 290000/1619659 494.16/488.67 c cleaning 24002 clauses out of 48008 with flag 315001/1644660 502.99/497.48 c cleaning 24998 clauses out of 50005 with flag 341000/1670659 513.83/508.25 c cleaning 25999 clauses out of 52007 with flag 368000/1697659 525.07/519.46 c cleaning 27000 clauses out of 54009 with flag 396001/1725660 536.90/531.21 c cleaning 27999 clauses out of 56009 with flag 425001/1754660 546.92/541.26 c cleaning 29000 clauses out of 58010 with flag 455001/1784660 557.97/552.23 c cleaning 30000 clauses out of 60011 with flag 486002/1815661 569.45/563.68 c cleaning 30996 clauses out of 62010 with flag 518001/1847660 582.81/576.90 c cleaning 32007 clauses out of 64014 with flag 551001/1880660 596.96/591.03 c cleaning 32994 clauses out of 66007 with flag 585001/1914660 611.20/605.24 c cleaning 33999 clauses out of 68012 with flag 620000/1949659 625.04/619.03 c cleaning 35002 clauses out of 70013 with flag 656000/1985659 634.47/628.43 c cleaning 36003 clauses out of 72011 with flag 693000/2022659 645.46/639.37 c cleaning 37000 clauses out of 74008 with flag 731000/2060659 656.56/650.30 c cleaning 38003 clauses out of 76011 with flag 770003/2099662 668.12/661.83 c cleaning 38994 clauses out of 78006 with flag 810001/2139660 682.22/675.92 c cleaning 39997 clauses out of 80011 with flag 851000/2180659 696.00/689.67 c cleaning 41000 clauses out of 82014 with flag 893000/2222659 712.60/706.25 c cleaning 42004 clauses out of 84014 with flag 936000/2265659 726.19/719.89 c cleaning 43004 clauses out of 86011 with flag 980001/2309660 742.19/735.85 c cleaning 44002 clauses out of 88009 with flag 1025003/2354662 760.29/753.99 c cleaning 44998 clauses out of 90005 with flag 1071001/2400660 778.18/771.88 c cleaning 45995 clauses out of 92006 with flag 1118000/2447659 798.29/791.96 c cleaning 47005 clauses out of 94015 with flag 1166004/2495663 819.28/812.94 c cleaning 47998 clauses out of 96007 with flag 1215001/2544660 844.27/837.90 c cleaning 48997 clauses out of 98008 with flag 1265000/2594659 870.88/864.57 c cleaning 50003 clauses out of 100013 with flag 1316002/2645661 888.86/882.58 c cleaning 50996 clauses out of 102008 with flag 1368000/2697659 909.87/903.52 c cleaning 52007 clauses out of 104013 with flag 1421001/2750660 934.26/927.91 c cleaning 52999 clauses out of 106006 with flag 1475001/2804660 960.65/954.34 c cleaning 53998 clauses out of 108006 with flag 1530000/2859659 990.35/984.09 c cleaning 54996 clauses out of 110008 with flag 1586000/2915659 1019.95/1013.68 c cleaning 55999 clauses out of 112012 with flag 1643000/2972659 1038.85/1032.59 c cleaning 57005 clauses out of 114015 with flag 1701002/3030661 1056.25/1049.99 c cleaning 58001 clauses out of 116009 with flag 1760001/3089660 1075.74/1069.45 c cleaning 58997 clauses out of 118008 with flag 1820001/3149660 1096.54/1090.25 c cleaning 59996 clauses out of 120010 with flag 1881000/3210659 1124.84/1118.56 c cleaning 61006 clauses out of 122015 with flag 1943001/3272660 1149.65/1143.34 c cleaning 61998 clauses out of 124008 with flag 2006000/3335659 1181.65/1175.38 c cleaning 62998 clauses out of 126010 with flag 2070000/3399659 1206.06/1199.79 c cleaning 64006 clauses out of 128013 with flag 2135001/3464660 1233.06/1226.73 c cleaning 64998 clauses out of 130007 with flag 2201001/3530660 1263.47/1257.18 c cleaning 65997 clauses out of 132008 with flag 2268000/3597659 1292.97/1286.62 c cleaning 67005 clauses out of 134012 with flag 2336001/3665660 1321.38/1315.05 c cleaning 68003 clauses out of 136006 with flag 2405000/3734659 1356.85/1350.05 c cleaning 69000 clauses out of 138007 with flag 2475004/3804663 1393.25/1386.42 c cleaning 69997 clauses out of 140004 with flag 2546001/3875660 1427.90/1420.91 c cleaning 70996 clauses out of 142006 with flag 2618000/3947659 1459.45/1452.38 c cleaning 72003 clauses out of 144012 with flag 2691002/4020661 1494.29/1487.03 c cleaning 72998 clauses out of 146007 with flag 2765000/4094659 1531.83/1524.46 c cleaning 74005 clauses out of 148010 with flag 2840001/4169660 1567.68/1560.15 c cleaning 75000 clauses out of 150004 with flag 2916000/4245659 1610.70/1603.06 c cleaning 75996 clauses out of 152005 with flag 2993001/4322660 1651.94/1644.12 c cleaning 76999 clauses out of 154010 with flag 3071002/4400661 1697.75/1689.84 c cleaning 77998 clauses out of 156009 with flag 3150000/4479659 1722.71/1714.31 c cleaning 78998 clauses out of 158011 with flag 3230000/4559659 1750.24/1741.85 c cleaning 79999 clauses out of 160013 with flag 3311000/4640659 1781.59/1773.08 c cleaning 81001 clauses out of 162015 with flag 3393001/4722660 1800.07/1791.31 c starts : 282 1800.07/1791.31 c conflicts : 4770983 1800.07/1791.31 c decisions : 4872009 1800.07/1791.31 c propagations : 25048974 1800.07/1791.31 c inspects : 4414637946 1800.07/1791.31 c shortcuts : 0 1800.07/1791.31 c learnt literals : 0 1800.07/1791.31 c learnt binary clauses : 0 1800.07/1791.31 c learnt ternary clauses : 0 1800.07/1791.31 c learnt constraints : 4770983 1800.07/1791.31 c ignored constraints : 0 1800.07/1791.31 c root simplifications : 282 1800.07/1791.31 c removed literals (reason simplification) : 88002458 1800.07/1791.31 c reason swapping (by a shorter reason) : 0 1800.07/1791.31 c Calls to reduceDB : 142 1800.07/1791.31 c number of reductions to clauses (during analyze) : 0 1800.07/1791.31 c number of learned constraints concerned by reduction : 0 1800.07/1791.31 c number of learning phase by resolution : 0 1800.07/1791.31 c number of learning phase by cutting planes : 0 1800.07/1791.31 c speed (assignments/second) : 13990.831580916954 1800.07/1791.31 c non guided choices 5985 1800.07/1791.34 c learnt constraints type 1800.07/1791.34 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 129380 1800.07/1791.34 c constraints type 1800.07/1791.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37793 1800.07/1791.34 c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000 1800.07/1791.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.07/1791.34 c ignored satisfied constraints => 1000 1800.07/1791.34 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37793 1800.07/1791.34 c 77587 constraints processed. 1800.07/1791.34 s SATISFIABLE 1800.07/1791.34 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 x999 -x1000 1800.07/1791.34 c objective function=-66 1800.07/1791.34 c Total wall clock time (in seconds): 1791.222
OK -66
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3711230-1338168358/watcher-3711230-1338168358 -o /tmp/evaluation-result-3711230-1338168358/solver-3711230-1338168358 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711230-1338168358.opb 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: 2.00 2.04 2.01 3/194 14488 /proc/meminfo: memFree=30341152/32873648 swapFree=6860/6860 [pid=14488] ppid=14486 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/14488/stat : 14488 (java) D 14486 14488 13368 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 282961875 9515008 182 33554432000 1073741824 1073778376 140734128180112 140734128171144 266435641013 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/14488/statm: 2323 182 140 9 0 71 0 [startup+0.060965 s] /proc/loadavg: 2.00 2.04 2.01 3/194 14488 /proc/meminfo: memFree=30341152/32873648 swapFree=6860/6860 [pid=14488] ppid=14486 vsize=9558440 CPUtime=0.03 cores=0,2,4,6 /proc/14488/stat : 14488 (java) S 14486 14488 13368 0 -1 4202496 3234 0 1 0 3 0 0 0 20 0 18 0 282961875 9787842560 3932 33554432000 1073741824 1073778376 140733470163648 140733470154784 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14488/statm: 2389610 3932 1761 9 0 2380296 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9558440 [startup+0.100211 s] /proc/loadavg: 2.00 2.04 2.01 3/194 14488 /proc/meminfo: memFree=30341152/32873648 swapFree=6860/6860 [pid=14488] ppid=14486 vsize=9558440 CPUtime=0.09 cores=0,2,4,6 /proc/14488/stat : 14488 (java) S 14486 14488 13368 0 -1 4202496 4349 0 1 0 8 1 0 0 20 0 18 0 282961875 9787842560 5557 33554432000 1073741824 1073778376 140733470163648 140733470154784 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14488/statm: 2389610 5557 2116 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300157 s] /proc/loadavg: 2.00 2.04 2.01 3/194 14488 /proc/meminfo: memFree=30341152/32873648 swapFree=6860/6860 [pid=14488] ppid=14486 vsize=9558440 CPUtime=0.47 cores=0,2,4,6 /proc/14488/stat : 14488 (java) S 14486 14488 13368 0 -1 4202496 6030 0 1 0 46 1 0 0 20 0 18 0 282961875 9787842560 8168 33554432000 1073741824 1073778376 140733470163648 140733470154784 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14488/statm: 2389610 8168 2235 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558440 [startup+0.700168 s] /proc/loadavg: 2.00 2.04 2.01 3/194 14488 /proc/meminfo: memFree=30341152/32873648 swapFree=6860/6860 [pid=14488] ppid=14486 vsize=9558440 CPUtime=1.67 cores=0,2,4,6 /proc/14488/stat : 14488 (java) S 14486 14488 13368 0 -1 4202496 19905 0 1 0 163 4 0 0 20 0 18 0 282961875 9787842560 25912 33554432000 1073741824 1073778376 140733470163648 140733470154784 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14488/statm: 2389610 25912 2257 9 0 2380296 0 Current children cumulated CPU time (s) 1.67 Current children cumulated vsize (KiB) 9558440 [startup+1.5007 s] /proc/loadavg: 2.00 2.04 2.01 4/213 14507 /proc/meminfo: memFree=30171240/32873648 swapFree=6860/6860 [pid=14488] ppid=14486 vsize=9625004 CPUtime=3.41 cores=0,2,4,6 /proc/14488/stat : 14488 (java) S 14486 14488 13368 0 -1 4202496 21996 0 1 0 332 9 0 0 20 0 19 0 282961875 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140733470154784 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14488/statm: 2406251 52549 2280 9 0 2396937 0 [pid=14488/tid=14490] ppid=14486 vsize=9625004 CPUtime=1.43 cores=0,2,4,6 /proc/14488/task/14490/stat : 14490 (java) R 14486 14488 13368 0 -1 4202560 2631 0 1 0 139 4 0 0 20 0 19 0 282961876 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140299127509496 140299068339529 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14491] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14491/stat : 14491 (java) S 14486 14488 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282961877 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298971462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14492] ppid=14486 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/14488/task/14492/stat : 14492 (java) S 14486 14488 13368 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 282961877 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298970409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14493] ppid=14486 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/14488/task/14493/stat : 14493 (java) S 14486 14488 13368 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 282961877 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298969357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14494] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14494/stat : 14494 (java) S 14486 14488 13368 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282961877 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298968304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14495] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14495/stat : 14495 (java) S 14486 14488 13368 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 282961877 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298967251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14496] ppid=14486 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/14488/task/14496/stat : 14496 (java) S 14486 14488 13368 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 282961877 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298966198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14497] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14497/stat : 14497 (java) S 14486 14488 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282961877 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298965145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14498] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14498/stat : 14498 (java) S 14486 14488 13368 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282961877 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298964093096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14499] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14499/stat : 14499 (java) S 14486 14488 13368 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298951683048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14500] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14500/stat : 14500 (java) S 14486 14488 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298950629112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14501] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14501/stat : 14501 (java) S 14486 14488 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298949576200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14502] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14502/stat : 14502 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298948524688 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14503] ppid=14486 vsize=9625004 CPUtime=0.9 cores=0,2,4,6 /proc/14488/task/14503/stat : 14503 (java) S 14486 14488 13368 0 -1 4202560 5864 0 0 0 89 1 0 0 20 0 19 0 282961881 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298947471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14504] ppid=14486 vsize=9625004 CPUtime=0.9 cores=0,2,4,6 /proc/14488/task/14504/stat : 14504 (java) S 14486 14488 13368 0 -1 4202560 12167 0 0 0 88 2 0 0 20 0 19 0 282961881 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298946419000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14505] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14505/stat : 14505 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298945366392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14506] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14506/stat : 14506 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298944313800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14507] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14507/stat : 14507 (java) S 14486 14488 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282961968 9856004096 52549 33554432000 1073741824 1073778376 140733470163648 140298943260328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.41 Current children cumulated vsize (KiB) 9625004 [startup+3.10072 s] /proc/loadavg: 2.00 2.03 2.01 3/213 14507 /proc/meminfo: memFree=30139404/32873648 swapFree=6860/6860 [pid=14488] ppid=14486 vsize=9625004 CPUtime=5.19 cores=0,2,4,6 /proc/14488/stat : 14488 (java) S 14486 14488 13368 0 -1 4202496 22490 0 1 0 504 15 0 0 20 0 19 0 282961875 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140733470154784 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14488/statm: 2406251 66775 2294 9 0 2396937 0 [pid=14488/tid=14490] ppid=14486 vsize=9625004 CPUtime=2.92 cores=0,2,4,6 /proc/14488/task/14490/stat : 14490 (java) R 14486 14488 13368 0 -1 4202560 2634 0 1 0 288 4 0 0 20 0 19 0 282961876 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140299127509176 140299067931487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14491] ppid=14486 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/14488/task/14491/stat : 14491 (java) S 14486 14488 13368 0 -1 4202560 74 0 0 0 2 1 0 0 20 0 19 0 282961877 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298971462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14492] ppid=14486 vsize=9625004 CPUtime=0.06 cores=0,2,4,6 /proc/14488/task/14492/stat : 14492 (java) S 14486 14488 13368 0 -1 4202560 79 0 0 0 4 2 0 0 20 0 19 0 282961877 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298970409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14493] ppid=14486 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/14488/task/14493/stat : 14493 (java) S 14486 14488 13368 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 282961877 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298969357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14494] ppid=14486 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/14488/task/14494/stat : 14494 (java) S 14486 14488 13368 0 -1 4202560 132 0 0 0 1 0 0 0 20 0 19 0 282961877 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298968304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14495] ppid=14486 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/14488/task/14495/stat : 14495 (java) S 14486 14488 13368 0 -1 4202560 164 0 0 0 2 0 0 0 20 0 19 0 282961877 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298967251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14496] ppid=14486 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/14488/task/14496/stat : 14496 (java) S 14486 14488 13368 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 19 0 282961877 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298966198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14497] ppid=14486 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/14488/task/14497/stat : 14497 (java) S 14486 14488 13368 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 282961877 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298965145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14498] ppid=14486 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/14488/task/14498/stat : 14498 (java) S 14486 14488 13368 0 -1 4202560 25 0 0 0 0 1 0 0 20 0 19 0 282961877 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298964093096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14499] ppid=14486 vsize=9625004 CPUtime=0.06 cores=0,2,4,6 /proc/14488/task/14499/stat : 14499 (java) S 14486 14488 13368 0 -1 4202560 100 0 0 0 6 0 0 0 20 0 19 0 282961878 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298951683048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14500] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14500/stat : 14500 (java) S 14486 14488 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298950629112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14501] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14501/stat : 14501 (java) S 14486 14488 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298949576200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14502] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14502/stat : 14502 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298948524688 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14503] ppid=14486 vsize=9625004 CPUtime=0.94 cores=0,2,4,6 /proc/14488/task/14503/stat : 14503 (java) S 14486 14488 13368 0 -1 4202560 5876 0 0 0 93 1 0 0 20 0 19 0 282961881 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298947471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14504] ppid=14486 vsize=9625004 CPUtime=0.92 cores=0,2,4,6 /proc/14488/task/14504/stat : 14504 (java) S 14486 14488 13368 0 -1 4202560 12172 0 0 0 90 2 0 0 20 0 19 0 282961881 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298946419000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14505] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14505/stat : 14505 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298945366392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14506] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14506/stat : 14506 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298944313800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14507] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14507/stat : 14507 (java) S 14486 14488 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282961968 9856004096 66775 33554432000 1073741824 1073778376 140733470163648 140298943260328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 5.19 Current children cumulated vsize (KiB) 9625004 [startup+6.30064 s] /proc/loadavg: 2.00 2.03 2.01 3/213 14507 /proc/meminfo: memFree=30037072/32873648 swapFree=6860/6860 [pid=14488] ppid=14486 vsize=9625004 CPUtime=8.51 cores=0,2,4,6 /proc/14488/stat : 14488 (java) S 14486 14488 13368 0 -1 4202496 22559 0 1 0 832 19 0 0 20 0 19 0 282961875 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140733470154784 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14488/statm: 2406251 77849 2294 9 0 2396937 0 [pid=14488/tid=14490] ppid=14486 vsize=9625004 CPUtime=5.93 cores=0,2,4,6 /proc/14488/task/14490/stat : 14490 (java) R 14486 14488 13368 0 -1 4202560 2638 0 1 0 589 4 0 0 20 0 19 0 282961876 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140299127509296 140299068339762 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14491] ppid=14486 vsize=9625004 CPUtime=0.05 cores=0,2,4,6 /proc/14488/task/14491/stat : 14491 (java) S 14486 14488 13368 0 -1 4202560 81 0 0 0 2 3 0 0 20 0 19 0 282961877 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298971462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14492] ppid=14486 vsize=9625004 CPUtime=0.08 cores=0,2,4,6 /proc/14488/task/14492/stat : 14492 (java) S 14486 14488 13368 0 -1 4202560 80 0 0 0 6 2 0 0 20 0 19 0 282961877 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298970409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14493] ppid=14486 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/14488/task/14493/stat : 14493 (java) S 14486 14488 13368 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 282961877 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298969357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14494] ppid=14486 vsize=9625004 CPUtime=0.04 cores=0,2,4,6 /proc/14488/task/14494/stat : 14494 (java) S 14486 14488 13368 0 -1 4202560 144 0 0 0 2 2 0 0 20 0 19 0 282961877 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298968304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14495] ppid=14486 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/14488/task/14495/stat : 14495 (java) S 14486 14488 13368 0 -1 4202560 176 0 0 0 2 1 0 0 20 0 19 0 282961877 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298967251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14496] ppid=14486 vsize=9625004 CPUtime=0.04 cores=0,2,4,6 /proc/14488/task/14496/stat : 14496 (java) S 14486 14488 13368 0 -1 4202560 35 0 0 0 2 2 0 0 20 0 19 0 282961877 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298966198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14497] ppid=14486 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/14488/task/14497/stat : 14497 (java) S 14486 14488 13368 0 -1 4202560 27 0 0 0 1 2 0 0 20 0 19 0 282961877 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298965145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14498] ppid=14486 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/14488/task/14498/stat : 14498 (java) S 14486 14488 13368 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 19 0 282961877 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298964093096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14499] ppid=14486 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/14488/task/14499/stat : 14499 (java) S 14486 14488 13368 0 -1 4202560 109 0 0 0 21 0 0 0 20 0 19 0 282961878 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298951683048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14500] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14500/stat : 14500 (java) S 14486 14488 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298950629112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14501] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14501/stat : 14501 (java) S 14486 14488 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298949576200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14502] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14502/stat : 14502 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298948524688 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14503] ppid=14486 vsize=9625004 CPUtime=0.96 cores=0,2,4,6 /proc/14488/task/14503/stat : 14503 (java) S 14486 14488 13368 0 -1 4202560 5876 0 0 0 95 1 0 0 20 0 19 0 282961881 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298947471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14504] ppid=14486 vsize=9625004 CPUtime=0.93 cores=0,2,4,6 /proc/14488/task/14504/stat : 14504 (java) S 14486 14488 13368 0 -1 4202560 12172 0 0 0 91 2 0 0 20 0 19 0 282961881 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298946419000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14505] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14505/stat : 14505 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298945366392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14506] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14506/stat : 14506 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298944313800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14507] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14507/stat : 14507 (java) S 14486 14488 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282961968 9856004096 77849 33554432000 1073741824 1073778376 140733470163648 140298943260328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 8.51 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=14488/tid=14496] ppid=14486 vsize=9625004 CPUtime=1.19 cores=0,2,4,6 /proc/14488/task/14496/stat : 14496 (java) S 14486 14488 13368 0 -1 4202560 358 0 0 0 105 14 0 0 20 0 19 0 282961877 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298966198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14497] ppid=14486 vsize=9625004 CPUtime=0.91 cores=0,2,4,6 /proc/14488/task/14497/stat : 14497 (java) S 14486 14488 13368 0 -1 4202560 209 0 0 0 82 9 0 0 20 0 19 0 282961877 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298965145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14498] ppid=14486 vsize=9625004 CPUtime=1.07 cores=0,2,4,6 /proc/14488/task/14498/stat : 14498 (java) S 14486 14488 13368 0 -1 4202560 422 0 0 0 94 13 0 0 20 0 19 0 282961877 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298964093096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14499] ppid=14486 vsize=9625004 CPUtime=18.17 cores=0,2,4,6 /proc/14488/task/14499/stat : 14499 (java) S 14486 14488 13368 0 -1 4202560 2757 0 0 0 1813 4 0 0 20 0 19 0 282961878 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298951683048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14500] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14500/stat : 14500 (java) S 14486 14488 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298950629112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14501] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14501/stat : 14501 (java) S 14486 14488 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298949576200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14502] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14502/stat : 14502 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298948524688 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14503] ppid=14486 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/14488/task/14503/stat : 14503 (java) S 14486 14488 13368 0 -1 4202560 5885 0 0 0 101 1 0 0 20 0 19 0 282961881 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298947471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14504] ppid=14486 vsize=9625004 CPUtime=0.93 cores=0,2,4,6 /proc/14488/task/14504/stat : 14504 (java) S 14486 14488 13368 0 -1 4202560 12172 0 0 0 91 2 0 0 20 0 19 0 282961881 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298946419000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14505] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14505/stat : 14505 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298945366392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14506] ppid=14486 vsize=9625004 CPUtime=0.53 cores=0,2,4,6 /proc/14488/task/14506/stat : 14506 (java) S 14486 14488 13368 0 -1 4202560 99 0 0 0 27 26 0 0 20 0 19 0 282961881 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298944313800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14507] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14507/stat : 14507 (java) S 14486 14488 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282961968 9856004096 278321 33554432000 1073741824 1073778376 140733470163648 140298943260328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1730.74 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.23 2.11 2.04 3/213 14638 /proc/meminfo: memFree=28223596/32873648 swapFree=6860/6860 [pid=14488] ppid=14486 vsize=9625004 CPUtime=1791.07 cores=0,2,4,6 /proc/14488/stat : 14488 (java) S 14486 14488 13368 0 -1 4202496 28178 0 1 0 178974 133 0 0 20 0 19 0 282961875 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140733470154784 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14488/statm: 2406251 281134 2295 9 0 2396937 0 [pid=14488/tid=14490] ppid=14486 vsize=9625004 CPUtime=1760.9 cores=0,2,4,6 /proc/14488/task/14490/stat : 14490 (java) R 14486 14488 13368 0 -1 4202560 2943 0 1 0 176056 34 0 0 20 0 19 0 282961876 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140299127509296 140299068293104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14491] ppid=14486 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/14488/task/14491/stat : 14491 (java) S 14486 14488 13368 0 -1 4202560 434 0 0 0 108 13 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298971462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14492] ppid=14486 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/14488/task/14492/stat : 14492 (java) S 14486 14488 13368 0 -1 4202560 541 0 0 0 103 13 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298970409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14493] ppid=14486 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/14488/task/14493/stat : 14493 (java) S 14486 14488 13368 0 -1 4202560 225 0 0 0 112 9 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298969357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14494] ppid=14486 vsize=9625004 CPUtime=1.12 cores=0,2,4,6 /proc/14488/task/14494/stat : 14494 (java) S 14486 14488 13368 0 -1 4202560 461 0 0 0 101 11 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298968304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14495] ppid=14486 vsize=9625004 CPUtime=1.15 cores=0,2,4,6 /proc/14488/task/14495/stat : 14495 (java) S 14486 14488 13368 0 -1 4202560 475 0 0 0 105 10 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298967251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14496] ppid=14486 vsize=9625004 CPUtime=1.25 cores=0,2,4,6 /proc/14488/task/14496/stat : 14496 (java) S 14486 14488 13368 0 -1 4202560 358 0 0 0 110 15 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298966198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14497] ppid=14486 vsize=9625004 CPUtime=0.94 cores=0,2,4,6 /proc/14488/task/14497/stat : 14497 (java) S 14486 14488 13368 0 -1 4202560 213 0 0 0 85 9 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298965145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14498] ppid=14486 vsize=9625004 CPUtime=1.15 cores=0,2,4,6 /proc/14488/task/14498/stat : 14498 (java) S 14486 14488 13368 0 -1 4202560 423 0 0 0 102 13 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298964093096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14499] ppid=14486 vsize=9625004 CPUtime=18.59 cores=0,2,4,6 /proc/14488/task/14499/stat : 14499 (java) S 14486 14488 13368 0 -1 4202560 2765 0 0 0 1855 4 0 0 20 0 19 0 282961878 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298951683048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14500] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14500/stat : 14500 (java) S 14486 14488 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298950629112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14501] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14501/stat : 14501 (java) S 14486 14488 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298949576200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14502] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14502/stat : 14502 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298948524688 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14503] ppid=14486 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/14488/task/14503/stat : 14503 (java) S 14486 14488 13368 0 -1 4202560 5885 0 0 0 101 1 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298947471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14504] ppid=14486 vsize=9625004 CPUtime=0.93 cores=0,2,4,6 /proc/14488/task/14504/stat : 14504 (java) S 14486 14488 13368 0 -1 4202560 12172 0 0 0 91 2 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298946419000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14505] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14505/stat : 14505 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298945366392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14506] ppid=14486 vsize=9625004 CPUtime=0.55 cores=0,2,4,6 /proc/14488/task/14506/stat : 14506 (java) S 14486 14488 13368 0 -1 4202560 103 0 0 0 28 27 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298944313800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14507] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14507/stat : 14507 (java) S 14486 14488 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282961968 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298943260328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1791.07 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.3 s] /proc/loadavg: 2.19 2.11 2.04 3/213 14638 /proc/meminfo: memFree=28223968/32873648 swapFree=6860/6860 [pid=14488] ppid=14486 vsize=9625004 CPUtime=1800.07 cores=0,2,4,6 /proc/14488/stat : 14488 (java) S 14486 14488 13368 0 -1 4202496 28178 0 1 0 179874 133 0 0 20 0 19 0 282961875 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140733470154784 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14488/statm: 2406251 281134 2295 9 0 2396937 0 [pid=14488/tid=14490] ppid=14486 vsize=9625004 CPUtime=1769.91 cores=0,2,4,6 /proc/14488/task/14490/stat : 14490 (java) R 14486 14488 13368 0 -1 4202560 2943 0 1 0 176957 34 0 0 20 0 19 0 282961876 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140299127509296 140299068293104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14491] ppid=14486 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/14488/task/14491/stat : 14491 (java) S 14486 14488 13368 0 -1 4202560 434 0 0 0 108 13 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298971462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14492] ppid=14486 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/14488/task/14492/stat : 14492 (java) S 14486 14488 13368 0 -1 4202560 541 0 0 0 103 13 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298970409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14493] ppid=14486 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/14488/task/14493/stat : 14493 (java) S 14486 14488 13368 0 -1 4202560 225 0 0 0 112 9 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298969357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14494] ppid=14486 vsize=9625004 CPUtime=1.12 cores=0,2,4,6 /proc/14488/task/14494/stat : 14494 (java) S 14486 14488 13368 0 -1 4202560 461 0 0 0 101 11 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298968304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14495] ppid=14486 vsize=9625004 CPUtime=1.15 cores=0,2,4,6 /proc/14488/task/14495/stat : 14495 (java) S 14486 14488 13368 0 -1 4202560 475 0 0 0 105 10 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298967251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14496] ppid=14486 vsize=9625004 CPUtime=1.25 cores=0,2,4,6 /proc/14488/task/14496/stat : 14496 (java) S 14486 14488 13368 0 -1 4202560 358 0 0 0 110 15 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298966198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14497] ppid=14486 vsize=9625004 CPUtime=0.94 cores=0,2,4,6 /proc/14488/task/14497/stat : 14497 (java) S 14486 14488 13368 0 -1 4202560 213 0 0 0 85 9 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298965145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14498] ppid=14486 vsize=9625004 CPUtime=1.15 cores=0,2,4,6 /proc/14488/task/14498/stat : 14498 (java) S 14486 14488 13368 0 -1 4202560 423 0 0 0 102 13 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298964093096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14499] ppid=14486 vsize=9625004 CPUtime=18.59 cores=0,2,4,6 /proc/14488/task/14499/stat : 14499 (java) S 14486 14488 13368 0 -1 4202560 2765 0 0 0 1855 4 0 0 20 0 19 0 282961878 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298951683048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14500] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14500/stat : 14500 (java) S 14486 14488 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298950629112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14501] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14501/stat : 14501 (java) S 14486 14488 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298949576200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14502] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14502/stat : 14502 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298948524688 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14503] ppid=14486 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/14488/task/14503/stat : 14503 (java) S 14486 14488 13368 0 -1 4202560 5885 0 0 0 101 1 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298947471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14504] ppid=14486 vsize=9625004 CPUtime=0.93 cores=0,2,4,6 /proc/14488/task/14504/stat : 14504 (java) S 14486 14488 13368 0 -1 4202560 12172 0 0 0 91 2 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298946419000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14505] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14505/stat : 14505 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298945366392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14506] ppid=14486 vsize=9625004 CPUtime=0.55 cores=0,2,4,6 /proc/14488/task/14506/stat : 14506 (java) S 14486 14488 13368 0 -1 4202560 103 0 0 0 28 27 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298944313800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14507] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14507/stat : 14507 (java) S 14486 14488 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282961968 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298943260328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1791.3 s] /proc/loadavg: 2.19 2.11 2.04 3/213 14638 /proc/meminfo: memFree=28223968/32873648 swapFree=6860/6860 [pid=14488] ppid=14486 vsize=9625004 CPUtime=1800.07 cores=0,2,4,6 /proc/14488/stat : 14488 (java) S 14486 14488 13368 0 -1 4202496 28178 0 1 0 179874 133 0 0 20 0 19 0 282961875 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140733470154784 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14488/statm: 2406251 281134 2295 9 0 2396937 0 [pid=14488/tid=14490] ppid=14486 vsize=9625004 CPUtime=1769.91 cores=0,2,4,6 /proc/14488/task/14490/stat : 14490 (java) R 14486 14488 13368 0 -1 4202560 2943 0 1 0 176957 34 0 0 20 0 19 0 282961876 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140299127509296 140299068293104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14491] ppid=14486 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/14488/task/14491/stat : 14491 (java) S 14486 14488 13368 0 -1 4202560 434 0 0 0 108 13 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298971462696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14492] ppid=14486 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/14488/task/14492/stat : 14492 (java) S 14486 14488 13368 0 -1 4202560 541 0 0 0 103 13 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298970409896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14493] ppid=14486 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/14488/task/14493/stat : 14493 (java) S 14486 14488 13368 0 -1 4202560 225 0 0 0 112 9 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298969357096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14494] ppid=14486 vsize=9625004 CPUtime=1.12 cores=0,2,4,6 /proc/14488/task/14494/stat : 14494 (java) S 14486 14488 13368 0 -1 4202560 461 0 0 0 101 11 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298968304296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14495] ppid=14486 vsize=9625004 CPUtime=1.15 cores=0,2,4,6 /proc/14488/task/14495/stat : 14495 (java) S 14486 14488 13368 0 -1 4202560 475 0 0 0 105 10 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298967251496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14496] ppid=14486 vsize=9625004 CPUtime=1.25 cores=0,2,4,6 /proc/14488/task/14496/stat : 14496 (java) S 14486 14488 13368 0 -1 4202560 358 0 0 0 110 15 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298966198696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14497] ppid=14486 vsize=9625004 CPUtime=0.94 cores=0,2,4,6 /proc/14488/task/14497/stat : 14497 (java) S 14486 14488 13368 0 -1 4202560 213 0 0 0 85 9 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298965145896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14498] ppid=14486 vsize=9625004 CPUtime=1.15 cores=0,2,4,6 /proc/14488/task/14498/stat : 14498 (java) S 14486 14488 13368 0 -1 4202560 423 0 0 0 102 13 0 0 20 0 19 0 282961877 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298964093096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14488/tid=14499] ppid=14486 vsize=9625004 CPUtime=18.59 cores=0,2,4,6 /proc/14488/task/14499/stat : 14499 (java) S 14486 14488 13368 0 -1 4202560 2765 0 0 0 1855 4 0 0 20 0 19 0 282961878 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298951683048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14500] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14500/stat : 14500 (java) S 14486 14488 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298950629112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14501] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14501/stat : 14501 (java) S 14486 14488 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282961878 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298949576200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14502] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14502/stat : 14502 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298948524688 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14488/tid=14503] ppid=14486 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/14488/task/14503/stat : 14503 (java) S 14486 14488 13368 0 -1 4202560 5885 0 0 0 101 1 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298947471800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14504] ppid=14486 vsize=9625004 CPUtime=0.93 cores=0,2,4,6 /proc/14488/task/14504/stat : 14504 (java) S 14486 14488 13368 0 -1 4202560 12172 0 0 0 91 2 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298946419000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14505] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14505/stat : 14505 (java) S 14486 14488 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298945366392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14488/tid=14506] ppid=14486 vsize=9625004 CPUtime=0.55 cores=0,2,4,6 /proc/14488/task/14506/stat : 14506 (java) S 14486 14488 13368 0 -1 4202560 103 0 0 0 28 27 0 0 20 0 19 0 282961881 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298944313800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14488/tid=14507] ppid=14486 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/14488/task/14507/stat : 14507 (java) S 14486 14488 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282961968 9856004096 281134 33554432000 1073741824 1073778376 140733470163648 140298943260328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625004 Child status: 143 Real time (s): 1791.35 CPU time (s): 1800.54 CPU user time (s): 1798.78 CPU system time (s): 1.76373 CPU usage (%): 100.513 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.78 system time used= 1.76373 maximum resident set size= 1132168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28209 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41013 involuntary context switches= 29550 runsolver used 6.18106 second user time and 15.2547 second system time The end
Begin job on node116 at 2012-05-28 03:25:58 IDJOB=3711230 IDBENCH=48171 IDSOLVER=2289 FILE ID=node116/3711230-1338168358 RUNJOBID= node116-1338158618-13384 PBS_JOBID= 14624543 Free space on /tmp= 71472 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_1.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711230-1338168358/watcher-3711230-1338168358 -o /tmp/evaluation-result-3711230-1338168358/solver-3711230-1338168358 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711230-1338168358.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a RANDOM SEED=571526225 node116.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.556 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.11 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.556 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 : 5331.91 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.556 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 : 5438.54 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.556 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 : 5331.91 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.556 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 : 5331.92 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.556 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 : 5331.92 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.556 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 : 5331.90 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.556 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 30341680 kB Buffers: 370272 kB Cached: 1114240 kB SwapCached: 3236 kB Active: 980480 kB Inactive: 709732 kB Active(anon): 196384 kB Inactive(anon): 8956 kB Active(file): 784096 kB Inactive(file): 700776 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67103668 kB Dirty: 1568 kB Writeback: 0 kB AnonPages: 211316 kB Mapped: 20928 kB Shmem: 96 kB Slab: 699980 kB SReclaimable: 144120 kB SUnreclaim: 555860 kB KernelStack: 1592 kB PageTables: 4652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 695464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 188416 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71468 MiB End job on node116 at 2012-05-28 03:55:52