Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | OPT | 8 | 1648.93 | 1639.68 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_10.r.opb |
MD5SUM | e965a77006f54aa5fb414d88d571084c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 0.018996 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8 |
Optimality of the best value was proved | YES |
Number of variables | 99 |
Total number of constraints | 50 |
Number of constraints which are clauses | 50 |
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 | 10 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 99 |
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 | 99 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 99 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.02/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.07 c See www.sat4j.org for details. 0.02/0.07 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.02/0.07 c version 2.3.2.v20120418 0.02/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.07 c java.vm.version 19.1-b02 0.02/0.07 c java.vm.vendor Sun Microsystems Inc. 0.02/0.07 c sun.arch.data.model 64 0.02/0.07 c java.version 1.6.0_24 0.02/0.07 c os.name Linux 0.02/0.07 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.07 c os.arch amd64 0.02/0.07 c Free memory 501472288 0.02/0.07 c Max memory 7480803328 0.02/0.07 c Total memory 504102912 0.02/0.07 c Number of processors 8 0.10/0.11 c read org.sat4j.minisat.orders.VarOrderHeap 0.10/0.11 c configuring ORDERS 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=true 0.10/0.11 c Heuristics kept accross calls (keep the solver "hot") 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3710798-1338152866.opb 0.10/0.11 c reading problem ... 0.10/0.14 c ... done. Wall clock time 0.027s. 0.10/0.14 c declared #vars 99 0.10/0.14 c #constraints 50 0.10/0.14 c constraints type 0.10/0.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50 0.10/0.14 c 50 constraints processed. 0.10/0.14 c SATISFIABLE 0.10/0.14 c OPTIMIZING... 0.10/0.14 c Got one! Elapsed wall clock time (in seconds):0.032 0.10/0.14 o 13 0.52/0.37 c cleaning 2494 clauses out of 5000 with flag 5000/5000 0.77/0.49 c cleaning 4251 clauses out of 8506 with flag 11000/11000 1.13/0.60 c cleaning 5624 clauses out of 11255 with flag 18000/18000 1.24/0.74 c cleaning 6808 clauses out of 13632 with flag 26001/26001 1.46/0.91 c cleaning 7905 clauses out of 15823 with flag 35000/35000 1.57/1.01 c Got one! Elapsed wall clock time (in seconds):0.898 1.57/1.01 o 12 1.67/1.11 c cleaning 9446 clauses out of 18896 with flag 5000/45978 1.76/1.23 c cleaning 7714 clauses out of 15450 with flag 11000/51978 1.88/1.36 c cleaning 7351 clauses out of 14736 with flag 18000/58978 1.98/1.49 c cleaning 7687 clauses out of 15385 with flag 26000/66978 2.18/1.67 c cleaning 8345 clauses out of 16698 with flag 35000/75978 2.38/1.86 c cleaning 9170 clauses out of 18354 with flag 45001/85979 2.58/2.05 c cleaning 10080 clauses out of 20183 with flag 56000/96978 2.82/2.27 c cleaning 11038 clauses out of 22105 with flag 68002/108980 3.13/2.54 c cleaning 12029 clauses out of 24070 with flag 81005/121983 3.45/2.82 c cleaning 13014 clauses out of 26036 with flag 95000/135978 3.75/3.13 c cleaning 14006 clauses out of 28024 with flag 110002/150980 4.05/3.48 c cleaning 14999 clauses out of 30016 with flag 126000/166978 4.46/3.87 c cleaning 15999 clauses out of 32019 with flag 143002/183980 4.88/4.29 c cleaning 16997 clauses out of 34018 with flag 161000/201978 5.29/4.69 c cleaning 17999 clauses out of 36021 with flag 180000/220978 5.80/5.13 c cleaning 19002 clauses out of 38022 with flag 200000/240978 6.31/5.64 c cleaning 20006 clauses out of 40022 with flag 221002/261980 6.91/6.20 c cleaning 20997 clauses out of 42014 with flag 243000/283978 7.41/6.78 c cleaning 22001 clauses out of 44017 with flag 266000/306978 8.02/7.39 c cleaning 23002 clauses out of 46019 with flag 290003/330981 8.72/8.00 c cleaning 24006 clauses out of 48021 with flag 315007/355985 9.32/8.68 c cleaning 24991 clauses out of 50008 with flag 341000/381978 10.14/9.46 c cleaning 26008 clauses out of 52019 with flag 368002/408980 10.84/10.18 c cleaning 26999 clauses out of 54009 with flag 396000/436978 11.76/11.01 c cleaning 27989 clauses out of 56010 with flag 425000/465978 12.56/11.80 c cleaning 28996 clauses out of 58022 with flag 455001/495979 13.47/12.72 c cleaning 30000 clauses out of 60025 with flag 486000/526978 13.57/12.81 c Got one! Elapsed wall clock time (in seconds):12.698 13.57/12.81 o 11 13.67/12.90 c cleaning 17599 clauses out of 35210 with flag 2002/532163 13.79/13.04 c cleaning 11796 clauses out of 23609 with flag 8000/538161 13.90/13.17 c cleaning 9394 clauses out of 18813 with flag 15000/545161 14.10/13.32 c cleaning 8695 clauses out of 17419 with flag 23000/553161 14.21/13.48 c cleaning 8847 clauses out of 17725 with flag 32001/562162 14.43/13.66 c cleaning 9426 clauses out of 18877 with flag 42000/572161 14.63/13.86 c cleaning 10215 clauses out of 20452 with flag 53001/583162 14.94/14.10 c cleaning 11107 clauses out of 22236 with flag 65000/595161 15.15/14.36 c cleaning 12054 clauses out of 24130 with flag 78001/608162 15.46/14.63 c cleaning 13024 clauses out of 26075 with flag 92000/622161 15.77/14.94 c cleaning 14018 clauses out of 28051 with flag 107000/637161 16.07/15.27 c cleaning 15005 clauses out of 30033 with flag 123000/653161 16.49/15.65 c cleaning 15999 clauses out of 32029 with flag 140001/670162 16.89/16.05 c cleaning 17003 clauses out of 34029 with flag 158000/688161 17.41/16.50 c cleaning 18000 clauses out of 36027 with flag 177001/707162 17.81/16.96 c cleaning 19006 clauses out of 38026 with flag 197000/727161 18.33/17.46 c cleaning 20001 clauses out of 40021 with flag 218001/748162 18.84/17.92 c cleaning 20987 clauses out of 42021 with flag 240002/770163 19.34/18.45 c cleaning 22011 clauses out of 44034 with flag 263002/793163 19.95/19.08 c cleaning 23000 clauses out of 46021 with flag 287000/817161 20.57/19.69 c cleaning 23995 clauses out of 48021 with flag 312000/842161 21.27/20.36 c cleaning 24998 clauses out of 50027 with flag 338001/868162 22.10/21.11 c cleaning 26012 clauses out of 52028 with flag 365000/895161 22.80/21.87 c cleaning 26997 clauses out of 54018 with flag 393002/923163 23.62/22.63 c cleaning 28004 clauses out of 56019 with flag 422000/952161 24.43/23.42 c cleaning 28993 clauses out of 58015 with flag 452000/982161 25.35/24.32 c cleaning 29992 clauses out of 60024 with flag 483002/1013163 26.26/25.24 c cleaning 31008 clauses out of 62031 with flag 515001/1045162 27.27/26.22 c cleaning 32008 clauses out of 64025 with flag 548003/1078164 28.29/27.28 c cleaning 32988 clauses out of 66015 with flag 582001/1112162 29.30/28.27 c cleaning 33989 clauses out of 68030 with flag 617004/1147165 30.43/29.39 c cleaning 35005 clauses out of 70038 with flag 653001/1183162 31.65/30.59 c cleaning 36002 clauses out of 72032 with flag 690000/1220161 32.97/31.81 c cleaning 37000 clauses out of 74031 with flag 728001/1258162 34.08/33.00 c cleaning 37998 clauses out of 76030 with flag 767000/1297161 35.49/34.36 c cleaning 39005 clauses out of 78033 with flag 807001/1337162 36.89/35.77 c cleaning 39995 clauses out of 80027 with flag 848000/1378161 38.29/37.19 c cleaning 41006 clauses out of 82032 with flag 890000/1420161 39.92/38.73 c cleaning 41998 clauses out of 84026 with flag 933000/1463161 41.52/40.36 c cleaning 42998 clauses out of 86028 with flag 977000/1507161 43.04/41.86 c cleaning 44004 clauses out of 88032 with flag 1022002/1552163 44.54/43.32 c cleaning 44997 clauses out of 90027 with flag 1068001/1598162 46.14/44.93 c cleaning 46001 clauses out of 92029 with flag 1115000/1645161 47.85/46.69 c cleaning 47007 clauses out of 94032 with flag 1163004/1693165 47.96/46.79 c Got one! Elapsed wall clock time (in seconds):46.679 47.96/46.79 o 10 48.16/46.96 c cleaning 26295 clauses out of 52602 with flag 3000/1698742 48.38/47.13 c cleaning 16147 clauses out of 32307 with flag 9000/1704742 48.49/47.27 c cleaning 11569 clauses out of 23160 with flag 16000/1711742 48.72/47.43 c cleaning 9782 clauses out of 19591 with flag 24000/1719742 48.82/47.60 c cleaning 9395 clauses out of 18813 with flag 33004/1728746 49.03/47.78 c cleaning 9694 clauses out of 19418 with flag 43004/1738746 49.24/47.97 c cleaning 10339 clauses out of 20720 with flag 54000/1749742 49.60/48.23 c cleaning 11175 clauses out of 22381 with flag 66000/1761742 49.81/48.49 c cleaning 12081 clauses out of 24206 with flag 79000/1774742 50.10/48.77 c cleaning 13041 clauses out of 26125 with flag 93000/1788742 50.41/49.07 c cleaning 14029 clauses out of 28086 with flag 108002/1803744 50.71/49.40 c cleaning 15023 clauses out of 30056 with flag 124001/1819743 51.12/49.76 c cleaning 16000 clauses out of 32033 with flag 141001/1836743 51.52/50.13 c cleaning 17007 clauses out of 34038 with flag 159006/1854748 51.93/50.54 c cleaning 18004 clauses out of 36028 with flag 178003/1873745 52.42/51.03 c cleaning 18997 clauses out of 38024 with flag 198003/1893745 52.93/51.51 c cleaning 19998 clauses out of 40024 with flag 219000/1914742 53.45/52.00 c cleaning 20995 clauses out of 42028 with flag 241002/1936744 53.85/52.50 c cleaning 21996 clauses out of 44031 with flag 264000/1959742 54.56/53.11 c cleaning 23002 clauses out of 46036 with flag 288001/1983743 55.27/53.83 c cleaning 24003 clauses out of 48033 with flag 313000/2008742 55.88/54.49 c cleaning 25001 clauses out of 50031 with flag 339001/2034743 56.69/55.20 c cleaning 25996 clauses out of 52030 with flag 366001/2061743 57.39/55.95 c cleaning 26992 clauses out of 54033 with flag 394000/2089742 58.21/56.77 c cleaning 28016 clauses out of 56045 with flag 423004/2118746 59.11/57.65 c cleaning 28998 clauses out of 58025 with flag 453000/2148742 59.91/58.49 c cleaning 29990 clauses out of 60027 with flag 484000/2179742 60.93/59.42 c cleaning 31002 clauses out of 62037 with flag 516000/2211742 61.84/60.37 c cleaning 32012 clauses out of 64035 with flag 549000/2244742 62.86/61.34 c cleaning 33001 clauses out of 66023 with flag 583000/2278742 63.86/62.37 c cleaning 33995 clauses out of 68022 with flag 618000/2313742 65.07/63.52 c cleaning 35000 clauses out of 70027 with flag 654000/2349742 66.17/64.68 c cleaning 35996 clauses out of 72028 with flag 691001/2386743 67.29/65.76 c cleaning 36997 clauses out of 74032 with flag 729001/2424743 68.63/67.04 c cleaning 38002 clauses out of 76035 with flag 768001/2463743 69.84/68.21 c cleaning 39005 clauses out of 78032 with flag 808000/2503742 71.14/69.50 c cleaning 39985 clauses out of 80028 with flag 849001/2544743 72.44/70.89 c cleaning 41014 clauses out of 82043 with flag 891001/2586743 73.98/72.36 c cleaning 42005 clauses out of 84034 with flag 934006/2629748 75.49/73.84 c cleaning 43007 clauses out of 86023 with flag 978000/2673742 77.23/75.55 c cleaning 43996 clauses out of 88016 with flag 1023000/2718742 78.85/77.15 c cleaning 44992 clauses out of 90020 with flag 1069000/2764742 80.35/78.64 c cleaning 45999 clauses out of 92029 with flag 1116001/2811743 82.15/80.45 c cleaning 47001 clauses out of 94030 with flag 1164001/2859743 83.86/82.15 c cleaning 47994 clauses out of 96028 with flag 1213000/2908742 85.67/83.92 c cleaning 49005 clauses out of 98035 with flag 1263001/2958743 87.79/86.00 c cleaning 49994 clauses out of 100029 with flag 1314000/3009742 89.93/88.10 c cleaning 51007 clauses out of 102037 with flag 1366002/3061744 91.96/90.12 c cleaning 51998 clauses out of 104028 with flag 1419000/3114742 94.06/92.23 c cleaning 53001 clauses out of 106031 with flag 1473001/3168743 96.16/94.34 c cleaning 54001 clauses out of 108029 with flag 1528000/3223742 98.37/96.56 c cleaning 55008 clauses out of 110034 with flag 1584006/3279748 100.78/99.00 c cleaning 55992 clauses out of 112020 with flag 1641000/3336742 103.29/101.45 c cleaning 57006 clauses out of 114032 with flag 1699004/3394746 105.70/103.87 c cleaning 57996 clauses out of 116022 with flag 1758000/3453742 108.30/106.45 c cleaning 58999 clauses out of 118027 with flag 1818001/3513743 111.02/109.19 c cleaning 60003 clauses out of 120028 with flag 1879001/3574743 113.94/112.04 c cleaning 60995 clauses out of 122024 with flag 1941000/3636742 116.64/114.70 c cleaning 61997 clauses out of 124029 with flag 2004000/3699742 119.45/117.56 c cleaning 62996 clauses out of 126032 with flag 2068000/3763742 122.46/120.55 c cleaning 64005 clauses out of 128036 with flag 2133000/3828742 125.28/123.35 c cleaning 64996 clauses out of 130032 with flag 2199001/3894743 128.31/126.32 c cleaning 66003 clauses out of 132035 with flag 2266000/3961742 131.44/129.40 c cleaning 66997 clauses out of 134032 with flag 2334000/4029742 134.85/132.83 c cleaning 68000 clauses out of 136035 with flag 2403000/4098742 137.96/135.98 c cleaning 69005 clauses out of 138035 with flag 2473000/4168742 141.99/139.91 c cleaning 69995 clauses out of 140030 with flag 2544000/4239742 145.42/143.34 c cleaning 71005 clauses out of 142036 with flag 2616001/4311743 148.93/146.83 c cleaning 72002 clauses out of 144031 with flag 2689001/4384743 152.25/150.18 c cleaning 72995 clauses out of 146030 with flag 2763002/4458744 156.67/154.55 c cleaning 74014 clauses out of 148034 with flag 2838001/4533743 160.69/158.52 c cleaning 74993 clauses out of 150019 with flag 2914000/4609742 164.61/162.46 c cleaning 76005 clauses out of 152026 with flag 2991000/4686742 168.52/166.33 c cleaning 76987 clauses out of 154022 with flag 3069001/4764743 172.44/170.27 c cleaning 78008 clauses out of 156034 with flag 3148000/4843742 176.46/174.29 c cleaning 79002 clauses out of 158028 with flag 3228002/4923744 180.37/178.14 c cleaning 80006 clauses out of 160028 with flag 3309004/5004746 184.68/182.41 c cleaning 80992 clauses out of 162018 with flag 3391000/5086742 189.01/186.75 c cleaning 82008 clauses out of 164030 with flag 3474004/5169746 194.14/191.89 c cleaning 83000 clauses out of 166020 with flag 3558002/5253744 198.65/196.34 c cleaning 83995 clauses out of 168018 with flag 3643000/5338742 203.77/201.46 c cleaning 84999 clauses out of 170026 with flag 3729003/5424745 208.79/206.41 c cleaning 86004 clauses out of 172024 with flag 3816000/5511742 213.41/211.01 c cleaning 86992 clauses out of 174020 with flag 3904000/5599742 218.34/215.95 c cleaning 88003 clauses out of 176028 with flag 3993000/5688742 223.37/220.90 c cleaning 88999 clauses out of 178026 with flag 4083001/5778743 228.08/225.64 c cleaning 89986 clauses out of 180027 with flag 4174001/5869743 232.89/230.43 c cleaning 91003 clauses out of 182040 with flag 4266000/5961742 238.10/235.69 c cleaning 92004 clauses out of 184037 with flag 4359000/6054742 243.50/241.03 c cleaning 93003 clauses out of 186034 with flag 4453001/6148743 248.54/246.05 c cleaning 93999 clauses out of 188030 with flag 4548000/6243742 254.87/252.38 c cleaning 94994 clauses out of 190032 with flag 4644001/6339743 261.09/258.58 c cleaning 96001 clauses out of 192037 with flag 4741000/6436742 266.82/264.25 c cleaning 97001 clauses out of 194036 with flag 4839000/6534742 272.64/270.03 c cleaning 98002 clauses out of 196036 with flag 4938001/6633743 278.97/276.36 c cleaning 99010 clauses out of 198035 with flag 5038002/6733744 286.63/283.96 c cleaning 100001 clauses out of 200023 with flag 5139000/6834742 293.66/290.94 c cleaning 101000 clauses out of 202022 with flag 5241000/6936742 300.78/298.04 c cleaning 102000 clauses out of 204022 with flag 5344000/7039742 307.30/304.55 c cleaning 103007 clauses out of 206024 with flag 5448002/7143744 313.91/311.12 c cleaning 104000 clauses out of 208015 with flag 5553000/7248742 320.93/318.13 c cleaning 104992 clauses out of 210015 with flag 5659000/7354742 327.94/325.16 c cleaning 105994 clauses out of 212023 with flag 5766000/7461742 335.56/332.71 c cleaning 106996 clauses out of 214029 with flag 5874000/7569742 342.69/339.83 c cleaning 108000 clauses out of 216034 with flag 5983001/7678743 350.52/347.66 c cleaning 109001 clauses out of 218033 with flag 6093000/7788742 358.24/355.32 c cleaning 110009 clauses out of 220032 with flag 6204000/7899742 366.97/364.09 c cleaning 110992 clauses out of 222023 with flag 6316000/8011742 374.99/372.01 c cleaning 111991 clauses out of 224031 with flag 6429000/8124742 382.62/379.66 c cleaning 113013 clauses out of 226040 with flag 6543000/8238742 391.35/388.37 c cleaning 114000 clauses out of 228027 with flag 6658000/8353742 399.87/396.84 c cleaning 115000 clauses out of 230030 with flag 6774003/8469745 407.29/404.21 c cleaning 116005 clauses out of 232029 with flag 6891002/8586744 416.00/412.94 c cleaning 116996 clauses out of 234023 with flag 7009001/8704743 425.34/422.27 c cleaning 118001 clauses out of 236028 with flag 7128002/8823744 434.79/431.66 c cleaning 118995 clauses out of 238025 with flag 7248000/8943742 443.22/440.03 c cleaning 119997 clauses out of 240033 with flag 7369003/9064745 453.32/450.10 c cleaning 121001 clauses out of 242033 with flag 7491000/9186742 462.25/459.09 c cleaning 122000 clauses out of 244033 with flag 7614001/9309743 471.37/468.10 c cleaning 123004 clauses out of 246038 with flag 7738006/9433748 481.70/478.42 c cleaning 124003 clauses out of 248030 with flag 7863002/9558744 490.31/487.01 c cleaning 124996 clauses out of 250026 with flag 7989001/9684743 499.13/495.83 c cleaning 126001 clauses out of 252029 with flag 8116000/9811742 508.86/505.54 c cleaning 126998 clauses out of 254028 with flag 8244000/9939742 517.99/514.61 c cleaning 127995 clauses out of 256031 with flag 8373001/10068743 530.30/526.98 c cleaning 128999 clauses out of 258035 with flag 8503000/10198742 542.60/539.27 c cleaning 130007 clauses out of 260040 with flag 8634004/10329746 554.13/550.74 c cleaning 130994 clauses out of 262029 with flag 8766000/10461742 564.95/561.51 c cleaning 131992 clauses out of 264035 with flag 8899000/10594742 576.36/572.94 c cleaning 133012 clauses out of 266043 with flag 9033000/10728742 586.49/583.04 c cleaning 134005 clauses out of 268031 with flag 9168000/10863742 597.70/594.20 c cleaning 134994 clauses out of 270026 with flag 9304000/10999742 608.13/604.68 c cleaning 136003 clauses out of 272033 with flag 9441001/11136743 619.36/615.83 c cleaning 137000 clauses out of 274030 with flag 9579001/11274743 630.61/627.02 c cleaning 137993 clauses out of 276029 with flag 9718000/11413742 642.84/639.26 c cleaning 139009 clauses out of 278038 with flag 9858002/11553744 655.07/651.48 c cleaning 139999 clauses out of 280030 with flag 9999003/11694745 667.30/663.67 c cleaning 140992 clauses out of 282029 with flag 10141001/11836743 680.23/676.59 c cleaning 142009 clauses out of 284037 with flag 10284001/11979743 692.55/688.87 c cleaning 142994 clauses out of 286027 with flag 10428000/12123742 703.67/699.96 c cleaning 143996 clauses out of 288033 with flag 10573000/12268742 714.18/710.43 c Got one! Elapsed wall clock time (in seconds):710.32 714.18/710.43 o 9 717.29/713.50 c cleaning 145670 clauses out of 291365 with flag 5004/12416070 718.32/714.50 c cleaning 75842 clauses out of 151693 with flag 11002/12422068 718.76/714.98 c cleaning 41418 clauses out of 82849 with flag 18000/12429066 719.18/715.30 c cleaning 24705 clauses out of 49431 with flag 26000/12437066 719.38/715.54 c cleaning 16842 clauses out of 33727 with flag 35001/12446067 719.59/715.76 c cleaning 13433 clauses out of 26886 with flag 45002/12456068 719.81/715.99 c cleaning 12209 clauses out of 24451 with flag 56000/12467066 720.11/716.23 c cleaning 12091 clauses out of 24242 with flag 68000/12479066 720.42/716.50 c cleaning 12560 clauses out of 25152 with flag 81001/12492067 720.76/716.80 c cleaning 13281 clauses out of 26592 with flag 95001/12506067 721.07/717.12 c cleaning 14146 clauses out of 28310 with flag 110000/12521066 721.38/717.48 c cleaning 15063 clauses out of 30165 with flag 126001/12537067 721.80/717.84 c cleaning 16035 clauses out of 32104 with flag 143003/12554069 722.22/718.23 c cleaning 17021 clauses out of 34066 with flag 161000/12572066 722.63/718.64 c cleaning 18006 clauses out of 36046 with flag 180001/12591067 723.16/719.11 c cleaning 19016 clauses out of 38039 with flag 200000/12611066 723.67/719.61 c cleaning 19996 clauses out of 40023 with flag 221000/12632066 724.18/720.12 c cleaning 21000 clauses out of 42027 with flag 243000/12654066 724.71/720.67 c cleaning 21991 clauses out of 44028 with flag 266001/12677067 725.31/721.22 c cleaning 23006 clauses out of 46037 with flag 290001/12701067 725.92/721.80 c cleaning 23989 clauses out of 48030 with flag 315000/12726066 726.54/722.45 c cleaning 25006 clauses out of 50042 with flag 341001/12752067 727.29/723.12 c cleaning 25997 clauses out of 52036 with flag 368001/12779067 728.02/723.82 c cleaning 26993 clauses out of 54038 with flag 396000/12807066 728.75/724.54 c cleaning 28002 clauses out of 56045 with flag 425000/12836066 729.47/725.27 c cleaning 29003 clauses out of 58047 with flag 455004/12866070 730.39/726.14 c cleaning 30011 clauses out of 60041 with flag 486001/12897067 731.31/727.07 c cleaning 30993 clauses out of 62029 with flag 518000/12929066 732.31/728.06 c cleaning 32004 clauses out of 64038 with flag 551002/12962068 733.43/729.14 c cleaning 32995 clauses out of 66033 with flag 585001/12996067 734.45/730.17 c cleaning 34012 clauses out of 68039 with flag 620002/13031068 735.49/731.19 c cleaning 34991 clauses out of 70026 with flag 656001/13067067 736.61/732.29 c cleaning 36009 clauses out of 72040 with flag 693006/13104072 737.74/733.37 c cleaning 36994 clauses out of 74025 with flag 731000/13142066 738.84/734.49 c cleaning 37992 clauses out of 76032 with flag 770001/13181067 739.95/735.55 c cleaning 38993 clauses out of 78039 with flag 810000/13221066 741.06/736.67 c cleaning 40000 clauses out of 80046 with flag 851000/13262066 742.27/737.86 c cleaning 41003 clauses out of 82046 with flag 893000/13304066 743.58/739.15 c cleaning 42004 clauses out of 84044 with flag 936001/13347067 744.99/740.52 c cleaning 43002 clauses out of 86039 with flag 980000/13391066 746.29/741.88 c cleaning 44003 clauses out of 88038 with flag 1025001/13436067 748.01/743.57 c cleaning 44998 clauses out of 90035 with flag 1071001/13482067 749.51/745.10 c cleaning 45999 clauses out of 92036 with flag 1118000/13529066 751.33/746.81 c cleaning 47009 clauses out of 94037 with flag 1166000/13577066 752.84/748.38 c cleaning 47992 clauses out of 96028 with flag 1215000/13626066 754.65/750.11 c cleaning 49008 clauses out of 98037 with flag 1265001/13676067 756.35/751.89 c cleaning 50008 clauses out of 100028 with flag 1316000/13727066 758.17/753.68 c cleaning 51002 clauses out of 102020 with flag 1368000/13779066 760.10/755.57 c cleaning 52005 clauses out of 104021 with flag 1421003/13832069 762.00/757.40 c cleaning 52997 clauses out of 106013 with flag 1475000/13886066 763.92/759.34 c cleaning 53998 clauses out of 108016 with flag 1530000/13941066 765.93/761.30 c cleaning 54998 clauses out of 110018 with flag 1586000/13997066 767.86/763.26 c cleaning 56007 clauses out of 112020 with flag 1643000/14054066 770.09/765.42 c cleaning 56990 clauses out of 114013 with flag 1701000/14112066 772.20/767.58 c cleaning 57987 clauses out of 116023 with flag 1760000/14171066 774.51/769.90 c cleaning 59004 clauses out of 118036 with flag 1820000/14231066 776.71/772.07 c cleaning 59995 clauses out of 120034 with flag 1881002/14292068 779.13/774.43 c cleaning 61006 clauses out of 122040 with flag 1943003/14354069 781.53/776.87 c cleaning 62008 clauses out of 124031 with flag 2006000/14417066 784.14/779.42 c cleaning 63005 clauses out of 126023 with flag 2070000/14481066 786.66/781.95 c cleaning 63996 clauses out of 128018 with flag 2135000/14546066 789.18/784.49 c cleaning 65000 clauses out of 130022 with flag 2201000/14612066 792.02/787.22 c cleaning 65993 clauses out of 132023 with flag 2268001/14679067 794.92/790.14 c cleaning 67008 clauses out of 134029 with flag 2336000/14747066 797.95/793.17 c cleaning 67998 clauses out of 136023 with flag 2405002/14816068 800.76/795.92 c cleaning 69004 clauses out of 138023 with flag 2475000/14886066 803.79/798.92 c cleaning 69994 clauses out of 140019 with flag 2546000/14957066 806.59/801.78 c cleaning 70999 clauses out of 142026 with flag 2618001/15029067 809.80/804.97 c cleaning 71999 clauses out of 144026 with flag 2691000/15102066 814.11/809.21 c cleaning 73008 clauses out of 146029 with flag 2765002/15176068 818.04/813.18 c cleaning 73997 clauses out of 148019 with flag 2840000/15251066 821.85/816.92 c cleaning 75001 clauses out of 150023 with flag 2916001/15327067 825.57/820.60 c cleaning 75992 clauses out of 152022 with flag 2993001/15404067 829.48/824.51 c cleaning 76992 clauses out of 154030 with flag 3071001/15482067 833.40/828.44 c cleaning 77997 clauses out of 156037 with flag 3150000/15561066 837.61/832.69 c cleaning 79010 clauses out of 158041 with flag 3230001/15641067 842.03/837.01 c cleaning 80003 clauses out of 160031 with flag 3311001/15722067 846.26/841.28 c cleaning 80999 clauses out of 162029 with flag 3393002/15804068 850.08/845.09 c cleaning 82000 clauses out of 164029 with flag 3476001/15887067 854.48/849.44 c cleaning 83002 clauses out of 166028 with flag 3560000/15971066 858.51/853.48 c cleaning 83999 clauses out of 168027 with flag 3645001/16056067 862.51/857.40 c cleaning 84991 clauses out of 170028 with flag 3731001/16142067 867.33/862.24 c cleaning 86005 clauses out of 172037 with flag 3818001/16229067 871.74/866.62 c cleaning 86999 clauses out of 174031 with flag 3906000/16317066 877.75/872.63 c cleaning 87998 clauses out of 176032 with flag 3995000/16406066 883.07/877.90 c cleaning 88993 clauses out of 178035 with flag 4085001/16496067 888.08/882.99 c cleaning 90001 clauses out of 180043 with flag 4176002/16587068 893.40/888.21 c cleaning 91009 clauses out of 182044 with flag 4268004/16679070 898.12/892.95 c cleaning 92008 clauses out of 184033 with flag 4361002/16772068 904.03/898.81 c cleaning 92999 clauses out of 186024 with flag 4455001/16866067 909.85/904.64 c cleaning 93998 clauses out of 188024 with flag 4550000/16961066 915.18/909.97 c cleaning 94995 clauses out of 190026 with flag 4646000/17057066 920.20/914.90 c cleaning 95999 clauses out of 192031 with flag 4743000/17154066 925.30/920.09 c cleaning 96996 clauses out of 194033 with flag 4841001/17252067 930.43/925.17 c cleaning 97993 clauses out of 196036 with flag 4940000/17351066 936.23/930.98 c cleaning 99007 clauses out of 198044 with flag 5040001/17451067 941.95/936.69 c cleaning 99998 clauses out of 200037 with flag 5141001/17552067 947.65/942.30 c cleaning 101004 clauses out of 202041 with flag 5243003/17654069 953.09/947.70 c cleaning 102001 clauses out of 204034 with flag 5346000/17757066 958.92/953.60 c cleaning 103004 clauses out of 206033 with flag 5450000/17861066 965.12/959.76 c cleaning 104005 clauses out of 208029 with flag 5555000/17966066 967.73/962.34 c Got one! Elapsed wall clock time (in seconds):962.229 967.73/962.34 o 8 968.83/963.50 c cleaning 84800 clauses out of 169623 with flag 5000/18031665 969.45/964.02 c cleaning 45407 clauses out of 90827 with flag 11004/18037669 969.75/964.32 c cleaning 26195 clauses out of 52416 with flag 18000/18044665 969.96/964.55 c cleaning 17100 clauses out of 34221 with flag 26000/18052665 970.17/964.74 c cleaning 13051 clauses out of 26123 with flag 35002/18061667 970.37/964.95 c cleaning 11518 clauses out of 23071 with flag 45001/18071666 970.61/965.18 c cleaning 11263 clauses out of 22552 with flag 56000/18082665 970.91/965.40 c cleaning 11619 clauses out of 23290 with flag 68001/18094666 971.13/965.66 c cleaning 12323 clauses out of 24670 with flag 81000/18107665 971.46/965.96 c cleaning 13157 clauses out of 26348 with flag 95001/18121666 971.77/966.26 c cleaning 14077 clauses out of 28190 with flag 110000/18136665 972.09/966.59 c cleaning 15035 clauses out of 30114 with flag 126001/18152666 972.52/966.95 c cleaning 16022 clauses out of 32081 with flag 143003/18169668 972.92/967.34 c cleaning 17019 clauses out of 34059 with flag 161003/18187668 973.35/967.76 c cleaning 17999 clauses out of 36038 with flag 180001/18206666 973.88/968.21 c cleaning 19004 clauses out of 38038 with flag 200000/18226665 974.30/968.68 c cleaning 20005 clauses out of 40036 with flag 221002/18247667 974.92/969.20 c cleaning 20995 clauses out of 42029 with flag 243000/18269665 975.44/969.75 c cleaning 21998 clauses out of 44034 with flag 266000/18292665 976.06/970.32 c cleaning 22994 clauses out of 46037 with flag 290001/18316666 976.68/970.97 c cleaning 24004 clauses out of 48042 with flag 315000/18341665 977.30/971.56 c cleaning 24996 clauses out of 50039 with flag 341001/18367666 977.91/972.17 c cleaning 26006 clauses out of 52043 with flag 368001/18394666 978.63/972.87 c cleaning 26999 clauses out of 54040 with flag 396004/18422669 979.34/973.57 c cleaning 28011 clauses out of 56037 with flag 425000/18451665 980.24/974.47 c cleaning 29006 clauses out of 58028 with flag 455002/18481667 981.05/975.28 c cleaning 30001 clauses out of 60021 with flag 486001/18512666 982.07/976.27 c cleaning 30999 clauses out of 62022 with flag 518003/18544668 983.09/977.24 c cleaning 31993 clauses out of 64020 with flag 551000/18577665 984.02/978.14 c cleaning 33004 clauses out of 66027 with flag 585000/18611665 985.14/979.20 c cleaning 33998 clauses out of 68024 with flag 620001/18646666 986.15/980.21 c cleaning 34997 clauses out of 70028 with flag 656003/18682668 987.25/981.30 c cleaning 36004 clauses out of 72029 with flag 693001/18719666 988.28/982.34 c cleaning 36993 clauses out of 74024 with flag 731000/18757665 989.41/983.46 c cleaning 38003 clauses out of 76031 with flag 770000/18796665 990.62/984.64 c cleaning 38992 clauses out of 78028 with flag 810000/18836665 991.84/985.85 c cleaning 40004 clauses out of 80036 with flag 851000/18877665 993.15/987.16 c cleaning 41006 clauses out of 82033 with flag 893001/18919666 994.37/988.33 c cleaning 41993 clauses out of 84026 with flag 936000/18962665 995.59/989.58 c cleaning 42991 clauses out of 86034 with flag 980001/19006666 996.90/990.86 c cleaning 44008 clauses out of 88042 with flag 1025000/19051665 998.32/992.23 c cleaning 44996 clauses out of 90035 with flag 1071001/19097666 999.73/993.67 c cleaning 46006 clauses out of 92038 with flag 1118000/19144665 1001.43/995.38 c cleaning 47009 clauses out of 94033 with flag 1166001/19192666 1003.25/997.12 c cleaning 47999 clauses out of 96023 with flag 1215000/19241665 1004.98/998.81 c cleaning 48998 clauses out of 98024 with flag 1265000/19291665 1006.70/1000.58 c cleaning 49997 clauses out of 100027 with flag 1316001/19342666 1008.41/1002.20 c cleaning 50998 clauses out of 102029 with flag 1368000/19394665 1010.22/1004.08 c cleaning 52002 clauses out of 104033 with flag 1421002/19447667 1012.06/1005.88 c cleaning 52990 clauses out of 106029 with flag 1475000/19501665 1013.97/1007.72 c cleaning 54010 clauses out of 108041 with flag 1530002/19556667 1016.11/1009.83 c cleaning 55005 clauses out of 110029 with flag 1586000/19612665 1018.24/1011.97 c cleaning 55997 clauses out of 112026 with flag 1643002/19669667 1020.35/1014.01 c cleaning 56989 clauses out of 114028 with flag 1701001/19727666 1022.46/1016.14 c cleaning 58006 clauses out of 116038 with flag 1760000/19786665 1024.67/1018.36 c cleaning 59013 clauses out of 118033 with flag 1820001/19846666 1026.88/1020.55 c cleaning 60002 clauses out of 120021 with flag 1881002/19907667 1029.00/1022.67 c cleaning 60999 clauses out of 122019 with flag 1943002/19969667 1031.71/1025.31 c cleaning 61985 clauses out of 124018 with flag 2006000/20032665 1034.34/1027.98 c cleaning 63000 clauses out of 126035 with flag 2070002/20096667 1037.16/1030.75 c cleaning 63997 clauses out of 128034 with flag 2135001/20161666 1040.27/1033.81 c cleaning 64997 clauses out of 130036 with flag 2201000/20227665 1043.28/1036.85 c cleaning 66002 clauses out of 132043 with flag 2268004/20294669 1046.31/1039.86 c cleaning 67009 clauses out of 134038 with flag 2336001/20362666 1049.54/1043.02 c cleaning 67991 clauses out of 136029 with flag 2405001/20431666 1052.66/1046.16 c cleaning 69003 clauses out of 138037 with flag 2475000/20501665 1055.57/1049.00 c cleaning 70007 clauses out of 140035 with flag 2546001/20572666 1058.49/1051.94 c cleaning 71007 clauses out of 142027 with flag 2618000/20644665 1062.10/1055.56 c cleaning 71995 clauses out of 144020 with flag 2691000/20717665 1066.32/1059.79 c cleaning 72996 clauses out of 146025 with flag 2765000/20791665 1069.85/1063.28 c cleaning 74009 clauses out of 148031 with flag 2840002/20866667 1073.68/1067.04 c cleaning 74992 clauses out of 150021 with flag 2916001/20942666 1077.28/1070.67 c cleaning 76010 clauses out of 152029 with flag 2993001/21019666 1081.00/1074.39 c cleaning 76993 clauses out of 154019 with flag 3071001/21097666 1084.80/1078.12 c cleaning 78006 clauses out of 156025 with flag 3150000/21176665 1088.32/1081.60 c cleaning 79007 clauses out of 158021 with flag 3230002/21256667 1091.83/1085.18 c cleaning 79997 clauses out of 160012 with flag 3311000/21337665 1095.15/1088.41 c cleaning 80990 clauses out of 162015 with flag 3393000/21419665 1099.56/1092.87 c cleaning 82001 clauses out of 164026 with flag 3476001/21502666 1104.30/1097.51 c cleaning 83006 clauses out of 166024 with flag 3560000/21586665 1108.52/1101.73 c cleaning 83989 clauses out of 168018 with flag 3645000/21671665 1112.63/1105.85 c cleaning 85001 clauses out of 170032 with flag 3731003/21757668 1117.15/1110.33 c cleaning 85998 clauses out of 172029 with flag 3818001/21844666 1121.96/1115.16 c cleaning 87008 clauses out of 174033 with flag 3906003/21932668 1126.57/1119.71 c cleaning 88006 clauses out of 176023 with flag 3995001/22021666 1130.88/1124.04 c cleaning 89000 clauses out of 178016 with flag 4085000/22111665 1135.68/1128.82 c cleaning 89997 clauses out of 180017 with flag 4176001/22202666 1140.00/1133.19 c cleaning 90998 clauses out of 182020 with flag 4268001/22294666 1144.10/1137.25 c cleaning 92006 clauses out of 184022 with flag 4361001/22387666 1149.14/1142.26 c cleaning 92993 clauses out of 186017 with flag 4455002/22481667 1153.97/1147.04 c cleaning 94001 clauses out of 188022 with flag 4550000/22576665 1158.97/1152.06 c cleaning 95010 clauses out of 190024 with flag 4646003/22672668 1166.10/1159.14 c cleaning 95987 clauses out of 192011 with flag 4743000/22769665 1173.02/1166.08 c cleaning 96996 clauses out of 194025 with flag 4841001/22867666 1180.32/1173.32 c cleaning 97996 clauses out of 196028 with flag 4940000/22966665 1187.03/1180.05 c cleaning 98996 clauses out of 198033 with flag 5040001/23066666 1194.05/1187.04 c cleaning 100007 clauses out of 200037 with flag 5141001/23167666 1201.18/1194.12 c cleaning 101000 clauses out of 202032 with flag 5243003/23269668 1208.31/1201.22 c cleaning 102008 clauses out of 204029 with flag 5346000/23372665 1214.43/1207.37 c cleaning 102997 clauses out of 206021 with flag 5450000/23476665 1222.24/1215.15 c cleaning 103999 clauses out of 208025 with flag 5555001/23581666 1229.46/1222.37 c cleaning 105000 clauses out of 210026 with flag 5661001/23687666 1236.68/1229.57 c cleaning 106004 clauses out of 212025 with flag 5768000/23794665 1244.00/1236.89 c cleaning 107004 clauses out of 214021 with flag 5876000/23902665 1252.02/1244.88 c cleaning 107999 clauses out of 216019 with flag 5985002/24011667 1258.85/1251.69 c cleaning 108989 clauses out of 218018 with flag 6095000/24121665 1266.38/1259.18 c cleaning 110007 clauses out of 220029 with flag 6206000/24232665 1275.12/1267.81 c cleaning 110991 clauses out of 222022 with flag 6318000/24344665 1282.25/1274.93 c cleaning 111998 clauses out of 224032 with flag 6431001/24457666 1291.47/1284.14 c cleaning 113008 clauses out of 226033 with flag 6545000/24571665 1300.01/1292.65 c cleaning 113999 clauses out of 228026 with flag 6660001/24686666 1308.23/1300.89 c cleaning 115004 clauses out of 230026 with flag 6776000/24802665 1316.85/1309.41 c cleaning 115997 clauses out of 232023 with flag 6893001/24919666 1325.40/1317.90 c cleaning 117006 clauses out of 234029 with flag 7011004/25037669 1334.33/1326.82 c cleaning 117986 clauses out of 236019 with flag 7130000/25156665 1344.34/1336.83 c cleaning 119008 clauses out of 238034 with flag 7250001/25276666 1352.94/1345.45 c cleaning 120006 clauses out of 240027 with flag 7371002/25397667 1360.57/1353.04 c cleaning 120988 clauses out of 242020 with flag 7493001/25519666 1367.67/1360.18 c cleaning 122000 clauses out of 244032 with flag 7616001/25642666 1377.30/1369.72 c cleaning 123002 clauses out of 246031 with flag 7740000/25766665 1386.81/1379.24 c cleaning 124005 clauses out of 248031 with flag 7865002/25891667 1396.34/1388.76 c cleaning 124996 clauses out of 250027 with flag 7991003/26017668 1405.84/1398.25 c cleaning 126008 clauses out of 252032 with flag 8118004/26144669 1415.44/1407.80 c cleaning 126994 clauses out of 254020 with flag 8246000/26272665 1425.36/1417.73 c cleaning 127994 clauses out of 256028 with flag 8375002/26401667 1433.47/1425.83 c cleaning 129004 clauses out of 258032 with flag 8505000/26531665 1443.99/1436.36 c cleaning 130002 clauses out of 260028 with flag 8636000/26662665 1453.94/1446.27 c cleaning 130999 clauses out of 262027 with flag 8768001/26794666 1463.54/1455.84 c cleaning 132004 clauses out of 264027 with flag 8901000/26927665 1473.18/1465.46 c cleaning 132991 clauses out of 266023 with flag 9035000/27061665 1482.79/1475.00 c cleaning 133997 clauses out of 268032 with flag 9170000/27196665 1492.29/1484.58 c cleaning 135013 clauses out of 270035 with flag 9306000/27332665 1504.71/1496.96 c cleaning 135998 clauses out of 272022 with flag 9443000/27469665 1514.24/1506.45 c cleaning 137009 clauses out of 274025 with flag 9581001/27607666 1525.97/1518.16 c cleaning 137997 clauses out of 276015 with flag 9720000/27746665 1540.57/1532.80 c cleaning 139001 clauses out of 278020 with flag 9860002/27886667 1555.00/1547.18 c cleaning 139992 clauses out of 280017 with flag 10001000/28027665 1568.52/1560.62 c cleaning 141011 clauses out of 282025 with flag 10143000/28169665 1583.84/1575.96 c cleaning 142004 clauses out of 284014 with flag 10286000/28312665 1597.78/1589.82 c cleaning 143000 clauses out of 286010 with flag 10430000/28456665 1612.18/1603.56 c cleaning 144003 clauses out of 288010 with flag 10575000/28601665 1629.32/1620.63 c cleaning 144993 clauses out of 290007 with flag 10721000/28747665 1643.60/1634.88 c cleaning 70084 clauses out of 140182 with flag 10868001/28894666 1648.44/1639.67 c starts : 383 1648.44/1639.67 c conflicts : 28975008 1648.44/1639.67 c decisions : 55358512 1648.44/1639.67 c propagations : 358992254 1648.44/1639.67 c inspects : 19862890998 1648.44/1639.67 c shortcuts : 0 1648.44/1639.67 c learnt literals : 19 1648.44/1639.67 c learnt binary clauses : 121 1648.44/1639.67 c learnt ternary clauses : 473 1648.44/1639.67 c learnt constraints : 28974988 1648.44/1639.67 c ignored constraints : 0 1648.44/1639.67 c root simplifications : 401 1648.44/1639.67 c removed literals (reason simplification) : 8139663 1648.44/1639.67 c reason swapping (by a shorter reason) : 0 1648.44/1639.67 c Calls to reduceDB : 461 1648.44/1639.67 c number of reductions to clauses (during analyze) : 0 1648.44/1639.67 c number of learned constraints concerned by reduction : 0 1648.44/1639.67 c number of learning phase by resolution : 0 1648.44/1639.67 c number of learning phase by cutting planes : 0 1648.44/1639.67 c speed (assignments/second) : 218960.46671912074 1648.44/1639.67 c non guided choices 167 1648.44/1639.67 c learnt constraints type 1648.44/1639.67 c constraints type 1648.44/1639.67 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50 1648.44/1639.67 c org.sat4j.minisat.constraints.card.MinWatchCard => 0 1648.44/1639.67 c 50 constraints processed. 1648.44/1639.67 s OPTIMUM FOUND 1648.44/1639.67 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 1648.44/1639.67 c objective function=8 1648.44/1639.67 c Total wall clock time (in seconds): 1639.561
OK 8
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-3710798-1338152866/watcher-3710798-1338152866 -o /tmp/evaluation-result-3710798-1338152866/solver-3710798-1338152866 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710798-1338152866.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.96 2.09 2.05 2/194 5899 /proc/meminfo: memFree=28480268/32873648 swapFree=6864/6864 [pid=5899] ppid=5897 vsize=9324 CPUtime=0 cores=0,2,4,6 /proc/5899/stat : 5899 (java) R 5897 5899 32120 0 -1 4202496 455 0 0 0 0 0 0 0 20 0 1 0 281412043 9547776 183 33554432000 1073741824 1073778376 140736364229232 140736364211960 270707581879 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5899/statm: 2323 186 143 9 0 71 0 [startup+0.036423 s] /proc/loadavg: 1.96 2.09 2.05 2/194 5899 /proc/meminfo: memFree=28480268/32873648 swapFree=6864/6864 [pid=5899] ppid=5897 vsize=9225560 CPUtime=0.02 cores=0,2,4,6 /proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 3074 0 1 0 2 0 0 0 20 0 13 0 281412043 9446973440 3259 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5899/statm: 2306390 3259 1696 9 0 2297091 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100204 s] /proc/loadavg: 1.96 2.09 2.05 2/194 5899 /proc/meminfo: memFree=28480268/32873648 swapFree=6864/6864 [pid=5899] ppid=5897 vsize=9558440 CPUtime=0.1 cores=0,2,4,6 /proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 4432 0 1 0 9 1 0 0 20 0 18 0 281412043 9787842560 5633 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5899/statm: 2389610 5633 2131 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558440 [startup+0.300166 s] /proc/loadavg: 1.96 2.09 2.05 2/194 5899 /proc/meminfo: memFree=28480268/32873648 swapFree=6864/6864 [pid=5899] ppid=5897 vsize=9625004 CPUtime=0.52 cores=0,2,4,6 /proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 6928 0 1 0 50 2 0 0 20 0 19 0 281412043 9856004096 7488 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5899/statm: 2406251 7488 2230 9 0 2396937 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9625004 [startup+0.700274 s] /proc/loadavg: 1.96 2.09 2.05 2/194 5899 /proc/meminfo: memFree=28480268/32873648 swapFree=6864/6864 [pid=5899] ppid=5897 vsize=9625004 CPUtime=1.24 cores=0,2,4,6 /proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 15582 0 1 0 120 4 0 0 20 0 19 0 281412043 9856004096 14702 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5899/statm: 2406251 14702 2270 9 0 2396937 0 Current children cumulated CPU time (s) 1.24 Current children cumulated vsize (KiB) 9625004 [startup+1.50088 s] /proc/loadavg: 1.96 2.09 2.05 3/213 5918 /proc/meminfo: memFree=28427716/32873648 swapFree=6864/6864 [pid=5899] ppid=5897 vsize=9625004 CPUtime=2.08 cores=0,2,4,6 /proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 15601 0 1 0 204 4 0 0 20 0 19 0 281412043 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5899/statm: 2406251 15738 2271 9 0 2396937 0 [pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=1.39 cores=0,2,4,6 /proc/5899/task/5901/stat : 5901 (java) S 5897 5899 32120 0 -1 4202560 2571 0 1 0 137 2 0 0 20 0 19 0 281412044 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592198459816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=0.06 cores=0,2,4,6 /proc/5899/task/5910/stat : 5910 (java) R 5897 5899 32120 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 281412046 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592022619632 140592200655458 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=0.34 cores=0,2,4,6 /proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 8838 0 0 0 32 2 0 0 20 0 19 0 281412048 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.2 cores=0,2,4,6 /proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2935 0 0 0 20 0 0 0 20 0 19 0 281412048 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 15738 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.08 Current children cumulated vsize (KiB) 9625004 [startup+3.10065 s] /proc/loadavg: 1.96 2.09 2.05 3/213 5918 /proc/meminfo: memFree=28425668/32873648 swapFree=6864/6864 [pid=5899] ppid=5897 vsize=9625004 CPUtime=3.75 cores=0,2,4,6 /proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 15636 0 1 0 371 4 0 0 20 0 19 0 281412043 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5899/statm: 2406251 15766 2271 9 0 2396937 0 [pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=2.9 cores=0,2,4,6 /proc/5899/task/5901/stat : 5901 (java) R 5897 5899 32120 0 -1 4202560 2578 0 1 0 288 2 0 0 20 0 19 0 281412044 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592198459656 140592138807854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412045 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=0.12 cores=0,2,4,6 /proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 34 0 0 0 12 0 0 0 20 0 19 0 281412046 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=0.34 cores=0,2,4,6 /proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 8838 0 0 0 32 2 0 0 20 0 19 0 281412048 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.2 cores=0,2,4,6 /proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2935 0 0 0 20 0 0 0 20 0 19 0 281412048 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 15766 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.75 Current children cumulated vsize (KiB) 9625004 [startup+6.30064 s] /proc/loadavg: 2.05 2.10 2.05 3/213 5918 /proc/meminfo: memFree=28425116/32873648 swapFree=6864/6864 [pid=5899] ppid=5897 vsize=9625004 CPUtime=7.01 cores=0,2,4,6 /proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 15662 0 1 0 696 5 0 0 20 0 19 0 281412043 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5899/statm: 2406251 15772 2271 9 0 2396937 0 [pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=5.97 cores=0,2,4,6 /proc/5899/task/5901/stat : 5901 (java) R 5897 5899 32120 0 -1 4202560 2587 0 1 0 595 2 0 0 20 0 19 0 281412044 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592198459696 140592138633011 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 281412045 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=0.22 cores=0,2,4,6 /proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 35 0 0 0 22 0 0 0 20 0 19 0 281412046 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=0.34 cores=0,2,4,6 /proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 8838 0 0 0 32 2 0 0 20 0 19 0 281412048 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.2 cores=0,2,4,6 /proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2935 0 0 0 20 0 0 0 20 0 19 0 281412048 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 15772 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.01 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ /proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 235 0 0 0 128 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=1.26 cores=0,2,4,6 /proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 109 0 0 0 125 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=1.27 cores=0,2,4,6 /proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 237 0 0 0 125 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6 /proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 168 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=1.33 cores=0,2,4,6 /proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 262 0 0 0 131 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=1.36 cores=0,2,4,6 /proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 263 0 0 0 135 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=1.28 cores=0,2,4,6 /proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 247 0 0 0 126 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6 /proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 232 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=13.64 cores=0,2,4,6 /proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 146 0 0 0 1359 5 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 12885 0 0 0 99 3 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.25 cores=0,2,4,6 /proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2936 0 0 0 25 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0.47 cores=0,2,4,6 /proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 94 0 0 0 24 23 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1647.12 Current children cumulated vsize (KiB) 9625004 [startup+1639.1 s] /proc/loadavg: 2.05 2.02 2.00 3/213 5991 /proc/meminfo: memFree=28701852/32873648 swapFree=6864/6864 [pid=5899] ppid=5897 vsize=9625004 CPUtime=1647.94 cores=0,2,4,6 /proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 22036 0 1 0 164749 45 0 0 20 0 19 0 281412043 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5899/statm: 2406251 34393 2276 9 0 2396937 0 [pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=1622.28 cores=0,2,4,6 /proc/5899/task/5901/stat : 5901 (java) R 5897 5899 32120 0 -1 4202560 3040 0 1 0 162201 27 0 0 20 0 19 0 281412044 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592198457960 140592138639369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=1.29 cores=0,2,4,6 /proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 235 0 0 0 128 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=1.26 cores=0,2,4,6 /proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 109 0 0 0 125 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=1.27 cores=0,2,4,6 /proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 237 0 0 0 125 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6 /proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 168 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=1.33 cores=0,2,4,6 /proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 262 0 0 0 131 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=1.36 cores=0,2,4,6 /proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 263 0 0 0 135 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=1.28 cores=0,2,4,6 /proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 247 0 0 0 126 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6 /proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 232 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=13.64 cores=0,2,4,6 /proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 146 0 0 0 1359 5 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 12885 0 0 0 99 3 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.27 cores=0,2,4,6 /proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2936 0 0 0 27 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0.47 cores=0,2,4,6 /proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 94 0 0 0 24 23 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1647.94 Current children cumulated vsize (KiB) 9625004 [startup+1639.5 s] /proc/loadavg: 2.05 2.02 2.00 3/213 5991 /proc/meminfo: memFree=28701852/32873648 swapFree=6864/6864 [pid=5899] ppid=5897 vsize=9625004 CPUtime=1648.34 cores=0,2,4,6 /proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 22036 0 1 0 164789 45 0 0 20 0 19 0 281412043 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5899/statm: 2406251 34393 2276 9 0 2396937 0 [pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=1622.68 cores=0,2,4,6 /proc/5899/task/5901/stat : 5901 (java) R 5897 5899 32120 0 -1 4202560 3040 0 1 0 162241 27 0 0 20 0 19 0 281412044 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592198457840 140592138564508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=1.29 cores=0,2,4,6 /proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 235 0 0 0 128 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=1.26 cores=0,2,4,6 /proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 109 0 0 0 125 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=1.27 cores=0,2,4,6 /proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 237 0 0 0 125 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6 /proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 168 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=1.33 cores=0,2,4,6 /proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 262 0 0 0 131 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=1.36 cores=0,2,4,6 /proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 263 0 0 0 135 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=1.28 cores=0,2,4,6 /proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 247 0 0 0 126 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6 /proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 232 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=13.64 cores=0,2,4,6 /proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 146 0 0 0 1359 5 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 12885 0 0 0 99 3 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.27 cores=0,2,4,6 /proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2936 0 0 0 27 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0.47 cores=0,2,4,6 /proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 94 0 0 0 24 23 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1648.34 Current children cumulated vsize (KiB) 9625004 [startup+1639.6 s] /proc/loadavg: 2.05 2.02 2.00 3/213 5991 /proc/meminfo: memFree=28701852/32873648 swapFree=6864/6864 [pid=5899] ppid=5897 vsize=9625004 CPUtime=1648.44 cores=0,2,4,6 /proc/5899/stat : 5899 (java) S 5897 5899 32120 0 -1 4202496 22036 0 1 0 164799 45 0 0 20 0 19 0 281412043 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140736364220368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5899/statm: 2406251 34393 2276 9 0 2396937 0 [pid=5899/tid=5901] ppid=5897 vsize=9625004 CPUtime=1622.78 cores=0,2,4,6 /proc/5899/task/5901/stat : 5901 (java) R 5897 5899 32120 0 -1 4202560 3040 0 1 0 162251 27 0 0 20 0 19 0 281412044 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592198457840 140592138789036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5902] ppid=5897 vsize=9625004 CPUtime=1.29 cores=0,2,4,6 /proc/5899/task/5902/stat : 5902 (java) S 5897 5899 32120 0 -1 4202560 235 0 0 0 128 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592137190056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5903] ppid=5897 vsize=9625004 CPUtime=1.26 cores=0,2,4,6 /proc/5899/task/5903/stat : 5903 (java) S 5897 5899 32120 0 -1 4202560 109 0 0 0 125 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592136137512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5904] ppid=5897 vsize=9625004 CPUtime=1.27 cores=0,2,4,6 /proc/5899/task/5904/stat : 5904 (java) S 5897 5899 32120 0 -1 4202560 237 0 0 0 125 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592135084968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5905] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6 /proc/5899/task/5905/stat : 5905 (java) S 5897 5899 32120 0 -1 4202560 168 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592134032424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5906] ppid=5897 vsize=9625004 CPUtime=1.33 cores=0,2,4,6 /proc/5899/task/5906/stat : 5906 (java) S 5897 5899 32120 0 -1 4202560 262 0 0 0 131 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592132978856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5907] ppid=5897 vsize=9625004 CPUtime=1.36 cores=0,2,4,6 /proc/5899/task/5907/stat : 5907 (java) S 5897 5899 32120 0 -1 4202560 263 0 0 0 135 1 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592131926312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5899/tid=5908] ppid=5897 vsize=9625004 CPUtime=1.28 cores=0,2,4,6 /proc/5899/task/5908/stat : 5908 (java) S 5897 5899 32120 0 -1 4202560 247 0 0 0 126 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592035871144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5909] ppid=5897 vsize=9625004 CPUtime=1.32 cores=0,2,4,6 /proc/5899/task/5909/stat : 5909 (java) S 5897 5899 32120 0 -1 4202560 232 0 0 0 130 2 0 0 20 0 19 0 281412045 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592034818600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5910] ppid=5897 vsize=9625004 CPUtime=13.64 cores=0,2,4,6 /proc/5899/task/5910/stat : 5910 (java) S 5897 5899 32120 0 -1 4202560 146 0 0 0 1359 5 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592022620776 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5911] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5911/stat : 5911 (java) S 5897 5899 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592021567096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5912] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5912/stat : 5912 (java) S 5897 5899 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281412046 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592020514440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5913] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5913/stat : 5913 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592019463184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5914] ppid=5897 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/5899/task/5914/stat : 5914 (java) S 5897 5899 32120 0 -1 4202560 12885 0 0 0 99 3 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592018409528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5899/tid=5915] ppid=5897 vsize=9625004 CPUtime=0.27 cores=0,2,4,6 /proc/5899/task/5915/stat : 5915 (java) S 5897 5899 32120 0 -1 4202560 2936 0 0 0 27 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592017356984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5916] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5916/stat : 5916 (java) S 5897 5899 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592016304632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5899/tid=5917] ppid=5897 vsize=9625004 CPUtime=0.47 cores=0,2,4,6 /proc/5899/task/5917/stat : 5917 (java) S 5897 5899 32120 0 -1 4202560 94 0 0 0 24 23 0 0 20 0 19 0 281412048 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592015252296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5899/tid=5918] ppid=5897 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/5899/task/5918/stat : 5918 (java) S 5897 5899 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281412058 9856004096 34393 33554432000 1073741824 1073778376 140736364229232 140592014198056 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1648.44 Current children cumulated vsize (KiB) 9625004 Child status: 30 Real time (s): 1639.68 CPU time (s): 1648.93 CPU user time (s): 1648.09 CPU system time (s): 0.841872 CPU usage (%): 100.565 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1648.09 system time used= 0.841872 maximum resident set size= 139756 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22055 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1600 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47536 involuntary context switches= 30833 runsolver used 7.35888 second user time and 17.3314 second system time The end
Begin job on node125 at 2012-05-27 23:07:46 IDJOB=3710798 IDBENCH=2843 IDSOLVER=2289 FILE ID=node125/3710798-1338152866 RUNJOBID= node125-1338125514-32136 PBS_JOBID= 14624515 Free space on /tmp= 71260 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_10.r.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-3710798-1338152866/watcher-3710798-1338152866 -o /tmp/evaluation-result-3710798-1338152866/solver-3710798-1338152866 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710798-1338152866.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e965a77006f54aa5fb414d88d571084c RANDOM SEED=1988942056 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 2666.373 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28480912 kB Buffers: 455852 kB Cached: 2435636 kB SwapCached: 2304 kB Active: 2047804 kB Inactive: 1500648 kB Active(anon): 648316 kB Inactive(anon): 9556 kB Active(file): 1399488 kB Inactive(file): 1491092 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102616 kB Dirty: 1184 kB Writeback: 0 kB AnonPages: 672312 kB Mapped: 22552 kB Shmem: 104 kB Slab: 705024 kB SReclaimable: 147608 kB SUnreclaim: 557416 kB KernelStack: 1688 kB PageTables: 6004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 886404 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 626688 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= 71256 MiB End job on node125 at 2012-05-27 23:35:06