Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2.3.0 | SAT (TO) | 25 | 1800.18 | 1795.47 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
| MD5SUM | 82a3d84200b069df277c7f14e0e883d0 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 23 |
| Best CPU time to get the best result obtained on this benchmark | 1800.26 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23 |
| Optimality of the best value was proved | NO |
| Number of variables | 6076 |
| Total number of constraints | 21401 |
| Number of constraints which are clauses | 21392 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 666 |
| Number of terms in the objective function | 666 |
| 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 | 666 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.08/0.09 c version 2.3.1.v20110525 0.08/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.09 c java.vm.version 19.1-b02 0.08/0.09 c java.vm.vendor Sun Microsystems Inc. 0.08/0.09 c sun.arch.data.model 64 0.08/0.09 c java.version 1.6.0_24 0.08/0.09 c os.name Linux 0.08/0.09 c os.version 2.6.18-164.el5 0.08/0.09 c os.arch amd64 0.08/0.09 c Free memory 12995394264 0.08/0.09 c Max memory 13063553024 0.08/0.09 c Total memory 13063553024 0.08/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 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 lightweight component caching from RSAT taking into account the objective function 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=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458510-1307157169.opb 0.10/0.11 c reading problem ... 0.61/0.45 c ... done. Wall clock time 0.338s. 0.61/0.45 c #vars 6076 0.61/0.45 c #constraints 21401 0.61/0.45 c constraints type 0.61/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411 0.61/0.45 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.61/0.45 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984 1.07/0.52 c SATISFIABLE 1.07/0.52 c OPTIMIZING... 1.07/0.52 c Got one! Elapsed wall clock time (in seconds):0.411 1.07/0.52 o 26 2.20/1.45 c cleaning 2496 clauses out of 5003 with flag 5000/5003 3.26/2.42 c cleaning 4246 clauses out of 8507 with flag 11000/11003 4.07/3.26 c cleaning 5624 clauses out of 11261 with flag 18000/18003 4.47/3.64 c Got one! Elapsed wall clock time (in seconds):3.524 4.47/3.64 o 25 4.88/4.05 c cleaning 5735 clauses out of 11489 with flag 3007/23855 5.83/4.96 c cleaning 5858 clauses out of 11751 with flag 9004/29852 7.13/6.23 c cleaning 6428 clauses out of 12890 with flag 16001/36849 8.54/7.65 c cleaning 7218 clauses out of 14462 with flag 24001/44849 9.75/8.83 c cleaning 8111 clauses out of 16247 with flag 33004/53852 11.23/10.37 c cleaning 9053 clauses out of 18133 with flag 43001/63849 13.73/12.81 c cleaning 10028 clauses out of 20079 with flag 54000/74848 15.64/14.77 c cleaning 11006 clauses out of 22053 with flag 66002/86850 17.47/16.53 c cleaning 12007 clauses out of 24046 with flag 79001/99849 19.95/19.03 c cleaning 13001 clauses out of 26042 with flag 93004/113852 22.36/21.41 c cleaning 13992 clauses out of 28038 with flag 108001/128849 24.86/23.99 c cleaning 15001 clauses out of 30046 with flag 124001/144849 28.07/27.18 c cleaning 16012 clauses out of 32044 with flag 141000/161848 31.68/30.78 c cleaning 17012 clauses out of 34034 with flag 159002/179850 35.18/34.25 c cleaning 17999 clauses out of 36021 with flag 178001/198849 38.68/37.75 c cleaning 19001 clauses out of 38022 with flag 198001/218849 42.69/41.72 c cleaning 20001 clauses out of 40021 with flag 219001/239849 46.69/45.76 c cleaning 20999 clauses out of 42020 with flag 241001/261849 50.20/49.22 c cleaning 21494 clauses out of 43021 with flag 263001/283849 54.22/53.27 c cleaning 21745 clauses out of 43529 with flag 285003/305851 58.03/56.74 c cleaning 21877 clauses out of 43781 with flag 307000/327848 61.95/60.65 c cleaning 21936 clauses out of 43905 with flag 329001/349849 65.18/63.83 c cleaning 21964 clauses out of 43969 with flag 351001/371849 68.38/67.03 c cleaning 21988 clauses out of 44004 with flag 373000/393848 72.48/71.19 c cleaning 21994 clauses out of 44019 with flag 395003/415851 75.89/74.56 c cleaning 22004 clauses out of 44022 with flag 417000/437848 79.90/78.53 c cleaning 21989 clauses out of 44018 with flag 439000/459848 83.00/81.60 c cleaning 21993 clauses out of 44029 with flag 461000/481848 87.81/86.44 c cleaning 21996 clauses out of 44036 with flag 483000/503848 92.51/91.15 c cleaning 21995 clauses out of 44041 with flag 505001/525849 95.52/94.13 c cleaning 22000 clauses out of 44046 with flag 527001/547849 98.43/97.09 c cleaning 21999 clauses out of 44046 with flag 549001/569849 101.33/99.97 c cleaning 22006 clauses out of 44046 with flag 571000/591848 105.44/104.00 c cleaning 21999 clauses out of 44040 with flag 593000/613848 108.84/107.45 c cleaning 22000 clauses out of 44041 with flag 615000/635848 112.56/111.16 c cleaning 21996 clauses out of 44041 with flag 637000/657848 115.55/114.12 c cleaning 22008 clauses out of 44045 with flag 659000/679848 120.56/119.14 c cleaning 21999 clauses out of 44038 with flag 681001/701849 125.16/123.70 c cleaning 22005 clauses out of 44038 with flag 703000/723848 128.17/126.70 c cleaning 21996 clauses out of 44033 with flag 725000/745848 130.87/129.40 c cleaning 21994 clauses out of 44038 with flag 747001/767849 134.28/132.80 c cleaning 22003 clauses out of 44047 with flag 769004/789852 138.39/136.92 c cleaning 22006 clauses out of 44043 with flag 791003/811851 142.50/141.06 c cleaning 21990 clauses out of 44035 with flag 813001/833849 147.01/145.54 c cleaning 21988 clauses out of 44044 with flag 835000/855848 151.72/150.24 c cleaning 22002 clauses out of 44057 with flag 857001/877849 155.54/154.04 c cleaning 21985 clauses out of 44054 with flag 879000/899848 159.03/157.58 c cleaning 22016 clauses out of 44071 with flag 901002/921850 163.15/161.67 c cleaning 21993 clauses out of 44053 with flag 923000/943848 166.45/164.95 c cleaning 21992 clauses out of 44060 with flag 945000/965848 170.15/168.62 c cleaning 22018 clauses out of 44070 with flag 967002/987850 174.56/173.01 c cleaning 22003 clauses out of 44051 with flag 989001/1009849 177.47/175.99 c cleaning 21998 clauses out of 44047 with flag 1011000/1031848 180.57/179.03 c cleaning 22012 clauses out of 44054 with flag 1033005/1053853 183.47/181.92 c cleaning 22002 clauses out of 44039 with flag 1055002/1075850 188.28/186.78 c cleaning 22004 clauses out of 44037 with flag 1077002/1097850 193.88/192.30 c cleaning 21997 clauses out of 44031 with flag 1099000/1119848 199.50/197.95 c cleaning 21996 clauses out of 44035 with flag 1121001/1141849 205.30/203.78 c cleaning 22001 clauses out of 44039 with flag 1143001/1163849 210.01/208.40 c cleaning 21986 clauses out of 44041 with flag 1165004/1185852 213.51/211.91 c cleaning 21983 clauses out of 44052 with flag 1187001/1207849 216.82/215.21 c cleaning 21990 clauses out of 44068 with flag 1209000/1229848 219.92/218.33 c cleaning 21978 clauses out of 44079 with flag 1231001/1251849 223.23/221.60 c cleaning 22003 clauses out of 44100 with flag 1253000/1273848 226.26/224.68 c cleaning 22000 clauses out of 44097 with flag 1275000/1295848 229.46/227.84 c cleaning 21999 clauses out of 44097 with flag 1297000/1317848 232.58/230.97 c cleaning 22017 clauses out of 44098 with flag 1319000/1339848 235.67/234.09 c cleaning 22010 clauses out of 44081 with flag 1341000/1361848 239.88/238.23 c cleaning 22013 clauses out of 44072 with flag 1363001/1383849 242.69/241.04 c cleaning 22014 clauses out of 44061 with flag 1385003/1405851 246.60/244.95 c cleaning 22005 clauses out of 44048 with flag 1407004/1427852 250.74/249.02 c cleaning 22000 clauses out of 44040 with flag 1429001/1449849 253.75/252.00 c cleaning 22000 clauses out of 44040 with flag 1451001/1471849 256.75/255.04 c cleaning 22000 clauses out of 44041 with flag 1473002/1493850 259.96/258.25 c cleaning 22003 clauses out of 44040 with flag 1495001/1515849 264.68/262.92 c cleaning 22007 clauses out of 44036 with flag 1517000/1537848 270.27/268.52 c cleaning 22004 clauses out of 44031 with flag 1539002/1559850 275.88/274.10 c cleaning 21996 clauses out of 44029 with flag 1561004/1581852 281.21/279.42 c cleaning 21993 clauses out of 44032 with flag 1583003/1603851 285.90/284.12 c cleaning 21997 clauses out of 44036 with flag 1605000/1625848 289.20/287.44 c cleaning 22005 clauses out of 44041 with flag 1627002/1647850 292.31/290.53 c cleaning 22002 clauses out of 44034 with flag 1649000/1669848 295.61/293.87 c cleaning 22004 clauses out of 44034 with flag 1671002/1691850 299.02/297.27 c cleaning 21997 clauses out of 44028 with flag 1693000/1713848 302.22/300.48 c cleaning 21997 clauses out of 44031 with flag 1715000/1735848 305.34/303.53 c cleaning 21997 clauses out of 44034 with flag 1737000/1757848 308.53/306.80 c cleaning 21992 clauses out of 44038 with flag 1759001/1779849 313.34/311.50 c cleaning 21999 clauses out of 44045 with flag 1781000/1801848 318.66/316.88 c cleaning 21997 clauses out of 44046 with flag 1803000/1823848 324.25/322.48 c cleaning 22001 clauses out of 44050 with flag 1825001/1845849 329.95/328.13 c cleaning 22005 clauses out of 44048 with flag 1847000/1867848 334.96/333.20 c cleaning 21989 clauses out of 44043 with flag 1869000/1889848 339.98/338.13 c cleaning 22002 clauses out of 44054 with flag 1891000/1911848 345.48/343.67 c cleaning 22002 clauses out of 44054 with flag 1913002/1933850 351.09/349.24 c cleaning 21999 clauses out of 44051 with flag 1935001/1955849 355.59/353.73 c cleaning 22011 clauses out of 44059 with flag 1957008/1977856 359.90/358.00 c cleaning 22000 clauses out of 44040 with flag 1979000/1999848 362.80/360.92 c cleaning 22004 clauses out of 44040 with flag 2001000/2021848 366.21/364.31 c cleaning 22000 clauses out of 44036 with flag 2023000/2043848 370.51/368.68 c cleaning 22000 clauses out of 44038 with flag 2045002/2065850 374.22/372.36 c cleaning 21990 clauses out of 44036 with flag 2067000/2087848 378.52/376.62 c cleaning 22001 clauses out of 44047 with flag 2089001/2109849 382.63/380.78 c cleaning 22002 clauses out of 44045 with flag 2111000/2131848 387.04/385.13 c cleaning 21997 clauses out of 44043 with flag 2133000/2153848 390.64/388.76 c cleaning 22002 clauses out of 44047 with flag 2155001/2175849 393.75/391.87 c cleaning 22002 clauses out of 44045 with flag 2177001/2197849 396.95/395.01 c cleaning 22001 clauses out of 44044 with flag 2199002/2219850 400.07/398.19 c cleaning 21996 clauses out of 44042 with flag 2221001/2241849 403.38/401.47 c cleaning 22002 clauses out of 44045 with flag 2243000/2263848 406.57/404.68 c cleaning 22001 clauses out of 44043 with flag 2265000/2285848 409.99/408.02 c cleaning 22013 clauses out of 44045 with flag 2287003/2307851 413.69/411.74 c cleaning 22002 clauses out of 44031 with flag 2309002/2329850 417.20/415.21 c cleaning 22003 clauses out of 44028 with flag 2331001/2351849 420.80/418.83 c cleaning 21994 clauses out of 44025 with flag 2353001/2373849 424.70/422.74 c cleaning 22000 clauses out of 44031 with flag 2375001/2395849 428.50/426.51 c cleaning 22003 clauses out of 44031 with flag 2397001/2417849 431.71/429.79 c cleaning 21986 clauses out of 44028 with flag 2419001/2439849 435.21/433.23 c cleaning 21996 clauses out of 44044 with flag 2441003/2461851 438.42/436.47 c cleaning 21998 clauses out of 44045 with flag 2463000/2483848 441.62/439.67 c cleaning 22002 clauses out of 44047 with flag 2485000/2505848 444.92/442.95 c cleaning 22000 clauses out of 44045 with flag 2507000/2527848 448.22/446.28 c cleaning 21996 clauses out of 44045 with flag 2529000/2549848 451.62/449.63 c cleaning 21998 clauses out of 44050 with flag 2551001/2571849 454.93/452.92 c cleaning 21999 clauses out of 44051 with flag 2573000/2593848 458.23/456.28 c cleaning 22000 clauses out of 44052 with flag 2595000/2615848 461.63/459.66 c cleaning 21997 clauses out of 44053 with flag 2617001/2637849 464.74/462.74 c cleaning 22012 clauses out of 44055 with flag 2639000/2659848 467.74/465.70 c cleaning 21998 clauses out of 44044 with flag 2661001/2681849 471.15/469.16 c cleaning 22007 clauses out of 44046 with flag 2683001/2703849 474.55/472.51 c cleaning 21994 clauses out of 44038 with flag 2705000/2725848 477.75/475.79 c cleaning 21998 clauses out of 44044 with flag 2727000/2747848 481.96/479.97 c cleaning 21989 clauses out of 44046 with flag 2749000/2769848 485.97/484.00 c cleaning 22000 clauses out of 44057 with flag 2771000/2791848 490.07/488.06 c cleaning 22008 clauses out of 44057 with flag 2793000/2813848 494.67/492.67 c cleaning 21996 clauses out of 44049 with flag 2815000/2835848 499.08/497.09 c cleaning 22007 clauses out of 44053 with flag 2837000/2857848 502.59/500.55 c cleaning 22007 clauses out of 44048 with flag 2859002/2879850 505.90/503.85 c cleaning 22004 clauses out of 44043 with flag 2881004/2901852 509.59/507.53 c cleaning 22002 clauses out of 44036 with flag 2903001/2923849 513.19/511.16 c cleaning 21991 clauses out of 44033 with flag 2925000/2945848 517.19/515.17 c cleaning 21994 clauses out of 44044 with flag 2947002/2967850 521.40/519.35 c cleaning 22006 clauses out of 44049 with flag 2969001/2989849 524.91/522.88 c cleaning 21991 clauses out of 44043 with flag 2991001/3011849 528.11/526.03 c cleaning 22003 clauses out of 44051 with flag 3013000/3033848 531.02/528.97 c cleaning 22006 clauses out of 44049 with flag 3035001/3055849 534.43/532.37 c cleaning 22005 clauses out of 44043 with flag 3057001/3077849 539.13/537.08 c cleaning 21994 clauses out of 44037 with flag 3079000/3099848 543.84/541.79 c cleaning 22004 clauses out of 44044 with flag 3101001/3121849 548.24/546.11 c cleaning 22003 clauses out of 44039 with flag 3123000/3143848 552.55/550.44 c cleaning 21999 clauses out of 44036 with flag 3145000/3165848 556.46/554.34 c cleaning 22002 clauses out of 44037 with flag 3167000/3187848 560.36/558.28 c cleaning 21980 clauses out of 44036 with flag 3189001/3209849 564.47/562.35 c cleaning 21996 clauses out of 44057 with flag 3211002/3231850 568.27/566.14 c cleaning 22001 clauses out of 44060 with flag 3233001/3253849 571.89/569.80 c cleaning 22004 clauses out of 44058 with flag 3255000/3275848 575.09/572.94 c cleaning 22006 clauses out of 44055 with flag 3277001/3297849 578.30/576.15 c cleaning 22005 clauses out of 44050 with flag 3299002/3319850 581.61/579.49 c cleaning 21998 clauses out of 44043 with flag 3321000/3341848 585.01/582.88 c cleaning 21989 clauses out of 44045 with flag 3343000/3363848 588.62/586.45 c cleaning 22004 clauses out of 44058 with flag 3365002/3385850 592.12/589.99 c cleaning 22003 clauses out of 44052 with flag 3387000/3407848 595.62/593.42 c cleaning 22000 clauses out of 44050 with flag 3409001/3429849 599.33/597.21 c cleaning 21994 clauses out of 44050 with flag 3431001/3451849 604.14/601.96 c cleaning 22009 clauses out of 44055 with flag 3453000/3473848 608.85/606.65 c cleaning 22001 clauses out of 44046 with flag 3475000/3495848 612.86/610.62 c cleaning 22005 clauses out of 44047 with flag 3497002/3517850 616.87/614.64 c cleaning 22011 clauses out of 44042 with flag 3519002/3539850 620.97/618.72 c cleaning 21999 clauses out of 44030 with flag 3541001/3561849 624.78/622.55 c cleaning 22000 clauses out of 44031 with flag 3563001/3583849 629.19/626.95 c cleaning 21998 clauses out of 44032 with flag 3585002/3605850 633.89/631.63 c cleaning 21990 clauses out of 44032 with flag 3607000/3627848 637.50/635.27 c cleaning 22004 clauses out of 44042 with flag 3629000/3649848 641.00/638.72 c cleaning 22003 clauses out of 44040 with flag 3651002/3671850 644.51/642.21 c cleaning 21999 clauses out of 44037 with flag 3673002/3693850 648.03/645.78 c cleaning 21998 clauses out of 44037 with flag 3695001/3715849 651.52/649.29 c cleaning 22004 clauses out of 44041 with flag 3717003/3737851 655.02/652.78 c cleaning 21998 clauses out of 44035 with flag 3739001/3759849 658.42/656.15 c cleaning 22000 clauses out of 44036 with flag 3761000/3781848 662.02/659.71 c cleaning 21997 clauses out of 44036 with flag 3783000/3803848 665.44/663.15 c cleaning 22001 clauses out of 44039 with flag 3805000/3825848 668.85/666.52 c cleaning 21996 clauses out of 44038 with flag 3827000/3847848 672.05/669.75 c cleaning 22000 clauses out of 44042 with flag 3849000/3869848 675.46/673.12 c cleaning 22001 clauses out of 44043 with flag 3871001/3891849 678.76/676.50 c cleaning 22002 clauses out of 44041 with flag 3893000/3913848 682.07/679.74 c cleaning 21998 clauses out of 44039 with flag 3915000/3935848 685.27/682.92 c cleaning 22003 clauses out of 44043 with flag 3937002/3957850 688.57/686.22 c cleaning 22001 clauses out of 44039 with flag 3959001/3979849 691.98/689.69 c cleaning 21990 clauses out of 44037 with flag 3981000/4001848 695.67/693.32 c cleaning 22001 clauses out of 44047 with flag 4003000/4023848 699.58/697.22 c cleaning 22004 clauses out of 44047 with flag 4025001/4045849 703.68/701.32 c cleaning 21998 clauses out of 44042 with flag 4047000/4067848 707.19/704.85 c cleaning 22002 clauses out of 44046 with flag 4069002/4089850 710.99/708.64 c cleaning 22008 clauses out of 44044 with flag 4091002/4111850 714.80/712.49 c cleaning 22001 clauses out of 44035 with flag 4113001/4133849 718.41/716.08 c cleaning 21997 clauses out of 44034 with flag 4135001/4155849 722.21/719.86 c cleaning 21995 clauses out of 44037 with flag 4157001/4177849 726.23/723.82 c cleaning 22001 clauses out of 44042 with flag 4179001/4199849 730.22/727.87 c cleaning 21997 clauses out of 44041 with flag 4201001/4221849 734.02/731.64 c cleaning 22001 clauses out of 44043 with flag 4223000/4243848 737.72/735.36 c cleaning 22005 clauses out of 44043 with flag 4245001/4265849 741.64/739.26 c cleaning 21997 clauses out of 44038 with flag 4267001/4287849 745.43/743.00 c cleaning 22000 clauses out of 44040 with flag 4289000/4309848 749.24/746.88 c cleaning 22002 clauses out of 44041 with flag 4311001/4331849 753.13/750.76 c cleaning 22001 clauses out of 44038 with flag 4333000/4353848 756.84/754.46 c cleaning 22006 clauses out of 44038 with flag 4355001/4375849 760.85/758.42 c cleaning 22003 clauses out of 44034 with flag 4377003/4397851 764.66/762.22 c cleaning 21999 clauses out of 44029 with flag 4399001/4419849 768.76/766.39 c cleaning 21999 clauses out of 44029 with flag 4421000/4441848 772.48/770.05 c cleaning 22000 clauses out of 44031 with flag 4443001/4463849 776.46/774.06 c cleaning 21993 clauses out of 44030 with flag 4465000/4485848 780.08/777.64 c cleaning 21996 clauses out of 44038 with flag 4487001/4507849 783.49/781.08 c cleaning 21995 clauses out of 44041 with flag 4509000/4529848 787.79/785.31 c cleaning 21996 clauses out of 44048 with flag 4531002/4551850 791.39/788.98 c cleaning 21996 clauses out of 44050 with flag 4553000/4573848 796.50/794.05 c cleaning 22010 clauses out of 44058 with flag 4575004/4595852 801.91/799.43 c cleaning 21995 clauses out of 44044 with flag 4597000/4617848 805.72/803.24 c cleaning 21988 clauses out of 44049 with flag 4619000/4639848 809.03/806.50 c cleaning 22000 clauses out of 44061 with flag 4641000/4661848 812.33/809.84 c cleaning 22005 clauses out of 44061 with flag 4663000/4683848 817.55/815.02 c cleaning 22007 clauses out of 44057 with flag 4685001/4705849 822.65/820.10 c cleaning 22003 clauses out of 44049 with flag 4707000/4727848 827.75/825.24 c cleaning 22005 clauses out of 44048 with flag 4729002/4749850 832.76/830.22 c cleaning 22005 clauses out of 44041 with flag 4751000/4771848 836.16/833.69 c cleaning 22007 clauses out of 44036 with flag 4773000/4793848 839.27/836.78 c cleaning 22006 clauses out of 44032 with flag 4795003/4815851 842.27/839.73 c cleaning 21997 clauses out of 44023 with flag 4817000/4837848 845.09/842.55 c cleaning 22002 clauses out of 44026 with flag 4839000/4859848 847.99/845.40 c cleaning 21997 clauses out of 44024 with flag 4861000/4881848 850.89/848.34 c cleaning 21999 clauses out of 44027 with flag 4883000/4903848 853.90/851.32 c cleaning 22000 clauses out of 44028 with flag 4905000/4925848 858.60/856.07 c cleaning 22005 clauses out of 44028 with flag 4927000/4947848 862.62/860.11 c cleaning 22002 clauses out of 44023 with flag 4949000/4969848 867.02/864.47 c cleaning 22002 clauses out of 44021 with flag 4971000/4991848 871.93/869.32 c cleaning 22003 clauses out of 44020 with flag 4993001/5013849 877.05/874.44 c cleaning 21994 clauses out of 44016 with flag 5015000/5035848 881.25/878.64 c cleaning 22001 clauses out of 44023 with flag 5037001/5057849 885.75/883.19 c cleaning 21985 clauses out of 44022 with flag 5059001/5079849 890.58/887.98 c cleaning 21991 clauses out of 44036 with flag 5081000/5101848 895.08/892.43 c cleaning 22014 clauses out of 44047 with flag 5103002/5123850 899.49/896.80 c cleaning 22006 clauses out of 44033 with flag 5125002/5145850 902.40/899.75 c cleaning 21997 clauses out of 44027 with flag 5147002/5167850 905.21/902.54 c cleaning 21997 clauses out of 44029 with flag 5169001/5189849 908.03/905.33 c cleaning 22003 clauses out of 44031 with flag 5191000/5211848 910.72/908.04 c cleaning 22001 clauses out of 44029 with flag 5213001/5233849 913.73/911.05 c cleaning 21999 clauses out of 44029 with flag 5235002/5255850 916.63/913.94 c cleaning 22004 clauses out of 44028 with flag 5257000/5277848 919.54/916.82 c cleaning 22000 clauses out of 44024 with flag 5279000/5299848 922.44/919.75 c cleaning 21996 clauses out of 44025 with flag 5301001/5321849 925.34/922.64 c cleaning 22002 clauses out of 44029 with flag 5323001/5343849 928.25/925.50 c cleaning 22006 clauses out of 44027 with flag 5345001/5365849 931.17/928.42 c cleaning 22001 clauses out of 44023 with flag 5367003/5387851 934.26/931.57 c cleaning 21987 clauses out of 44019 with flag 5389000/5409848 937.17/934.40 c cleaning 21998 clauses out of 44034 with flag 5411002/5431850 939.77/937.07 c cleaning 21999 clauses out of 44034 with flag 5433000/5453848 942.47/939.80 c cleaning 21992 clauses out of 44035 with flag 5455000/5475848 946.38/943.60 c cleaning 21993 clauses out of 44043 with flag 5477000/5497848 950.89/948.12 c cleaning 22013 clauses out of 44051 with flag 5499001/5519849 955.79/953.00 c cleaning 22002 clauses out of 44037 with flag 5521000/5541848 960.30/957.59 c cleaning 21999 clauses out of 44037 with flag 5543002/5563850 965.01/962.20 c cleaning 21990 clauses out of 44036 with flag 5565000/5585848 969.62/966.87 c cleaning 22011 clauses out of 44047 with flag 5587001/5607849 974.52/971.77 c cleaning 21989 clauses out of 44035 with flag 5609000/5629848 979.12/976.39 c cleaning 22012 clauses out of 44049 with flag 5631003/5651851 984.33/981.57 c cleaning 22003 clauses out of 44034 with flag 5653000/5673848 989.24/986.42 c cleaning 21992 clauses out of 44034 with flag 5675003/5695851 993.86/991.02 c cleaning 21982 clauses out of 44040 with flag 5697001/5717849 998.38/995.52 c cleaning 22011 clauses out of 44057 with flag 5719000/5739848 1002.67/999.90 c cleaning 22007 clauses out of 44046 with flag 5741000/5761848 1006.87/1004.05 c cleaning 21988 clauses out of 44039 with flag 5763000/5783848 1011.17/1008.39 c cleaning 21989 clauses out of 44051 with flag 5785000/5805848 1015.78/1012.91 c cleaning 22013 clauses out of 44063 with flag 5807001/5827849 1019.99/1017.17 c cleaning 22001 clauses out of 44050 with flag 5829001/5849849 1024.81/1021.92 c cleaning 22006 clauses out of 44048 with flag 5851000/5871848 1028.99/1026.21 c cleaning 22000 clauses out of 44043 with flag 5873001/5893849 1032.90/1030.04 c cleaning 21986 clauses out of 44042 with flag 5895000/5915848 1037.21/1034.30 c cleaning 22007 clauses out of 44058 with flag 5917002/5937850 1041.91/1039.02 c cleaning 22003 clauses out of 44049 with flag 5939000/5959848 1046.52/1043.62 c cleaning 22000 clauses out of 44047 with flag 5961001/5981849 1049.53/1046.62 c cleaning 21997 clauses out of 44050 with flag 5983004/6003852 1052.35/1049.49 c cleaning 21992 clauses out of 44050 with flag 6005001/6025849 1055.14/1052.28 c cleaning 22004 clauses out of 44060 with flag 6027003/6047851 1058.14/1055.22 c cleaning 21995 clauses out of 44053 with flag 6049000/6069848 1061.05/1058.21 c cleaning 22002 clauses out of 44058 with flag 6071000/6091848 1064.15/1061.29 c cleaning 22004 clauses out of 44056 with flag 6093000/6113848 1067.25/1064.37 c cleaning 22000 clauses out of 44052 with flag 6115000/6135848 1070.26/1067.34 c cleaning 22004 clauses out of 44054 with flag 6137002/6157850 1073.17/1070.28 c cleaning 22004 clauses out of 44049 with flag 6159001/6179849 1075.77/1072.87 c cleaning 21992 clauses out of 44044 with flag 6181000/6201848 1078.87/1075.95 c cleaning 21997 clauses out of 44053 with flag 6203001/6223849 1082.17/1079.23 c cleaning 22002 clauses out of 44055 with flag 6225000/6245848 1085.29/1082.37 c cleaning 22001 clauses out of 44056 with flag 6247003/6267851 1088.19/1085.27 c cleaning 21999 clauses out of 44053 with flag 6269001/6289849 1091.29/1088.38 c cleaning 21998 clauses out of 44054 with flag 6291001/6311849 1094.39/1091.45 c cleaning 21998 clauses out of 44055 with flag 6313000/6333848 1097.59/1094.66 c cleaning 22000 clauses out of 44057 with flag 6335000/6355848 1100.60/1097.63 c cleaning 21998 clauses out of 44057 with flag 6357000/6377848 1103.90/1100.92 c cleaning 22006 clauses out of 44062 with flag 6379003/6399851 1107.21/1104.30 c cleaning 22001 clauses out of 44053 with flag 6401000/6421848 1110.43/1107.41 c cleaning 22000 clauses out of 44052 with flag 6423000/6443848 1113.33/1110.30 c cleaning 21999 clauses out of 44052 with flag 6445000/6465848 1116.53/1113.57 c cleaning 21994 clauses out of 44053 with flag 6467000/6487848 1119.83/1116.89 c cleaning 22006 clauses out of 44060 with flag 6489001/6509849 1123.14/1120.13 c cleaning 22003 clauses out of 44053 with flag 6511000/6531848 1126.34/1123.30 c cleaning 22001 clauses out of 44051 with flag 6533001/6553849 1129.35/1126.33 c cleaning 22002 clauses out of 44049 with flag 6555000/6575848 1132.35/1129.33 c cleaning 21998 clauses out of 44048 with flag 6577001/6597849 1135.46/1132.40 c cleaning 22003 clauses out of 44049 with flag 6599000/6619848 1138.27/1135.23 c cleaning 21999 clauses out of 44047 with flag 6621001/6641849 1141.06/1138.01 c cleaning 21999 clauses out of 44047 with flag 6643000/6663848 1143.96/1140.95 c cleaning 21997 clauses out of 44048 with flag 6665000/6685848 1146.87/1143.82 c cleaning 22002 clauses out of 44054 with flag 6687003/6707851 1149.88/1146.86 c cleaning 22006 clauses out of 44050 with flag 6709001/6729849 1153.38/1150.37 c cleaning 21996 clauses out of 44044 with flag 6731001/6751849 1156.59/1153.56 c cleaning 22012 clauses out of 44047 with flag 6753000/6773848 1160.31/1157.29 c cleaning 21992 clauses out of 44035 with flag 6775000/6795848 1163.40/1160.32 c cleaning 21999 clauses out of 44044 with flag 6797001/6817849 1168.51/1165.44 c cleaning 22005 clauses out of 44046 with flag 6819002/6839850 1173.11/1170.03 c cleaning 21993 clauses out of 44041 with flag 6841002/6861850 1177.82/1174.75 c cleaning 21995 clauses out of 44048 with flag 6863002/6883850 1182.53/1179.47 c cleaning 21991 clauses out of 44051 with flag 6885000/6905848 1186.66/1183.53 c cleaning 21993 clauses out of 44062 with flag 6907002/6927850 1190.16/1187.07 c cleaning 22007 clauses out of 44072 with flag 6929005/6949853 1193.87/1190.71 c cleaning 21996 clauses out of 44060 with flag 6951000/6971848 1197.79/1194.64 c cleaning 21997 clauses out of 44064 with flag 6973000/6993848 1201.38/1198.20 c cleaning 22000 clauses out of 44069 with flag 6995002/7015850 1205.50/1202.33 c cleaning 22011 clauses out of 44067 with flag 7017000/7037848 1210.39/1207.29 c cleaning 22002 clauses out of 44057 with flag 7039001/7059849 1216.10/1212.56 c cleaning 21994 clauses out of 44054 with flag 7061000/7081848 1221.26/1217.42 c cleaning 22001 clauses out of 44060 with flag 7083000/7103848 1226.27/1222.43 c cleaning 21991 clauses out of 44062 with flag 7105003/7125851 1230.98/1227.19 c cleaning 22009 clauses out of 44068 with flag 7127000/7147848 1235.48/1231.66 c cleaning 21997 clauses out of 44059 with flag 7149000/7169848 1238.89/1235.08 c cleaning 22006 clauses out of 44063 with flag 7171001/7191849 1241.80/1237.96 c cleaning 22003 clauses out of 44057 with flag 7193001/7213849 1244.90/1241.05 c cleaning 22005 clauses out of 44053 with flag 7215000/7235848 1248.21/1244.31 c cleaning 21999 clauses out of 44049 with flag 7237001/7257849 1251.51/1247.66 c cleaning 21961 clauses out of 44049 with flag 7259000/7279848 1254.81/1250.90 c cleaning 21982 clauses out of 44088 with flag 7281000/7301848 1258.12/1254.23 c cleaning 21993 clauses out of 44108 with flag 7303002/7323850 1261.24/1257.35 c cleaning 22007 clauses out of 44117 with flag 7325004/7345852 1264.62/1260.77 c cleaning 21997 clauses out of 44106 with flag 7347000/7367848 1267.93/1264.08 c cleaning 21995 clauses out of 44109 with flag 7369000/7389848 1271.74/1267.84 c cleaning 22039 clauses out of 44114 with flag 7391000/7411848 1275.84/1271.92 c cleaning 22015 clauses out of 44076 with flag 7413001/7433849 1279.55/1275.64 c cleaning 22008 clauses out of 44060 with flag 7435000/7455848 1283.76/1279.88 c cleaning 22011 clauses out of 44053 with flag 7457001/7477849 1287.68/1283.78 c cleaning 22008 clauses out of 44041 with flag 7479000/7499848 1291.77/1287.82 c cleaning 21997 clauses out of 44034 with flag 7501001/7521849 1295.28/1291.35 c cleaning 22003 clauses out of 44038 with flag 7523002/7543850 1299.28/1295.31 c cleaning 21996 clauses out of 44035 with flag 7545002/7565850 1303.38/1299.45 c cleaning 22007 clauses out of 44038 with flag 7567001/7587849 1307.51/1303.56 c cleaning 21985 clauses out of 44031 with flag 7589001/7609849 1311.50/1307.54 c cleaning 22003 clauses out of 44048 with flag 7611003/7631851 1315.50/1311.51 c cleaning 21994 clauses out of 44042 with flag 7633000/7653848 1319.71/1315.73 c cleaning 21997 clauses out of 44048 with flag 7655000/7675848 1323.72/1319.73 c cleaning 22005 clauses out of 44054 with flag 7677003/7697851 1327.62/1323.68 c cleaning 21998 clauses out of 44046 with flag 7699000/7719848 1331.33/1327.34 c cleaning 22000 clauses out of 44048 with flag 7721000/7741848 1334.14/1330.17 c cleaning 22002 clauses out of 44050 with flag 7743002/7763850 1337.54/1333.55 c cleaning 21997 clauses out of 44047 with flag 7765001/7785849 1340.95/1336.96 c cleaning 22006 clauses out of 44051 with flag 7787002/7807850 1344.26/1340.23 c cleaning 21999 clauses out of 44044 with flag 7809001/7829849 1347.56/1343.58 c cleaning 22000 clauses out of 44045 with flag 7831001/7851849 1350.66/1346.64 c cleaning 22005 clauses out of 44046 with flag 7853002/7873850 1354.47/1350.44 c cleaning 21999 clauses out of 44040 with flag 7875001/7895849 1358.27/1354.20 c cleaning 21999 clauses out of 44041 with flag 7897001/7917849 1362.07/1358.08 c cleaning 21996 clauses out of 44041 with flag 7919000/7939848 1365.67/1361.62 c cleaning 22002 clauses out of 44047 with flag 7941002/7961850 1369.48/1365.43 c cleaning 21998 clauses out of 44043 with flag 7963000/7983848 1373.18/1369.12 c cleaning 21996 clauses out of 44046 with flag 7985001/8005849 1376.58/1372.50 c cleaning 22001 clauses out of 44049 with flag 8007000/8027848 1380.48/1376.47 c cleaning 22004 clauses out of 44048 with flag 8029000/8049848 1383.88/1379.89 c cleaning 22001 clauses out of 44045 with flag 8051001/8071849 1387.09/1383.01 c cleaning 22001 clauses out of 44043 with flag 8073000/8093848 1389.89/1385.86 c cleaning 22001 clauses out of 44043 with flag 8095001/8115849 1392.59/1388.59 c cleaning 21999 clauses out of 44043 with flag 8117002/8137850 1395.40/1391.32 c cleaning 21997 clauses out of 44044 with flag 8139002/8159850 1398.40/1394.33 c cleaning 21999 clauses out of 44046 with flag 8161001/8181849 1401.21/1397.16 c cleaning 22001 clauses out of 44046 with flag 8183000/8203848 1404.01/1399.94 c cleaning 22007 clauses out of 44046 with flag 8205001/8225849 1408.52/1404.42 c cleaning 21998 clauses out of 44038 with flag 8227000/8247848 1413.13/1409.04 c cleaning 22002 clauses out of 44040 with flag 8249000/8269848 1418.03/1413.95 c cleaning 21997 clauses out of 44038 with flag 8271000/8291848 1423.04/1418.97 c cleaning 22003 clauses out of 44042 with flag 8293001/8313849 1427.94/1423.82 c cleaning 22000 clauses out of 44038 with flag 8315000/8335848 1432.64/1428.59 c cleaning 21996 clauses out of 44038 with flag 8337000/8357848 1437.75/1433.64 c cleaning 21994 clauses out of 44042 with flag 8359000/8379848 1442.25/1438.14 c cleaning 22002 clauses out of 44048 with flag 8381000/8401848 1446.86/1442.79 c cleaning 22004 clauses out of 44049 with flag 8403003/8423851 1450.97/1446.81 c cleaning 21990 clauses out of 44043 with flag 8425001/8445849 1455.57/1451.48 c cleaning 21996 clauses out of 44052 with flag 8447000/8467848 1460.18/1456.02 c cleaning 21999 clauses out of 44056 with flag 8469000/8489848 1463.48/1459.36 c cleaning 21998 clauses out of 44058 with flag 8491001/8511849 1467.20/1463.05 c cleaning 22002 clauses out of 44059 with flag 8513000/8533848 1472.09/1467.93 c cleaning 22004 clauses out of 44057 with flag 8535000/8555848 1477.19/1473.00 c cleaning 21985 clauses out of 44053 with flag 8557000/8577848 1482.50/1478.33 c cleaning 22007 clauses out of 44068 with flag 8579000/8599848 1487.70/1483.56 c cleaning 22010 clauses out of 44061 with flag 8601000/8621848 1492.30/1488.11 c cleaning 22009 clauses out of 44052 with flag 8623001/8643849 1496.71/1492.52 c cleaning 22001 clauses out of 44046 with flag 8645004/8665852 1501.71/1497.57 c cleaning 21999 clauses out of 44043 with flag 8667002/8687850 1506.22/1502.00 c cleaning 21980 clauses out of 44042 with flag 8689000/8709848 1510.93/1506.72 c cleaning 22010 clauses out of 44063 with flag 8711001/8731849 1515.84/1511.64 c cleaning 21993 clauses out of 44052 with flag 8733000/8753848 1520.24/1516.01 c cleaning 21993 clauses out of 44059 with flag 8755000/8775848 1524.46/1520.22 c cleaning 22013 clauses out of 44067 with flag 8777001/8797849 1529.35/1525.13 c cleaning 22003 clauses out of 44055 with flag 8799002/8819850 1533.76/1529.55 c cleaning 22003 clauses out of 44050 with flag 8821000/8841848 1538.16/1533.98 c cleaning 21993 clauses out of 44048 with flag 8843001/8863849 1542.77/1538.52 c cleaning 22008 clauses out of 44054 with flag 8865000/8885848 1547.77/1543.59 c cleaning 21998 clauses out of 44046 with flag 8887000/8907848 1552.98/1548.79 c cleaning 22003 clauses out of 44049 with flag 8909001/8929849 1557.78/1553.51 c cleaning 22000 clauses out of 44045 with flag 8931000/8951848 1562.19/1557.96 c cleaning 22008 clauses out of 44045 with flag 8953000/8973848 1565.21/1560.95 c cleaning 21997 clauses out of 44037 with flag 8975000/8995848 1567.99/1563.72 c cleaning 21999 clauses out of 44041 with flag 8997001/9017849 1570.80/1566.56 c cleaning 21992 clauses out of 44041 with flag 9019000/9039848 1573.80/1569.53 c cleaning 21999 clauses out of 44050 with flag 9041001/9061849 1576.70/1572.49 c cleaning 22005 clauses out of 44051 with flag 9063001/9083849 1579.71/1575.44 c cleaning 21998 clauses out of 44048 with flag 9085003/9105851 1582.41/1578.19 c cleaning 21995 clauses out of 44047 with flag 9107000/9127848 1585.61/1581.35 c cleaning 22004 clauses out of 44052 with flag 9129000/9149848 1588.82/1584.55 c cleaning 22002 clauses out of 44048 with flag 9151000/9171848 1591.82/1587.53 c cleaning 22001 clauses out of 44046 with flag 9173000/9193848 1595.03/1590.72 c cleaning 22002 clauses out of 44047 with flag 9195002/9215850 1598.03/1593.79 c cleaning 21998 clauses out of 44043 with flag 9217000/9237848 1601.04/1596.72 c cleaning 21998 clauses out of 44045 with flag 9239000/9259848 1603.65/1599.35 c cleaning 22000 clauses out of 44047 with flag 9261000/9281848 1606.25/1601.96 c cleaning 22000 clauses out of 44048 with flag 9283001/9303849 1608.95/1604.63 c cleaning 22003 clauses out of 44050 with flag 9305003/9325851 1611.66/1607.39 c cleaning 22000 clauses out of 44044 with flag 9327000/9347848 1614.67/1610.33 c cleaning 22000 clauses out of 44044 with flag 9349000/9369848 1617.66/1613.30 c cleaning 22006 clauses out of 44046 with flag 9371002/9391850 1620.47/1616.13 c cleaning 21998 clauses out of 44040 with flag 9393002/9413850 1623.37/1619.01 c cleaning 21992 clauses out of 44040 with flag 9415000/9435848 1626.27/1621.96 c cleaning 22006 clauses out of 44050 with flag 9437002/9457850 1628.98/1624.71 c cleaning 21999 clauses out of 44042 with flag 9459000/9479848 1631.98/1627.62 c cleaning 22001 clauses out of 44044 with flag 9481001/9501849 1634.60/1630.26 c cleaning 21998 clauses out of 44043 with flag 9503001/9523849 1637.49/1633.19 c cleaning 21998 clauses out of 44046 with flag 9525002/9545850 1640.49/1636.14 c cleaning 22000 clauses out of 44047 with flag 9547001/9567849 1643.30/1638.94 c cleaning 21998 clauses out of 44047 with flag 9569001/9589849 1646.30/1641.94 c cleaning 21999 clauses out of 44048 with flag 9591000/9611848 1649.30/1644.92 c cleaning 22003 clauses out of 44049 with flag 9613000/9633848 1652.22/1647.88 c cleaning 22001 clauses out of 44046 with flag 9635000/9655848 1655.20/1650.80 c cleaning 22001 clauses out of 44045 with flag 9657000/9677848 1657.91/1653.59 c cleaning 22006 clauses out of 44045 with flag 9679001/9699849 1661.03/1656.62 c cleaning 22002 clauses out of 44038 with flag 9701000/9721848 1664.01/1659.60 c cleaning 21997 clauses out of 44038 with flag 9723002/9743850 1667.01/1662.61 c cleaning 22001 clauses out of 44039 with flag 9745000/9765848 1670.02/1665.62 c cleaning 21998 clauses out of 44040 with flag 9767002/9787850 1672.92/1668.55 c cleaning 22001 clauses out of 44042 with flag 9789002/9809850 1675.83/1671.49 c cleaning 21998 clauses out of 44039 with flag 9811000/9831848 1678.64/1674.21 c cleaning 22000 clauses out of 44043 with flag 9833002/9853850 1681.43/1677.02 c cleaning 22001 clauses out of 44042 with flag 9855001/9875849 1684.15/1679.77 c cleaning 21989 clauses out of 44040 with flag 9877000/9897848 1687.24/1682.80 c cleaning 22005 clauses out of 44051 with flag 9899000/9919848 1690.14/1685.71 c cleaning 22002 clauses out of 44046 with flag 9921000/9941848 1693.05/1688.65 c cleaning 22002 clauses out of 44044 with flag 9943000/9963848 1695.75/1691.37 c cleaning 21997 clauses out of 44042 with flag 9965000/9985848 1698.47/1694.04 c cleaning 22000 clauses out of 44046 with flag 9987001/10007849 1701.25/1696.81 c cleaning 22002 clauses out of 44045 with flag 10009000/10029848 1703.87/1699.51 c cleaning 22000 clauses out of 44043 with flag 10031000/10051848 1706.96/1702.58 c cleaning 21997 clauses out of 44043 with flag 10053000/10073848 1709.77/1705.31 c cleaning 22011 clauses out of 44046 with flag 10075000/10095848 1713.08/1708.66 c cleaning 21991 clauses out of 44036 with flag 10097001/10117849 1716.48/1712.02 c cleaning 21998 clauses out of 44044 with flag 10119000/10139848 1719.41/1714.97 c cleaning 22000 clauses out of 44046 with flag 10141000/10161848 1723.00/1718.55 c cleaning 22000 clauses out of 44047 with flag 10163001/10183849 1726.31/1721.88 c cleaning 21998 clauses out of 44048 with flag 10185002/10205850 1729.81/1725.30 c cleaning 22004 clauses out of 44049 with flag 10207001/10227849 1734.84/1730.39 c cleaning 21995 clauses out of 44044 with flag 10229000/10249848 1740.63/1736.13 c cleaning 21999 clauses out of 44052 with flag 10251003/10271851 1746.33/1741.82 c cleaning 22000 clauses out of 44050 with flag 10273000/10293848 1749.44/1744.95 c cleaning 22007 clauses out of 44050 with flag 10295000/10315848 1752.25/1747.78 c cleaning 22006 clauses out of 44043 with flag 10317000/10337848 1755.25/1750.74 c cleaning 21998 clauses out of 44037 with flag 10339000/10359848 1758.45/1753.91 c cleaning 21999 clauses out of 44039 with flag 10361000/10381848 1762.06/1757.54 c cleaning 22003 clauses out of 44040 with flag 10383000/10403848 1766.97/1762.40 c cleaning 22000 clauses out of 44038 with flag 10405001/10425849 1771.67/1767.16 c cleaning 21993 clauses out of 44037 with flag 10427000/10447848 1776.18/1771.63 c cleaning 21996 clauses out of 44045 with flag 10449001/10469849 1780.89/1776.35 c cleaning 21994 clauses out of 44051 with flag 10471003/10491851 1785.70/1781.15 c cleaning 22009 clauses out of 44054 with flag 10493000/10513848 1790.40/1785.89 c cleaning 22003 clauses out of 44046 with flag 10515001/10535849 1794.02/1789.47 c cleaning 22003 clauses out of 44042 with flag 10537000/10557848 1797.33/1792.79 c cleaning 22001 clauses out of 44042 with flag 10559003/10579851 1800.04/1795.42 c starts : 322 1800.04/1795.42 c conflicts : 10597841 1800.04/1795.42 c decisions : 32643404 1800.04/1795.42 c propagations : 3330450119 1800.04/1795.42 c inspects : 10671799950 1800.04/1795.42 c shortcuts : 0 1800.04/1795.42 c learnt literals : 0 1800.04/1795.42 c learnt binary clauses : 11 1800.04/1795.42 c learnt ternary clauses : 2 1800.04/1795.42 c learnt constraints : 10597841 1800.04/1795.42 c ignored constraints : 0 1800.04/1795.42 c root simplifications : 0 1800.04/1795.42 c removed literals (reason simplification) : 399510925 1800.04/1795.42 c reason swapping (by a shorter reason) : 0 1800.04/1795.42 c Calls to reduceDB : 490 1800.04/1795.42 c number of reductions to clauses (during analyze) : 0 1800.04/1795.42 c number of learned constraints concerned by reduction : 0 1800.04/1795.42 c number of learning phase by resolution : 0 1800.04/1795.42 c number of learning phase by cutting planes : 0 1800.04/1795.42 c speed (assignments/second) : 1858733.1242308647 1800.04/1795.42 c non guided choices 45655 1800.04/1795.44 c learnt constraints type 1800.04/1795.44 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 11 1800.04/1795.44 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 40127 1800.04/1795.44 c constraints type 1800.04/1795.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411 1800.04/1795.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.04/1795.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984 1800.04/1795.44 s SATISFIABLE 1800.04/1795.45 v x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 x1008 x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 x3887 x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 x4355 x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 x4516 -x4517 -x4518 -x4519 -x4520 -x4521 x4522 x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 x4572 -x4573 -x4574 x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 x4642 -x4643 -x4644 -x4645 -x4646 x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 x4654 x4655 x4656 -x4657 -x4658 -x4659 -x4660 x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 x4863 x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 x5157 x5158 -x5159 x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 x5217 -x5218 x5219 -x5220 -x5221 -x5222 -x5223 x5224 -x5225 x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 x5399 -x5400 x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 x5684 x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 x5883 -x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 x6057 -x6058 -x6059 -x6060 -x6061 x6062 -x6063 x6064 -x6065 -x6066 -x6067 -x6068 -x6069 x6070 x6071 x6072 x6073 -x6074 -x6075 -x6076 1800.04/1795.46 c objective function=25 1800.04/1795.46 c Total wall clock time (in seconds): 1795.348
OK 25
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3458510-1307157169/watcher-3458510-1307157169 -o /tmp/evaluation-result-3458510-1307157169/solver-3458510-1307157169 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458510-1307157169.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.06 2.02 2/476 14291 /proc/meminfo: memFree=23541240/32951124 swapFree=60688864/67111528 [pid=14291] ppid=14289 vsize=30528 CPUtime=0 cores=1,3,5,7 /proc/14291/stat : 14291 (java) S 14289 14291 11037 0 -1 4202496 1235 0 0 0 0 0 0 0 19 0 2 0 827315106 31260672 955 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 /proc/14291/statm: 7632 955 728 9 0 383 0 [pid=14291/tid=14292] ppid=14289 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14292/stat : 14292 (java) R 14289 14291 11037 0 -1 4202560 4412 0 1 0 0 0 0 0 20 0 2 0 827315107 13850947584 5229 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0912969 s] /proc/loadavg: 2.00 2.06 2.02 2/476 14291 /proc/meminfo: memFree=23541240/32951124 swapFree=60688864/67111528 [pid=14291] ppid=14289 vsize=13555568 CPUtime=0.08 cores=1,3,5,7 /proc/14291/stat : 14291 (java) S 14289 14291 11037 0 -1 4202496 14798 0 1 0 7 1 0 0 19 0 18 0 827315106 13880901632 14495 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/14291/statm: 3388892 14496 1913 9 0 3379626 0 [pid=14291/tid=14292] ppid=14289 vsize=13555568 CPUtime=0.07 cores=1,3,5,7 /proc/14291/task/14292/stat : 14292 (java) R 14289 14291 11037 0 -1 4202560 13432 0 1 0 6 1 0 0 25 0 18 0 827315107 13880901632 14496 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347719115 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13555568 [startup+0.100324 s] /proc/loadavg: 2.00 2.06 2.02 2/476 14291 /proc/meminfo: memFree=23541240/32951124 swapFree=60688864/67111528 [pid=14291] ppid=14289 vsize=13623152 CPUtime=0.1 cores=1,3,5,7 /proc/14291/stat : 14291 (java) S 14289 14291 11037 0 -1 4202496 15499 0 1 0 9 1 0 0 19 0 18 0 827315106 13950107648 15167 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/14291/statm: 3405788 15168 2092 9 0 3396522 0 [pid=14291/tid=14292] ppid=14289 vsize=13623152 CPUtime=0.08 cores=1,3,5,7 /proc/14291/task/14292/stat : 14292 (java) R 14289 14291 11037 0 -1 4202560 13559 0 1 0 7 1 0 0 25 0 18 0 827315107 13950107648 15168 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 47834308324451 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13623152 [startup+0.317649 s] /proc/loadavg: 2.00 2.06 2.02 2/476 14291 /proc/meminfo: memFree=23541240/32951124 swapFree=60688864/67111528 [pid=14291] ppid=14289 vsize=13626224 CPUtime=0.61 cores=1,3,5,7 /proc/14291/stat : 14291 (java) S 14289 14291 11037 0 -1 4202496 20094 0 1 0 59 2 0 0 19 0 18 0 827315106 13953253376 19649 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/14291/statm: 3406556 19649 2208 9 0 3397290 0 [pid=14291/tid=14292] ppid=14289 vsize=13626224 CPUtime=0.33 cores=1,3,5,7 /proc/14291/task/14292/stat : 14292 (java) R 14289 14291 11037 0 -1 4202560 17056 0 1 0 32 1 0 0 25 0 18 0 827315107 13953253376 19650 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 46912505164230 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 13626224 [startup+0.700238 s] /proc/loadavg: 2.00 2.06 2.02 2/476 14291 /proc/meminfo: memFree=23541240/32951124 swapFree=60688864/67111528 [pid=14291] ppid=14289 vsize=13630324 CPUtime=1.46 cores=1,3,5,7 /proc/14291/stat : 14291 (java) S 14289 14291 11037 0 -1 4202496 31149 0 1 0 143 3 0 0 19 0 19 0 827315106 13957451776 28596 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/14291/statm: 3407581 28596 2235 9 0 3398315 0 [pid=14291/tid=14292] ppid=14289 vsize=13630324 CPUtime=0.68 cores=1,3,5,7 /proc/14291/task/14292/stat : 14292 (java) R 14289 14291 11037 0 -1 4202560 24341 0 1 0 66 2 0 0 25 0 19 0 827315107 13957451776 28596 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 46912505872938 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 13630324 [startup+1.50109 s] /proc/loadavg: 2.00 2.06 2.02 3/495 14310 /proc/meminfo: memFree=23431604/32951124 swapFree=60688864/67111528 [pid=14291] ppid=14289 vsize=13630324 CPUtime=2.33 cores=1,3,5,7 /proc/14291/stat : 14291 (java) S 14289 14291 11037 0 -1 4202496 33802 0 1 0 230 3 0 0 19 0 19 0 827315106 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/14291/statm: 3407581 31233 2263 9 0 3398315 0 [pid=14291/tid=14292] ppid=14289 vsize=13630324 CPUtime=1.45 cores=1,3,5,7 /proc/14291/task/14292/stat : 14292 (java) R 14289 14291 11037 0 -1 4202560 25030 0 1 0 143 2 0 0 25 0 19 0 827315107 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 46912505900911 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=14291/tid=14294] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14294/stat : 14294 (java) S 14289 14291 11037 0 -1 4202560 575 0 0 0 0 0 0 0 18 0 19 0 827315109 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14295] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14295/stat : 14295 (java) S 14289 14291 11037 0 -1 4202560 390 0 0 0 0 0 0 0 18 0 19 0 827315109 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14296] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14296/stat : 14296 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827315109 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14297] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14297/stat : 14297 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827315109 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14298] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14298/stat : 14298 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827315109 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14299] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14299/stat : 14299 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827315109 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14300] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14300/stat : 14300 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827315109 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14301] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14301/stat : 14301 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827315109 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14302] ppid=14289 vsize=13630324 CPUtime=0.01 cores=1,3,5,7 /proc/14291/task/14302/stat : 14302 (java) S 14289 14291 11037 0 -1 4202560 971 0 0 0 1 0 0 0 17 0 19 0 827315110 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 0 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14303] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14303/stat : 14303 (java) S 14289 14291 11037 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827315111 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14304] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14304/stat : 14304 (java) S 14289 14291 11037 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827315111 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14305] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14305/stat : 14305 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347716017 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14306] ppid=14289 vsize=13630324 CPUtime=0.42 cores=1,3,5,7 /proc/14291/task/14306/stat : 14306 (java) S 14289 14291 11037 0 -1 4202560 2293 0 0 0 42 0 0 0 19 0 19 0 827315113 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14307] ppid=14289 vsize=13630324 CPUtime=0.41 cores=1,3,5,7 /proc/14291/task/14307/stat : 14307 (java) S 14289 14291 11037 0 -1 4202560 3387 0 0 0 41 0 0 0 16 0 19 0 827315113 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14308] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14308/stat : 14308 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14309] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14309/stat : 14309 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827315113 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14310] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14310/stat : 14310 (java) S 14289 14291 11037 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827315154 13957451776 31233 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.33 Current children cumulated vsize (KiB) 13630324 [startup+3.10081 s] /proc/loadavg: 2.00 2.06 2.02 3/495 14310 /proc/meminfo: memFree=23419204/32951124 swapFree=60688864/67111528 [pid=14291] ppid=14289 vsize=13630324 CPUtime=3.96 cores=1,3,5,7 /proc/14291/stat : 14291 (java) S 14289 14291 11037 0 -1 4202496 34712 0 1 0 393 3 0 0 19 0 19 0 827315106 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/14291/statm: 3407581 32140 2263 9 0 3398315 0 [pid=14291/tid=14292] ppid=14289 vsize=13630324 CPUtime=3.02 cores=1,3,5,7 /proc/14291/task/14292/stat : 14292 (java) R 14289 14291 11037 0 -1 4202560 25031 0 1 0 300 2 0 0 25 0 19 0 827315107 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 46912505858510 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=14291/tid=14294] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14294/stat : 14294 (java) S 14289 14291 11037 0 -1 4202560 575 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14295] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14295/stat : 14295 (java) S 14289 14291 11037 0 -1 4202560 390 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14296] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14296/stat : 14296 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14297] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14297/stat : 14297 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14298] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14298/stat : 14298 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14299] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14299/stat : 14299 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14300] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14300/stat : 14300 (java) S 14289 14291 11037 0 -1 4202560 306 0 0 0 0 0 0 0 16 0 19 0 827315109 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14301] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14301/stat : 14301 (java) S 14289 14291 11037 0 -1 4202560 414 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14302] ppid=14289 vsize=13630324 CPUtime=0.03 cores=1,3,5,7 /proc/14291/task/14302/stat : 14302 (java) S 14289 14291 11037 0 -1 4202560 1158 0 0 0 3 0 0 0 16 0 19 0 827315110 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 0 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14303] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14303/stat : 14303 (java) S 14289 14291 11037 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827315111 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14304] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14304/stat : 14304 (java) S 14289 14291 11037 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827315111 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14305] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14305/stat : 14305 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347716017 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14306] ppid=14289 vsize=13630324 CPUtime=0.43 cores=1,3,5,7 /proc/14291/task/14306/stat : 14306 (java) S 14289 14291 11037 0 -1 4202560 2296 0 0 0 43 0 0 0 16 0 19 0 827315113 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14307] ppid=14289 vsize=13630324 CPUtime=0.43 cores=1,3,5,7 /proc/14291/task/14307/stat : 14307 (java) S 14289 14291 11037 0 -1 4202560 3388 0 0 0 43 0 0 0 15 0 19 0 827315113 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14308] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14308/stat : 14308 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14309] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14309/stat : 14309 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827315113 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14310] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14310/stat : 14310 (java) S 14289 14291 11037 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827315154 13957451776 32140 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 13630324 [startup+6.30123 s] /proc/loadavg: 2.00 2.06 2.02 3/495 14310 /proc/meminfo: memFree=23404860/32951124 swapFree=60688864/67111528 [pid=14291] ppid=14289 vsize=13630324 CPUtime=7.23 cores=1,3,5,7 /proc/14291/stat : 14291 (java) S 14289 14291 11037 0 -1 4202496 35608 0 1 0 720 3 0 0 19 0 19 0 827315106 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/14291/statm: 3407581 32559 2263 9 0 3398315 0 [pid=14291/tid=14292] ppid=14289 vsize=13630324 CPUtime=6.13 cores=1,3,5,7 /proc/14291/task/14292/stat : 14292 (java) R 14289 14291 11037 0 -1 4202560 25038 0 1 0 611 2 0 0 25 0 19 0 827315107 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 46912505873044 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=14291/tid=14294] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14294/stat : 14294 (java) S 14289 14291 11037 0 -1 4202560 640 0 0 0 0 0 0 0 16 0 19 0 827315109 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14295] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14295/stat : 14295 (java) S 14289 14291 11037 0 -1 4202560 390 0 0 0 0 0 0 0 16 0 19 0 827315109 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14296] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14296/stat : 14296 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14297] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14297/stat : 14297 (java) S 14289 14291 11037 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14298] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14298/stat : 14298 (java) S 14289 14291 11037 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14299] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14299/stat : 14299 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14300] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14300/stat : 14300 (java) S 14289 14291 11037 0 -1 4202560 377 0 0 0 0 0 0 0 16 0 19 0 827315109 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14301] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14301/stat : 14301 (java) S 14289 14291 11037 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 19 0 827315109 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14302] ppid=14289 vsize=13630324 CPUtime=0.12 cores=1,3,5,7 /proc/14291/task/14302/stat : 14302 (java) S 14289 14291 11037 0 -1 4202560 1377 0 0 0 12 0 0 0 16 0 19 0 827315110 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 0 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14303] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14303/stat : 14303 (java) S 14289 14291 11037 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827315111 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14304] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14304/stat : 14304 (java) S 14289 14291 11037 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827315111 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14305] ppid=14289 vsize=13630324 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14305/stat : 14305 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347716017 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14306] ppid=14289 vsize=13630324 CPUtime=0.44 cores=1,3,5,7 /proc/14291/task/14306/stat : 14306 (java) S 14289 14291 11037 0 -1 4202560 2298 0 0 0 44 0 0 0 15 0 19 0 827315113 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14307] ppid=14289 vsize=13630324 CPUtime=0.48 cores=1,3,5,7 /proc/14291/task/14307/stat : 14307 (java) S 14289 14291 11037 0 -1 4202560 3820 0 0 0 48 0 0 0 15 0 19 0 827315113 13957451776 32559 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=14291/tid=14299] ppid=14289 vsize=13646564 CPUtime=0.5 cores=1,3,5,7 /proc/14291/task/14299/stat : 14299 (java) S 14289 14291 11037 0 -1 4202560 1100 0 0 0 50 0 0 0 16 0 19 0 827315109 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14300] ppid=14289 vsize=13646564 CPUtime=0.49 cores=1,3,5,7 /proc/14291/task/14300/stat : 14300 (java) S 14289 14291 11037 0 -1 4202560 765 0 0 0 49 0 0 0 15 0 19 0 827315109 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14301] ppid=14289 vsize=13646564 CPUtime=0.49 cores=1,3,5,7 /proc/14291/task/14301/stat : 14301 (java) S 14289 14291 11037 0 -1 4202560 1589 0 0 0 48 1 0 0 15 0 19 0 827315109 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14302] ppid=14289 vsize=13646564 CPUtime=16.23 cores=1,3,5,7 /proc/14291/task/14302/stat : 14302 (java) S 14289 14291 11037 0 -1 4202560 7371 0 0 0 1616 7 0 0 15 0 19 0 827315110 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 0 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14303] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14303/stat : 14303 (java) S 14289 14291 11037 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827315111 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14304] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14304/stat : 14304 (java) S 14289 14291 11037 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827315111 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14305] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14305/stat : 14305 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347716017 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14306] ppid=14289 vsize=13646564 CPUtime=0.78 cores=1,3,5,7 /proc/14291/task/14306/stat : 14306 (java) S 14289 14291 11037 0 -1 4202560 7284 0 0 0 78 0 0 0 15 0 19 0 827315113 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14307] ppid=14289 vsize=13646564 CPUtime=1.2 cores=1,3,5,7 /proc/14291/task/14307/stat : 14307 (java) S 14289 14291 11037 0 -1 4202560 17536 0 0 0 117 3 0 0 16 0 19 0 827315113 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14308] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14308/stat : 14308 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14309] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14309/stat : 14309 (java) S 14289 14291 11037 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827315113 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 1 0 0 0 [pid=14291/tid=14310] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14310/stat : 14310 (java) S 14289 14291 11037 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827315154 13974081536 52855 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1666.71 Current children cumulated vsize (KiB) 13646564 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/495 14404 /proc/meminfo: memFree=25703412/32951124 swapFree=60688864/67111528 [pid=14291] ppid=14289 vsize=13646564 CPUtime=1726.81 cores=1,3,5,7 /proc/14291/stat : 14291 (java) S 14289 14291 11037 0 -1 4202496 69133 0 1 0 172659 22 0 0 19 0 19 0 827315106 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/14291/statm: 3411641 52950 2264 9 0 3402375 0 [pid=14291/tid=14292] ppid=14289 vsize=13646564 CPUtime=1703.75 cores=1,3,5,7 /proc/14291/task/14292/stat : 14292 (java) R 14289 14291 11037 0 -1 4202560 25508 0 1 0 170371 4 0 0 17 0 19 0 827315107 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 46912505763163 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=14291/tid=14294] ppid=14289 vsize=13646564 CPUtime=0.49 cores=1,3,5,7 /proc/14291/task/14294/stat : 14294 (java) S 14289 14291 11037 0 -1 4202560 1643 0 0 0 49 0 0 0 16 0 19 0 827315109 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 1 0 0 0 [pid=14291/tid=14295] ppid=14289 vsize=13646564 CPUtime=0.46 cores=1,3,5,7 /proc/14291/task/14295/stat : 14295 (java) S 14289 14291 11037 0 -1 4202560 751 0 0 0 46 0 0 0 15 0 19 0 827315109 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14296] ppid=14289 vsize=13646564 CPUtime=0.46 cores=1,3,5,7 /proc/14291/task/14296/stat : 14296 (java) S 14289 14291 11037 0 -1 4202560 992 0 0 0 46 0 0 0 15 0 19 0 827315109 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14297] ppid=14289 vsize=13646564 CPUtime=0.46 cores=1,3,5,7 /proc/14291/task/14297/stat : 14297 (java) S 14289 14291 11037 0 -1 4202560 1639 0 0 0 46 0 0 0 15 0 19 0 827315109 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14298] ppid=14289 vsize=13646564 CPUtime=0.5 cores=1,3,5,7 /proc/14291/task/14298/stat : 14298 (java) S 14289 14291 11037 0 -1 4202560 1616 0 0 0 50 0 0 0 16 0 19 0 827315109 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14299] ppid=14289 vsize=13646564 CPUtime=0.51 cores=1,3,5,7 /proc/14291/task/14299/stat : 14299 (java) S 14289 14291 11037 0 -1 4202560 1106 0 0 0 51 0 0 0 15 0 19 0 827315109 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14300] ppid=14289 vsize=13646564 CPUtime=0.51 cores=1,3,5,7 /proc/14291/task/14300/stat : 14300 (java) S 14289 14291 11037 0 -1 4202560 775 0 0 0 51 0 0 0 16 0 19 0 827315109 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14301] ppid=14289 vsize=13646564 CPUtime=0.51 cores=1,3,5,7 /proc/14291/task/14301/stat : 14301 (java) S 14289 14291 11037 0 -1 4202560 1592 0 0 0 50 1 0 0 15 0 19 0 827315109 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14302] ppid=14289 vsize=13646564 CPUtime=17.08 cores=1,3,5,7 /proc/14291/task/14302/stat : 14302 (java) S 14289 14291 11037 0 -1 4202560 7441 0 0 0 1700 8 0 0 16 0 19 0 827315110 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 0 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14303] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14303/stat : 14303 (java) S 14289 14291 11037 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827315111 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14304] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14304/stat : 14304 (java) S 14289 14291 11037 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827315111 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14305] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14305/stat : 14305 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347716017 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14306] ppid=14289 vsize=13646564 CPUtime=0.78 cores=1,3,5,7 /proc/14291/task/14306/stat : 14306 (java) S 14289 14291 11037 0 -1 4202560 7284 0 0 0 78 0 0 0 15 0 19 0 827315113 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14307] ppid=14289 vsize=13646564 CPUtime=1.2 cores=1,3,5,7 /proc/14291/task/14307/stat : 14307 (java) S 14289 14291 11037 0 -1 4202560 17536 0 0 0 117 3 0 0 16 0 19 0 827315113 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14308] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14308/stat : 14308 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14309] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14309/stat : 14309 (java) S 14289 14291 11037 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827315113 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 1 0 0 0 [pid=14291/tid=14310] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14310/stat : 14310 (java) S 14289 14291 11037 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827315154 13974081536 52950 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1726.81 Current children cumulated vsize (KiB) 13646564 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/495 14406 /proc/meminfo: memFree=25688256/32951124 swapFree=60688864/67111528 [pid=14291] ppid=14289 vsize=13646564 CPUtime=1786.9 cores=1,3,5,7 /proc/14291/stat : 14291 (java) S 14289 14291 11037 0 -1 4202496 69322 0 1 0 178668 22 0 0 19 0 19 0 827315106 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/14291/statm: 3411641 53117 2264 9 0 3402375 0 [pid=14291/tid=14292] ppid=14289 vsize=13646564 CPUtime=1763.15 cores=1,3,5,7 /proc/14291/task/14292/stat : 14292 (java) R 14289 14291 11037 0 -1 4202560 25522 0 1 0 176311 4 0 0 18 0 19 0 827315107 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 46912505872528 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=14291/tid=14294] ppid=14289 vsize=13646564 CPUtime=0.51 cores=1,3,5,7 /proc/14291/task/14294/stat : 14294 (java) S 14289 14291 11037 0 -1 4202560 1643 0 0 0 51 0 0 0 15 0 19 0 827315109 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14295] ppid=14289 vsize=13646564 CPUtime=0.47 cores=1,3,5,7 /proc/14291/task/14295/stat : 14295 (java) S 14289 14291 11037 0 -1 4202560 751 0 0 0 47 0 0 0 15 0 19 0 827315109 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14296] ppid=14289 vsize=13646564 CPUtime=0.47 cores=1,3,5,7 /proc/14291/task/14296/stat : 14296 (java) S 14289 14291 11037 0 -1 4202560 992 0 0 0 47 0 0 0 15 0 19 0 827315109 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14297] ppid=14289 vsize=13646564 CPUtime=0.47 cores=1,3,5,7 /proc/14291/task/14297/stat : 14297 (java) S 14289 14291 11037 0 -1 4202560 1639 0 0 0 47 0 0 0 15 0 19 0 827315109 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14298] ppid=14289 vsize=13646564 CPUtime=0.52 cores=1,3,5,7 /proc/14291/task/14298/stat : 14298 (java) S 14289 14291 11037 0 -1 4202560 1626 0 0 0 52 0 0 0 15 0 19 0 827315109 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14299] ppid=14289 vsize=13646564 CPUtime=0.53 cores=1,3,5,7 /proc/14291/task/14299/stat : 14299 (java) S 14289 14291 11037 0 -1 4202560 1108 0 0 0 53 0 0 0 15 0 19 0 827315109 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14300] ppid=14289 vsize=13646564 CPUtime=0.52 cores=1,3,5,7 /proc/14291/task/14300/stat : 14300 (java) S 14289 14291 11037 0 -1 4202560 778 0 0 0 52 0 0 0 15 0 19 0 827315109 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14301] ppid=14289 vsize=13646564 CPUtime=0.54 cores=1,3,5,7 /proc/14291/task/14301/stat : 14301 (java) S 14289 14291 11037 0 -1 4202560 1603 0 0 0 53 1 0 0 16 0 19 0 827315109 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 1 0 0 0 [pid=14291/tid=14302] ppid=14289 vsize=13646564 CPUtime=17.63 cores=1,3,5,7 /proc/14291/task/14302/stat : 14302 (java) S 14289 14291 11037 0 -1 4202560 7586 0 0 0 1755 8 0 0 15 0 19 0 827315110 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 0 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14303] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14303/stat : 14303 (java) S 14289 14291 11037 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827315111 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14304] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14304/stat : 14304 (java) S 14289 14291 11037 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827315111 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14305] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14305/stat : 14305 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347716017 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14306] ppid=14289 vsize=13646564 CPUtime=0.78 cores=1,3,5,7 /proc/14291/task/14306/stat : 14306 (java) S 14289 14291 11037 0 -1 4202560 7284 0 0 0 78 0 0 0 15 0 19 0 827315113 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14307] ppid=14289 vsize=13646564 CPUtime=1.2 cores=1,3,5,7 /proc/14291/task/14307/stat : 14307 (java) S 14289 14291 11037 0 -1 4202560 17536 0 0 0 117 3 0 0 16 0 19 0 827315113 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14308] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14308/stat : 14308 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14309] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14309/stat : 14309 (java) S 14289 14291 11037 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827315113 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 1 0 0 0 [pid=14291/tid=14310] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14310/stat : 14310 (java) S 14289 14291 11037 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827315154 13974081536 53117 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1786.9 Current children cumulated vsize (KiB) 13646564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.4 s] /proc/loadavg: 2.00 2.02 2.00 3/495 14406 /proc/meminfo: memFree=25679196/32951124 swapFree=60688864/67111528 [pid=14291] ppid=14289 vsize=13646564 CPUtime=1800.04 cores=1,3,5,7 /proc/14291/stat : 14291 (java) S 14289 14291 11037 0 -1 4202496 69332 0 1 0 179981 23 0 0 19 0 19 0 827315106 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/14291/statm: 3411641 53124 2264 9 0 3402375 0 [pid=14291/tid=14292] ppid=14289 vsize=13646564 CPUtime=1776.13 cores=1,3,5,7 /proc/14291/task/14292/stat : 14292 (java) R 14289 14291 11037 0 -1 4202560 25525 0 1 0 177609 4 0 0 25 0 19 0 827315107 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 46912505872481 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=14291/tid=14294] ppid=14289 vsize=13646564 CPUtime=0.51 cores=1,3,5,7 /proc/14291/task/14294/stat : 14294 (java) S 14289 14291 11037 0 -1 4202560 1643 0 0 0 51 0 0 0 15 0 19 0 827315109 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14295] ppid=14289 vsize=13646564 CPUtime=0.47 cores=1,3,5,7 /proc/14291/task/14295/stat : 14295 (java) S 14289 14291 11037 0 -1 4202560 751 0 0 0 47 0 0 0 16 0 19 0 827315109 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14296] ppid=14289 vsize=13646564 CPUtime=0.48 cores=1,3,5,7 /proc/14291/task/14296/stat : 14296 (java) S 14289 14291 11037 0 -1 4202560 992 0 0 0 48 0 0 0 15 0 19 0 827315109 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 1 0 0 0 [pid=14291/tid=14297] ppid=14289 vsize=13646564 CPUtime=0.48 cores=1,3,5,7 /proc/14291/task/14297/stat : 14297 (java) S 14289 14291 11037 0 -1 4202560 1646 0 0 0 48 0 0 0 15 0 19 0 827315109 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14298] ppid=14289 vsize=13646564 CPUtime=0.52 cores=1,3,5,7 /proc/14291/task/14298/stat : 14298 (java) S 14289 14291 11037 0 -1 4202560 1626 0 0 0 52 0 0 0 15 0 19 0 827315109 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14299] ppid=14289 vsize=13646564 CPUtime=0.53 cores=1,3,5,7 /proc/14291/task/14299/stat : 14299 (java) S 14289 14291 11037 0 -1 4202560 1108 0 0 0 53 0 0 0 15 0 19 0 827315109 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14300] ppid=14289 vsize=13646564 CPUtime=0.52 cores=1,3,5,7 /proc/14291/task/14300/stat : 14300 (java) S 14289 14291 11037 0 -1 4202560 778 0 0 0 52 0 0 0 15 0 19 0 827315109 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14301] ppid=14289 vsize=13646564 CPUtime=0.55 cores=1,3,5,7 /proc/14291/task/14301/stat : 14301 (java) S 14289 14291 11037 0 -1 4202560 1603 0 0 0 54 1 0 0 16 0 19 0 827315109 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 1 0 0 0 [pid=14291/tid=14302] ppid=14289 vsize=13646564 CPUtime=17.75 cores=1,3,5,7 /proc/14291/task/14302/stat : 14302 (java) S 14289 14291 11037 0 -1 4202560 7586 0 0 0 1767 8 0 0 15 0 19 0 827315110 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 0 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14303] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14303/stat : 14303 (java) S 14289 14291 11037 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827315111 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14304] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14304/stat : 14304 (java) S 14289 14291 11037 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827315111 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14305] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14305/stat : 14305 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347716017 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14306] ppid=14289 vsize=13646564 CPUtime=0.78 cores=1,3,5,7 /proc/14291/task/14306/stat : 14306 (java) S 14289 14291 11037 0 -1 4202560 7284 0 0 0 78 0 0 0 15 0 19 0 827315113 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 [pid=14291/tid=14307] ppid=14289 vsize=13646564 CPUtime=1.2 cores=1,3,5,7 /proc/14291/task/14307/stat : 14307 (java) S 14289 14291 11037 0 -1 4202560 17536 0 0 0 117 3 0 0 16 0 19 0 827315113 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 7 0 0 0 [pid=14291/tid=14308] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14308/stat : 14308 (java) S 14289 14291 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827315113 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708313 0 4 0 16800975 18446604458311992384 0 0 -1 3 0 0 0 [pid=14291/tid=14309] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14309/stat : 14309 (java) S 14289 14291 11037 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827315113 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 1 0 0 0 [pid=14291/tid=14310] ppid=14289 vsize=13646564 CPUtime=0 cores=1,3,5,7 /proc/14291/task/14310/stat : 14310 (java) S 14289 14291 11037 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827315154 13974081536 53124 33554432000 1073741824 1073778376 140734183543680 18446744073709551615 232347708928 0 4 0 16800975 18446604458311992384 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 13646564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1795.47 CPU time (s): 1800.18 CPU user time (s): 1799.94 CPU system time (s): 0.239963 CPU usage (%): 100.262 Max. virtual memory (cumulated for all children) (KiB): 13646564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.239963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69453 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51465 involuntary context switches= 11991 runsolver used 7.9238 second user time and 18.4962 second system time The end
Begin job on node132 at 2011-06-04 05:12:49 IDJOB=3458510 IDBENCH=25012 IDSOLVER=1952 FILE ID=node132/3458510-1307157169 RUNJOBID= node132-1307155368-14100 PBS_JOBID= 13508784 Free space on /tmp= 73920 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458510-1307157169/watcher-3458510-1307157169 -o /tmp/evaluation-result-3458510-1307157169/solver-3458510-1307157169 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458510-1307157169.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED=1505344975 node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23541520 kB Buffers: 323552 kB Cached: 2991664 kB SwapCached: 15140 kB Active: 3786044 kB Inactive: 5356180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23541520 kB SwapTotal: 67111528 kB SwapFree: 60688864 kB Dirty: 848 kB Writeback: 0 kB AnonPages: 5819308 kB Mapped: 27264 kB Slab: 143944 kB PageTables: 55724 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 122660752 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73924 MiB End job on node132 at 2011-06-04 05:42:47