Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | OPT | 1595.07 | 1586.93 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_7_mh.opb |
| MD5SUM | 578db65b35c9d87cb72f70788034039a |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 15820949 |
| Best CPU time to get the best result obtained on this benchmark | 105.68 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6810 |
| Total number of constraints | 15202 |
| Number of constraints which are clauses | 11580 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 3795 |
| Biggest coefficient in the objective function | 76225024 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 5067828285 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 76225024 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 5067828285 |
| Number of bits of the biggest sum of numbers | 33 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.00/0.07 c version 2.3.2.v20120418 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.07 c java.vm.version 19.1-b02 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 1.6.0_24 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.07 c os.arch amd64 0.00/0.07 c Free memory 501472288 0.00/0.07 c Max memory 7480803328 0.00/0.07 c Total memory 504102912 0.00/0.07 c Number of processors 8 0.10/0.10 c read org.sat4j.minisat.orders.VarOrderHeap 0.10/0.10 c configuring ORDERS 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=true 0.10/0.11 c Heuristics kept accross calls (keep the solver "hot") 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3710486-1338251303.opb 0.10/0.11 c reading problem ... 0.73/0.40 c ... done. Wall clock time 0.295s. 0.73/0.40 c declared #vars 6810 0.73/0.40 c #constraints 15626 0.73/0.40 c constraints type 0.73/0.40 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 0.73/0.40 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 0.73/0.40 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.73/0.40 c ignored satisfied constraints => 3 0.73/0.40 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 0.73/0.40 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 0.73/0.40 c 15629 constraints processed. 2.77/2.03 c cleaning 2489 clauses out of 5002 with flag 5002/5002 4.17/3.32 c cleaning 4250 clauses out of 8511 with flag 11000/11000 5.49/4.65 c cleaning 5629 clauses out of 11261 with flag 18000/18000 7.21/6.31 c cleaning 6810 clauses out of 13632 with flag 26000/26000 7.95/7.05 c SATISFIABLE 7.95/7.05 c OPTIMIZING... 7.95/7.05 c Got one! Elapsed wall clock time (in seconds):6.941 7.95/7.05 o 242623135 8.56/7.54 c cleaning 6009 clauses out of 12037 with flag 3000/31215 9.77/8.72 c cleaning 6007 clauses out of 12029 with flag 9001/37216 10.76/9.75 c cleaning 6506 clauses out of 13023 with flag 16002/44217 12.07/11.05 c cleaning 7254 clauses out of 14517 with flag 24002/52217 13.08/12.04 c cleaning 8126 clauses out of 16262 with flag 33001/61216 14.47/13.43 c cleaning 9059 clauses out of 18135 with flag 43000/71215 16.27/15.23 c cleaning 10031 clauses out of 20078 with flag 54002/82217 17.79/16.75 c cleaning 11017 clauses out of 22045 with flag 66000/94215 19.70/18.62 c cleaning 12003 clauses out of 24028 with flag 79000/107215 22.01/20.90 c cleaning 13010 clauses out of 26025 with flag 93000/121215 24.62/23.55 c cleaning 14004 clauses out of 28015 with flag 108000/136215 26.72/25.65 c cleaning 15004 clauses out of 30012 with flag 124001/152216 28.83/27.77 c cleaning 16003 clauses out of 32008 with flag 141001/169216 31.45/30.35 c cleaning 16996 clauses out of 34004 with flag 159000/187215 34.25/33.15 c cleaning 17999 clauses out of 36009 with flag 178001/206216 37.66/36.50 c cleaning 18994 clauses out of 38009 with flag 198000/226215 40.86/39.72 c cleaning 20001 clauses out of 40016 with flag 219001/247216 45.10/43.93 c cleaning 21003 clauses out of 42015 with flag 241001/269216 48.41/47.28 c cleaning 22001 clauses out of 44011 with flag 264000/292215 51.22/50.06 c cleaning 22994 clauses out of 46010 with flag 288000/316215 55.04/53.83 c Got one! Elapsed wall clock time (in seconds):53.724 55.04/53.83 o 229159109 55.87/54.65 c cleaning 26231 clauses out of 52480 with flag 5005/345679 56.58/55.36 c cleaning 16106 clauses out of 32244 with flag 11000/351674 57.38/56.16 c cleaning 11548 clauses out of 23138 with flag 18000/358674 58.40/57.13 c cleaning 9760 clauses out of 19592 with flag 26002/366676 59.70/58.40 c cleaning 9391 clauses out of 18831 with flag 35001/375675 61.12/59.84 c cleaning 9705 clauses out of 19439 with flag 45000/385674 62.74/61.50 c cleaning 10364 clauses out of 20735 with flag 56001/396675 64.95/63.64 c cleaning 11176 clauses out of 22370 with flag 68000/408674 67.05/65.76 c cleaning 12087 clauses out of 24194 with flag 81000/421674 68.77/67.49 c cleaning 13046 clauses out of 26107 with flag 95000/435674 70.47/69.18 c cleaning 14025 clauses out of 28061 with flag 110000/450674 73.17/71.84 c cleaning 15011 clauses out of 30037 with flag 126001/466675 75.51/74.11 c cleaning 16003 clauses out of 32025 with flag 143000/483674 77.91/76.58 c cleaning 16996 clauses out of 34022 with flag 161000/501674 81.03/79.63 c cleaning 18003 clauses out of 36026 with flag 180000/520674 84.04/82.64 c cleaning 19000 clauses out of 38025 with flag 200002/540676 87.15/85.76 c cleaning 20001 clauses out of 40023 with flag 221000/561674 90.14/88.74 c cleaning 21000 clauses out of 42024 with flag 243002/583676 93.85/92.43 c cleaning 22008 clauses out of 44023 with flag 266001/606675 96.45/95.08 c cleaning 22994 clauses out of 46014 with flag 290000/630674 99.48/98.09 c cleaning 24003 clauses out of 48022 with flag 315002/655676 102.11/100.65 c Got one! Elapsed wall clock time (in seconds):100.54 102.11/100.65 o 211084812 102.65/101.15 c cleaning 24147 clauses out of 48302 with flag 5000/679959 103.28/101.78 c cleaning 15067 clauses out of 30156 with flag 11001/685960 104.00/102.47 c cleaning 11002 clauses out of 22088 with flag 18000/692959 104.81/103.26 c cleaning 9490 clauses out of 19086 with flag 26000/700959 105.71/104.13 c cleaning 9262 clauses out of 18597 with flag 35001/709960 106.72/105.12 c cleaning 9655 clauses out of 19335 with flag 45001/719960 107.74/106.19 c cleaning 10336 clauses out of 20685 with flag 56006/730965 108.84/107.25 c cleaning 11162 clauses out of 22343 with flag 68000/742959 110.24/108.65 c cleaning 12078 clauses out of 24181 with flag 81000/755959 111.55/110.00 c cleaning 13042 clauses out of 26103 with flag 95000/769959 113.15/111.55 c cleaning 14021 clauses out of 28061 with flag 110000/784959 115.77/114.18 c cleaning 15016 clauses out of 30040 with flag 126000/800959 118.39/116.77 c cleaning 16001 clauses out of 32025 with flag 143001/817960 120.73/119.07 c cleaning 16985 clauses out of 34023 with flag 161000/835959 122.93/121.21 c cleaning 18018 clauses out of 36039 with flag 180001/854960 125.73/124.08 c cleaning 19006 clauses out of 38023 with flag 200003/874962 128.74/127.02 c cleaning 20001 clauses out of 40014 with flag 221000/895959 131.95/130.20 c cleaning 20992 clauses out of 42013 with flag 243000/917959 135.55/133.86 c cleaning 22007 clauses out of 44021 with flag 266000/940959 138.56/136.81 c cleaning 23008 clauses out of 46016 with flag 290002/964961 142.48/140.75 c cleaning 23981 clauses out of 48006 with flag 315000/989959 146.18/144.41 c cleaning 25001 clauses out of 50026 with flag 341001/1015960 150.30/148.53 c cleaning 25995 clauses out of 52024 with flag 368000/1042959 154.00/152.26 c cleaning 27011 clauses out of 54031 with flag 396002/1070961 157.01/155.28 c cleaning 27991 clauses out of 56018 with flag 425000/1099959 160.03/158.29 c cleaning 29000 clauses out of 58028 with flag 455001/1129960 163.94/162.18 c cleaning 29999 clauses out of 60027 with flag 486000/1160959 168.54/166.78 c cleaning 31006 clauses out of 62028 with flag 518000/1192959 174.56/172.73 c cleaning 31987 clauses out of 64025 with flag 551003/1225962 179.68/177.90 c cleaning 33010 clauses out of 66036 with flag 585001/1259960 185.10/183.25 c cleaning 33988 clauses out of 68028 with flag 620003/1294962 187.81/185.96 c Got one! Elapsed wall clock time (in seconds):185.85 187.81/185.96 o 202105913 188.66/186.77 c cleaning 29261 clauses out of 58537 with flag 5000/1319459 189.46/187.55 c cleaning 17616 clauses out of 35276 with flag 11000/1325459 190.96/189.06 c cleaning 12301 clauses out of 24660 with flag 18000/1332459 192.38/190.43 c cleaning 10164 clauses out of 20362 with flag 26003/1340462 193.68/191.76 c cleaning 9580 clauses out of 19195 with flag 35000/1349459 195.69/193.76 c cleaning 9798 clauses out of 19615 with flag 45000/1359459 196.99/195.03 c Got one! Elapsed wall clock time (in seconds):194.925 196.99/195.03 o 174501888 197.62/195.69 c cleaning 11208 clauses out of 22434 with flag 5001/1372076 198.53/196.50 c cleaning 8599 clauses out of 17229 with flag 11004/1378079 199.54/197.56 c cleaning 7793 clauses out of 15626 with flag 18000/1385075 201.44/199.49 c cleaning 7894 clauses out of 15834 with flag 26001/1393076 202.75/200.71 c cleaning 8455 clauses out of 16939 with flag 35000/1402075 205.26/203.23 c cleaning 9231 clauses out of 18484 with flag 45000/1412075 206.56/204.53 c cleaning 10110 clauses out of 20253 with flag 56000/1423075 207.96/205.95 c cleaning 11057 clauses out of 22143 with flag 68000/1435075 209.37/207.38 c cleaning 12032 clauses out of 24088 with flag 81002/1448077 210.27/208.24 c Got one! Elapsed wall clock time (in seconds):208.132 210.27/208.24 o 138506504 210.87/208.81 c cleaning 12528 clauses out of 25070 with flag 5000/1461115 211.59/209.51 c cleaning 9260 clauses out of 18545 with flag 11003/1467118 212.30/210.29 c cleaning 8126 clauses out of 16283 with flag 18001/1474116 213.20/211.19 c cleaning 8058 clauses out of 16156 with flag 26000/1482115 214.31/212.21 c cleaning 8538 clauses out of 17098 with flag 35000/1491115 215.52/213.46 c cleaning 9280 clauses out of 18560 with flag 45000/1501115 217.02/214.98 c cleaning 10124 clauses out of 20281 with flag 56001/1512116 218.54/216.44 c cleaning 11061 clauses out of 22156 with flag 68000/1524115 220.14/218.01 c cleaning 12039 clauses out of 24095 with flag 81000/1537115 221.85/219.73 c cleaning 13008 clauses out of 26056 with flag 95000/1551115 223.75/221.62 c cleaning 14022 clauses out of 28049 with flag 110001/1566116 225.86/223.78 c cleaning 14996 clauses out of 30012 with flag 126002/1582117 228.16/226.01 c cleaning 15986 clauses out of 32015 with flag 143001/1599116 230.56/228.48 c cleaning 16997 clauses out of 34029 with flag 161001/1617116 233.17/231.04 c cleaning 18005 clauses out of 36031 with flag 180000/1636115 235.98/233.89 c cleaning 18995 clauses out of 38026 with flag 200000/1656115 238.78/236.65 c cleaning 20003 clauses out of 40031 with flag 221000/1677115 241.60/239.46 c cleaning 20995 clauses out of 42028 with flag 243000/1699115 244.50/242.32 c cleaning 22000 clauses out of 44034 with flag 266001/1722116 247.82/245.66 c cleaning 23006 clauses out of 46036 with flag 290003/1746118 251.32/249.17 c cleaning 23994 clauses out of 48027 with flag 315000/1771115 254.83/252.63 c cleaning 25012 clauses out of 50033 with flag 341000/1797115 258.64/256.48 c cleaning 26002 clauses out of 52021 with flag 368000/1824115 262.25/260.07 c cleaning 27003 clauses out of 54019 with flag 396000/1852115 265.57/263.36 c cleaning 28003 clauses out of 56017 with flag 425001/1881116 269.40/267.18 c cleaning 28996 clauses out of 58014 with flag 455001/1911116 272.93/270.65 c cleaning 29994 clauses out of 60018 with flag 486001/1942116 276.93/274.69 c cleaning 30973 clauses out of 62023 with flag 518000/1974115 281.23/278.97 c cleaning 32004 clauses out of 64050 with flag 551000/2007115 285.74/283.42 c cleaning 33013 clauses out of 66046 with flag 585000/2041115 290.88/288.58 c cleaning 34007 clauses out of 68034 with flag 620001/2076116 295.59/293.21 c cleaning 35001 clauses out of 70029 with flag 656003/2112118 300.03/297.66 c cleaning 36001 clauses out of 72025 with flag 693000/2149115 306.75/304.36 c cleaning 36997 clauses out of 74024 with flag 731000/2187115 311.05/308.62 c cleaning 38003 clauses out of 76032 with flag 770005/2226120 315.46/313.01 c cleaning 38989 clauses out of 78025 with flag 810001/2266116 319.96/317.55 c cleaning 40000 clauses out of 80035 with flag 851000/2307115 325.27/322.81 c cleaning 41004 clauses out of 82035 with flag 893000/2349115 326.48/324.00 c Got one! Elapsed wall clock time (in seconds):323.894 326.48/324.00 o 133571407 326.99/324.51 c cleaning 27162 clauses out of 54341 with flag 5002/2362425 327.70/325.25 c cleaning 16573 clauses out of 33177 with flag 11000/2368423 328.52/326.03 c cleaning 11790 clauses out of 23606 with flag 18002/2375425 329.43/326.92 c cleaning 9890 clauses out of 19814 with flag 26000/2383423 330.45/327.91 c cleaning 9435 clauses out of 18924 with flag 35000/2392423 331.57/329.07 c cleaning 9723 clauses out of 19490 with flag 45001/2402424 332.79/330.27 c cleaning 10372 clauses out of 20766 with flag 56000/2413423 334.21/331.63 c cleaning 11194 clauses out of 22396 with flag 68002/2425425 335.82/333.26 c cleaning 12091 clauses out of 24200 with flag 81000/2438423 336.82/334.29 c Got one! Elapsed wall clock time (in seconds):334.187 336.82/334.29 o 92880744 337.42/334.88 c cleaning 11900 clauses out of 23811 with flag 5001/2450125 338.34/335.72 c cleaning 8940 clauses out of 17910 with flag 11000/2456124 339.08/336.47 c cleaning 7958 clauses out of 15957 with flag 18001/2463125 339.89/337.24 c cleaning 7983 clauses out of 16000 with flag 26002/2471126 340.81/338.14 c cleaning 8495 clauses out of 17015 with flag 35000/2480124 341.83/339.16 c cleaning 9246 clauses out of 18522 with flag 45002/2490126 342.93/340.27 c cleaning 10130 clauses out of 20275 with flag 56001/2501125 344.13/341.46 c cleaning 11058 clauses out of 22144 with flag 68000/2513124 345.53/342.86 c cleaning 12032 clauses out of 24086 with flag 81000/2526124 347.04/344.35 c cleaning 13012 clauses out of 26062 with flag 95008/2540132 348.74/346.06 c cleaning 14011 clauses out of 28042 with flag 110000/2555124 350.44/347.79 c cleaning 14992 clauses out of 30031 with flag 126000/2571124 352.47/349.74 c cleaning 16016 clauses out of 32039 with flag 143000/2588124 354.38/351.69 c cleaning 16964 clauses out of 33932 with flag 161001/2606125 356.89/354.14 c cleaning 17972 clauses out of 35967 with flag 180000/2625124 358.10/355.39 c Got one! Elapsed wall clock time (in seconds):355.281 358.10/355.39 o 80004956 358.69/355.98 c cleaning 17020 clauses out of 34053 with flag 5001/2641207 359.50/356.73 c cleaning 11509 clauses out of 23037 with flag 11005/2647211 360.40/357.68 c cleaning 9228 clauses out of 18523 with flag 18000/2654206 361.30/358.56 c cleaning 8603 clauses out of 17296 with flag 26001/2662207 362.40/359.64 c cleaning 8839 clauses out of 17692 with flag 35000/2671206 363.70/360.90 c cleaning 9420 clauses out of 18853 with flag 45000/2681206 365.02/362.29 c cleaning 10202 clauses out of 20435 with flag 56002/2692208 366.62/363.89 c cleaning 11106 clauses out of 22232 with flag 68001/2704207 368.42/365.65 c cleaning 12054 clauses out of 24129 with flag 81004/2717210 370.02/367.29 c cleaning 13010 clauses out of 26072 with flag 95001/2731207 372.02/369.23 c cleaning 14026 clauses out of 28061 with flag 110000/2746206 374.33/371.52 c cleaning 15005 clauses out of 30035 with flag 126000/2762206 376.23/373.41 c cleaning 15987 clauses out of 32030 with flag 143000/2779206 378.24/375.49 c cleaning 17010 clauses out of 34043 with flag 161000/2797206 380.46/377.69 c cleaning 18001 clauses out of 36033 with flag 180000/2816206 382.86/380.04 c cleaning 19005 clauses out of 38032 with flag 200000/2836206 385.67/382.86 c cleaning 20003 clauses out of 40027 with flag 221000/2857206 387.97/385.11 c cleaning 20990 clauses out of 42017 with flag 243001/2879207 390.48/387.65 c cleaning 22000 clauses out of 44026 with flag 266000/2902206 393.09/390.22 c cleaning 22995 clauses out of 46026 with flag 290000/2926206 395.69/392.88 c cleaning 23998 clauses out of 48031 with flag 315000/2951206 396.49/393.67 c Got one! Elapsed wall clock time (in seconds):393.566 396.49/393.67 o 45815124 397.19/394.31 c cleaning 18477 clauses out of 36966 with flag 5001/2964259 397.81/394.97 c cleaning 12230 clauses out of 24488 with flag 11000/2970258 398.70/395.88 c cleaning 9599 clauses out of 19258 with flag 18000/2977258 399.72/396.85 c cleaning 8796 clauses out of 17659 with flag 26000/2985258 400.94/398.01 c cleaning 8922 clauses out of 17863 with flag 35000/2994258 402.18/399.23 c cleaning 9462 clauses out of 18941 with flag 45000/3004258 403.47/400.59 c cleaning 10233 clauses out of 20483 with flag 56004/3015262 405.09/402.16 c cleaning 11112 clauses out of 22246 with flag 68000/3027258 406.91/403.93 c cleaning 12052 clauses out of 24134 with flag 81000/3040258 408.71/405.80 c cleaning 13025 clauses out of 26085 with flag 95003/3054261 410.82/407.89 c cleaning 14006 clauses out of 28059 with flag 110002/3069260 412.92/409.98 c cleaning 15014 clauses out of 30051 with flag 126000/3085258 415.33/412.34 c cleaning 16011 clauses out of 32038 with flag 143001/3102259 417.83/414.86 c cleaning 17004 clauses out of 34027 with flag 161001/3120259 420.54/417.59 c cleaning 17996 clauses out of 36022 with flag 180000/3139258 423.57/420.54 c cleaning 18996 clauses out of 38026 with flag 200000/3159258 426.48/423.45 c cleaning 20004 clauses out of 40030 with flag 221000/3180258 429.58/426.56 c cleaning 20996 clauses out of 42027 with flag 243001/3202259 433.00/429.97 c cleaning 22003 clauses out of 44031 with flag 266001/3225259 436.63/433.57 c cleaning 23005 clauses out of 46030 with flag 290003/3249261 440.45/437.37 c cleaning 23995 clauses out of 48022 with flag 315000/3274258 444.76/441.63 c cleaning 24981 clauses out of 49961 with flag 341000/3300258 448.06/444.94 c cleaning 25977 clauses out of 51967 with flag 368000/3327258 451.37/448.28 c cleaning 26982 clauses out of 53990 with flag 396000/3355258 454.38/451.25 c Got one! Elapsed wall clock time (in seconds):451.146 454.38/451.25 o 24869776 455.08/451.99 c cleaning 29958 clauses out of 59937 with flag 5000/3388214 455.91/452.79 c cleaning 17977 clauses out of 35979 with flag 11000/3394214 457.05/453.88 c cleaning 12481 clauses out of 25002 with flag 18000/3401214 458.36/455.17 c cleaning 10241 clauses out of 20522 with flag 26001/3409215 459.86/456.64 c cleaning 9604 clauses out of 19280 with flag 35000/3418214 461.57/458.36 c cleaning 9833 clauses out of 19676 with flag 45000/3428214 462.78/459.56 c cleaning 10400 clauses out of 20831 with flag 56000/3439214 464.10/460.82 c cleaning 11193 clauses out of 22432 with flag 68001/3451215 465.41/462.11 c cleaning 12106 clauses out of 24238 with flag 81000/3464214 466.92/463.61 c cleaning 13060 clauses out of 26132 with flag 95000/3478214 468.53/465.27 c cleaning 14029 clauses out of 28076 with flag 110004/3493218 471.55/468.26 c cleaning 15007 clauses out of 30028 with flag 126000/3509214 475.07/471.74 c cleaning 16000 clauses out of 32022 with flag 143001/3526215 478.20/474.83 c Got one! Elapsed wall clock time (in seconds):474.719 478.20/474.83 o 18825546 479.00/475.68 c cleaning 18637 clauses out of 37289 with flag 5002/3547517 480.22/476.84 c cleaning 12290 clauses out of 24651 with flag 11001/3553516 481.52/478.11 c cleaning 9647 clauses out of 19360 with flag 18000/3560515 482.93/479.58 c cleaning 8837 clauses out of 17714 with flag 26001/3568516 484.52/481.19 c cleaning 8916 clauses out of 17877 with flag 35001/3577516 486.44/483.07 c cleaning 9467 clauses out of 18960 with flag 45000/3587515 488.64/485.24 c cleaning 10214 clauses out of 20493 with flag 56000/3598515 490.95/487.55 c cleaning 11126 clauses out of 22279 with flag 68000/3610515 493.45/490.08 c cleaning 12070 clauses out of 24154 with flag 81001/3623516 495.95/492.53 c cleaning 13028 clauses out of 26083 with flag 95000/3637515 498.75/495.35 c cleaning 13893 clauses out of 27810 with flag 110000/3652515 501.77/498.35 c cleaning 14944 clauses out of 29917 with flag 126000/3668515 504.97/501.56 c cleaning 15973 clauses out of 31973 with flag 143000/3685515 508.47/505.09 c cleaning 16978 clauses out of 34000 with flag 161000/3703515 512.18/508.77 c cleaning 17999 clauses out of 36022 with flag 180000/3722515 515.99/512.51 c cleaning 18999 clauses out of 38023 with flag 200000/3742515 519.99/516.58 c cleaning 19986 clauses out of 40024 with flag 221000/3763515 524.21/520.71 c cleaning 20996 clauses out of 42038 with flag 243000/3785515 528.42/524.90 c cleaning 22008 clauses out of 44042 with flag 266000/3808515 532.83/529.37 c cleaning 22999 clauses out of 46035 with flag 290001/3832516 537.75/534.23 c cleaning 24005 clauses out of 48036 with flag 315001/3857516 541.48/537.96 c Got one! Elapsed wall clock time (in seconds):537.853 541.48/537.96 o 18823782 542.37/538.89 c cleaning 24569 clauses out of 49171 with flag 5000/3882656 543.49/540.00 c cleaning 15276 clauses out of 30602 with flag 11000/3888656 544.81/541.27 c cleaning 11137 clauses out of 22329 with flag 18003/3895659 546.44/542.80 c cleaning 9554 clauses out of 19192 with flag 26003/3903659 548.05/544.47 c cleaning 9283 clauses out of 18640 with flag 35005/3912661 549.94/546.30 c cleaning 9642 clauses out of 19352 with flag 45000/3922656 552.06/548.40 c cleaning 10339 clauses out of 20712 with flag 56002/3933658 554.27/550.67 c cleaning 11168 clauses out of 22371 with flag 68000/3945656 556.92/553.23 c cleaning 12070 clauses out of 24203 with flag 81000/3958656 559.51/555.82 c cleaning 13044 clauses out of 26133 with flag 95000/3972656 562.32/558.69 c cleaning 14015 clauses out of 28091 with flag 110002/3987658 565.32/561.61 c cleaning 15014 clauses out of 30077 with flag 126003/4003659 568.12/564.45 c cleaning 16019 clauses out of 32060 with flag 143000/4020656 571.13/567.44 c cleaning 17010 clauses out of 34041 with flag 161000/4038656 574.43/570.73 c cleaning 18008 clauses out of 36031 with flag 180000/4057656 577.96/574.23 c cleaning 18993 clauses out of 38023 with flag 200000/4077656 581.75/578.02 c cleaning 20006 clauses out of 40031 with flag 221001/4098657 585.57/581.83 c cleaning 20998 clauses out of 42024 with flag 243000/4120656 589.57/585.89 c cleaning 22001 clauses out of 44026 with flag 266000/4143656 593.88/590.15 c cleaning 22998 clauses out of 46025 with flag 290000/4167656 598.39/594.61 c cleaning 23997 clauses out of 48029 with flag 315002/4192658 602.99/599.22 c cleaning 25001 clauses out of 50030 with flag 341000/4218656 608.19/604.47 c cleaning 25999 clauses out of 52030 with flag 368001/4245657 613.41/609.62 c cleaning 27002 clauses out of 54031 with flag 396001/4273657 618.91/615.18 c cleaning 28005 clauses out of 56029 with flag 425001/4302657 624.73/620.92 c cleaning 28999 clauses out of 58023 with flag 455000/4332656 629.13/625.37 c cleaning 29999 clauses out of 60024 with flag 486000/4363656 632.94/629.14 c cleaning 30996 clauses out of 62027 with flag 518002/4395658 637.04/633.22 c cleaning 31998 clauses out of 64029 with flag 551000/4428656 641.15/637.39 c cleaning 33006 clauses out of 66036 with flag 585005/4462661 645.65/641.81 c cleaning 33995 clauses out of 68025 with flag 620000/4497656 650.38/646.53 c cleaning 35007 clauses out of 70030 with flag 656000/4533656 656.11/652.29 c cleaning 35992 clauses out of 72023 with flag 693000/4570656 663.03/659.12 c cleaning 37004 clauses out of 74031 with flag 731000/4608656 669.74/665.85 c cleaning 38002 clauses out of 76029 with flag 770002/4647658 676.35/672.47 c cleaning 38979 clauses out of 78026 with flag 810001/4687657 682.86/678.96 c cleaning 40001 clauses out of 80048 with flag 851002/4728658 689.09/685.19 c cleaning 41001 clauses out of 82045 with flag 893000/4770656 696.11/692.18 c cleaning 42002 clauses out of 84044 with flag 936000/4813656 702.24/698.24 c Got one! Elapsed wall clock time (in seconds):698.131 702.24/698.24 o 18790237 702.34/698.35 c Got one! Elapsed wall clock time (in seconds):698.239 702.34/698.35 o 18575990 703.44/699.41 c cleaning 42698 clauses out of 85413 with flag 5000/4857038 704.56/700.58 c cleaning 24337 clauses out of 48716 with flag 11001/4863039 705.98/701.90 c Got one! Elapsed wall clock time (in seconds):701.796 705.98/701.90 o 18492333 706.88/702.82 c cleaning 18138 clauses out of 36298 with flag 5000/4874958 707.99/703.98 c cleaning 12036 clauses out of 24160 with flag 11000/4880958 709.30/705.27 c cleaning 9539 clauses out of 19125 with flag 18001/4887959 710.91/706.86 c cleaning 8762 clauses out of 17586 with flag 26001/4895959 711.12/707.09 c Got one! Elapsed wall clock time (in seconds):706.983 711.12/707.09 o 18482511 711.92/707.86 c cleaning 6900 clauses out of 13818 with flag 4000/4900959 713.14/709.03 c cleaning 6431 clauses out of 12918 with flag 10000/4906959 714.54/710.44 c cleaning 6730 clauses out of 13488 with flag 17001/4913960 716.04/711.96 c cleaning 7373 clauses out of 14757 with flag 25000/4921959 717.76/713.67 c cleaning 8187 clauses out of 16385 with flag 34001/4930960 718.37/714.22 c Got one! Elapsed wall clock time (in seconds):714.117 718.37/714.22 o 18473841 718.87/714.78 c cleaning 7001 clauses out of 14039 with flag 3000/4936934 720.07/715.90 c cleaning 6494 clauses out of 13038 with flag 9000/4942934 721.38/717.22 c cleaning 6753 clauses out of 13545 with flag 16001/4949935 722.93/718.71 c cleaning 7388 clauses out of 14792 with flag 24001/4957935 724.63/720.45 c cleaning 8193 clauses out of 16406 with flag 33003/4966937 726.54/722.35 c cleaning 9091 clauses out of 18210 with flag 43000/4976934 728.66/724.44 c cleaning 10051 clauses out of 20120 with flag 54001/4987935 730.86/726.64 c cleaning 11023 clauses out of 22069 with flag 66001/4999935 733.26/729.06 c cleaning 12008 clauses out of 24045 with flag 79000/5012934 735.87/731.69 c cleaning 13004 clauses out of 26037 with flag 93000/5026934 738.88/734.66 c cleaning 13995 clauses out of 28033 with flag 108000/5041934 741.98/737.74 c cleaning 14999 clauses out of 30038 with flag 124000/5057934 745.40/741.16 c cleaning 16010 clauses out of 32039 with flag 141000/5074934 746.91/742.68 c Got one! Elapsed wall clock time (in seconds):742.577 746.91/742.68 o 18424144 747.82/743.55 c cleaning 14256 clauses out of 28559 with flag 5000/5087464 748.83/744.58 c cleaning 10139 clauses out of 20307 with flag 11004/5093468 750.13/745.87 c cleaning 8566 clauses out of 17165 with flag 18001/5100465 751.53/747.29 c cleaning 8279 clauses out of 16599 with flag 26001/5108465 753.03/748.77 c cleaning 8646 clauses out of 17319 with flag 35000/5117464 754.75/750.48 c cleaning 9319 clauses out of 18673 with flag 45000/5127464 756.66/752.36 c cleaning 10165 clauses out of 20354 with flag 56000/5138464 757.47/753.12 c Got one! Elapsed wall clock time (in seconds):753.011 757.47/753.12 o 18418876 757.57/753.27 c cleaning 7653 clauses out of 15332 with flag 1002/5143607 758.38/754.03 c cleaning 6805 clauses out of 13677 with flag 7000/5149605 759.19/754.82 c cleaning 6918 clauses out of 13872 with flag 14000/5156605 760.02/755.68 c cleaning 7469 clauses out of 14954 with flag 22000/5164605 761.13/756.73 c cleaning 8236 clauses out of 16485 with flag 31000/5173605 762.35/757.94 c cleaning 9115 clauses out of 18250 with flag 41001/5183606 763.76/759.31 c cleaning 10057 clauses out of 20135 with flag 52001/5194606 765.16/760.73 c cleaning 11026 clauses out of 22077 with flag 64000/5206605 766.87/762.46 c cleaning 12003 clauses out of 24051 with flag 77000/5219605 768.69/764.21 c cleaning 13022 clauses out of 26048 with flag 91000/5233605 770.40/766.00 c cleaning 14008 clauses out of 28030 with flag 106004/5248609 772.30/767.87 c cleaning 14984 clauses out of 30018 with flag 122000/5264605 774.41/769.97 c cleaning 15998 clauses out of 32034 with flag 139000/5281605 777.11/772.69 c cleaning 17001 clauses out of 34029 with flag 157000/5299605 778.13/773.66 c Got one! Elapsed wall clock time (in seconds):773.553 778.13/773.66 o 16858803 778.83/774.35 c cleaning 13596 clauses out of 27209 with flag 5003/5309786 779.73/775.25 c cleaning 9785 clauses out of 19611 with flag 11001/5315784 780.75/776.26 c cleaning 8381 clauses out of 16825 with flag 18000/5322783 782.06/777.51 c cleaning 8190 clauses out of 16444 with flag 26000/5330783 783.67/779.14 c cleaning 8616 clauses out of 17254 with flag 35000/5339783 785.39/780.87 c cleaning 9310 clauses out of 18639 with flag 45001/5349784 787.39/782.82 c cleaning 10160 clauses out of 20329 with flag 56001/5360784 789.71/785.10 c cleaning 11073 clauses out of 22170 with flag 68002/5372785 791.94/787.38 c cleaning 12035 clauses out of 24095 with flag 81000/5385783 794.24/789.67 c cleaning 13019 clauses out of 26060 with flag 95000/5399783 796.56/791.95 c cleaning 14006 clauses out of 28041 with flag 110000/5414783 799.17/794.57 c cleaning 15001 clauses out of 30038 with flag 126003/5430786 802.18/797.59 c cleaning 15997 clauses out of 32034 with flag 143000/5447783 805.09/800.47 c cleaning 17004 clauses out of 34038 with flag 161001/5465784 808.51/803.87 c cleaning 17996 clauses out of 36034 with flag 180001/5484784 812.22/807.50 c cleaning 18995 clauses out of 38038 with flag 200001/5504784 814.92/810.27 c cleaning 20012 clauses out of 40043 with flag 221001/5525784 817.75/813.00 c cleaning 21007 clauses out of 42031 with flag 243001/5547784 820.66/815.95 c cleaning 21998 clauses out of 44023 with flag 266000/5570783 823.87/819.14 c cleaning 23009 clauses out of 46026 with flag 290001/5594784 826.97/822.27 c cleaning 24001 clauses out of 48016 with flag 315000/5619783 830.48/825.79 c cleaning 24999 clauses out of 50015 with flag 341000/5645783 834.09/829.38 c cleaning 26001 clauses out of 52018 with flag 368002/5672785 837.81/833.01 c cleaning 26800 clauses out of 53620 with flag 396000/5700783 842.01/837.28 c cleaning 27902 clauses out of 55824 with flag 425004/5729787 846.41/841.60 c cleaning 28945 clauses out of 57918 with flag 455000/5759783 850.74/845.96 c cleaning 29966 clauses out of 59973 with flag 486000/5790783 855.44/850.63 c cleaning 30989 clauses out of 62007 with flag 518000/5822783 860.24/855.48 c cleaning 31991 clauses out of 64020 with flag 551002/5855785 865.45/860.62 c cleaning 33003 clauses out of 66027 with flag 585000/5889783 870.86/866.05 c cleaning 33997 clauses out of 68024 with flag 620000/5924783 876.28/871.47 c cleaning 34999 clauses out of 70027 with flag 656000/5960783 882.10/877.22 c cleaning 36002 clauses out of 72028 with flag 693000/5997783 888.50/883.63 c cleaning 37010 clauses out of 74028 with flag 731002/6035785 895.71/890.85 c cleaning 37995 clauses out of 76017 with flag 770001/6074784 904.22/899.34 c cleaning 38993 clauses out of 78021 with flag 810000/6114783 913.04/908.11 c cleaning 39999 clauses out of 80029 with flag 851001/6155784 922.07/917.20 c cleaning 41009 clauses out of 82031 with flag 893002/6197785 923.48/918.53 c Got one! Elapsed wall clock time (in seconds):918.424 923.48/918.53 o 16751951 924.37/919.46 c cleaning 24504 clauses out of 49049 with flag 5000/6208863 925.39/920.46 c cleaning 15255 clauses out of 30545 with flag 11000/6214863 926.60/921.65 c cleaning 11103 clauses out of 22290 with flag 18000/6221863 927.90/922.96 c cleaning 9558 clauses out of 19187 with flag 26000/6229863 929.31/924.33 c cleaning 9295 clauses out of 18629 with flag 35000/6238863 930.83/925.83 c cleaning 9657 clauses out of 19340 with flag 45006/6248869 932.53/927.57 c cleaning 10328 clauses out of 20677 with flag 56000/6259863 934.34/929.40 c cleaning 11168 clauses out of 22351 with flag 68002/6271865 936.24/931.27 c cleaning 12081 clauses out of 24184 with flag 81003/6284866 938.25/933.26 c cleaning 13033 clauses out of 26101 with flag 95001/6298864 940.46/935.44 c cleaning 14017 clauses out of 28067 with flag 110000/6313863 942.88/937.81 c cleaning 15018 clauses out of 30052 with flag 126002/6329865 945.38/940.36 c cleaning 16003 clauses out of 32032 with flag 143000/6346863 948.19/943.10 c cleaning 17006 clauses out of 34029 with flag 161000/6364863 950.90/945.90 c cleaning 17992 clauses out of 36024 with flag 180001/6383864 953.90/948.88 c cleaning 19000 clauses out of 38032 with flag 200001/6403864 957.01/951.93 c cleaning 20005 clauses out of 40034 with flag 221003/6424866 960.32/955.28 c cleaning 21006 clauses out of 42027 with flag 243001/6446864 963.84/958.71 c cleaning 21995 clauses out of 44020 with flag 266000/6469863 967.57/962.42 c cleaning 22993 clauses out of 46025 with flag 290000/6493863 971.56/966.49 c cleaning 24003 clauses out of 48036 with flag 315004/6518867 975.77/970.60 c cleaning 25003 clauses out of 50030 with flag 341001/6544864 980.07/974.92 c cleaning 25992 clauses out of 52026 with flag 368000/6571863 984.68/979.55 c cleaning 27000 clauses out of 54035 with flag 396001/6599864 989.38/984.21 c cleaning 28000 clauses out of 56036 with flag 425002/6628865 994.38/989.26 c cleaning 28994 clauses out of 58034 with flag 455000/6658863 1000.09/994.97 c cleaning 29994 clauses out of 60040 with flag 486000/6689863 1005.31/1000.14 c cleaning 29422 clauses out of 58862 with flag 518000/6721863 1010.22/1005.05 c cleaning 31203 clauses out of 62441 with flag 551001/6754864 1015.23/1010.02 c cleaning 32615 clauses out of 65241 with flag 585004/6788867 1020.65/1015.43 c cleaning 33795 clauses out of 67622 with flag 620000/6823863 1026.15/1020.91 c cleaning 34888 clauses out of 69827 with flag 656000/6859863 1031.87/1026.68 c cleaning 35957 clauses out of 71941 with flag 693002/6896865 1037.78/1032.56 c cleaning 36976 clauses out of 73985 with flag 731003/6934866 1044.39/1039.11 c cleaning 37993 clauses out of 76007 with flag 770001/6973864 1046.01/1040.71 c Got one! Elapsed wall clock time (in seconds):1040.602 1046.01/1040.71 o 16633728 1046.71/1041.44 c cleaning 26712 clauses out of 53448 with flag 5001/6989298 1047.53/1042.29 c cleaning 16361 clauses out of 32735 with flag 11000/6995297 1048.54/1043.23 c cleaning 11659 clauses out of 23374 with flag 18000/7002297 1049.54/1044.22 c cleaning 9835 clauses out of 19715 with flag 26000/7010297 1050.64/1045.32 c cleaning 9413 clauses out of 18882 with flag 35002/7019299 1051.36/1046.04 c Got one! Elapsed wall clock time (in seconds):1045.936 1051.36/1046.04 o 16340724 1051.96/1046.61 c cleaning 9733 clauses out of 19474 with flag 5001/7029304 1052.68/1047.34 c cleaning 7834 clauses out of 15740 with flag 11000/7035303 1053.60/1048.25 c cleaning 7430 clauses out of 14906 with flag 18000/7042303 1054.71/1049.30 c cleaning 7718 clauses out of 15477 with flag 26001/7050304 1055.73/1050.39 c cleaning 8372 clauses out of 16762 with flag 35004/7059307 1057.05/1051.63 c cleaning 9179 clauses out of 18387 with flag 45001/7069304 1058.56/1053.11 c cleaning 10093 clauses out of 20208 with flag 56001/7080304 1060.19/1054.72 c cleaning 11047 clauses out of 22115 with flag 68001/7092304 1061.99/1056.52 c cleaning 12024 clauses out of 24067 with flag 81000/7105303 1063.89/1058.43 c cleaning 13012 clauses out of 26045 with flag 95002/7119305 1065.91/1060.41 c cleaning 13997 clauses out of 28031 with flag 110000/7134303 1067.92/1062.50 c cleaning 14995 clauses out of 30035 with flag 126001/7150304 1070.35/1064.88 c cleaning 16003 clauses out of 32039 with flag 143000/7167303 1072.96/1067.46 c cleaning 16998 clauses out of 34037 with flag 161001/7185304 1075.56/1070.09 c cleaning 18007 clauses out of 36038 with flag 180000/7204303 1078.56/1073.03 c cleaning 19002 clauses out of 38033 with flag 200002/7224305 1081.57/1076.02 c cleaning 19997 clauses out of 40029 with flag 221000/7245303 1084.80/1079.26 c cleaning 21000 clauses out of 42032 with flag 243000/7267303 1088.20/1082.66 c cleaning 22001 clauses out of 44032 with flag 266000/7290303 1091.80/1086.26 c cleaning 23003 clauses out of 46033 with flag 290002/7314305 1095.72/1090.14 c cleaning 23995 clauses out of 48028 with flag 315000/7339303 1099.62/1094.02 c cleaning 25002 clauses out of 50033 with flag 341000/7365303 1103.73/1098.10 c cleaning 25996 clauses out of 52031 with flag 368000/7392303 1107.93/1102.34 c cleaning 27009 clauses out of 54038 with flag 396003/7420306 1112.25/1106.69 c cleaning 27991 clauses out of 56026 with flag 425000/7449303 1112.75/1107.17 c Got one! Elapsed wall clock time (in seconds):1107.059 1112.75/1107.17 o 16089969 1113.19/1107.50 c cleaning 16548 clauses out of 33103 with flag 2001/7454371 1113.42/1107.75 c Got one! Elapsed wall clock time (in seconds):1107.64 1113.42/1107.75 o 16084076 1113.81/1108.14 c Got one! Elapsed wall clock time (in seconds):1108.035 1113.81/1108.14 o 16083293 1114.01/1108.34 c Got one! Elapsed wall clock time (in seconds):1108.231 1114.01/1108.34 o 16064012 1114.01/1108.37 c Got one! Elapsed wall clock time (in seconds):1108.267 1114.01/1108.37 o 16039774 1114.21/1108.53 c cleaning 11694 clauses out of 23408 with flag 1001/7461224 1115.01/1109.31 c Got one! Elapsed wall clock time (in seconds):1109.201 1115.01/1109.31 o 16038619 1115.71/1110.07 c cleaning 11046 clauses out of 22128 with flag 5001/7471638 1115.83/1110.11 c Got one! Elapsed wall clock time (in seconds):1110.003 1115.83/1110.11 o 16035064 1116.53/1110.82 c cleaning 8047 clauses out of 16105 with flag 5001/7476661 1117.44/1111.75 c cleaning 7019 clauses out of 14057 with flag 11000/7482660 1118.14/1112.40 c Got one! Elapsed wall clock time (in seconds):1112.296 1118.14/1112.40 o 16031073 1118.14/1112.44 c Got one! Elapsed wall clock time (in seconds):1112.332 1118.14/1112.44 o 15978372 1118.24/1112.59 c cleaning 6299 clauses out of 12628 with flag 1001/7488250 1119.27/1113.52 c cleaning 6147 clauses out of 12328 with flag 7000/7494249 1120.38/1114.61 c cleaning 6582 clauses out of 13183 with flag 14002/7501251 1121.59/1115.83 c cleaning 7297 clauses out of 14599 with flag 22000/7509249 1122.90/1117.17 c cleaning 8140 clauses out of 16302 with flag 31000/7518249 1124.42/1118.69 c cleaning 9070 clauses out of 18162 with flag 41000/7528249 1126.02/1120.26 c cleaning 10038 clauses out of 20092 with flag 52000/7539249 1126.52/1120.73 c Got one! Elapsed wall clock time (in seconds):1120.618 1126.52/1120.73 o 15969522 1126.73/1120.98 c cleaning 7559 clauses out of 15135 with flag 2001/7544330 1127.63/1121.81 c cleaning 6773 clauses out of 13575 with flag 8000/7550329 1128.54/1122.77 c cleaning 6887 clauses out of 13802 with flag 15000/7557329 1129.65/1123.84 c cleaning 7446 clauses out of 14916 with flag 23001/7565330 1130.87/1125.09 c cleaning 8213 clauses out of 16471 with flag 32002/7574331 1132.30/1126.41 c cleaning 9118 clauses out of 18258 with flag 42002/7584331 1133.89/1128.01 c cleaning 10060 clauses out of 20138 with flag 53000/7595329 1135.71/1129.80 c cleaning 11027 clauses out of 22078 with flag 65000/7607329 1137.63/1131.75 c cleaning 12022 clauses out of 24054 with flag 78003/7620332 1139.73/1133.87 c cleaning 13000 clauses out of 26029 with flag 92000/7634329 1141.94/1136.08 c cleaning 14001 clauses out of 28031 with flag 107002/7649331 1144.37/1138.45 c cleaning 15000 clauses out of 30030 with flag 123002/7665331 1146.87/1140.91 c cleaning 16001 clauses out of 32028 with flag 140000/7682329 1149.57/1143.66 c cleaning 17007 clauses out of 34029 with flag 158002/7700331 1152.42/1146.41 c cleaning 17990 clauses out of 36020 with flag 177000/7719329 1155.34/1149.30 c cleaning 18994 clauses out of 38031 with flag 197001/7739330 1158.24/1152.28 c cleaning 20009 clauses out of 40036 with flag 218000/7760329 1158.65/1152.69 c Got one! Elapsed wall clock time (in seconds):1152.586 1158.65/1152.69 o 15964387 1159.15/1153.16 c cleaning 12810 clauses out of 25649 with flag 3000/7765951 1160.07/1154.06 c cleaning 9404 clauses out of 18840 with flag 9001/7771952 1161.08/1155.09 c cleaning 8205 clauses out of 16435 with flag 16000/7778951 1162.30/1156.21 c cleaning 8099 clauses out of 16231 with flag 24001/7786952 1163.61/1157.50 c cleaning 8554 clauses out of 17132 with flag 33001/7795952 1165.01/1158.95 c cleaning 9281 clauses out of 18579 with flag 43002/7805953 1165.83/1159.70 c Got one! Elapsed wall clock time (in seconds):1159.592 1165.83/1159.70 o 15940302 1166.53/1160.43 c cleaning 9748 clauses out of 19520 with flag 5002/7816175 1167.45/1161.30 c cleaning 7869 clauses out of 15770 with flag 11000/7822173 1168.07/1161.96 c Got one! Elapsed wall clock time (in seconds):1161.857 1168.07/1161.96 o 15939473 1168.27/1162.11 c cleaning 6659 clauses out of 13354 with flag 1000/7827626 1169.08/1162.96 c cleaning 6324 clauses out of 12695 with flag 7000/7833626 1170.08/1163.93 c cleaning 6682 clauses out of 13371 with flag 14000/7840626 1171.19/1165.01 c cleaning 7329 clauses out of 14689 with flag 22000/7848626 1172.49/1166.31 c cleaning 8166 clauses out of 16361 with flag 31001/7857627 1173.90/1167.76 c cleaning 9086 clauses out of 18194 with flag 41000/7867626 1175.52/1169.31 c cleaning 10038 clauses out of 20109 with flag 52001/7878627 1177.12/1170.99 c cleaning 11013 clauses out of 22070 with flag 64000/7890626 1179.13/1172.92 c cleaning 12023 clauses out of 24058 with flag 77001/7903627 1181.13/1174.98 c cleaning 13001 clauses out of 26034 with flag 91000/7917626 1182.54/1176.34 c Got one! Elapsed wall clock time (in seconds):1176.232 1182.54/1176.34 o 15913252 1183.24/1177.09 c cleaning 13778 clauses out of 27587 with flag 5000/7932180 1184.15/1177.96 c cleaning 9902 clauses out of 19809 with flag 11000/7938180 1185.26/1179.02 c cleaning 8439 clauses out of 16908 with flag 18001/7945181 1186.36/1180.15 c cleaning 8205 clauses out of 16468 with flag 26000/7953180 1187.67/1181.42 c cleaning 8627 clauses out of 17263 with flag 35000/7962180 1189.07/1182.88 c cleaning 9301 clauses out of 18637 with flag 45001/7972181 1190.77/1184.53 c cleaning 10157 clauses out of 20336 with flag 56001/7983181 1192.47/1186.27 c cleaning 11072 clauses out of 22179 with flag 68001/7995181 1194.39/1188.14 c cleaning 12044 clauses out of 24107 with flag 81001/8008181 1196.41/1190.15 c cleaning 13015 clauses out of 26062 with flag 95000/8022180 1198.62/1192.32 c cleaning 14012 clauses out of 28049 with flag 110002/8037182 1200.83/1194.55 c cleaning 15002 clauses out of 30035 with flag 126000/8053180 1203.24/1196.96 c cleaning 15999 clauses out of 32033 with flag 143000/8070180 1203.56/1197.23 c Got one! Elapsed wall clock time (in seconds):1197.12 1203.56/1197.23 o 15909437 1204.17/1197.81 c cleaning 10769 clauses out of 21582 with flag 4000/8075728 1204.97/1198.62 c Got one! Elapsed wall clock time (in seconds):1198.509 1204.97/1198.62 o 15900535 1205.67/1199.36 c cleaning 10647 clauses out of 21312 with flag 5000/8086227 1206.58/1200.27 c cleaning 8313 clauses out of 16665 with flag 11000/8092227 1207.59/1201.27 c cleaning 7654 clauses out of 15353 with flag 18001/8099228 1208.69/1202.39 c cleaning 7816 clauses out of 15698 with flag 26000/8107227 1210.09/1203.72 c cleaning 8435 clauses out of 16882 with flag 35000/8116227 1211.60/1205.22 c cleaning 9213 clauses out of 18447 with flag 45000/8126227 1213.20/1206.82 c cleaning 10108 clauses out of 20234 with flag 56000/8137227 1215.01/1208.64 c cleaning 11056 clauses out of 22126 with flag 68000/8149227 1217.02/1210.62 c cleaning 12019 clauses out of 24074 with flag 81004/8162231 1219.12/1212.70 c cleaning 13019 clauses out of 26052 with flag 95001/8176228 1219.33/1212.92 c Got one! Elapsed wall clock time (in seconds):1212.818 1219.33/1212.92 o 15882209 1219.83/1213.50 c cleaning 9214 clauses out of 18438 with flag 4001/8181633 1220.74/1214.38 c cleaning 7602 clauses out of 15225 with flag 10002/8187634 1221.84/1215.42 c cleaning 7304 clauses out of 14622 with flag 17001/8194633 1222.84/1216.50 c cleaning 7652 clauses out of 15319 with flag 25002/8202634 1224.24/1217.80 c cleaning 8320 clauses out of 16666 with flag 34001/8211633 1225.64/1219.29 c cleaning 9162 clauses out of 18346 with flag 44001/8221633 1227.25/1220.84 c cleaning 10084 clauses out of 20183 with flag 55000/8232632 1229.07/1222.63 c cleaning 11039 clauses out of 22099 with flag 67000/8244632 1231.07/1224.61 c cleaning 12017 clauses out of 24060 with flag 80000/8257632 1233.10/1226.68 c cleaning 13000 clauses out of 26043 with flag 94000/8271632 1235.22/1228.74 c cleaning 14002 clauses out of 28043 with flag 109000/8286632 1237.51/1231.03 c cleaning 15011 clauses out of 30041 with flag 125000/8302632 1240.02/1233.57 c cleaning 16004 clauses out of 32030 with flag 142000/8319632 1242.82/1236.38 c cleaning 16997 clauses out of 34026 with flag 160000/8337632 1245.82/1239.37 c cleaning 18002 clauses out of 36029 with flag 179000/8356632 1248.94/1242.44 c cleaning 18991 clauses out of 38028 with flag 199001/8376633 1252.14/1245.65 c cleaning 20007 clauses out of 40036 with flag 220000/8397632 1255.55/1249.02 c cleaning 21004 clauses out of 42031 with flag 242002/8419634 1259.06/1252.51 c cleaning 21993 clauses out of 44026 with flag 265001/8442633 1262.77/1256.29 c cleaning 23004 clauses out of 46033 with flag 289001/8466633 1266.77/1260.20 c cleaning 23995 clauses out of 48028 with flag 314000/8491632 1270.67/1264.15 c cleaning 25002 clauses out of 50035 with flag 340002/8517634 1274.98/1268.40 c cleaning 25997 clauses out of 52031 with flag 367000/8544632 1279.29/1272.77 c cleaning 27007 clauses out of 54037 with flag 395003/8572635 1283.70/1277.14 c cleaning 27991 clauses out of 56028 with flag 424001/8601633 1288.30/1281.73 c cleaning 29004 clauses out of 58037 with flag 454001/8631633 1293.12/1286.57 c cleaning 30009 clauses out of 60033 with flag 485001/8662633 1298.14/1291.55 c cleaning 31003 clauses out of 62023 with flag 517000/8694632 1303.26/1296.67 c cleaning 31993 clauses out of 64021 with flag 550001/8727633 1308.57/1301.93 c cleaning 32994 clauses out of 66028 with flag 584001/8761633 1313.77/1307.17 c Got one! Elapsed wall clock time (in seconds):1307.064 1313.77/1307.17 o 15880232 1314.87/1308.24 c cleaning 35921 clauses out of 71855 with flag 5000/8800454 1315.89/1309.23 c cleaning 20963 clauses out of 41937 with flag 11003/8806457 1316.89/1310.29 c cleaning 13969 clauses out of 27971 with flag 18000/8813454 1318.10/1311.48 c cleaning 10977 clauses out of 22003 with flag 26001/8821455 1319.40/1312.79 c cleaning 9996 clauses out of 20025 with flag 35000/8830454 1320.92/1314.24 c cleaning 9994 clauses out of 20029 with flag 45000/8840454 1322.62/1315.90 c cleaning 10508 clauses out of 21036 with flag 56001/8851455 1324.34/1317.63 c cleaning 11246 clauses out of 22527 with flag 68000/8863454 1326.24/1319.58 c cleaning 12121 clauses out of 24281 with flag 81000/8876454 1328.36/1321.62 c cleaning 13055 clauses out of 26160 with flag 95000/8890454 1330.47/1323.78 c cleaning 14047 clauses out of 28105 with flag 110000/8905454 1332.87/1326.15 c cleaning 15020 clauses out of 30058 with flag 126000/8921454 1335.40/1328.66 c cleaning 16006 clauses out of 32038 with flag 143000/8938454 1338.11/1331.37 c cleaning 17005 clauses out of 34032 with flag 161000/8956454 1341.03/1334.28 c cleaning 18006 clauses out of 36027 with flag 180000/8975454 1341.13/1334.36 c Got one! Elapsed wall clock time (in seconds):1334.251 1341.13/1334.36 o 15861614 1341.83/1335.09 c cleaning 11641 clauses out of 23296 with flag 5000/8980729 1342.73/1335.96 c cleaning 8802 clauses out of 17655 with flag 11000/8986729 1343.83/1337.01 c cleaning 7896 clauses out of 15837 with flag 18000/8993729 1345.06/1338.23 c cleaning 7958 clauses out of 15942 with flag 26001/9001730 1346.36/1339.54 c cleaning 8481 clauses out of 16983 with flag 35000/9010729 1347.77/1340.94 c cleaning 9241 clauses out of 18503 with flag 45001/9020730 1349.37/1342.59 c cleaning 10118 clauses out of 20262 with flag 56001/9031730 1350.37/1343.57 c Got one! Elapsed wall clock time (in seconds):1343.461 1350.37/1343.57 o 15842658 1351.17/1344.31 c cleaning 11038 clauses out of 22096 with flag 5000/9043682 1351.99/1345.20 c cleaning 8504 clauses out of 17058 with flag 11000/9049682 1353.10/1346.23 c cleaning 7759 clauses out of 15556 with flag 18002/9056684 1354.31/1347.43 c cleaning 7880 clauses out of 15795 with flag 26000/9064682 1355.60/1348.75 c cleaning 8446 clauses out of 16915 with flag 35000/9073682 1357.01/1350.19 c cleaning 9214 clauses out of 18469 with flag 45000/9083682 1358.62/1351.79 c cleaning 10112 clauses out of 20241 with flag 56000/9094682 1360.42/1353.57 c cleaning 11053 clauses out of 22129 with flag 68000/9106682 1362.44/1355.57 c cleaning 12035 clauses out of 24076 with flag 81000/9119682 1364.57/1357.62 c cleaning 13015 clauses out of 26041 with flag 95000/9133682 1366.89/1359.93 c cleaning 14004 clauses out of 28029 with flag 110003/9148685 1369.19/1362.29 c cleaning 15000 clauses out of 30022 with flag 126000/9164682 1371.79/1364.81 c cleaning 16002 clauses out of 32022 with flag 143000/9181682 1374.51/1367.53 c cleaning 16993 clauses out of 34021 with flag 161001/9199683 1377.42/1370.49 c cleaning 18001 clauses out of 36027 with flag 180000/9218682 1380.44/1373.48 c cleaning 18982 clauses out of 38026 with flag 200000/9238682 1383.74/1376.78 c cleaning 20015 clauses out of 40045 with flag 221001/9259683 1387.25/1380.26 c cleaning 20995 clauses out of 42029 with flag 243000/9281682 1390.76/1383.73 c cleaning 21991 clauses out of 43998 with flag 266003/9304685 1394.46/1387.41 c cleaning 22993 clauses out of 46004 with flag 290000/9328682 1398.26/1391.21 c cleaning 23990 clauses out of 48011 with flag 315000/9353682 1402.16/1395.16 c cleaning 24992 clauses out of 50021 with flag 341000/9379682 1406.27/1399.23 c cleaning 25998 clauses out of 52029 with flag 368000/9406682 1410.49/1403.41 c cleaning 27004 clauses out of 54031 with flag 396000/9434682 1414.80/1407.77 c cleaning 28002 clauses out of 56028 with flag 425001/9463683 1419.31/1412.21 c cleaning 28994 clauses out of 58026 with flag 455003/9493685 1424.12/1417.08 c cleaning 29994 clauses out of 60030 with flag 486001/9524683 1429.13/1422.08 c cleaning 31000 clauses out of 62024 with flag 518000/9556682 1434.54/1427.49 c cleaning 32004 clauses out of 64024 with flag 551000/9589682 1439.94/1432.84 c cleaning 32995 clauses out of 66021 with flag 585001/9623683 1444.75/1437.64 c Got one! Elapsed wall clock time (in seconds):1437.536 1444.75/1437.64 o 15836936 1445.74/1438.62 c cleaning 35067 clauses out of 70172 with flag 5000/9660829 1446.77/1439.61 c cleaning 20530 clauses out of 41105 with flag 11000/9666829 1447.77/1440.62 c cleaning 13764 clauses out of 27575 with flag 18000/9673829 1448.77/1441.68 c cleaning 10884 clauses out of 21814 with flag 26003/9681832 1450.09/1442.95 c cleaning 9939 clauses out of 19927 with flag 35000/9690829 1451.59/1444.40 c cleaning 9976 clauses out of 19989 with flag 45001/9700830 1453.19/1446.02 c cleaning 10489 clauses out of 21012 with flag 56000/9711829 1454.99/1447.81 c cleaning 11247 clauses out of 22525 with flag 68002/9723831 1456.90/1449.71 c cleaning 12126 clauses out of 24277 with flag 81001/9736830 1458.90/1451.72 c cleaning 13054 clauses out of 26150 with flag 95000/9750829 1461.11/1453.95 c cleaning 14035 clauses out of 28096 with flag 110000/9765829 1463.31/1456.20 c cleaning 15009 clauses out of 30061 with flag 126000/9781829 1465.82/1458.65 c cleaning 16001 clauses out of 32053 with flag 143001/9798830 1468.52/1461.33 c cleaning 17003 clauses out of 34052 with flag 161001/9816830 1471.34/1464.12 c cleaning 18008 clauses out of 36049 with flag 180001/9835830 1474.43/1467.21 c cleaning 19014 clauses out of 38042 with flag 200004/9855833 1477.64/1470.45 c cleaning 19995 clauses out of 40024 with flag 221000/9876829 1481.06/1473.84 c cleaning 20996 clauses out of 42030 with flag 243001/9898830 1484.58/1477.35 c cleaning 22009 clauses out of 44033 with flag 266000/9921829 1488.29/1481.03 c cleaning 22999 clauses out of 46024 with flag 290000/9945829 1492.10/1484.88 c cleaning 23998 clauses out of 48025 with flag 315000/9970829 1496.20/1488.93 c cleaning 25011 clauses out of 50026 with flag 341000/9996829 1500.31/1493.05 c cleaning 25984 clauses out of 52015 with flag 368000/10023829 1504.51/1497.27 c cleaning 27003 clauses out of 54031 with flag 396000/10051829 1508.93/1501.65 c cleaning 27998 clauses out of 56028 with flag 425000/10080829 1513.34/1506.07 c cleaning 29001 clauses out of 58034 with flag 455004/10110833 1518.27/1510.96 c cleaning 30000 clauses out of 60030 with flag 486001/10141830 1523.28/1515.96 c cleaning 30991 clauses out of 62029 with flag 518000/10173829 1528.49/1521.18 c cleaning 32011 clauses out of 64040 with flag 551002/10206831 1533.81/1526.47 c cleaning 32999 clauses out of 66027 with flag 585000/10240829 1539.51/1532.20 c cleaning 34005 clauses out of 68028 with flag 620000/10275829 1545.43/1538.09 c cleaning 35006 clauses out of 70025 with flag 656002/10311831 1551.44/1544.09 c cleaning 35998 clauses out of 72017 with flag 693000/10348829 1557.75/1550.40 c cleaning 37008 clauses out of 74019 with flag 731000/10386829 1564.26/1556.86 c cleaning 37987 clauses out of 76012 with flag 770001/10425830 1570.87/1563.43 c cleaning 39009 clauses out of 78024 with flag 810000/10465829 1577.57/1570.17 c cleaning 39557 clauses out of 79127 with flag 851000/10506829 1578.00/1570.52 c Got one! Elapsed wall clock time (in seconds):1570.413 1578.00/1570.52 o 15823549 1578.60/1571.15 c cleaning 16918 clauses out of 33852 with flag 4000/10512755 1579.51/1572.07 c cleaning 11451 clauses out of 22934 with flag 10000/10518755 1580.54/1573.09 c cleaning 9234 clauses out of 18483 with flag 17000/10525755 1581.74/1574.26 c cleaning 8603 clauses out of 17250 with flag 25001/10533756 1583.04/1575.57 c cleaning 8804 clauses out of 17647 with flag 34001/10542756 1584.54/1577.01 c cleaning 9410 clauses out of 18845 with flag 44003/10552758 1586.15/1578.63 c cleaning 10204 clauses out of 20433 with flag 55001/10563756 1587.95/1580.41 c cleaning 11101 clauses out of 22231 with flag 67003/10575758 1589.76/1582.21 c Got one! Elapsed wall clock time (in seconds):1582.106 1589.76/1582.21 o 15820949 1590.56/1583.00 c cleaning 13917 clauses out of 27837 with flag 5000/10592465 1591.47/1583.95 c cleaning 9948 clauses out of 19920 with flag 11000/10598465 1592.59/1585.02 c cleaning 7487 clauses out of 15014 with flag 18001/10605466 1593.81/1586.25 c cleaning 5356 clauses out of 10757 with flag 26000/10613465 1594.51/1586.91 c starts : 346 1594.51/1586.91 c conflicts : 10617743 1594.51/1586.91 c decisions : 20599695 1594.51/1586.91 c propagations : 1822550694 1594.51/1586.91 c inspects : 7903534196 1594.51/1586.91 c shortcuts : 0 1594.51/1586.91 c learnt literals : 104 1594.51/1586.91 c learnt binary clauses : 1739 1594.51/1586.91 c learnt ternary clauses : 21829 1594.51/1586.91 c learnt constraints : 10617638 1594.51/1586.91 c ignored constraints : 0 1594.51/1586.91 c root simplifications : 449 1594.51/1586.91 c removed literals (reason simplification) : 117099929 1594.51/1586.91 c reason swapping (by a shorter reason) : 0 1594.51/1586.91 c Calls to reduceDB : 621 1594.51/1586.91 c number of reductions to clauses (during analyze) : 0 1594.51/1586.91 c number of learned constraints concerned by reduction : 0 1594.51/1586.91 c number of learning phase by resolution : 0 1594.51/1586.91 c number of learning phase by cutting planes : 0 1594.51/1586.91 c speed (assignments/second) : 1148790.6952117719 1594.51/1586.91 c non guided choices 15189 1594.51/1586.91 c learnt constraints type 1594.51/1586.91 c constraints type 1594.51/1586.91 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1594.51/1586.91 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 1594.51/1586.91 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1594.51/1586.91 c ignored satisfied constraints => 3 1594.51/1586.91 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1594.51/1586.91 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 1594.51/1586.91 c 15629 constraints processed. 1594.51/1586.91 s OPTIMUM FOUND 1594.51/1586.92 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 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 x6375 -x6376 -x6377 -x6378 -x6379 x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 x6502 -x6503 -x6504 -x6505 -x6506 x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 x6575 -x6576 -x6577 x6578 x6579 -x6580 -x6581 -x6582 -x6583 -x6584 x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 x6635 -x6636 -x6637 x6638 x6639 -x6640 -x6641 -x6642 -x6643 -x6644 x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 x6743 -x6744 -x6745 -x6746 -x6747 x6748 -x6749 x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 x6785 -x6786 -x6787 -x6788 x6789 -x6790 -x6791 -x6792 x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 x6803 -x6804 -x6805 -x6806 -x6807 x6808 -x6809 -x6810 1594.51/1586.93 c objective function=15820949 1594.51/1586.93 c Total wall clock time (in seconds): 1586.82
OK 15820949
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710486-1338251303/watcher-3710486-1338251303 -o /tmp/evaluation-result-3710486-1338251303/solver-3710486-1338251303 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710486-1338251303.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.86 1.97 1.99 3/194 32165 /proc/meminfo: memFree=26795440/32873844 swapFree=6088/6088 [pid=32165] ppid=32163 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/32165/stat : 32165 (java) R 32163 32165 30092 0 -1 4202496 1032 0 0 0 0 0 0 0 20 0 1 0 291258862 23793664 761 33554432000 1073741824 1073778376 140734359675920 140734359664984 140576759885753 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/32165/statm: 5809 782 579 9 0 128 0 [startup+0.0954861 s] /proc/loadavg: 1.86 1.97 1.99 3/194 32165 /proc/meminfo: memFree=26795440/32873844 swapFree=6088/6088 [pid=32165] ppid=32163 vsize=9558440 CPUtime=0.09 cores=0,2,4,6 /proc/32165/stat : 32165 (java) S 32163 32165 30092 0 -1 4202496 4289 0 1 0 8 1 0 0 20 0 18 0 291258862 9787842560 6008 33554432000 1073741824 1073778376 140734359675920 140734359667056 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/32165/statm: 2389610 6008 2116 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.1002 s] /proc/loadavg: 1.86 1.97 1.99 3/194 32165 /proc/meminfo: memFree=26795440/32873844 swapFree=6088/6088 [pid=32165] ppid=32163 vsize=9558440 CPUtime=0.1 cores=0,2,4,6 /proc/32165/stat : 32165 (java) S 32163 32165 30092 0 -1 4202496 4387 0 1 0 9 1 0 0 20 0 18 0 291258862 9787842560 6066 33554432000 1073741824 1073778376 140734359675920 140734359667056 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/32165/statm: 2389610 6066 2131 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558440 [startup+0.300164 s] /proc/loadavg: 1.86 1.97 1.99 3/194 32165 /proc/meminfo: memFree=26795440/32873844 swapFree=6088/6088 [pid=32165] ppid=32163 vsize=9558440 CPUtime=0.52 cores=0,2,4,6 /proc/32165/stat : 32165 (java) S 32163 32165 30092 0 -1 4202496 5741 0 1 0 49 3 0 0 20 0 18 0 291258862 9787842560 10299 33554432000 1073741824 1073778376 140734359675920 140734359667056 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/32165/statm: 2389610 10299 2230 9 0 2380296 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9558440 [startup+0.700274 s] /proc/loadavg: 1.86 1.97 1.99 3/194 32165 /proc/meminfo: memFree=26795440/32873844 swapFree=6088/6088 [pid=32165] ppid=32163 vsize=9625004 CPUtime=1.38 cores=0,2,4,6 /proc/32165/stat : 32165 (java) S 32163 32165 30092 0 -1 4202496 8586 0 1 0 134 4 0 0 20 0 19 0 291258862 9856004096 17961 33554432000 1073741824 1073778376 140734359675920 140734359667056 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/32165/statm: 2406251 17961 2258 9 0 2396937 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 9625004 [startup+1.50071 s] /proc/loadavg: 1.86 1.97 1.99 3/213 32184 /proc/meminfo: memFree=26733100/32873844 swapFree=6088/6088 [pid=32165] ppid=32163 vsize=9625004 CPUtime=2.26 cores=0,2,4,6 /proc/32165/stat : 32165 (java) S 32163 32165 30092 0 -1 4202496 8648 0 1 0 222 4 0 0 20 0 19 0 291258862 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140734359667056 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/32165/statm: 2406251 18480 2264 9 0 2396937 0 [pid=32165/tid=32167] ppid=32163 vsize=9625004 CPUtime=1.47 cores=0,2,4,6 /proc/32165/task/32167/stat : 32167 (java) R 32163 32165 30092 0 -1 4202560 2525 0 1 0 145 2 0 0 20 0 19 0 291258863 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576752463896 140576578757825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32168] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32168/stat : 32168 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576713955752 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32169] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32169/stat : 32169 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576712903208 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32170] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32170/stat : 32170 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576711850152 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32171] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32171/stat : 32171 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576710797608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32172] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32172/stat : 32172 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576709745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32173] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32173/stat : 32173 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576708693032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32174] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32174/stat : 32174 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576707639976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32175] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32175/stat : 32175 (java) S 32163 32165 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576706587432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32176] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32176/stat : 32176 (java) S 32163 32165 30092 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576575965544 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32177] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32177/stat : 32177 (java) S 32163 32165 30092 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576574911864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32178] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32178/stat : 32178 (java) S 32163 32165 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576573858696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32179] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32179/stat : 32179 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576572807440 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32180] ppid=32163 vsize=9625004 CPUtime=0.39 cores=0,2,4,6 /proc/32165/task/32180/stat : 32180 (java) S 32163 32165 30092 0 -1 4202560 2905 0 0 0 37 2 0 0 20 0 19 0 291258867 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576571755320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32181] ppid=32163 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/32165/task/32181/stat : 32181 (java) S 32163 32165 30092 0 -1 4202560 2018 0 0 0 37 0 0 0 20 0 19 0 291258867 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576570702776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32182] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32182/stat : 32182 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576569649912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32183] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32183/stat : 32183 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576568597576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32184] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32184/stat : 32184 (java) S 32163 32165 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291258904 9856004096 18480 33554432000 1073741824 1073778376 140734359675920 140576567542824 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 9625004 [startup+3.10064 s] /proc/loadavg: 1.86 1.97 1.99 3/213 32184 /proc/meminfo: memFree=26717888/32873844 swapFree=6088/6088 [pid=32165] ppid=32163 vsize=9625004 CPUtime=3.92 cores=0,2,4,6 /proc/32165/stat : 32165 (java) S 32163 32165 30092 0 -1 4202496 8707 0 1 0 388 4 0 0 20 0 19 0 291258862 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140734359667056 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/32165/statm: 2406251 21596 2289 9 0 2396937 0 [pid=32165/tid=32167] ppid=32163 vsize=9625004 CPUtime=3.05 cores=0,2,4,6 /proc/32165/task/32167/stat : 32167 (java) R 32163 32165 30092 0 -1 4202560 2529 0 1 0 303 2 0 0 20 0 19 0 291258863 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576752463944 140576578757672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32168] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32168/stat : 32168 (java) S 32163 32165 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576713955752 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32169] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32169/stat : 32169 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576712903208 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32170] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32170/stat : 32170 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576711850152 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32171] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32171/stat : 32171 (java) S 32163 32165 30092 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576710797608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32172] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32172/stat : 32172 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576709745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32173] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32173/stat : 32173 (java) S 32163 32165 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576708693032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32174] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32174/stat : 32174 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576707639976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32175] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32175/stat : 32175 (java) S 32163 32165 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576706587432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32176] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32176/stat : 32176 (java) S 32163 32165 30092 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576575965544 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32177] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32177/stat : 32177 (java) S 32163 32165 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576574911864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32178] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32178/stat : 32178 (java) S 32163 32165 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576573858696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32179] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32179/stat : 32179 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576572807440 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32180] ppid=32163 vsize=9625004 CPUtime=0.43 cores=0,2,4,6 /proc/32165/task/32180/stat : 32180 (java) S 32163 32165 30092 0 -1 4202560 2910 0 0 0 41 2 0 0 20 0 19 0 291258867 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576571755320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32181] ppid=32163 vsize=9625004 CPUtime=0.39 cores=0,2,4,6 /proc/32165/task/32181/stat : 32181 (java) S 32163 32165 30092 0 -1 4202560 2019 0 0 0 39 0 0 0 20 0 19 0 291258867 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576570702776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32182] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32182/stat : 32182 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576569649912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32183] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32183/stat : 32183 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576568597576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32184] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32184/stat : 32184 (java) S 32163 32165 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291258904 9856004096 21596 33554432000 1073741824 1073778376 140734359675920 140576567542824 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 9625004 [startup+6.30065 s] /proc/loadavg: 1.87 1.97 1.99 3/213 32184 /proc/meminfo: memFree=26661580/32873844 swapFree=6088/6088 [pid=32165] ppid=32163 vsize=9625004 CPUtime=7.21 cores=0,2,4,6 /proc/32165/stat : 32165 (java) S 32163 32165 30092 0 -1 4202496 8720 0 1 0 716 5 0 0 20 0 19 0 291258862 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140734359667056 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/32165/statm: 2406251 22285 2289 9 0 2396937 0 [pid=32165/tid=32167] ppid=32163 vsize=9625004 CPUtime=6.21 cores=0,2,4,6 /proc/32165/task/32167/stat : 32167 (java) R 32163 32165 30092 0 -1 4202560 2531 0 1 0 619 2 0 0 20 0 19 0 291258863 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576752464424 140576578873794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32168] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32168/stat : 32168 (java) S 32163 32165 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576713955752 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32169] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32169/stat : 32169 (java) S 32163 32165 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576712903208 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32170] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32170/stat : 32170 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576711850152 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32171] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32171/stat : 32171 (java) S 32163 32165 30092 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576710797608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32172] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32172/stat : 32172 (java) S 32163 32165 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576709745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32173] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32173/stat : 32173 (java) S 32163 32165 30092 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576708693032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32174] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32174/stat : 32174 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576707639976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32175] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32175/stat : 32175 (java) S 32163 32165 30092 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291258863 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576706587432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32176] ppid=32163 vsize=9625004 CPUtime=0.04 cores=0,2,4,6 /proc/32165/task/32176/stat : 32176 (java) S 32163 32165 30092 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 291258865 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576575965544 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32177] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32177/stat : 32177 (java) S 32163 32165 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576574911864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32178] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32178/stat : 32178 (java) S 32163 32165 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576573858696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32179] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32179/stat : 32179 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576572807440 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32180] ppid=32163 vsize=9625004 CPUtime=0.46 cores=0,2,4,6 /proc/32165/task/32180/stat : 32180 (java) S 32163 32165 30092 0 -1 4202560 2910 0 0 0 44 2 0 0 20 0 19 0 291258867 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576571755320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32181] ppid=32163 vsize=9625004 CPUtime=0.41 cores=0,2,4,6 /proc/32165/task/32181/stat : 32181 (java) S 32163 32165 30092 0 -1 4202560 2020 0 0 0 41 0 0 0 20 0 19 0 291258867 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576570702776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32182] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32182/stat : 32182 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576569649912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32183] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32183/stat : 32183 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576568597576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32184] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32184/stat : 32184 (java) S 32163 32165 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291258904 9856004096 22285 33554432000 1073741824 1073778376 140734359675920 140576567542824 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.21 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ /proc/32165/task/32168/stat : 32168 (java) S 32163 32165 30092 0 -1 4202560 103 0 0 0 118 3 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576713955752 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32169] ppid=32163 vsize=9625004 CPUtime=1.2 cores=0,2,4,6 /proc/32165/task/32169/stat : 32169 (java) S 32163 32165 30092 0 -1 4202560 78 0 0 0 118 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576712903208 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32170] ppid=32163 vsize=9625004 CPUtime=1.19 cores=0,2,4,6 /proc/32165/task/32170/stat : 32170 (java) S 32163 32165 30092 0 -1 4202560 89 0 0 0 116 3 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576711850152 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32171] ppid=32163 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/32165/task/32171/stat : 32171 (java) S 32163 32165 30092 0 -1 4202560 103 0 0 0 119 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576710797608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32172] ppid=32163 vsize=9625004 CPUtime=1.15 cores=0,2,4,6 /proc/32165/task/32172/stat : 32172 (java) S 32163 32165 30092 0 -1 4202560 90 0 0 0 113 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576709745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32173] ppid=32163 vsize=9625004 CPUtime=1.17 cores=0,2,4,6 /proc/32165/task/32173/stat : 32173 (java) S 32163 32165 30092 0 -1 4202560 79 0 0 0 115 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576708693032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32174] ppid=32163 vsize=9625004 CPUtime=1.17 cores=0,2,4,6 /proc/32165/task/32174/stat : 32174 (java) S 32163 32165 30092 0 -1 4202560 70 0 0 0 115 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576707639976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32175] ppid=32163 vsize=9625004 CPUtime=1.22 cores=0,2,4,6 /proc/32165/task/32175/stat : 32175 (java) S 32163 32165 30092 0 -1 4202560 93 0 0 0 120 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576706587432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32176] ppid=32163 vsize=9625004 CPUtime=18.38 cores=0,2,4,6 /proc/32165/task/32176/stat : 32176 (java) S 32163 32165 30092 0 -1 4202560 156 0 0 0 1833 5 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576575965544 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32177] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32177/stat : 32177 (java) S 32163 32165 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576574911864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32178] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32178/stat : 32178 (java) S 32163 32165 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576573858696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32179] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32179/stat : 32179 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576572807440 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32180] ppid=32163 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/32165/task/32180/stat : 32180 (java) S 32163 32165 30092 0 -1 4202560 3214 0 0 0 62 2 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576571755320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32181] ppid=32163 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/32165/task/32181/stat : 32181 (java) S 32163 32165 30092 0 -1 4202560 3693 0 0 0 62 2 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576570702776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32182] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32182/stat : 32182 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576569649912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32183] ppid=32163 vsize=9625004 CPUtime=0.27 cores=0,2,4,6 /proc/32165/task/32183/stat : 32183 (java) S 32163 32165 30092 0 -1 4202560 90 0 0 0 13 14 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576568597576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32184] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32184/stat : 32184 (java) S 32163 32165 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291258904 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576567542824 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1593.11 Current children cumulated vsize (KiB) 9625004 [startup+1586.3 s] /proc/loadavg: 2.12 2.05 2.01 3/213 32200 /proc/meminfo: memFree=26392904/32873844 swapFree=6088/6088 [pid=32165] ppid=32163 vsize=9625004 CPUtime=1593.91 cores=0,2,4,6 /proc/32165/stat : 32165 (java) S 32163 32165 30092 0 -1 4202496 12195 0 1 0 159356 35 0 0 20 0 19 0 291258862 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140734359667056 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/32165/statm: 2406251 31392 2292 9 0 2396937 0 [pid=32165/tid=32167] ppid=32163 vsize=9625004 CPUtime=1564.66 cores=0,2,4,6 /proc/32165/task/32167/stat : 32167 (java) R 32163 32165 30092 0 -1 4202560 3151 0 1 0 156439 27 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576752464328 140576578880258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32168] ppid=32163 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/32165/task/32168/stat : 32168 (java) S 32163 32165 30092 0 -1 4202560 103 0 0 0 118 3 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576713955752 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32169] ppid=32163 vsize=9625004 CPUtime=1.2 cores=0,2,4,6 /proc/32165/task/32169/stat : 32169 (java) S 32163 32165 30092 0 -1 4202560 78 0 0 0 118 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576712903208 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32170] ppid=32163 vsize=9625004 CPUtime=1.19 cores=0,2,4,6 /proc/32165/task/32170/stat : 32170 (java) S 32163 32165 30092 0 -1 4202560 89 0 0 0 116 3 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576711850152 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32171] ppid=32163 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/32165/task/32171/stat : 32171 (java) S 32163 32165 30092 0 -1 4202560 103 0 0 0 119 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576710797608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32172] ppid=32163 vsize=9625004 CPUtime=1.15 cores=0,2,4,6 /proc/32165/task/32172/stat : 32172 (java) S 32163 32165 30092 0 -1 4202560 90 0 0 0 113 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576709745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32173] ppid=32163 vsize=9625004 CPUtime=1.17 cores=0,2,4,6 /proc/32165/task/32173/stat : 32173 (java) S 32163 32165 30092 0 -1 4202560 79 0 0 0 115 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576708693032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32174] ppid=32163 vsize=9625004 CPUtime=1.17 cores=0,2,4,6 /proc/32165/task/32174/stat : 32174 (java) S 32163 32165 30092 0 -1 4202560 70 0 0 0 115 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576707639976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32175] ppid=32163 vsize=9625004 CPUtime=1.23 cores=0,2,4,6 /proc/32165/task/32175/stat : 32175 (java) S 32163 32165 30092 0 -1 4202560 93 0 0 0 121 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576706587432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32176] ppid=32163 vsize=9625004 CPUtime=18.41 cores=0,2,4,6 /proc/32165/task/32176/stat : 32176 (java) S 32163 32165 30092 0 -1 4202560 156 0 0 0 1836 5 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576575965544 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32177] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32177/stat : 32177 (java) S 32163 32165 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576574911864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32178] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32178/stat : 32178 (java) S 32163 32165 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576573858696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32179] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32179/stat : 32179 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576572807440 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32180] ppid=32163 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/32165/task/32180/stat : 32180 (java) S 32163 32165 30092 0 -1 4202560 3214 0 0 0 62 2 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576571755320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32181] ppid=32163 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/32165/task/32181/stat : 32181 (java) S 32163 32165 30092 0 -1 4202560 3693 0 0 0 62 2 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576570702776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32182] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32182/stat : 32182 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576569649912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32183] ppid=32163 vsize=9625004 CPUtime=0.27 cores=0,2,4,6 /proc/32165/task/32183/stat : 32183 (java) S 32163 32165 30092 0 -1 4202560 90 0 0 0 13 14 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576568597576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32184] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32184/stat : 32184 (java) S 32163 32165 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291258904 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576567542824 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1593.91 Current children cumulated vsize (KiB) 9625004 [startup+1586.7 s] /proc/loadavg: 2.12 2.05 2.01 3/213 32200 /proc/meminfo: memFree=26392904/32873844 swapFree=6088/6088 [pid=32165] ppid=32163 vsize=9625004 CPUtime=1594.31 cores=0,2,4,6 /proc/32165/stat : 32165 (java) S 32163 32165 30092 0 -1 4202496 12195 0 1 0 159396 35 0 0 20 0 19 0 291258862 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140734359667056 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/32165/statm: 2406251 31392 2292 9 0 2396937 0 [pid=32165/tid=32167] ppid=32163 vsize=9625004 CPUtime=1565.06 cores=0,2,4,6 /proc/32165/task/32167/stat : 32167 (java) R 32163 32165 30092 0 -1 4202560 3151 0 1 0 156479 27 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576752464328 140576578757648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32168] ppid=32163 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/32165/task/32168/stat : 32168 (java) S 32163 32165 30092 0 -1 4202560 103 0 0 0 118 3 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576713955752 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32169] ppid=32163 vsize=9625004 CPUtime=1.2 cores=0,2,4,6 /proc/32165/task/32169/stat : 32169 (java) S 32163 32165 30092 0 -1 4202560 78 0 0 0 118 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576712903208 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32170] ppid=32163 vsize=9625004 CPUtime=1.19 cores=0,2,4,6 /proc/32165/task/32170/stat : 32170 (java) S 32163 32165 30092 0 -1 4202560 89 0 0 0 116 3 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576711850152 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32171] ppid=32163 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/32165/task/32171/stat : 32171 (java) S 32163 32165 30092 0 -1 4202560 103 0 0 0 119 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576710797608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32172] ppid=32163 vsize=9625004 CPUtime=1.15 cores=0,2,4,6 /proc/32165/task/32172/stat : 32172 (java) S 32163 32165 30092 0 -1 4202560 90 0 0 0 113 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576709745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32173] ppid=32163 vsize=9625004 CPUtime=1.17 cores=0,2,4,6 /proc/32165/task/32173/stat : 32173 (java) S 32163 32165 30092 0 -1 4202560 79 0 0 0 115 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576708693032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32174] ppid=32163 vsize=9625004 CPUtime=1.17 cores=0,2,4,6 /proc/32165/task/32174/stat : 32174 (java) S 32163 32165 30092 0 -1 4202560 70 0 0 0 115 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576707639976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32175] ppid=32163 vsize=9625004 CPUtime=1.23 cores=0,2,4,6 /proc/32165/task/32175/stat : 32175 (java) S 32163 32165 30092 0 -1 4202560 93 0 0 0 121 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576706587432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32176] ppid=32163 vsize=9625004 CPUtime=18.41 cores=0,2,4,6 /proc/32165/task/32176/stat : 32176 (java) S 32163 32165 30092 0 -1 4202560 156 0 0 0 1836 5 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576575965544 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32177] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32177/stat : 32177 (java) S 32163 32165 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576574911864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32178] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32178/stat : 32178 (java) S 32163 32165 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576573858696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32179] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32179/stat : 32179 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576572807440 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32180] ppid=32163 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/32165/task/32180/stat : 32180 (java) S 32163 32165 30092 0 -1 4202560 3214 0 0 0 62 2 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576571755320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32181] ppid=32163 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/32165/task/32181/stat : 32181 (java) S 32163 32165 30092 0 -1 4202560 3693 0 0 0 62 2 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576570702776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32182] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32182/stat : 32182 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576569649912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32183] ppid=32163 vsize=9625004 CPUtime=0.27 cores=0,2,4,6 /proc/32165/task/32183/stat : 32183 (java) S 32163 32165 30092 0 -1 4202560 90 0 0 0 13 14 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576568597576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32184] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32184/stat : 32184 (java) S 32163 32165 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291258904 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576567542824 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1594.31 Current children cumulated vsize (KiB) 9625004 [startup+1586.9 s] /proc/loadavg: 2.12 2.05 2.01 3/213 32200 /proc/meminfo: memFree=26392904/32873844 swapFree=6088/6088 [pid=32165] ppid=32163 vsize=9625004 CPUtime=1594.51 cores=0,2,4,6 /proc/32165/stat : 32165 (java) S 32163 32165 30092 0 -1 4202496 12195 0 1 0 159416 35 0 0 20 0 19 0 291258862 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140734359667056 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/32165/statm: 2406251 31392 2292 9 0 2396937 0 [pid=32165/tid=32167] ppid=32163 vsize=9625004 CPUtime=1565.26 cores=0,2,4,6 /proc/32165/task/32167/stat : 32167 (java) R 32163 32165 30092 0 -1 4202560 3151 0 1 0 156499 27 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576752464328 140576578859731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32168] ppid=32163 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/32165/task/32168/stat : 32168 (java) S 32163 32165 30092 0 -1 4202560 103 0 0 0 118 3 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576713955752 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32169] ppid=32163 vsize=9625004 CPUtime=1.2 cores=0,2,4,6 /proc/32165/task/32169/stat : 32169 (java) S 32163 32165 30092 0 -1 4202560 78 0 0 0 118 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576712903208 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32170] ppid=32163 vsize=9625004 CPUtime=1.19 cores=0,2,4,6 /proc/32165/task/32170/stat : 32170 (java) S 32163 32165 30092 0 -1 4202560 89 0 0 0 116 3 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576711850152 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32171] ppid=32163 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/32165/task/32171/stat : 32171 (java) S 32163 32165 30092 0 -1 4202560 103 0 0 0 119 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576710797608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32172] ppid=32163 vsize=9625004 CPUtime=1.15 cores=0,2,4,6 /proc/32165/task/32172/stat : 32172 (java) S 32163 32165 30092 0 -1 4202560 90 0 0 0 113 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576709745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32173] ppid=32163 vsize=9625004 CPUtime=1.17 cores=0,2,4,6 /proc/32165/task/32173/stat : 32173 (java) S 32163 32165 30092 0 -1 4202560 79 0 0 0 115 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576708693032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32174] ppid=32163 vsize=9625004 CPUtime=1.17 cores=0,2,4,6 /proc/32165/task/32174/stat : 32174 (java) S 32163 32165 30092 0 -1 4202560 70 0 0 0 115 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576707639976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32175] ppid=32163 vsize=9625004 CPUtime=1.23 cores=0,2,4,6 /proc/32165/task/32175/stat : 32175 (java) S 32163 32165 30092 0 -1 4202560 93 0 0 0 121 2 0 0 20 0 19 0 291258863 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576706587432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=32165/tid=32176] ppid=32163 vsize=9625004 CPUtime=18.41 cores=0,2,4,6 /proc/32165/task/32176/stat : 32176 (java) S 32163 32165 30092 0 -1 4202560 156 0 0 0 1836 5 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576575965544 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32177] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32177/stat : 32177 (java) S 32163 32165 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576574911864 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32178] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32178/stat : 32178 (java) S 32163 32165 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291258865 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576573858696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32179] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32179/stat : 32179 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576572807440 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32180] ppid=32163 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/32165/task/32180/stat : 32180 (java) S 32163 32165 30092 0 -1 4202560 3214 0 0 0 62 2 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576571755320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=32165/tid=32181] ppid=32163 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/32165/task/32181/stat : 32181 (java) S 32163 32165 30092 0 -1 4202560 3693 0 0 0 62 2 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576570702776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32182] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32182/stat : 32182 (java) S 32163 32165 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576569649912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=32165/tid=32183] ppid=32163 vsize=9625004 CPUtime=0.27 cores=0,2,4,6 /proc/32165/task/32183/stat : 32183 (java) S 32163 32165 30092 0 -1 4202560 90 0 0 0 13 14 0 0 20 0 19 0 291258867 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576568597576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=32165/tid=32184] ppid=32163 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/32165/task/32184/stat : 32184 (java) S 32163 32165 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291258904 9856004096 31392 33554432000 1073741824 1073778376 140734359675920 140576567542824 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1594.51 Current children cumulated vsize (KiB) 9625004 Child status: 30 Real time (s): 1586.93 CPU time (s): 1595.07 CPU user time (s): 1594.25 CPU system time (s): 0.823874 CPU usage (%): 100.513 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1594.25 system time used= 0.823874 maximum resident set size= 126532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12208 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1576 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 50134 involuntary context switches= 35446 runsolver used 3.06153 second user time and 6.75197 second system time The end
Begin job on node108 at 2012-05-29 02:28:23 IDJOB=3710486 IDBENCH=92695 IDSOLVER=2289 FILE ID=node108/3710486-1338251303 RUNJOBID= node108-1338240509-31237 PBS_JOBID= 14624630 Free space on /tmp= 71724 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_7_mh.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710486-1338251303/watcher-3710486-1338251303 -o /tmp/evaluation-result-3710486-1338251303/solver-3710486-1338251303 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710486-1338251303.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 578db65b35c9d87cb72f70788034039a RANDOM SEED=1341792889 node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26795332 kB Buffers: 338184 kB Cached: 4755172 kB SwapCached: 0 kB Active: 866216 kB Inactive: 4415204 kB Active(anon): 187428 kB Inactive(anon): 0 kB Active(file): 678788 kB Inactive(file): 4415204 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 5080 kB Writeback: 0 kB AnonPages: 190988 kB Mapped: 22544 kB Shmem: 200 kB Slab: 658612 kB SReclaimable: 100108 kB SUnreclaim: 558504 kB KernelStack: 1608 kB PageTables: 4732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 824820 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71720 MiB End job on node108 at 2012-05-29 02:54:50