Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 28 | 1800.05 | 1795.47 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb |
MD5SUM | 7294dff8a2fbe1f0b26c181010dcfed2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 0.357945 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 22 |
Optimality of the best value was proved | YES |
Number of variables | 3041 |
Total number of constraints | 7696 |
Number of constraints which are clauses | 7696 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 1510 |
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 | 1510 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1510 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.06/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.11 c See www.sat4j.org for details. 0.06/0.11 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.06/0.11 c version 2.3.2.v20120418 0.06/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.11 c java.vm.version 19.1-b02 0.06/0.11 c java.vm.vendor Sun Microsystems Inc. 0.06/0.11 c sun.arch.data.model 64 0.06/0.11 c java.version 1.6.0_24 0.06/0.11 c os.name Linux 0.06/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.11 c os.arch amd64 0.06/0.11 c Free memory 501472288 0.06/0.11 c Max memory 7480803328 0.06/0.11 c Total memory 504102912 0.06/0.11 c Number of processors 8 0.06/0.14 c read org.sat4j.minisat.orders.VarOrderHeap 0.06/0.14 c configuring ORDERS 0.06/0.15 c --- Begin Solver configuration --- 0.06/0.15 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.06/0.15 c Learn all clauses as in MiniSAT 0.06/0.15 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.06/0.15 c Expensive reason simplification 0.06/0.15 c Armin Biere (Picosat) restarts strategy 0.06/0.15 c Glucose learned constraints deletion strategy 0.06/0.15 c timeout=2147483s 0.06/0.15 c DB Simplification allowed=true 0.06/0.15 c Heuristics kept accross calls (keep the solver "hot") 0.06/0.15 c --- End Solver configuration --- 0.06/0.15 c solving HOME/instance-3710915-1338312570.opb 0.06/0.15 c reading problem ... 0.42/0.37 c ... done. Wall clock time 0.223s. 0.42/0.37 c declared #vars 3041 0.42/0.37 c #constraints 7696 0.42/0.37 c constraints type 0.42/0.37 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1539 0.42/0.37 c org.sat4j.minisat.constraints.cnf.UnitClause => 90 0.42/0.37 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6067 0.42/0.37 c 7696 constraints processed. 0.63/0.42 c SATISFIABLE 0.63/0.42 c OPTIMIZING... 0.63/0.42 c Got one! Elapsed wall clock time (in seconds):0.27 0.63/0.42 o 38 2.14/1.57 c cleaning 2495 clauses out of 5009 with flag 5000/5009 2.48/1.70 c Got one! Elapsed wall clock time (in seconds):1.556 2.48/1.70 o 37 3.29/2.59 c cleaning 4015 clauses out of 8100 with flag 5000/10595 3.92/3.17 c Got one! Elapsed wall clock time (in seconds):3.019 3.92/3.17 o 36 4.03/3.21 c Got one! Elapsed wall clock time (in seconds):3.065 4.03/3.21 o 35 4.16/3.31 c Got one! Elapsed wall clock time (in seconds):3.162 4.16/3.31 o 34 4.52/3.61 c cleaning 5076 clauses out of 10158 with flag 2000/16668 5.13/4.20 c Got one! Elapsed wall clock time (in seconds):4.053 5.13/4.20 o 33 5.46/4.55 c cleaning 5524 clauses out of 11050 with flag 2001/22636 6.51/5.58 c cleaning 5760 clauses out of 11526 with flag 8001/28636 7.91/6.92 c cleaning 6382 clauses out of 12765 with flag 15000/35635 9.41/8.47 c cleaning 7186 clauses out of 14383 with flag 23000/43635 10.82/9.87 c cleaning 8094 clauses out of 16198 with flag 32001/52636 12.62/11.62 c cleaning 9038 clauses out of 18105 with flag 42002/62637 14.12/13.12 c cleaning 10025 clauses out of 20065 with flag 53000/73635 16.02/15.05 c Got one! Elapsed wall clock time (in seconds):14.9 16.02/15.05 o 32 16.82/15.84 c cleaning 13402 clauses out of 26815 with flag 5000/90410 17.93/16.90 c cleaning 9696 clauses out of 19413 with flag 11000/96410 19.13/18.10 c Got one! Elapsed wall clock time (in seconds):17.952 19.13/18.10 o 31 20.14/19.10 c cleaning 10628 clauses out of 21304 with flag 5000/107997 21.34/20.36 c cleaning 8331 clauses out of 16676 with flag 11000/113997 22.55/21.59 c cleaning 7661 clauses out of 15345 with flag 18000/120997 24.05/23.01 c cleaning 7832 clauses out of 15684 with flag 26000/128997 25.45/24.42 c cleaning 8425 clauses out of 16853 with flag 35001/137998 27.25/26.30 c cleaning 9206 clauses out of 18427 with flag 45000/147997 29.25/28.23 c cleaning 10104 clauses out of 20221 with flag 56000/158997 31.26/30.22 c cleaning 11053 clauses out of 22118 with flag 68001/170998 33.67/32.62 c cleaning 12022 clauses out of 24064 with flag 81000/183997 35.97/34.93 c cleaning 13013 clauses out of 26042 with flag 95000/197997 38.58/37.51 c cleaning 14009 clauses out of 28030 with flag 110001/212998 41.38/40.31 c cleaning 15003 clauses out of 30021 with flag 126001/228998 44.58/43.59 c cleaning 15982 clauses out of 32017 with flag 143000/245997 48.08/47.03 c cleaning 16999 clauses out of 34035 with flag 161000/263997 51.79/50.73 c cleaning 18009 clauses out of 36036 with flag 180000/282997 55.11/54.05 c cleaning 19007 clauses out of 38027 with flag 200000/302997 58.81/57.71 c cleaning 19994 clauses out of 40020 with flag 221000/323997 63.32/62.22 c cleaning 21001 clauses out of 42026 with flag 243000/345997 66.62/65.58 c cleaning 22003 clauses out of 44025 with flag 266000/368997 70.12/69.03 c cleaning 23008 clauses out of 46022 with flag 290000/392997 74.74/73.67 c cleaning 24000 clauses out of 48014 with flag 315000/417997 79.56/78.40 c cleaning 25002 clauses out of 50015 with flag 341001/443998 84.27/83.11 c cleaning 25991 clauses out of 52012 with flag 368000/470997 88.58/87.40 c cleaning 27001 clauses out of 54021 with flag 396000/498997 93.08/91.98 c cleaning 27997 clauses out of 56020 with flag 425000/527997 99.29/98.16 c cleaning 29003 clauses out of 58023 with flag 455000/557997 105.61/104.42 c cleaning 30005 clauses out of 60020 with flag 486000/588997 111.13/109.92 c cleaning 30996 clauses out of 62015 with flag 518000/620997 116.96/115.71 c cleaning 32001 clauses out of 64021 with flag 551002/653999 122.47/121.23 c cleaning 32993 clauses out of 66018 with flag 585000/687997 128.47/127.28 c cleaning 34004 clauses out of 68025 with flag 620000/722997 128.69/127.46 c Got one! Elapsed wall clock time (in seconds):127.311 128.69/127.46 o 30 129.50/128.28 c cleaning 19499 clauses out of 39037 with flag 4000/728013 130.80/129.56 c cleaning 12746 clauses out of 25540 with flag 10002/734015 132.21/130.94 c cleaning 9885 clauses out of 19792 with flag 17000/741013 133.70/132.46 c cleaning 8946 clauses out of 17908 with flag 25001/749014 135.40/134.19 c cleaning 8972 clauses out of 17961 with flag 34000/758013 137.41/136.18 c cleaning 9484 clauses out of 18990 with flag 44001/768014 139.61/138.39 c cleaning 10242 clauses out of 20506 with flag 55001/779014 141.61/140.34 c cleaning 11132 clauses out of 22265 with flag 67002/791015 143.62/142.34 c cleaning 12061 clauses out of 24131 with flag 80000/804013 145.62/144.39 c cleaning 13027 clauses out of 26070 with flag 94000/818013 147.82/146.59 c cleaning 14021 clauses out of 28044 with flag 109001/833014 150.23/148.98 c cleaning 15001 clauses out of 30022 with flag 125000/849013 152.76/151.47 c cleaning 16002 clauses out of 32021 with flag 142000/866013 155.37/154.05 c cleaning 17001 clauses out of 34019 with flag 160000/884013 158.37/157.03 c cleaning 18004 clauses out of 36018 with flag 179000/903013 161.77/160.41 c cleaning 19000 clauses out of 38014 with flag 199000/923013 165.07/163.78 c cleaning 19997 clauses out of 40014 with flag 220000/944013 169.47/168.13 c cleaning 20992 clauses out of 42017 with flag 242000/966013 173.17/171.87 c cleaning 22006 clauses out of 44027 with flag 265002/989015 176.88/175.55 c cleaning 22992 clauses out of 46019 with flag 289000/1013013 181.20/179.87 c cleaning 24005 clauses out of 48027 with flag 314000/1038013 185.70/184.39 c cleaning 24998 clauses out of 50022 with flag 340000/1064013 190.22/188.87 c cleaning 26000 clauses out of 52025 with flag 367001/1091014 194.43/193.00 c cleaning 26992 clauses out of 54024 with flag 395000/1119013 198.86/197.40 c cleaning 27998 clauses out of 56032 with flag 424000/1148013 203.28/201.85 c cleaning 29009 clauses out of 58034 with flag 454000/1178013 208.59/207.18 c cleaning 30001 clauses out of 60025 with flag 485000/1209013 214.59/213.15 c cleaning 30996 clauses out of 62024 with flag 517000/1241013 221.13/219.63 c cleaning 32000 clauses out of 64028 with flag 550000/1274013 227.53/226.08 c cleaning 33010 clauses out of 66031 with flag 584003/1308016 233.87/232.34 c cleaning 34008 clauses out of 68019 with flag 619001/1343014 239.79/238.30 c cleaning 34996 clauses out of 70011 with flag 655001/1379014 246.79/245.20 c cleaning 36005 clauses out of 72015 with flag 692001/1416014 253.42/251.90 c cleaning 36984 clauses out of 74009 with flag 730000/1454013 260.23/258.61 c cleaning 37992 clauses out of 76025 with flag 769000/1493013 267.45/265.88 c cleaning 39002 clauses out of 78033 with flag 809000/1533013 275.49/273.80 c cleaning 39988 clauses out of 80032 with flag 850001/1574014 283.49/281.82 c cleaning 41008 clauses out of 82044 with flag 892001/1616014 291.32/289.66 c cleaning 42002 clauses out of 84035 with flag 935000/1659013 299.42/297.73 c cleaning 43000 clauses out of 86033 with flag 979000/1703013 307.96/306.22 c cleaning 44002 clauses out of 88033 with flag 1024000/1748013 315.68/313.94 c cleaning 44998 clauses out of 90031 with flag 1070000/1794013 324.41/322.65 c cleaning 46010 clauses out of 92033 with flag 1117000/1841013 333.43/331.67 c cleaning 46978 clauses out of 94023 with flag 1165000/1889013 342.65/340.82 c cleaning 48002 clauses out of 96046 with flag 1214001/1938014 351.98/350.12 c cleaning 49012 clauses out of 98044 with flag 1264001/1988014 357.90/356.05 c Got one! Elapsed wall clock time (in seconds):355.899 357.90/356.05 o 29 358.90/357.05 c cleaning 45659 clauses out of 91337 with flag 5000/2030319 359.84/357.99 c cleaning 25833 clauses out of 51679 with flag 11001/2036320 360.86/358.98 c cleaning 16415 clauses out of 32845 with flag 18000/2043319 362.07/360.17 c cleaning 12213 clauses out of 24433 with flag 26003/2051322 363.98/362.03 c cleaning 10601 clauses out of 21218 with flag 35001/2060320 365.88/363.98 c cleaning 10296 clauses out of 20616 with flag 45000/2070319 367.78/365.82 c cleaning 10652 clauses out of 21320 with flag 56000/2081319 369.28/367.32 c cleaning 11328 clauses out of 22668 with flag 68000/2093319 370.88/368.97 c cleaning 12163 clauses out of 24341 with flag 81001/2106320 372.71/370.79 c cleaning 13080 clauses out of 26177 with flag 95000/2120319 375.61/373.66 c cleaning 13997 clauses out of 28097 with flag 110000/2135319 378.63/376.60 c cleaning 15033 clauses out of 30100 with flag 126000/2151319 381.84/379.82 c cleaning 16003 clauses out of 32067 with flag 143000/2168319 385.14/383.10 c cleaning 17005 clauses out of 34064 with flag 161000/2186319 386.26/384.29 c Got one! Elapsed wall clock time (in seconds):384.146 386.26/384.29 o 28 387.36/385.37 c cleaning 15649 clauses out of 31369 with flag 5000/2200629 388.68/386.63 c cleaning 10834 clauses out of 21720 with flag 11000/2206629 389.98/387.96 c cleaning 8927 clauses out of 17886 with flag 18000/2213629 391.59/389.53 c cleaning 8441 clauses out of 16959 with flag 26000/2221629 393.31/391.29 c cleaning 8731 clauses out of 17518 with flag 35000/2230629 395.41/393.33 c cleaning 9374 clauses out of 18787 with flag 45000/2240629 397.61/395.50 c cleaning 10187 clauses out of 20413 with flag 56000/2251629 400.03/397.91 c cleaning 11097 clauses out of 22226 with flag 68000/2263629 402.66/400.53 c cleaning 12010 clauses out of 24129 with flag 81000/2276629 405.26/403.10 c cleaning 13053 clauses out of 26119 with flag 95000/2290629 407.48/405.36 c cleaning 14024 clauses out of 28066 with flag 110000/2305629 409.88/407.73 c cleaning 15012 clauses out of 30043 with flag 126001/2321630 412.39/410.24 c cleaning 16000 clauses out of 32030 with flag 143000/2338629 415.20/413.06 c cleaning 16999 clauses out of 34030 with flag 161000/2356629 418.32/416.13 c cleaning 18003 clauses out of 36032 with flag 180001/2375630 421.52/419.30 c cleaning 19001 clauses out of 38029 with flag 200001/2395630 424.65/422.50 c cleaning 20005 clauses out of 40027 with flag 221000/2416629 428.16/425.91 c cleaning 20994 clauses out of 42023 with flag 243001/2438630 432.76/430.54 c cleaning 21996 clauses out of 44028 with flag 266000/2461629 437.67/435.41 c cleaning 22992 clauses out of 46032 with flag 290000/2485629 442.39/440.13 c cleaning 23999 clauses out of 48040 with flag 315000/2510629 447.41/445.15 c cleaning 24993 clauses out of 50041 with flag 341000/2536629 452.61/450.39 c cleaning 25994 clauses out of 52050 with flag 368002/2563631 457.94/455.64 c cleaning 26992 clauses out of 54054 with flag 396000/2591629 463.54/461.21 c cleaning 27980 clauses out of 56062 with flag 425000/2620629 469.25/466.95 c cleaning 29021 clauses out of 58082 with flag 455000/2650629 473.86/471.50 c cleaning 30018 clauses out of 60061 with flag 486000/2681629 478.28/475.99 c cleaning 31010 clauses out of 62043 with flag 518000/2713629 483.21/480.85 c cleaning 32005 clauses out of 64033 with flag 551000/2746629 488.42/486.06 c cleaning 33001 clauses out of 66028 with flag 585000/2780629 493.62/491.21 c cleaning 34008 clauses out of 68027 with flag 620000/2815629 499.03/496.65 c cleaning 34995 clauses out of 70019 with flag 656000/2851629 504.65/502.21 c cleaning 36001 clauses out of 72024 with flag 693000/2888629 510.58/508.10 c cleaning 37004 clauses out of 74025 with flag 731002/2926631 516.70/514.25 c cleaning 37993 clauses out of 76019 with flag 770000/2965629 523.42/520.92 c cleaning 39006 clauses out of 78027 with flag 810001/3005630 530.45/527.94 c cleaning 40005 clauses out of 80020 with flag 851000/3046629 537.66/535.11 c cleaning 40999 clauses out of 82015 with flag 893000/3088629 544.77/542.24 c cleaning 42002 clauses out of 84016 with flag 936000/3131629 551.99/549.44 c cleaning 42996 clauses out of 86015 with flag 980001/3175630 558.92/556.32 c cleaning 43988 clauses out of 88018 with flag 1025000/3220629 565.73/563.17 c cleaning 45009 clauses out of 90032 with flag 1071002/3266631 574.16/571.52 c cleaning 45998 clauses out of 92021 with flag 1118000/3313629 583.16/580.59 c cleaning 47002 clauses out of 94023 with flag 1166000/3361629 593.17/590.55 c cleaning 47995 clauses out of 96021 with flag 1215000/3410629 601.80/599.14 c cleaning 48992 clauses out of 98026 with flag 1265000/3460629 610.40/607.78 c cleaning 49998 clauses out of 100035 with flag 1316001/3511630 618.83/616.13 c cleaning 50998 clauses out of 102036 with flag 1368000/3563629 627.45/624.73 c cleaning 52006 clauses out of 104038 with flag 1421000/3616629 636.68/633.98 c cleaning 53004 clauses out of 106032 with flag 1475000/3670629 647.89/645.18 c cleaning 53997 clauses out of 108028 with flag 1530000/3725629 659.80/657.02 c cleaning 54996 clauses out of 110031 with flag 1586000/3781629 672.21/669.44 c cleaning 55996 clauses out of 112035 with flag 1643000/3838629 684.72/682.00 c cleaning 57011 clauses out of 114040 with flag 1701001/3896630 697.55/694.74 c cleaning 57984 clauses out of 116028 with flag 1760000/3955629 708.56/705.74 c cleaning 59013 clauses out of 118044 with flag 1820000/4015629 718.39/715.51 c cleaning 60008 clauses out of 120031 with flag 1881000/4076629 728.31/725.49 c cleaning 60997 clauses out of 122023 with flag 1943000/4138629 738.95/736.08 c cleaning 61998 clauses out of 124027 with flag 2006001/4201630 749.56/746.65 c cleaning 63005 clauses out of 126029 with flag 2070001/4265630 761.18/758.20 c cleaning 64005 clauses out of 128028 with flag 2135005/4330634 772.30/769.32 c cleaning 64984 clauses out of 130018 with flag 2201000/4396629 783.71/780.78 c cleaning 66002 clauses out of 132034 with flag 2268000/4463629 795.04/792.05 c cleaning 67007 clauses out of 134032 with flag 2336000/4531629 806.24/803.21 c cleaning 68010 clauses out of 136025 with flag 2405000/4600629 818.46/815.46 c cleaning 68990 clauses out of 138015 with flag 2475000/4670629 829.59/826.53 c cleaning 70000 clauses out of 140026 with flag 2546001/4741630 841.34/838.20 c cleaning 70999 clauses out of 142025 with flag 2618000/4813629 854.75/851.61 c cleaning 72001 clauses out of 144026 with flag 2691000/4886629 866.38/863.28 c cleaning 73000 clauses out of 146025 with flag 2765000/4960629 878.11/874.98 c cleaning 74003 clauses out of 148025 with flag 2840000/5035629 889.76/886.51 c cleaning 75007 clauses out of 150023 with flag 2916001/5111630 901.48/898.28 c cleaning 75988 clauses out of 152015 with flag 2993000/5188629 915.31/912.08 c cleaning 76996 clauses out of 154027 with flag 3071000/5266629 928.84/925.50 c cleaning 77988 clauses out of 156031 with flag 3150000/5345629 943.56/940.27 c cleaning 78998 clauses out of 158045 with flag 3230002/5425631 956.79/953.47 c cleaning 80013 clauses out of 160045 with flag 3311000/5506629 970.82/967.46 c cleaning 81001 clauses out of 162032 with flag 3393000/5588629 984.14/980.75 c cleaning 82002 clauses out of 164033 with flag 3476002/5671631 997.86/994.43 c cleaning 82976 clauses out of 166029 with flag 3560000/5755629 1011.49/1008.03 c cleaning 84015 clauses out of 168053 with flag 3645000/5840629 1025.53/1022.04 c cleaning 84998 clauses out of 170039 with flag 3731001/5926630 1038.83/1035.31 c cleaning 86002 clauses out of 172040 with flag 3818000/6013629 1054.25/1050.72 c cleaning 87006 clauses out of 174038 with flag 3906000/6101629 1070.47/1066.95 c cleaning 87998 clauses out of 176032 with flag 3995000/6190629 1087.78/1084.29 c cleaning 89002 clauses out of 178034 with flag 4085000/6280629 1105.22/1101.62 c cleaning 89994 clauses out of 180032 with flag 4176000/6371629 1121.54/1117.99 c cleaning 91007 clauses out of 182038 with flag 4268000/6463629 1138.07/1134.41 c cleaning 92005 clauses out of 184031 with flag 4361000/6556629 1154.39/1150.73 c cleaning 92999 clauses out of 186026 with flag 4455000/6650629 1170.31/1166.60 c cleaning 93999 clauses out of 188027 with flag 4550000/6745629 1186.53/1182.81 c cleaning 95003 clauses out of 190029 with flag 4646001/6841630 1204.06/1200.32 c cleaning 96001 clauses out of 192025 with flag 4743000/6938629 1221.68/1217.99 c cleaning 96999 clauses out of 194025 with flag 4841001/7036630 1240.40/1236.68 c cleaning 98002 clauses out of 196025 with flag 4940000/7135629 1257.81/1254.04 c cleaning 98996 clauses out of 198023 with flag 5040000/7235629 1275.54/1271.62 c cleaning 99989 clauses out of 200027 with flag 5141000/7336629 1294.28/1290.36 c cleaning 101000 clauses out of 202038 with flag 5243000/7438629 1314.31/1310.35 c cleaning 101995 clauses out of 204038 with flag 5346000/7541629 1336.02/1332.08 c cleaning 103009 clauses out of 206043 with flag 5450000/7645629 1356.25/1352.24 c cleaning 104001 clauses out of 208034 with flag 5555000/7750629 1375.67/1371.64 c cleaning 105001 clauses out of 210034 with flag 5661001/7856630 1394.61/1390.52 c cleaning 106006 clauses out of 212033 with flag 5768001/7963630 1414.23/1410.17 c cleaning 106997 clauses out of 214026 with flag 5876000/8071629 1434.57/1430.42 c cleaning 107999 clauses out of 216029 with flag 5985000/8180629 1455.10/1450.97 c cleaning 108996 clauses out of 218030 with flag 6095000/8290629 1477.61/1473.41 c cleaning 110011 clauses out of 220034 with flag 6206000/8401629 1501.64/1497.44 c cleaning 110992 clauses out of 222023 with flag 6318000/8513629 1524.76/1520.54 c cleaning 111997 clauses out of 224031 with flag 6431000/8626629 1547.42/1543.18 c cleaning 113001 clauses out of 226036 with flag 6545002/8740631 1571.24/1566.99 c cleaning 114009 clauses out of 228034 with flag 6660001/8855630 1596.09/1591.72 c cleaning 114995 clauses out of 230024 with flag 6776000/8971629 1619.01/1614.69 c cleaning 116002 clauses out of 232031 with flag 6893002/9088631 1641.78/1637.38 c cleaning 117001 clauses out of 234027 with flag 7011000/9206629 1665.29/1660.89 c cleaning 117999 clauses out of 236026 with flag 7130000/9325629 1688.22/1683.76 c cleaning 119005 clauses out of 238028 with flag 7250001/9445630 1710.45/1705.92 c cleaning 120000 clauses out of 240022 with flag 7371000/9566629 1733.38/1728.82 c cleaning 120988 clauses out of 242023 with flag 7493001/9688630 1757.19/1752.61 c cleaning 122004 clauses out of 244034 with flag 7616000/9811629 1780.81/1776.26 c cleaning 122999 clauses out of 246030 with flag 7740000/9935629 1800.05/1795.41 c starts : 311 1800.05/1795.41 c conflicts : 10041887 1800.05/1795.41 c decisions : 30454191 1800.05/1795.41 c propagations : 7636282428 1800.05/1795.41 c inspects : 10380697069 1800.05/1795.41 c shortcuts : 0 1800.05/1795.41 c learnt literals : 0 1800.05/1795.41 c learnt binary clauses : 0 1800.05/1795.41 c learnt ternary clauses : 3 1800.05/1795.41 c learnt constraints : 10041887 1800.05/1795.41 c ignored constraints : 0 1800.05/1795.41 c root simplifications : 311 1800.05/1795.41 c removed literals (reason simplification) : 6386515 1800.05/1795.41 c reason swapping (by a shorter reason) : 0 1800.05/1795.41 c Calls to reduceDB : 223 1800.05/1795.41 c number of reductions to clauses (during analyze) : 0 1800.05/1795.41 c number of learned constraints concerned by reduction : 0 1800.05/1795.41 c number of learning phase by resolution : 0 1800.05/1795.41 c number of learning phase by cutting planes : 0 1800.05/1795.41 c speed (assignments/second) : 4254118.944888478 1800.05/1795.41 c non guided choices 1932 1800.05/1795.44 c learnt constraints type 1800.05/1795.44 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 229436 1800.05/1795.44 c constraints type 1800.05/1795.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1539 1800.05/1795.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.05/1795.44 c org.sat4j.minisat.constraints.cnf.UnitClause => 90 1800.05/1795.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6067 1800.05/1795.44 c 7697 constraints processed. 1800.05/1795.44 s SATISFIABLE 1800.05/1795.45 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 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 x3041 1800.05/1795.45 c objective function=28 1800.05/1795.45 c Total wall clock time (in seconds): 1795.307
OK 28
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-3710915-1338312570/watcher-3710915-1338312570 -o /tmp/evaluation-result-3710915-1338312570/solver-3710915-1338312570 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710915-1338312570.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: 1.00 0.99 1.00 2/171 19524 /proc/meminfo: memFree=28199088/32873624 swapFree=7112/7112 [pid=19524] ppid=19522 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/19524/stat : 19524 (java) D 19522 19524 19409 0 -1 4202496 248 0 1 0 0 0 0 0 20 0 1 0 297382442 9515008 182 33554432000 1073741824 1073778376 140734757804352 140734757795384 227512499893 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/19524/statm: 2323 182 140 9 0 71 0 [startup+0.104476 s] /proc/loadavg: 1.00 0.99 1.00 2/171 19524 /proc/meminfo: memFree=28199088/32873624 swapFree=7112/7112 [pid=19524] ppid=19522 vsize=9558440 CPUtime=0.06 cores=0,2,4,6 /proc/19524/stat : 19524 (java) S 19522 19524 19409 0 -1 4202496 3374 0 4 0 5 1 0 0 20 0 18 0 297382442 9787842560 4585 33554432000 1073741824 1073778376 140735952168352 140735952159488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/19524/statm: 2389610 4586 1778 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558440 [startup+0.200272 s] /proc/loadavg: 1.00 0.99 1.00 2/171 19524 /proc/meminfo: memFree=28199088/32873624 swapFree=7112/7112 [pid=19524] ppid=19522 vsize=9558440 CPUtime=0.21 cores=0,2,4,6 /proc/19524/stat : 19524 (java) S 19522 19524 19409 0 -1 4202496 4703 0 4 0 20 1 0 0 20 0 18 0 297382442 9787842560 6404 33554432000 1073741824 1073778376 140735952168352 140735952159488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/19524/statm: 2389610 6404 2193 9 0 2380296 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 9558440 [startup+0.300282 s] /proc/loadavg: 1.00 0.99 1.00 2/171 19524 /proc/meminfo: memFree=28199088/32873624 swapFree=7112/7112 [pid=19524] ppid=19522 vsize=9558440 CPUtime=0.42 cores=0,2,4,6 /proc/19524/stat : 19524 (java) S 19522 19524 19409 0 -1 4202496 5530 0 4 0 41 1 0 0 20 0 18 0 297382442 9787842560 7821 33554432000 1073741824 1073778376 140735952168352 140735952159488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/19524/statm: 2389610 7821 2223 9 0 2380296 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 9558440 [startup+0.700226 s] /proc/loadavg: 1.00 0.99 1.00 2/171 19524 /proc/meminfo: memFree=28199088/32873624 swapFree=7112/7112 [pid=19524] ppid=19522 vsize=9625004 CPUtime=1.29 cores=0,2,4,6 /proc/19524/stat : 19524 (java) S 19522 19524 19409 0 -1 4202496 11476 0 4 0 126 3 0 0 20 0 19 0 297382442 9856004096 14310 33554432000 1073741824 1073778376 140735952168352 140735952159488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/19524/statm: 2406251 14310 2256 9 0 2396937 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 9625004 [startup+1.5006 s] /proc/loadavg: 1.16 1.02 1.01 3/211 19571 /proc/meminfo: memFree=28075612/32873624 swapFree=7112/7112 [pid=19524] ppid=19522 vsize=9625004 CPUtime=2.14 cores=0,2,4,6 /proc/19524/stat : 19524 (java) S 19522 19524 19409 0 -1 4202496 11727 0 4 0 211 3 0 0 20 0 19 0 297382442 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 140735952159488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/19524/statm: 2406251 14315 2260 9 0 2396937 0 [pid=19524/tid=19526] ppid=19522 vsize=9625004 CPUtime=1.44 cores=0,2,4,6 /proc/19524/task/19526/stat : 19526 (java) R 19522 19524 19409 0 -1 4202560 2518 0 1 0 143 1 0 0 20 0 19 0 297382445 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784327716552 139784157208919 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19532] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19532/stat : 19532 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784289208872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19533] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19533/stat : 19533 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784288156072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19534] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19534/stat : 19534 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784287103272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19535] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19535/stat : 19535 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784286050472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19536] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19536/stat : 19536 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784284998696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19537] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19537/stat : 19537 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784283945896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19538] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19538/stat : 19538 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784282893096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19539] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19539/stat : 19539 (java) S 19522 19524 19409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784281840296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19544] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19544/stat : 19544 (java) S 19522 19524 19409 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 297382447 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784151341544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19545] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19545/stat : 19545 (java) S 19522 19524 19409 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784150287608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19546] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19546/stat : 19546 (java) S 19522 19524 19409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784149234696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19560] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19560/stat : 19560 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784148183184 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19561] ppid=19522 vsize=9625004 CPUtime=0.33 cores=0,2,4,6 /proc/19524/task/19561/stat : 19561 (java) S 19522 19524 19409 0 -1 4202560 5488 0 0 0 33 0 0 0 20 0 19 0 297382451 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784147131320 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19562] ppid=19522 vsize=9625004 CPUtime=0.32 cores=0,2,4,6 /proc/19524/task/19562/stat : 19562 (java) S 19522 19524 19409 0 -1 4202560 2529 0 0 0 32 0 0 0 20 0 19 0 297382451 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784146078520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19563] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19563/stat : 19563 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784145025912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19564] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19564/stat : 19564 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784143973320 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19570] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19570/stat : 19570 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382480 9856004096 14315 33554432000 1073741824 1073778376 140735952168352 139784142918824 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.14 Current children cumulated vsize (KiB) 9625004 [startup+3.10061 s] /proc/loadavg: 1.16 1.02 1.01 3/211 19571 /proc/meminfo: memFree=28061960/32873624 swapFree=7112/7112 [pid=19524] ppid=19522 vsize=9625004 CPUtime=3.92 cores=0,2,4,6 /proc/19524/stat : 19524 (java) S 19522 19524 19409 0 -1 4202496 13642 0 4 0 388 4 0 0 20 0 19 0 297382442 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 140735952159488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/19524/statm: 2406251 17565 2286 9 0 2396937 0 [pid=19524/tid=19526] ppid=19522 vsize=9625004 CPUtime=3.01 cores=0,2,4,6 /proc/19524/task/19526/stat : 19526 (java) R 19522 19524 19409 0 -1 4202560 2523 0 1 0 300 1 0 0 20 0 19 0 297382445 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784327717168 139784157327626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19532] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19532/stat : 19532 (java) S 19522 19524 19409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784289208872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19533] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19533/stat : 19533 (java) S 19522 19524 19409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784288156072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19534] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19534/stat : 19534 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784287103272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19535] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19535/stat : 19535 (java) S 19522 19524 19409 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784286050472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19536] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19536/stat : 19536 (java) S 19522 19524 19409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784284998696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19537] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19537/stat : 19537 (java) S 19522 19524 19409 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784283945896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19538] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19538/stat : 19538 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784282893096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19539] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19539/stat : 19539 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784281840296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19544] ppid=19522 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/19524/task/19544/stat : 19544 (java) S 19522 19524 19409 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 297382447 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784151341544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19545] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19545/stat : 19545 (java) S 19522 19524 19409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784150287608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19546] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19546/stat : 19546 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784149234696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19560] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19560/stat : 19560 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784148183184 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19561] ppid=19522 vsize=9625004 CPUtime=0.47 cores=0,2,4,6 /proc/19524/task/19561/stat : 19561 (java) S 19522 19524 19409 0 -1 4202560 7339 0 0 0 46 1 0 0 20 0 19 0 297382451 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784147131320 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19562] ppid=19522 vsize=9625004 CPUtime=0.35 cores=0,2,4,6 /proc/19524/task/19562/stat : 19562 (java) S 19522 19524 19409 0 -1 4202560 2533 0 0 0 35 0 0 0 20 0 19 0 297382451 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784146078520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19563] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19563/stat : 19563 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784145025912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19564] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19564/stat : 19564 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784143973320 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19570] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19570/stat : 19570 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382480 9856004096 17565 33554432000 1073741824 1073778376 140735952168352 139784142918824 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 9625004 [startup+6.30062 s] /proc/loadavg: 1.23 1.04 1.02 3/211 19571 /proc/meminfo: memFree=28044528/32873624 swapFree=7112/7112 [pid=19524] ppid=19522 vsize=9625004 CPUtime=7.31 cores=0,2,4,6 /proc/19524/stat : 19524 (java) S 19522 19524 19409 0 -1 4202496 14866 0 4 0 727 4 0 0 20 0 19 0 297382442 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 140735952159488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/19524/statm: 2406251 16553 2286 9 0 2396937 0 [pid=19524/tid=19526] ppid=19522 vsize=9625004 CPUtime=6.15 cores=0,2,4,6 /proc/19524/task/19526/stat : 19526 (java) R 19522 19524 19409 0 -1 4202560 2525 0 1 0 614 1 0 0 20 0 19 0 297382445 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784327717168 139784157266724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19532] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19532/stat : 19532 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784289208872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19533] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19533/stat : 19533 (java) S 19522 19524 19409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784288156072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19534] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19534/stat : 19534 (java) S 19522 19524 19409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784287103272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19535] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19535/stat : 19535 (java) S 19522 19524 19409 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784286050472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19536] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19536/stat : 19536 (java) S 19522 19524 19409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784284998696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19537] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19537/stat : 19537 (java) S 19522 19524 19409 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784283945896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19538] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19538/stat : 19538 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784282893096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19539] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19539/stat : 19539 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382446 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784281840296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19544] ppid=19522 vsize=9625004 CPUtime=0.05 cores=0,2,4,6 /proc/19524/task/19544/stat : 19544 (java) S 19522 19524 19409 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 297382447 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784151341544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19545] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19545/stat : 19545 (java) S 19522 19524 19409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784150287608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19546] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19546/stat : 19546 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784149234696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19560] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19560/stat : 19560 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784148183184 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19561] ppid=19522 vsize=9625004 CPUtime=0.52 cores=0,2,4,6 /proc/19524/task/19561/stat : 19561 (java) S 19522 19524 19409 0 -1 4202560 7339 0 0 0 51 1 0 0 20 0 19 0 297382451 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784147131320 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19562] ppid=19522 vsize=9625004 CPUtime=0.48 cores=0,2,4,6 /proc/19524/task/19562/stat : 19562 (java) S 19522 19524 19409 0 -1 4202560 3746 0 0 0 48 0 0 0 20 0 19 0 297382451 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784146078520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19563] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19563/stat : 19563 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784145025912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19564] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19564/stat : 19564 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784143973320 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19570] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19570/stat : 19570 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382480 9856004096 16553 33554432000 1073741824 1073778376 140735952168352 139784142918824 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.31 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=19524/tid=19561] ppid=19522 vsize=9625004 CPUtime=0.57 cores=0,2,4,6 /proc/19524/task/19561/stat : 19561 (java) S 19522 19524 19409 0 -1 4202560 7343 0 0 0 55 2 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784147131320 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19562] ppid=19522 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/19524/task/19562/stat : 19562 (java) S 19522 19524 19409 0 -1 4202560 3746 0 0 0 49 0 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784146078520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19563] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19563/stat : 19563 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784145025912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19564] ppid=19522 vsize=9625004 CPUtime=0.22 cores=0,2,4,6 /proc/19524/task/19564/stat : 19564 (java) S 19522 19524 19409 0 -1 4202560 99 0 0 0 12 10 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784143973320 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19570] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19570/stat : 19570 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382480 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784142918824 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1726.88 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 1.83 3/211 19586 /proc/meminfo: memFree=27884276/32873624 swapFree=7112/7112 [pid=19524] ppid=19522 vsize=9625004 CPUtime=1786.94 cores=0,2,4,6 /proc/19524/stat : 19524 (java) S 19522 19524 19409 0 -1 4202496 16022 0 4 0 178664 30 0 0 20 0 19 0 297382442 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 140735952159488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/19524/statm: 2406251 40095 2287 9 0 2396937 0 [pid=19524/tid=19526] ppid=19522 vsize=9625004 CPUtime=1769.5 cores=0,2,4,6 /proc/19524/task/19526/stat : 19526 (java) R 19522 19524 19409 0 -1 4202560 2747 0 1 0 176919 31 0 0 20 0 19 0 297382445 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784327717168 139784157267359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19532] ppid=19522 vsize=9625004 CPUtime=0.69 cores=0,2,4,6 /proc/19524/task/19532/stat : 19532 (java) S 19522 19524 19409 0 -1 4202560 128 0 0 0 67 2 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784289208872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19533] ppid=19522 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/19524/task/19533/stat : 19533 (java) S 19522 19524 19409 0 -1 4202560 46 0 0 0 64 0 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784288156072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19534] ppid=19522 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/19524/task/19534/stat : 19534 (java) S 19522 19524 19409 0 -1 4202560 106 0 0 0 61 2 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784287103272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19535] ppid=19522 vsize=9625004 CPUtime=0.57 cores=0,2,4,6 /proc/19524/task/19535/stat : 19535 (java) S 19522 19524 19409 0 -1 4202560 147 0 0 0 57 0 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784286050472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19536] ppid=19522 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/19524/task/19536/stat : 19536 (java) S 19522 19524 19409 0 -1 4202560 115 0 0 0 67 0 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784284998696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19537] ppid=19522 vsize=9625004 CPUtime=0.7 cores=0,2,4,6 /proc/19524/task/19537/stat : 19537 (java) S 19522 19524 19409 0 -1 4202560 86 0 0 0 69 1 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784283945896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19538] ppid=19522 vsize=9625004 CPUtime=0.73 cores=0,2,4,6 /proc/19524/task/19538/stat : 19538 (java) S 19522 19524 19409 0 -1 4202560 76 0 0 0 71 2 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784282893096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19539] ppid=19522 vsize=9625004 CPUtime=0.65 cores=0,2,4,6 /proc/19524/task/19539/stat : 19539 (java) S 19522 19524 19409 0 -1 4202560 44 0 0 0 64 1 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784281840296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19544] ppid=19522 vsize=9625004 CPUtime=6.35 cores=0,2,4,6 /proc/19524/task/19544/stat : 19544 (java) S 19522 19524 19409 0 -1 4202560 156 0 0 0 634 1 0 0 20 0 19 0 297382447 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784151341544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19545] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19545/stat : 19545 (java) S 19522 19524 19409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784150287608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19546] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19546/stat : 19546 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784149234696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19560] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19560/stat : 19560 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784148183184 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19561] ppid=19522 vsize=9625004 CPUtime=0.57 cores=0,2,4,6 /proc/19524/task/19561/stat : 19561 (java) S 19522 19524 19409 0 -1 4202560 7343 0 0 0 55 2 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784147131320 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19562] ppid=19522 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/19524/task/19562/stat : 19562 (java) S 19522 19524 19409 0 -1 4202560 3746 0 0 0 49 0 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784146078520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19563] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19563/stat : 19563 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784145025912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19564] ppid=19522 vsize=9625004 CPUtime=0.22 cores=0,2,4,6 /proc/19524/task/19564/stat : 19564 (java) S 19522 19524 19409 0 -1 4202560 103 0 0 0 12 10 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784143973320 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19570] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19570/stat : 19570 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382480 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784142918824 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1786.94 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.4 s] /proc/loadavg: 2.00 2.00 1.83 3/211 19586 /proc/meminfo: memFree=27884404/32873624 swapFree=7112/7112 [pid=19524] ppid=19522 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6 /proc/19524/stat : 19524 (java) S 19522 19524 19409 0 -1 4202496 16022 0 4 0 179975 30 0 0 20 0 19 0 297382442 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 140735952159488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/19524/statm: 2406251 40095 2287 9 0 2396937 0 [pid=19524/tid=19526] ppid=19522 vsize=9625004 CPUtime=1782.57 cores=0,2,4,6 /proc/19524/task/19526/stat : 19526 (java) R 19522 19524 19409 0 -1 4202560 2747 0 1 0 178225 32 0 0 20 0 19 0 297382445 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784327717168 139784157268486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19532] ppid=19522 vsize=9625004 CPUtime=0.69 cores=0,2,4,6 /proc/19524/task/19532/stat : 19532 (java) S 19522 19524 19409 0 -1 4202560 128 0 0 0 67 2 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784289208872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19533] ppid=19522 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/19524/task/19533/stat : 19533 (java) S 19522 19524 19409 0 -1 4202560 46 0 0 0 64 0 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784288156072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19534] ppid=19522 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/19524/task/19534/stat : 19534 (java) S 19522 19524 19409 0 -1 4202560 106 0 0 0 61 2 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784287103272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19535] ppid=19522 vsize=9625004 CPUtime=0.57 cores=0,2,4,6 /proc/19524/task/19535/stat : 19535 (java) S 19522 19524 19409 0 -1 4202560 147 0 0 0 57 0 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784286050472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19536] ppid=19522 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/19524/task/19536/stat : 19536 (java) S 19522 19524 19409 0 -1 4202560 115 0 0 0 67 0 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784284998696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19537] ppid=19522 vsize=9625004 CPUtime=0.7 cores=0,2,4,6 /proc/19524/task/19537/stat : 19537 (java) S 19522 19524 19409 0 -1 4202560 86 0 0 0 69 1 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784283945896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19538] ppid=19522 vsize=9625004 CPUtime=0.73 cores=0,2,4,6 /proc/19524/task/19538/stat : 19538 (java) S 19522 19524 19409 0 -1 4202560 76 0 0 0 71 2 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784282893096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19539] ppid=19522 vsize=9625004 CPUtime=0.65 cores=0,2,4,6 /proc/19524/task/19539/stat : 19539 (java) S 19522 19524 19409 0 -1 4202560 44 0 0 0 64 1 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784281840296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19544] ppid=19522 vsize=9625004 CPUtime=6.35 cores=0,2,4,6 /proc/19524/task/19544/stat : 19544 (java) S 19522 19524 19409 0 -1 4202560 156 0 0 0 634 1 0 0 20 0 19 0 297382447 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784151341544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19545] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19545/stat : 19545 (java) S 19522 19524 19409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784150287608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19546] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19546/stat : 19546 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784149234696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19560] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19560/stat : 19560 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784148183184 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19561] ppid=19522 vsize=9625004 CPUtime=0.57 cores=0,2,4,6 /proc/19524/task/19561/stat : 19561 (java) S 19522 19524 19409 0 -1 4202560 7343 0 0 0 55 2 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784147131320 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19562] ppid=19522 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/19524/task/19562/stat : 19562 (java) S 19522 19524 19409 0 -1 4202560 3746 0 0 0 49 0 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784146078520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19563] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19563/stat : 19563 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784145025912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19564] ppid=19522 vsize=9625004 CPUtime=0.22 cores=0,2,4,6 /proc/19524/task/19564/stat : 19564 (java) S 19522 19524 19409 0 -1 4202560 103 0 0 0 12 10 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784143973320 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19570] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19570/stat : 19570 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382480 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784142918824 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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+1795.4 s] /proc/loadavg: 2.00 2.00 1.83 3/211 19586 /proc/meminfo: memFree=27884404/32873624 swapFree=7112/7112 [pid=19524] ppid=19522 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6 /proc/19524/stat : 19524 (java) S 19522 19524 19409 0 -1 4202496 16022 0 4 0 179975 30 0 0 20 0 19 0 297382442 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 140735952159488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 /proc/19524/statm: 2406251 40095 2287 9 0 2396937 0 [pid=19524/tid=19526] ppid=19522 vsize=9625004 CPUtime=1782.57 cores=0,2,4,6 /proc/19524/task/19526/stat : 19526 (java) R 19522 19524 19409 0 -1 4202560 2747 0 1 0 178225 32 0 0 20 0 19 0 297382445 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784327717168 139784157268486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19532] ppid=19522 vsize=9625004 CPUtime=0.69 cores=0,2,4,6 /proc/19524/task/19532/stat : 19532 (java) S 19522 19524 19409 0 -1 4202560 128 0 0 0 67 2 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784289208872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19533] ppid=19522 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/19524/task/19533/stat : 19533 (java) S 19522 19524 19409 0 -1 4202560 46 0 0 0 64 0 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784288156072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19534] ppid=19522 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/19524/task/19534/stat : 19534 (java) S 19522 19524 19409 0 -1 4202560 106 0 0 0 61 2 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784287103272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19535] ppid=19522 vsize=9625004 CPUtime=0.57 cores=0,2,4,6 /proc/19524/task/19535/stat : 19535 (java) S 19522 19524 19409 0 -1 4202560 147 0 0 0 57 0 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784286050472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19536] ppid=19522 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/19524/task/19536/stat : 19536 (java) S 19522 19524 19409 0 -1 4202560 115 0 0 0 67 0 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784284998696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19537] ppid=19522 vsize=9625004 CPUtime=0.7 cores=0,2,4,6 /proc/19524/task/19537/stat : 19537 (java) S 19522 19524 19409 0 -1 4202560 86 0 0 0 69 1 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784283945896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19538] ppid=19522 vsize=9625004 CPUtime=0.73 cores=0,2,4,6 /proc/19524/task/19538/stat : 19538 (java) S 19522 19524 19409 0 -1 4202560 76 0 0 0 71 2 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784282893096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19524/tid=19539] ppid=19522 vsize=9625004 CPUtime=0.65 cores=0,2,4,6 /proc/19524/task/19539/stat : 19539 (java) S 19522 19524 19409 0 -1 4202560 44 0 0 0 64 1 0 0 20 0 19 0 297382446 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784281840296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19544] ppid=19522 vsize=9625004 CPUtime=6.35 cores=0,2,4,6 /proc/19524/task/19544/stat : 19544 (java) S 19522 19524 19409 0 -1 4202560 156 0 0 0 634 1 0 0 20 0 19 0 297382447 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784151341544 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19545] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19545/stat : 19545 (java) S 19522 19524 19409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784150287608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19546] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19546/stat : 19546 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382448 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784149234696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19560] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19560/stat : 19560 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784148183184 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19561] ppid=19522 vsize=9625004 CPUtime=0.57 cores=0,2,4,6 /proc/19524/task/19561/stat : 19561 (java) S 19522 19524 19409 0 -1 4202560 7343 0 0 0 55 2 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784147131320 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19524/tid=19562] ppid=19522 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/19524/task/19562/stat : 19562 (java) S 19522 19524 19409 0 -1 4202560 3746 0 0 0 49 0 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784146078520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19563] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19563/stat : 19563 (java) S 19522 19524 19409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784145025912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19524/tid=19564] ppid=19522 vsize=9625004 CPUtime=0.22 cores=0,2,4,6 /proc/19524/task/19564/stat : 19564 (java) S 19522 19524 19409 0 -1 4202560 103 0 0 0 12 10 0 0 20 0 19 0 297382451 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784143973320 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19524/tid=19570] ppid=19522 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/19524/task/19570/stat : 19570 (java) S 19522 19524 19409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297382480 9856004096 40095 33554432000 1073741824 1073778376 140735952168352 139784142918824 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9625004 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19524 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=211086 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=672897 # CPU time returned by wait4() is 1795.88 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.47 CPU time (s): 1800.05 CPU user time (s): 1799.75 CPU system time (s): 0.3 CPU usage (%): 100.255 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.21 system time used= 0.672897 maximum resident set size= 162552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16057 page faults= 4 swaps= 0 block input operations= 112 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 44152 involuntary context switches= 33085 runsolver used 5.83011 second user time and 13.114 second system time The end
Begin job on node121 at 2012-05-29 19:29:30 IDJOB=3710915 IDBENCH=24979 IDSOLVER=2289 FILE ID=node121/3710915-1338312570 RUNJOBID= node121-1338312569-19506 PBS_JOBID= 14632107 Free space on /tmp= 71564 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.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-3710915-1338312570/watcher-3710915-1338312570 -o /tmp/evaluation-result-3710915-1338312570/solver-3710915-1338312570 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710915-1338312570.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7294dff8a2fbe1f0b26c181010dcfed2 RANDOM SEED=2024449731 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 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 : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 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 : 2667.042 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 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 : 2667.042 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 : 2667.042 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 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 : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 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: 32873624 kB MemFree: 28200096 kB Buffers: 581876 kB Cached: 3211428 kB SwapCached: 0 kB Active: 1137160 kB Inactive: 2671680 kB Active(anon): 2324 kB Inactive(anon): 10624 kB Active(file): 1134836 kB Inactive(file): 2661056 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 788 kB Writeback: 0 kB AnonPages: 17344 kB Mapped: 13364 kB Shmem: 200 kB Slab: 727104 kB SReclaimable: 171676 kB SUnreclaim: 555428 kB KernelStack: 1360 kB PageTables: 3840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 92856 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71560 MiB End job on node121 at 2012-05-29 19:59:27