Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 136 | 1800.06 | 967.753 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-test1.r.opb |
| MD5SUM | 8e6ac0bad8d074da12c63269189a8260 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 110 |
| Best CPU time to get the best result obtained on this benchmark | 0.130979 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 110 |
| Optimality of the best value was proved | YES |
| Number of variables | 2091 |
| Total number of constraints | 362 |
| Number of constraints which are clauses | 362 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 48 |
| Number of terms in the objective function | 2091 |
| 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 | 2091 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2091 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version 2.3.2.v20120418 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3688190-1337875798.opb 0.07/0.13 c reading problem ... 0.24/0.27 c ... done. Wall clock time 0.14s. 0.24/0.27 c declared #vars 2091 0.24/0.27 c #constraints 362 0.24/0.27 c constraints type 0.24/0.27 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 362 0.24/0.27 c 362 constraints processed. 0.24/0.27 c constraints type 0.24/0.27 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 362 0.24/0.27 c 362 constraints processed. 0.24/0.27 c objective function length is 2091 literals 0.49/0.31 c And the winner is solver0 0.60/0.78 c SATISFIABLE 0.60/0.78 c OPTIMIZING... 0.60/0.78 c Got one! Elapsed wall clock time (in seconds):0.644 0.60/0.78 o 149 1.96/1.29 c And the winner is solver1 1.96/1.29 c Got one! Elapsed wall clock time (in seconds):1.156 1.96/1.29 o 148 3.65/2.07 c And the winner is solver1 3.83/2.30 c Got one! Elapsed wall clock time (in seconds):2.163 3.83/2.30 o 147 4.26/2.51 c cleaning 3309 clauses out of 6617 with flag 1000/6617 5.48/3.11 c And the winner is solver1 5.51/3.30 c Got one! Elapsed wall clock time (in seconds):3.17 5.51/3.30 o 146 6.55/3.90 c cleaning 4519 clauses out of 9038 with flag 3001/12347 9.13/5.12 c And the winner is solver1 9.20/5.31 c Got one! Elapsed wall clock time (in seconds):5.173 9.20/5.31 o 145 11.23/6.32 c cleaning 7734 clauses out of 15480 with flag 5000/23308 14.07/7.61 c cleaning 6873 clauses out of 13746 with flag 11000/29308 17.25/9.18 c cleaning 6934 clauses out of 13873 with flag 18000/36308 21.05/11.09 c cleaning 7459 clauses out of 14939 with flag 26000/44308 25.31/13.16 c cleaning 8237 clauses out of 16480 with flag 35000/53308 29.68/15.39 c cleaning 9118 clauses out of 18243 with flag 45000/63308 34.44/17.79 c cleaning 10062 clauses out of 20129 with flag 56004/74312 39.61/20.38 c cleaning 11030 clauses out of 22063 with flag 68000/86308 45.39/23.20 c cleaning 12017 clauses out of 24033 with flag 81000/99308 51.55/26.36 c cleaning 13004 clauses out of 26016 with flag 95000/113308 58.91/30.00 c cleaning 14004 clauses out of 28013 with flag 110001/128309 66.04/33.65 c cleaning 14999 clauses out of 30009 with flag 126001/144309 73.58/37.47 c cleaning 16005 clauses out of 32009 with flag 143000/161308 81.90/41.66 c cleaning 16993 clauses out of 34006 with flag 161002/179310 84.56/43.00 c And the winner is solver1 84.43/43.34 c Got one! Elapsed wall clock time (in seconds):43.212 84.43/43.34 o 144 86.35/44.35 c cleaning 13589 clauses out of 27184 with flag 5000/189481 88.86/45.69 c cleaning 9801 clauses out of 19601 with flag 11006/195487 91.98/47.25 c cleaning 8392 clauses out of 16799 with flag 18005/202486 92.87/47.71 c And the winner is solver1 92.87/47.87 c Got one! Elapsed wall clock time (in seconds):47.733 92.87/47.87 o 143 94.33/48.65 c cleaning 7058 clauses out of 14136 with flag 4002/208215 96.95/50.06 c cleaning 6534 clauses out of 13078 with flag 10002/214215 100.05/51.66 c cleaning 6763 clauses out of 13542 with flag 17000/221213 103.34/53.39 c cleaning 7388 clauses out of 14783 with flag 25004/229217 107.45/55.48 c cleaning 8197 clauses out of 16395 with flag 34004/238217 112.06/57.89 c cleaning 9082 clauses out of 18194 with flag 44000/248213 117.13/60.41 c cleaning 10055 clauses out of 20114 with flag 55002/259215 122.78/63.30 c cleaning 11029 clauses out of 22057 with flag 67000/271213 128.44/66.27 c cleaning 12015 clauses out of 24031 with flag 80003/284216 134.75/69.58 c cleaning 13005 clauses out of 26013 with flag 94000/298213 141.78/73.13 c cleaning 14001 clauses out of 28009 with flag 109001/313214 149.24/76.92 c cleaning 15000 clauses out of 30007 with flag 125000/329213 157.62/81.23 c cleaning 16000 clauses out of 32007 with flag 142000/346213 166.07/85.62 c cleaning 16999 clauses out of 34009 with flag 160002/364215 174.87/90.13 c cleaning 17985 clauses out of 36008 with flag 179000/383213 184.23/94.96 c cleaning 18996 clauses out of 38023 with flag 199000/403213 194.21/100.06 c cleaning 20009 clauses out of 40027 with flag 220000/424213 205.65/105.95 c cleaning 20994 clauses out of 42018 with flag 242000/446213 208.40/107.41 c And the winner is solver1 208.16/107.77 c Got one! Elapsed wall clock time (in seconds):107.635 208.16/107.77 o 142 210.22/108.83 c cleaning 15593 clauses out of 31191 with flag 5003/456380 213.14/110.46 c cleaning 10791 clauses out of 21595 with flag 11000/462377 216.49/112.28 c cleaning 8900 clauses out of 17804 with flag 18000/469377 217.60/113.01 c And the winner is solver1 217.61/113.27 c Got one! Elapsed wall clock time (in seconds):113.141 217.61/113.27 o 141 219.05/114.07 c cleaning 7011 clauses out of 14036 with flag 4000/474509 221.79/115.59 c cleaning 6513 clauses out of 13025 with flag 10000/480509 225.10/117.32 c cleaning 6747 clauses out of 13512 with flag 17000/487509 228.60/119.28 c cleaning 7383 clauses out of 14765 with flag 25000/495509 230.47/120.44 c And the winner is solver1 230.52/120.84 c Got one! Elapsed wall clock time (in seconds):120.703 230.52/120.84 o 140 231.43/121.39 c cleaning 6673 clauses out of 13356 with flag 3001/501483 234.33/122.94 c cleaning 6334 clauses out of 12682 with flag 9000/507482 237.63/124.79 c cleaning 6666 clauses out of 13349 with flag 16001/514483 241.52/126.84 c cleaning 7341 clauses out of 14683 with flag 24001/522483 245.94/129.35 c cleaning 8171 clauses out of 16341 with flag 33000/531482 250.60/131.80 c cleaning 9086 clauses out of 18171 with flag 43001/541483 255.83/134.67 c cleaning 10035 clauses out of 20084 with flag 54000/552482 261.70/137.79 c cleaning 11025 clauses out of 22050 with flag 66001/564483 268.73/141.59 c cleaning 12000 clauses out of 24025 with flag 79001/577483 275.82/145.25 c cleaning 13003 clauses out of 26024 with flag 93000/591482 283.04/149.00 c cleaning 14005 clauses out of 28023 with flag 108002/606484 290.65/153.07 c cleaning 14996 clauses out of 30016 with flag 124000/622482 298.89/157.51 c cleaning 16007 clauses out of 32023 with flag 141003/639485 307.25/161.94 c cleaning 16997 clauses out of 34014 with flag 159001/657483 316.65/166.84 c cleaning 17986 clauses out of 36016 with flag 178000/676482 327.74/173.12 c cleaning 18994 clauses out of 38031 with flag 198001/696483 338.80/178.83 c cleaning 20015 clauses out of 40038 with flag 219002/717484 350.10/184.74 c cleaning 21010 clauses out of 42021 with flag 241000/739482 361.78/190.85 c cleaning 21998 clauses out of 44011 with flag 264000/762482 374.38/197.61 c cleaning 22984 clauses out of 46013 with flag 288000/786482 386.80/204.17 c cleaning 24009 clauses out of 48029 with flag 313000/811482 399.65/210.85 c cleaning 25005 clauses out of 50021 with flag 339001/837483 413.65/218.18 c cleaning 25992 clauses out of 52016 with flag 366001/864483 429.07/226.42 c cleaning 27012 clauses out of 54023 with flag 394000/892482 443.46/233.90 c cleaning 27999 clauses out of 56013 with flag 423002/921484 458.82/242.00 c cleaning 28996 clauses out of 58012 with flag 453000/951482 475.36/250.59 c cleaning 29997 clauses out of 60016 with flag 484000/982482 486.68/256.82 c And the winner is solver1 486.18/257.04 c Got one! Elapsed wall clock time (in seconds):256.903 486.18/257.04 o 139 488.29/258.12 c cleaning 27032 clauses out of 54064 with flag 5000/1006527 491.75/260.26 c cleaning 16500 clauses out of 33032 with flag 11000/1012527 495.56/262.56 c cleaning 11760 clauses out of 23532 with flag 18000/1019527 499.84/265.01 c cleaning 9874 clauses out of 19772 with flag 26000/1027527 501.20/266.38 c And the winner is solver1 501.28/266.87 c Got one! Elapsed wall clock time (in seconds):266.739 501.28/266.87 o 138 503.13/267.86 c cleaning 7474 clauses out of 14963 with flag 5000/1032592 506.37/269.83 c cleaning 6747 clauses out of 13493 with flag 11004/1038596 510.01/272.09 c cleaning 6862 clauses out of 13742 with flag 18000/1045592 511.08/272.98 c And the winner is solver1 511.22/273.41 c Got one! Elapsed wall clock time (in seconds):273.28 511.22/273.41 o 137 512.98/274.38 c cleaning 6117 clauses out of 12234 with flag 5000/1050946 516.85/276.96 c cleaning 6059 clauses out of 12119 with flag 11002/1056948 520.70/279.21 c cleaning 6524 clauses out of 13058 with flag 18000/1063946 524.36/281.44 c And the winner is solver1 524.41/281.55 c Got one! Elapsed wall clock time (in seconds):281.421 524.41/281.55 o 136 526.33/282.53 c cleaning 9101 clauses out of 18212 with flag 5000/1075624 529.54/284.56 c cleaning 7556 clauses out of 15111 with flag 11000/1081624 533.89/287.46 c cleaning 7277 clauses out of 14555 with flag 18000/1088624 538.07/289.99 c cleaning 7639 clauses out of 15280 with flag 26002/1096626 542.67/292.65 c cleaning 8320 clauses out of 16643 with flag 35004/1105628 547.60/295.59 c cleaning 9158 clauses out of 18321 with flag 45002/1115626 554.15/299.55 c cleaning 10073 clauses out of 20163 with flag 56002/1126626 560.76/303.25 c cleaning 11043 clauses out of 22089 with flag 68001/1138625 567.83/307.10 c cleaning 12017 clauses out of 24048 with flag 81003/1151627 575.24/311.26 c cleaning 12999 clauses out of 26028 with flag 95000/1165624 583.78/316.29 c cleaning 14005 clauses out of 28031 with flag 110002/1180626 592.60/321.02 c cleaning 15005 clauses out of 30024 with flag 126000/1196624 601.29/325.83 c cleaning 16005 clauses out of 32022 with flag 143003/1213627 610.55/330.99 c cleaning 17007 clauses out of 34015 with flag 161001/1231625 620.90/336.96 c cleaning 17995 clauses out of 36008 with flag 180001/1250625 631.96/343.59 c cleaning 19000 clauses out of 38012 with flag 200000/1270624 644.29/350.05 c cleaning 20003 clauses out of 40012 with flag 221000/1291624 656.83/357.13 c cleaning 20998 clauses out of 42011 with flag 243002/1313626 668.90/363.60 c cleaning 22004 clauses out of 44013 with flag 266002/1336626 680.63/370.08 c cleaning 23005 clauses out of 46011 with flag 290004/1360628 693.83/377.20 c cleaning 23992 clauses out of 48002 with flag 315000/1385624 708.57/385.49 c cleaning 24987 clauses out of 50011 with flag 341001/1411625 723.55/393.40 c cleaning 26001 clauses out of 52023 with flag 368000/1438624 739.25/401.69 c cleaning 27001 clauses out of 54022 with flag 396000/1466624 754.57/409.88 c cleaning 27998 clauses out of 56025 with flag 425004/1495628 772.47/419.80 c cleaning 29010 clauses out of 58025 with flag 455002/1525626 789.94/429.12 c cleaning 29999 clauses out of 60013 with flag 486000/1556624 807.03/438.26 c cleaning 30996 clauses out of 62015 with flag 518001/1588625 819.72/445.20 c cleaning 0 clauses out of 7078 with flag 0/7078 828.16/450.48 c cleaning 32006 clauses out of 64018 with flag 551000/1621624 848.53/461.22 c cleaning 33006 clauses out of 66012 with flag 585000/1655624 866.79/470.96 c cleaning 33999 clauses out of 68006 with flag 620000/1690624 885.28/480.81 c cleaning 34992 clauses out of 70007 with flag 656000/1726624 905.92/492.23 c cleaning 36001 clauses out of 72015 with flag 693000/1763624 927.32/503.57 c cleaning 36997 clauses out of 74015 with flag 731001/1801625 950.66/515.71 c cleaning 38006 clauses out of 76017 with flag 770000/1840624 972.64/527.38 c cleaning 39000 clauses out of 78011 with flag 810000/1880624 996.97/540.74 c cleaning 40000 clauses out of 80017 with flag 851006/1921630 1019.64/552.79 c cleaning 40997 clauses out of 82011 with flag 893000/1963624 1041.77/564.57 c cleaning 41994 clauses out of 84014 with flag 936000/2006624 1065.01/576.87 c cleaning 43008 clauses out of 86023 with flag 980003/2050627 1089.45/590.36 c cleaning 43999 clauses out of 88012 with flag 1025000/2095624 1117.07/604.80 c cleaning 45007 clauses out of 90014 with flag 1071001/2141625 1144.36/619.16 c cleaning 45988 clauses out of 92009 with flag 1118003/2188627 1172.31/633.84 c cleaning 47003 clauses out of 94018 with flag 1166000/2236624 1201.72/649.83 c cleaning 47986 clauses out of 96016 with flag 1215001/2285625 1234.11/667.46 c cleaning 49005 clauses out of 98029 with flag 1265000/2335624 1265.68/683.73 c cleaning 50009 clauses out of 100025 with flag 1316001/2386625 1297.08/700.74 c cleaning 51004 clauses out of 102015 with flag 1368000/2438624 1328.21/716.90 c cleaning 51999 clauses out of 104011 with flag 1421000/2491624 1361.27/734.06 c cleaning 52985 clauses out of 106012 with flag 1475000/2545624 1393.28/750.62 c cleaning 54002 clauses out of 108032 with flag 1530005/2600629 1426.39/768.84 c cleaning 55013 clauses out of 110026 with flag 1586001/2656625 1459.86/786.35 c cleaning 56007 clauses out of 112013 with flag 1643001/2713625 1495.64/804.83 c cleaning 57000 clauses out of 114005 with flag 1701000/2771624 1530.67/823.27 c cleaning 57992 clauses out of 116005 with flag 1760000/2830624 1568.66/844.20 c cleaning 58999 clauses out of 118013 with flag 1820000/2890624 1605.13/863.39 c cleaning 60005 clauses out of 120014 with flag 1881000/2951624 1642.88/883.22 c cleaning 60987 clauses out of 122010 with flag 1943001/3013625 1680.70/903.20 c cleaning 62009 clauses out of 124023 with flag 2006001/3076625 1718.66/924.13 c cleaning 62996 clauses out of 126014 with flag 2070001/3140625 1755.46/943.70 c cleaning 64010 clauses out of 128021 with flag 2135004/3205628 1794.58/964.17 c cleaning 64995 clauses out of 130008 with flag 2201001/3271625 1799.19/967.71 c starts : 48 1799.19/967.71 c conflicts : 10543 1799.19/967.71 c decisions : 159004 1799.19/967.71 c propagations : 674344 1799.19/967.71 c inspects : 138194199 1799.19/967.71 c shortcuts : 0 1799.19/967.71 c learnt literals : 0 1799.19/967.71 c learnt binary clauses : 0 1799.19/967.71 c learnt ternary clauses : 0 1799.19/967.71 c learnt constraints : 10542 1799.19/967.71 c ignored constraints : 0 1799.19/967.71 c root simplifications : 0 1799.19/967.71 c removed literals (reason simplification) : 0 1799.19/967.71 c reason swapping (by a shorter reason) : 0 1799.19/967.71 c Calls to reduceDB : 1 1799.19/967.71 c number of reductions to clauses (during analyze) : 0 1799.19/967.71 c number of learned constraints concerned by reduction : 0 1799.19/967.71 c number of learning phase by resolution : 0 1799.19/967.71 c number of learning phase by cutting planes : 0 1799.19/967.71 c speed (assignments/second) : 697.4151919654076 1799.19/967.71 c non guided choices 10 1799.19/967.72 c learnt constraints type 1799.19/967.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3665 1799.19/967.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6877 1799.19/967.72 c constraints type 1799.19/967.72 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 362 1799.19/967.72 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1799.19/967.72 c 363 constraints processed. 1799.19/967.72 c constraints type 1799.19/967.72 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 362 1799.19/967.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1799.19/967.72 c 363 constraints processed. 1799.19/967.72 s SATISFIABLE 1799.19/967.73 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 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 1799.19/967.73 c objective function=136 1799.19/967.73 c Total wall clock time (in seconds): 967.595
OK 136
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-3688190-1337875798/watcher-3688190-1337875798 -o /tmp/evaluation-result-3688190-1337875798/solver-3688190-1337875798 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688190-1337875798.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: 3.59 3.85 3.75 4/197 24656 /proc/meminfo: memFree=29235580/32873844 swapFree=7616/7616 [pid=24656] ppid=24654 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/24656/stat : 24656 (java) D 24654 24656 23801 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 253705412 2560000 46 33554432000 1073741824 1073778376 140736336483984 140736336481112 214360485159 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/24656/statm: 625 46 37 9 0 29 0 [startup+0.0507071 s] /proc/loadavg: 3.59 3.85 3.75 4/197 24656 /proc/meminfo: memFree=29235580/32873844 swapFree=7616/7616 [pid=24656] ppid=24654 vsize=9225560 CPUtime=0.02 cores=0,2,4,6 /proc/24656/stat : 24656 (java) S 24654 24656 23801 0 -1 4202496 3011 0 1 0 2 0 0 0 20 0 13 0 253705412 9446973440 3710 33554432000 1073741824 1073778376 140737271802272 140737271793408 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24656/statm: 2306390 3710 1692 9 0 2297091 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100256 s] /proc/loadavg: 3.59 3.85 3.75 4/197 24656 /proc/meminfo: memFree=29235580/32873844 swapFree=7616/7616 [pid=24656] ppid=24654 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/24656/stat : 24656 (java) S 24654 24656 23801 0 -1 4202496 3725 0 1 0 6 1 0 0 20 0 18 0 253705412 9787813888 4936 33554432000 1073741824 1073778376 140737271802272 140737271793408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24656/statm: 2389603 4952 1985 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.300167 s] /proc/loadavg: 3.59 3.85 3.75 4/197 24656 /proc/meminfo: memFree=29235580/32873844 swapFree=7616/7616 [pid=24656] ppid=24654 vsize=9824668 CPUtime=0.49 cores=0,2,4,6 /proc/24656/stat : 24656 (java) S 24654 24656 23801 0 -1 4202496 5938 0 1 0 48 1 0 0 20 0 22 0 253705412 10060460032 8959 33554432000 1073741824 1073778376 140737271802272 140737271793408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24656/statm: 2456167 8959 2228 9 0 2446860 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9824668 [startup+0.700263 s] /proc/loadavg: 3.59 3.85 3.75 4/197 24656 /proc/meminfo: memFree=29235580/32873844 swapFree=7616/7616 [pid=24656] ppid=24654 vsize=9824668 CPUtime=0.6 cores=0,2,4,6 /proc/24656/stat : 24656 (java) S 24654 24656 23801 0 -1 4202496 6960 0 1 0 57 3 0 0 20 0 19 0 253705412 10060460032 9406 33554432000 1073741824 1073778376 140737271802272 140737271793408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24656/statm: 2456167 9406 2232 9 0 2446860 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 9824668 [startup+1.50066 s] /proc/loadavg: 3.59 3.85 3.75 6/219 24681 /proc/meminfo: memFree=29172748/32873844 swapFree=7616/7616 [pid=24656] ppid=24654 vsize=9824668 CPUtime=2.63 cores=0,2,4,6 /proc/24656/stat : 24656 (java) S 24654 24656 23801 0 -1 4202496 9748 0 1 0 257 6 0 0 20 0 22 0 253705412 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 140737271793408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24656/statm: 2456167 15308 2247 9 0 2446860 0 [pid=24656/tid=24658] ppid=24654 vsize=9824668 CPUtime=0.26 cores=0,2,4,6 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23801 0 -1 4202560 2458 0 1 0 24 2 0 0 20 0 22 0 253705414 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139864119116792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24659] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139864080608296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24660] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139864079555496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24661] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139864078502696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24662] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139864077449896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24663] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139864076397096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24664] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139864075344296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24665] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24665/stat : 24665 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139864074291496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24666] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24666/stat : 24666 (java) S 24654 24656 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139864073238696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24667] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24667/stat : 24667 (java) S 24654 24656 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253705416 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139863942728680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24668] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24668/stat : 24668 (java) S 24654 24656 23801 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139863941674744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24669] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24669/stat : 24669 (java) S 24654 24656 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139863940621832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24670] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24670/stat : 24670 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139863939570320 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24671] ppid=24654 vsize=9824668 CPUtime=0.43 cores=0,2,4,6 /proc/24656/task/24671/stat : 24671 (java) S 24654 24656 23801 0 -1 4202560 3568 0 0 0 43 0 0 0 20 0 22 0 253705420 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139863938517432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24672] ppid=24654 vsize=9824668 CPUtime=0.42 cores=0,2,4,6 /proc/24656/task/24672/stat : 24672 (java) S 24654 24656 23801 0 -1 4202560 2365 0 0 0 42 0 0 0 20 0 22 0 253705420 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139863937464632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24673] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24673/stat : 24673 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139863936412024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24674] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24674/stat : 24674 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139863935359432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24681] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24681/stat : 24681 (java) S 24654 24656 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705492 10060460032 15308 33554432000 1073741824 1073778376 140737271802272 139863934305192 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.63 Current children cumulated vsize (KiB) 9824668 [startup+3.1006 s] /proc/loadavg: 3.59 3.85 3.75 3/216 24684 /proc/meminfo: memFree=29150764/32873844 swapFree=7616/7616 [pid=24656] ppid=24654 vsize=9824668 CPUtime=5.48 cores=0,2,4,6 /proc/24656/stat : 24656 (java) S 24654 24656 23801 0 -1 4202496 9830 0 1 0 539 9 0 0 20 0 22 0 253705412 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 140737271793408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24656/statm: 2456167 22524 2271 9 0 2446860 0 [pid=24656/tid=24658] ppid=24654 vsize=9824668 CPUtime=0.27 cores=0,2,4,6 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23801 0 -1 4202560 2458 0 1 0 25 2 0 0 20 0 22 0 253705414 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139864119116792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24659] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139864080608296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24660] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139864079555496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24661] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139864078502696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24662] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23801 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139864077449896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24663] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139864076397096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24664] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139864075344296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24665] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24665/stat : 24665 (java) S 24654 24656 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139864074291496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24666] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24666/stat : 24666 (java) S 24654 24656 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139864073238696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24667] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24667/stat : 24667 (java) S 24654 24656 23801 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 253705416 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139863942728680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24668] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24668/stat : 24668 (java) S 24654 24656 23801 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139863941674744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24669] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24669/stat : 24669 (java) S 24654 24656 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139863940621832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24670] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24670/stat : 24670 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139863939570320 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24671] ppid=24654 vsize=9824668 CPUtime=0.47 cores=0,2,4,6 /proc/24656/task/24671/stat : 24671 (java) S 24654 24656 23801 0 -1 4202560 3568 0 0 0 47 0 0 0 20 0 22 0 253705420 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139863938517432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24672] ppid=24654 vsize=9824668 CPUtime=0.49 cores=0,2,4,6 /proc/24656/task/24672/stat : 24672 (java) S 24654 24656 23801 0 -1 4202560 2369 0 0 0 49 0 0 0 20 0 22 0 253705420 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139863937464632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24673] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24673/stat : 24673 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139863936412024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24674] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24674/stat : 24674 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139863935359432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24681] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24681/stat : 24681 (java) S 24654 24656 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705492 10060460032 22524 33554432000 1073741824 1073778376 140737271802272 139863934305192 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 5.48 Current children cumulated vsize (KiB) 9824668 [startup+6.30078 s] /proc/loadavg: 3.46 3.82 3.74 6/220 24696 /proc/meminfo: memFree=29124364/32873844 swapFree=7616/7616 [pid=24656] ppid=24654 vsize=9824668 CPUtime=11.23 cores=0,2,4,6 /proc/24656/stat : 24656 (java) S 24654 24656 23801 0 -1 4202496 9972 0 1 0 1110 13 0 0 20 0 22 0 253705412 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 140737271793408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24656/statm: 2456167 24007 2271 9 0 2446860 0 [pid=24656/tid=24658] ppid=24654 vsize=9824668 CPUtime=0.27 cores=0,2,4,6 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23801 0 -1 4202560 2458 0 1 0 25 2 0 0 20 0 22 0 253705414 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139864119116792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24659] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23801 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139864080608296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24660] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139864079555496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24661] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139864078502696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24662] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23801 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139864077449896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24663] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139864076397096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24664] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139864075344296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24665] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24665/stat : 24665 (java) S 24654 24656 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139864074291496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24666] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24666/stat : 24666 (java) S 24654 24656 23801 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253705415 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139864073238696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24667] ppid=24654 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/24656/task/24667/stat : 24667 (java) S 24654 24656 23801 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 22 0 253705416 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139863942728680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24668] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24668/stat : 24668 (java) S 24654 24656 23801 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139863941674744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24669] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24669/stat : 24669 (java) S 24654 24656 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139863940621832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24670] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24670/stat : 24670 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139863939570320 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24671] ppid=24654 vsize=9824668 CPUtime=0.5 cores=0,2,4,6 /proc/24656/task/24671/stat : 24671 (java) S 24654 24656 23801 0 -1 4202560 3568 0 0 0 50 0 0 0 20 0 22 0 253705420 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139863938517432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24672] ppid=24654 vsize=9824668 CPUtime=0.61 cores=0,2,4,6 /proc/24656/task/24672/stat : 24672 (java) S 24654 24656 23801 0 -1 4202560 2484 0 0 0 61 0 0 0 20 0 22 0 253705420 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139863937464632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24673] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24673/stat : 24673 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139863936412024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24674] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24674/stat : 24674 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139863935359432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24681] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24681/stat : 24681 (java) S 24654 24656 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705492 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139863934305192 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24694] ppid=24654 vsize=9824668 CPUtime=0.97 cores=0,2,4,6 /proc/24656/task/24694/stat : 24694 (java) R 24654 24656 23801 0 -1 4202560 2 0 0 0 97 0 0 0 20 0 22 0 253705944 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139862790360472 139863949682543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24695] ppid=24654 vsize=9824668 CPUtime=0.97 cores=0,2,4,6 /proc/24656/task/24695/stat : 24695 (java) R 24654 24656 23801 0 -1 4202560 2 0 0 0 97 0 0 0 20 0 22 0 253705944 10060460032 24007 33554432000 1073741824 1073778376 140737271802272 139862789309416 139863949700615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 ################ # More data... # ################ [pid=24656/tid=24662] ppid=24654 vsize=9824668 CPUtime=7.03 cores=0,2,4,6 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23801 0 -1 4202560 1414 0 0 0 699 4 0 0 20 0 22 0 253705415 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139864077449896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24663] ppid=24654 vsize=9824668 CPUtime=6.77 cores=0,2,4,6 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23801 0 -1 4202560 1170 0 0 0 672 5 0 0 20 0 22 0 253705415 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139864076397096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24664] ppid=24654 vsize=9824668 CPUtime=6.71 cores=0,2,4,6 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23801 0 -1 4202560 1047 0 0 0 665 6 0 0 20 0 22 0 253705415 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139864075344296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24665] ppid=24654 vsize=9824668 CPUtime=6.87 cores=0,2,4,6 /proc/24656/task/24665/stat : 24665 (java) S 24654 24656 23801 0 -1 4202560 1142 0 0 0 681 6 0 0 20 0 22 0 253705415 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139864074291496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24666] ppid=24654 vsize=9824668 CPUtime=7.18 cores=0,2,4,6 /proc/24656/task/24666/stat : 24666 (java) S 24654 24656 23801 0 -1 4202560 1191 0 0 0 711 7 0 0 20 0 22 0 253705415 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139864073238696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24667] ppid=24654 vsize=9824668 CPUtime=150.48 cores=0,2,4,6 /proc/24656/task/24667/stat : 24667 (java) S 24654 24656 23801 0 -1 4202560 4559 0 0 0 15001 47 0 0 20 0 22 0 253705416 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139863942728680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24668] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24668/stat : 24668 (java) S 24654 24656 23801 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139863941674744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24669] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24669/stat : 24669 (java) S 24654 24656 23801 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139863940621832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24670] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24670/stat : 24670 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139863939570320 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24671] ppid=24654 vsize=9824668 CPUtime=1.43 cores=0,2,4,6 /proc/24656/task/24671/stat : 24671 (java) S 24654 24656 23801 0 -1 4202560 9671 0 0 0 142 1 0 0 20 0 22 0 253705420 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139863938517432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24672] ppid=24654 vsize=9824668 CPUtime=1.06 cores=0,2,4,6 /proc/24656/task/24672/stat : 24672 (java) S 24654 24656 23801 0 -1 4202560 3789 0 0 0 106 0 0 0 20 0 22 0 253705420 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139863937464632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24673] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24673/stat : 24673 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139863936412024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24674] ppid=24654 vsize=9824668 CPUtime=0.29 cores=0,2,4,6 /proc/24656/task/24674/stat : 24674 (java) S 24654 24656 23801 0 -1 4202560 55 0 0 0 14 15 0 0 20 0 22 0 253705420 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139863935359432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24681] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24681/stat : 24681 (java) S 24654 24656 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705492 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139863934305192 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24961] ppid=24654 vsize=9824668 CPUtime=531.07 cores=0,2,4,6 /proc/24656/task/24961/stat : 24961 (java) R 24654 24656 23801 0 -1 4202560 111 0 0 0 53098 9 0 0 20 0 22 0 253733569 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139862790360752 139863949752397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24962] ppid=24654 vsize=9824668 CPUtime=531.05 cores=0,2,4,6 /proc/24656/task/24962/stat : 24962 (java) R 24654 24656 23801 0 -1 4202560 90 0 0 0 53096 9 0 0 20 0 22 0 253733569 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139862789306704 139863950287020 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24963] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24963/stat : 24963 (java) S 24654 24656 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253733569 10060460032 465965 33554432000 1073741824 1073778376 140737271802272 139862791414824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1752.86 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+967.701 s] /proc/loadavg: 3.91 3.84 3.76 5/219 24975 /proc/meminfo: memFree=26068076/32873844 swapFree=7616/7616 [pid=24656] ppid=24654 vsize=9824668 CPUtime=1799.19 cores=0,2,4,6 /proc/24656/stat : 24656 (java) S 24654 24656 23801 0 -1 4202496 32983 0 1 0 179774 145 0 0 20 0 22 0 253705412 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 140737271793408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24656/statm: 2456167 476598 2280 9 0 2446860 0 [pid=24656/tid=24658] ppid=24654 vsize=9824668 CPUtime=0.36 cores=0,2,4,6 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23801 0 -1 4202560 2560 0 1 0 33 3 0 0 20 0 22 0 253705414 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864119116792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24659] ppid=24654 vsize=9824668 CPUtime=7.48 cores=0,2,4,6 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23801 0 -1 4202560 2298 0 0 0 742 6 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864080608296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24660] ppid=24654 vsize=9824668 CPUtime=7.51 cores=0,2,4,6 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23801 0 -1 4202560 1023 0 0 0 745 6 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864079555496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24661] ppid=24654 vsize=9824668 CPUtime=6.73 cores=0,2,4,6 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23801 0 -1 4202560 969 0 0 0 667 6 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864078502696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24662] ppid=24654 vsize=9824668 CPUtime=7.2 cores=0,2,4,6 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23801 0 -1 4202560 1414 0 0 0 716 4 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864077449896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24663] ppid=24654 vsize=9824668 CPUtime=6.94 cores=0,2,4,6 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23801 0 -1 4202560 1324 0 0 0 689 5 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864076397096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24664] ppid=24654 vsize=9824668 CPUtime=6.88 cores=0,2,4,6 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23801 0 -1 4202560 1047 0 0 0 682 6 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864075344296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24665] ppid=24654 vsize=9824668 CPUtime=7.02 cores=0,2,4,6 /proc/24656/task/24665/stat : 24665 (java) S 24654 24656 23801 0 -1 4202560 1224 0 0 0 696 6 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864074291496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24666] ppid=24654 vsize=9824668 CPUtime=7.38 cores=0,2,4,6 /proc/24656/task/24666/stat : 24666 (java) S 24654 24656 23801 0 -1 4202560 1191 0 0 0 731 7 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864073238696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24667] ppid=24654 vsize=9824668 CPUtime=155.71 cores=0,2,4,6 /proc/24656/task/24667/stat : 24667 (java) S 24654 24656 23801 0 -1 4202560 4640 0 0 0 15523 48 0 0 20 0 22 0 253705416 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863942728680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24668] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24668/stat : 24668 (java) S 24654 24656 23801 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863941674744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24669] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24669/stat : 24669 (java) S 24654 24656 23801 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863940621832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24670] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24670/stat : 24670 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863939570320 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24671] ppid=24654 vsize=9824668 CPUtime=1.43 cores=0,2,4,6 /proc/24656/task/24671/stat : 24671 (java) S 24654 24656 23801 0 -1 4202560 9671 0 0 0 142 1 0 0 20 0 22 0 253705420 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863938517432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24672] ppid=24654 vsize=9824668 CPUtime=1.06 cores=0,2,4,6 /proc/24656/task/24672/stat : 24672 (java) S 24654 24656 23801 0 -1 4202560 3789 0 0 0 106 0 0 0 20 0 22 0 253705420 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863937464632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24673] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24673/stat : 24673 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863936412024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24674] ppid=24654 vsize=9824668 CPUtime=0.3 cores=0,2,4,6 /proc/24656/task/24674/stat : 24674 (java) S 24654 24656 23801 0 -1 4202560 55 0 0 0 14 16 0 0 20 0 22 0 253705420 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863935359432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24681] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24681/stat : 24681 (java) S 24654 24656 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705492 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863934305192 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24961] ppid=24654 vsize=9824668 CPUtime=550.77 cores=0,2,4,6 /proc/24656/task/24961/stat : 24961 (java) R 24654 24656 23801 0 -1 4202560 113 0 0 0 55068 9 0 0 20 0 22 0 253733569 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139862790361696 139863949651951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24962] ppid=24654 vsize=9824668 CPUtime=550.73 cores=0,2,4,6 /proc/24656/task/24962/stat : 24962 (java) R 24654 24656 23801 0 -1 4202560 92 0 0 0 55064 9 0 0 20 0 22 0 253733569 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139862789306704 139863950286324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24963] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24963/stat : 24963 (java) S 24654 24656 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253733569 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139862791414824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+967.701 s] /proc/loadavg: 3.91 3.84 3.76 5/219 24975 /proc/meminfo: memFree=26068076/32873844 swapFree=7616/7616 [pid=24656] ppid=24654 vsize=9824668 CPUtime=1799.19 cores=0,2,4,6 /proc/24656/stat : 24656 (java) S 24654 24656 23801 0 -1 4202496 32983 0 1 0 179774 145 0 0 20 0 22 0 253705412 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 140737271793408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24656/statm: 2456167 476598 2280 9 0 2446860 0 [pid=24656/tid=24658] ppid=24654 vsize=9824668 CPUtime=0.36 cores=0,2,4,6 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23801 0 -1 4202560 2560 0 1 0 33 3 0 0 20 0 22 0 253705414 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864119116792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24659] ppid=24654 vsize=9824668 CPUtime=7.48 cores=0,2,4,6 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23801 0 -1 4202560 2298 0 0 0 742 6 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864080608296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24660] ppid=24654 vsize=9824668 CPUtime=7.51 cores=0,2,4,6 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23801 0 -1 4202560 1023 0 0 0 745 6 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864079555496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24661] ppid=24654 vsize=9824668 CPUtime=6.73 cores=0,2,4,6 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23801 0 -1 4202560 969 0 0 0 667 6 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864078502696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24662] ppid=24654 vsize=9824668 CPUtime=7.2 cores=0,2,4,6 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23801 0 -1 4202560 1414 0 0 0 716 4 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864077449896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24663] ppid=24654 vsize=9824668 CPUtime=6.94 cores=0,2,4,6 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23801 0 -1 4202560 1324 0 0 0 689 5 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864076397096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24664] ppid=24654 vsize=9824668 CPUtime=6.88 cores=0,2,4,6 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23801 0 -1 4202560 1047 0 0 0 682 6 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864075344296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24665] ppid=24654 vsize=9824668 CPUtime=7.02 cores=0,2,4,6 /proc/24656/task/24665/stat : 24665 (java) S 24654 24656 23801 0 -1 4202560 1224 0 0 0 696 6 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864074291496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24666] ppid=24654 vsize=9824668 CPUtime=7.38 cores=0,2,4,6 /proc/24656/task/24666/stat : 24666 (java) S 24654 24656 23801 0 -1 4202560 1191 0 0 0 731 7 0 0 20 0 22 0 253705415 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139864073238696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24667] ppid=24654 vsize=9824668 CPUtime=155.71 cores=0,2,4,6 /proc/24656/task/24667/stat : 24667 (java) S 24654 24656 23801 0 -1 4202560 4640 0 0 0 15523 48 0 0 20 0 22 0 253705416 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863942728680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24656/tid=24668] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24668/stat : 24668 (java) S 24654 24656 23801 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863941674744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24669] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24669/stat : 24669 (java) S 24654 24656 23801 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253705417 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863940621832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24670] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24670/stat : 24670 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863939570320 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24671] ppid=24654 vsize=9824668 CPUtime=1.43 cores=0,2,4,6 /proc/24656/task/24671/stat : 24671 (java) S 24654 24656 23801 0 -1 4202560 9671 0 0 0 142 1 0 0 20 0 22 0 253705420 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863938517432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24672] ppid=24654 vsize=9824668 CPUtime=1.06 cores=0,2,4,6 /proc/24656/task/24672/stat : 24672 (java) S 24654 24656 23801 0 -1 4202560 3789 0 0 0 106 0 0 0 20 0 22 0 253705420 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863937464632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24673] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24673/stat : 24673 (java) S 24654 24656 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705420 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863936412024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24674] ppid=24654 vsize=9824668 CPUtime=0.3 cores=0,2,4,6 /proc/24656/task/24674/stat : 24674 (java) S 24654 24656 23801 0 -1 4202560 55 0 0 0 14 16 0 0 20 0 22 0 253705420 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863935359432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24681] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24681/stat : 24681 (java) S 24654 24656 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705492 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139863934305192 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24656/tid=24961] ppid=24654 vsize=9824668 CPUtime=550.77 cores=0,2,4,6 /proc/24656/task/24961/stat : 24961 (java) R 24654 24656 23801 0 -1 4202560 113 0 0 0 55068 9 0 0 20 0 22 0 253733569 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139862790361696 139863949651951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24656/tid=24962] ppid=24654 vsize=9824668 CPUtime=550.73 cores=0,2,4,6 /proc/24656/task/24962/stat : 24962 (java) R 24654 24656 23801 0 -1 4202560 92 0 0 0 55064 9 0 0 20 0 22 0 253733569 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139862789306704 139863950286324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24656/tid=24963] ppid=24654 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24656/task/24963/stat : 24963 (java) S 24654 24656 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253733569 10060460032 476598 33554432000 1073741824 1073778376 140737271802272 139862791414824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (KiB) 9824668 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 24656 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=590180 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=802725 # CPU time returned by wait4() is 1796.39 # while last known CPU time is 1799.19 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.870033 # lost CPU user time (s): 0.95002 # lost CPU system time (s): -0.08 Real time (s): 967.753 CPU time (s): 1800.06 CPU user time (s): 1798.69 CPU system time (s): 1.37 CPU usage (%): 186.004 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.59 system time used= 1.80272 maximum resident set size= 1906512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33015 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33253 involuntary context switches= 89503 runsolver used 3.43048 second user time and 8.75467 second system time The end
Begin job on node130 at 2012-05-24 18:09:58 IDJOB=3688190 IDBENCH=2886 IDSOLVER=2268 FILE ID=node130/3688190-1337875798 RUNJOBID= node130-1337871881-23817 PBS_JOBID= 14620074 Free space on /tmp= 71672 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-test1.r.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688190-1337875798/watcher-3688190-1337875798 -o /tmp/evaluation-result-3688190-1337875798/solver-3688190-1337875798 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688190-1337875798.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e6ac0bad8d074da12c63269189a8260 RANDOM SEED=719690888 node130.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.875 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.75 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.875 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.875 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 : 5331.91 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.875 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.86 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.875 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.91 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.875 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.875 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.91 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.875 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 : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29236108 kB Buffers: 196812 kB Cached: 2122808 kB SwapCached: 0 kB Active: 1042624 kB Inactive: 1823800 kB Active(anon): 549396 kB Inactive(anon): 0 kB Active(file): 493228 kB Inactive(file): 1823800 kB Unevictable: 7616 kB Mlocked: 7616 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 468 kB Writeback: 0 kB AnonPages: 558596 kB Mapped: 22588 kB Shmem: 200 kB Slab: 627232 kB SReclaimable: 69440 kB SUnreclaim: 557792 kB KernelStack: 1616 kB PageTables: 5688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 765252 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 471040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71672 MiB End job on node130 at 2012-05-24 18:26:08