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 | 1121.03 | 1114.76 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_5_mh.opb |
| MD5SUM | c9af5fe7bf07241e6505789325302ea7 |
| 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 | 2014265 |
| Best CPU time to get the best result obtained on this benchmark | 15.9226 |
| 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 | 64481201 |
| Number of bits for the biggest coefficient in the objective function | 26 |
| Sum of the numbers in the objective function | 3211070693 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 64481201 |
| Number of bits of the biggest number in a constraint | 26 |
| Biggest sum of numbers in a constraint | 3211070693 |
| Number of bits of the biggest sum of numbers | 32 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.06/0.09 c version 2.3.2.v20120418 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 501472288 0.06/0.09 c Max memory 7480803328 0.06/0.09 c Total memory 504102912 0.06/0.09 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710484-1338253095.opb 0.09/0.12 c reading problem ... 0.69/0.42 c ... done. Wall clock time 0.298s. 0.69/0.42 c declared #vars 6810 0.69/0.42 c #constraints 15626 0.69/0.42 c constraints type 0.69/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 0.69/0.42 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 0.69/0.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.69/0.42 c ignored satisfied constraints => 3 0.69/0.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 0.69/0.42 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 0.69/0.42 c 15629 constraints processed. 2.76/2.06 c cleaning 2489 clauses out of 5002 with flag 5002/5002 4.17/3.36 c cleaning 4250 clauses out of 8511 with flag 11000/11000 5.47/4.69 c cleaning 5629 clauses out of 11261 with flag 18000/18000 7.19/6.36 c cleaning 6810 clauses out of 13632 with flag 26000/26000 8.03/7.10 c SATISFIABLE 8.03/7.10 c OPTIMIZING... 8.03/7.10 c Got one! Elapsed wall clock time (in seconds):6.976 8.03/7.10 o 158240772 8.81/7.80 c cleaning 6015 clauses out of 12040 with flag 3003/31218 10.01/9.01 c cleaning 6002 clauses out of 12023 with flag 9001/37216 10.92/9.98 c cleaning 6507 clauses out of 13021 with flag 16001/44216 12.11/11.13 c cleaning 7251 clauses out of 14515 with flag 24002/52217 13.32/12.39 c cleaning 8129 clauses out of 16263 with flag 33001/61216 14.83/13.81 c cleaning 9059 clauses out of 18134 with flag 43001/71216 16.63/15.60 c cleaning 10035 clauses out of 20075 with flag 54001/82216 18.73/17.70 c cleaning 11014 clauses out of 22039 with flag 66000/94215 20.64/19.62 c cleaning 12013 clauses out of 24028 with flag 79003/107218 22.96/21.92 c cleaning 13002 clauses out of 26012 with flag 93000/121215 24.85/23.85 c cleaning 13994 clauses out of 28010 with flag 108000/136215 25.26/24.27 c Got one! Elapsed wall clock time (in seconds):24.143 25.26/24.27 o 153567861 25.49/24.49 c cleaning 9826 clauses out of 19686 with flag 2000/141885 26.10/25.08 c cleaning 7920 clauses out of 15863 with flag 8003/147888 27.09/26.04 c cleaning 7460 clauses out of 14940 with flag 15000/154885 27.99/26.91 c cleaning 7723 clauses out of 15480 with flag 23000/162885 28.80/27.74 c cleaning 8379 clauses out of 16760 with flag 32003/171888 30.40/29.34 c cleaning 9185 clauses out of 18379 with flag 42001/181886 32.20/31.11 c cleaning 10085 clauses out of 20193 with flag 53000/192885 33.80/32.71 c cleaning 11045 clauses out of 22111 with flag 65003/204888 35.50/34.44 c cleaning 12019 clauses out of 24063 with flag 78000/217885 36.81/35.77 c cleaning 13018 clauses out of 26044 with flag 92000/231885 37.73/36.68 c Got one! Elapsed wall clock time (in seconds):36.56 37.73/36.68 o 146329660 38.70/37.58 c cleaning 11760 clauses out of 23523 with flag 5000/242382 39.80/38.64 c Got one! Elapsed wall clock time (in seconds):38.522 39.80/38.64 o 142700002 40.45/39.22 c cleaning 11305 clauses out of 22616 with flag 5000/253235 41.15/39.97 c cleaning 8647 clauses out of 17314 with flag 11003/259238 42.35/41.10 c cleaning 7823 clauses out of 15666 with flag 18002/266237 43.75/42.54 c cleaning 7903 clauses out of 15842 with flag 26001/274236 44.96/43.77 c cleaning 8463 clauses out of 16938 with flag 35000/283235 46.06/44.89 c cleaning 9213 clauses out of 18475 with flag 45000/293235 47.86/46.61 c cleaning 10118 clauses out of 20262 with flag 56000/304235 49.67/48.43 c cleaning 11068 clauses out of 22145 with flag 68001/316236 51.07/49.89 c cleaning 12020 clauses out of 24076 with flag 81000/329235 52.77/51.55 c cleaning 13016 clauses out of 26056 with flag 95000/343235 55.39/54.16 c cleaning 14011 clauses out of 28040 with flag 110000/358235 58.39/57.19 c cleaning 14990 clauses out of 30029 with flag 126000/374235 61.49/60.28 c cleaning 16014 clauses out of 32040 with flag 143001/391236 64.81/63.54 c cleaning 17008 clauses out of 34026 with flag 161001/409236 67.62/66.34 c cleaning 17997 clauses out of 36020 with flag 180003/428238 70.82/69.51 c cleaning 18996 clauses out of 38020 with flag 200000/448235 73.94/72.61 c cleaning 19994 clauses out of 40025 with flag 221001/469236 77.74/76.49 c cleaning 21004 clauses out of 42030 with flag 243000/491235 80.96/79.67 c cleaning 22003 clauses out of 44026 with flag 266000/514235 85.17/83.86 c cleaning 23007 clauses out of 46025 with flag 290002/538237 88.89/87.59 c cleaning 23998 clauses out of 48018 with flag 315002/563237 93.21/91.84 c cleaning 24999 clauses out of 50018 with flag 341000/589235 97.75/96.33 c cleaning 26005 clauses out of 52022 with flag 368003/616238 100.56/99.12 c Got one! Elapsed wall clock time (in seconds):98.993 100.56/99.12 o 80635784 101.70/100.29 c cleaning 25980 clauses out of 51984 with flag 5000/642261 103.14/101.65 c cleaning 15988 clauses out of 32004 with flag 11000/648261 104.54/103.07 c cleaning 11493 clauses out of 23016 with flag 18000/655261 105.87/104.38 c cleaning 9717 clauses out of 19507 with flag 26000/663261 106.87/105.38 c cleaning 9351 clauses out of 18790 with flag 35000/672261 108.18/106.65 c cleaning 9715 clauses out of 19441 with flag 45002/682263 109.67/108.10 c cleaning 10347 clauses out of 20714 with flag 56003/693264 111.31/109.72 c cleaning 11174 clauses out of 22366 with flag 68002/705263 113.51/111.90 c cleaning 12081 clauses out of 24191 with flag 81001/718262 115.81/114.28 c cleaning 13043 clauses out of 26109 with flag 95000/732261 118.13/116.58 c cleaning 14021 clauses out of 28067 with flag 110001/747262 119.92/118.39 c cleaning 15016 clauses out of 30048 with flag 126003/763264 121.73/120.12 c cleaning 16001 clauses out of 32029 with flag 143000/780261 123.53/121.94 c cleaning 16992 clauses out of 34028 with flag 161000/798261 125.65/124.01 c cleaning 18001 clauses out of 36036 with flag 180000/817261 127.95/126.33 c cleaning 19001 clauses out of 38035 with flag 200000/837261 130.76/129.10 c cleaning 20007 clauses out of 40034 with flag 221000/858261 133.68/132.05 c cleaning 21004 clauses out of 42031 with flag 243004/880265 136.77/135.17 c cleaning 22004 clauses out of 44010 with flag 266000/903261 140.18/138.51 c cleaning 22994 clauses out of 45999 with flag 290000/927261 143.68/142.09 c cleaning 23983 clauses out of 48005 with flag 315000/952261 147.49/145.86 c cleaning 25000 clauses out of 50023 with flag 341001/978262 150.69/149.02 c cleaning 26002 clauses out of 52024 with flag 368002/1005263 153.70/152.05 c cleaning 26997 clauses out of 54020 with flag 396000/1033261 158.20/156.59 c cleaning 27996 clauses out of 56026 with flag 425003/1062264 162.71/161.07 c cleaning 28974 clauses out of 58027 with flag 455000/1092261 166.22/164.57 c cleaning 30014 clauses out of 60053 with flag 486000/1123261 170.12/168.45 c cleaning 31002 clauses out of 62039 with flag 518000/1155261 173.94/172.29 c cleaning 32017 clauses out of 64040 with flag 551003/1188264 177.67/175.94 c cleaning 32996 clauses out of 66020 with flag 585000/1222261 182.37/180.63 c cleaning 34002 clauses out of 68025 with flag 620001/1257262 183.40/181.64 c Got one! Elapsed wall clock time (in seconds):181.521 183.40/181.64 o 58885246 183.90/182.14 c cleaning 23074 clauses out of 46191 with flag 5000/1269433 184.52/182.72 c cleaning 14531 clauses out of 29119 with flag 11002/1275435 185.22/183.40 c cleaning 10762 clauses out of 21586 with flag 18000/1282433 186.04/184.25 c cleaning 9403 clauses out of 18824 with flag 26000/1290433 187.14/185.35 c cleaning 9190 clauses out of 18423 with flag 35002/1299435 188.46/186.62 c cleaning 9608 clauses out of 19232 with flag 45001/1309434 188.88/187.01 c Got one! Elapsed wall clock time (in seconds):186.892 188.88/187.02 o 39513943 189.38/187.56 c cleaning 7687 clauses out of 15398 with flag 4000/1315208 190.10/188.28 c cleaning 6840 clauses out of 13702 with flag 10002/1321210 191.01/189.14 c cleaning 6914 clauses out of 13860 with flag 17000/1328208 191.91/190.06 c cleaning 7462 clauses out of 14946 with flag 25000/1336208 193.02/191.18 c cleaning 8237 clauses out of 16489 with flag 34005/1345213 194.53/192.61 c cleaning 9110 clauses out of 18250 with flag 44003/1355211 196.14/194.24 c cleaning 10054 clauses out of 20138 with flag 55001/1366209 197.94/196.01 c cleaning 11034 clauses out of 22084 with flag 67001/1378209 199.85/197.98 c cleaning 12011 clauses out of 24049 with flag 80000/1391208 201.95/200.00 c cleaning 13012 clauses out of 26040 with flag 94002/1405210 204.05/202.15 c cleaning 13992 clauses out of 28026 with flag 109000/1420208 206.26/204.34 c cleaning 14992 clauses out of 30034 with flag 125000/1436208 208.86/206.98 c cleaning 16008 clauses out of 32042 with flag 142000/1453208 211.76/209.85 c Got one! Elapsed wall clock time (in seconds):209.731 211.76/209.85 o 33963189 212.46/210.58 c cleaning 19199 clauses out of 38412 with flag 5000/1475680 213.29/211.37 c cleaning 12598 clauses out of 25216 with flag 11003/1481683 214.69/212.71 c cleaning 9786 clauses out of 19590 with flag 18000/1488680 216.10/214.12 c cleaning 8893 clauses out of 17798 with flag 26000/1496680 217.61/215.62 c cleaning 8940 clauses out of 17905 with flag 35000/1505680 219.10/217.16 c cleaning 9474 clauses out of 18963 with flag 45000/1515680 220.61/218.61 c cleaning 10235 clauses out of 20491 with flag 56002/1526682 222.22/220.29 c cleaning 11115 clauses out of 22254 with flag 68000/1538680 224.13/222.18 c cleaning 12055 clauses out of 24139 with flag 81000/1551680 226.24/224.25 c cleaning 13028 clauses out of 26085 with flag 95001/1565681 228.26/226.22 c cleaning 14008 clauses out of 28056 with flag 110000/1580680 230.38/228.34 c cleaning 15011 clauses out of 30048 with flag 126000/1596680 232.89/230.88 c cleaning 15997 clauses out of 32016 with flag 143002/1613682 235.59/233.53 c cleaning 16996 clauses out of 34017 with flag 161000/1631680 238.40/236.32 c cleaning 18000 clauses out of 36023 with flag 180002/1650682 240.92/238.88 c cleaning 19001 clauses out of 38021 with flag 200000/1670680 243.64/241.57 c cleaning 20001 clauses out of 40020 with flag 221000/1691680 247.06/244.99 c cleaning 20994 clauses out of 42019 with flag 243000/1713680 249.78/247.69 c cleaning 22000 clauses out of 44025 with flag 266000/1736680 252.39/250.27 c cleaning 23003 clauses out of 46027 with flag 290002/1760682 255.60/253.49 c cleaning 23999 clauses out of 48022 with flag 315000/1785680 259.44/257.23 c cleaning 24999 clauses out of 50024 with flag 341001/1811681 263.66/261.47 c cleaning 26010 clauses out of 52026 with flag 368002/1838682 267.87/265.69 c cleaning 26998 clauses out of 54017 with flag 396003/1866683 272.19/269.96 c cleaning 28000 clauses out of 56016 with flag 425000/1895680 276.21/273.96 c cleaning 29004 clauses out of 58019 with flag 455003/1925683 279.82/277.58 c cleaning 29987 clauses out of 60013 with flag 486001/1956681 284.02/281.71 c cleaning 30992 clauses out of 62025 with flag 518000/1988680 288.03/285.70 c cleaning 32002 clauses out of 64035 with flag 551002/2021682 292.74/290.40 c cleaning 32994 clauses out of 66031 with flag 585000/2055680 297.56/295.28 c cleaning 33988 clauses out of 68037 with flag 620000/2090680 302.97/300.66 c cleaning 34998 clauses out of 70050 with flag 656001/2126681 305.58/303.29 c Got one! Elapsed wall clock time (in seconds):303.164 305.58/303.29 o 33313515 306.28/303.94 c cleaning 28201 clauses out of 56414 with flag 5002/2148059 307.09/304.80 c Got one! Elapsed wall clock time (in seconds):304.672 307.09/304.80 o 28327064 307.79/305.40 c cleaning 19382 clauses out of 38794 with flag 5000/2158650 308.49/306.16 c cleaning 12687 clauses out of 25415 with flag 11003/2164653 309.40/307.06 c cleaning 9839 clauses out of 19719 with flag 18001/2171651 310.31/307.92 c cleaning 8920 clauses out of 17879 with flag 26000/2179650 311.51/309.17 c cleaning 8944 clauses out of 17959 with flag 35000/2188650 312.71/310.33 c cleaning 9505 clauses out of 19023 with flag 45008/2198658 313.51/311.19 c Got one! Elapsed wall clock time (in seconds):311.07 313.51/311.19 o 23226460 314.21/311.85 c cleaning 10644 clauses out of 21320 with flag 5001/2210480 315.14/312.71 c cleaning 8307 clauses out of 16677 with flag 11002/2216481 316.04/313.68 c cleaning 7637 clauses out of 15368 with flag 18000/2223479 316.68/314.26 c Got one! Elapsed wall clock time (in seconds):314.137 316.68/314.26 o 16647015 317.09/314.69 c cleaning 6561 clauses out of 13152 with flag 2000/2229147 318.00/315.56 c cleaning 6269 clauses out of 12591 with flag 8000/2235147 318.90/316.41 c cleaning 6649 clauses out of 13322 with flag 15000/2242147 319.90/317.44 c cleaning 7327 clauses out of 14673 with flag 23000/2250147 321.11/318.69 c cleaning 8158 clauses out of 16332 with flag 32003/2259150 322.31/319.80 c cleaning 9073 clauses out of 18171 with flag 42000/2269147 323.64/321.11 c cleaning 10032 clauses out of 20098 with flag 53000/2280147 324.94/322.49 c cleaning 11016 clauses out of 22067 with flag 65001/2292148 326.54/324.01 c cleaning 12016 clauses out of 24050 with flag 78000/2305147 328.64/326.20 c cleaning 12997 clauses out of 26001 with flag 92001/2319148 330.64/328.12 c cleaning 13997 clauses out of 28004 with flag 107001/2334148 332.95/330.46 c cleaning 14994 clauses out of 30006 with flag 123000/2350147 335.26/332.70 c cleaning 15992 clauses out of 32012 with flag 140000/2367147 337.56/335.04 c cleaning 17006 clauses out of 34018 with flag 158000/2385147 339.86/337.34 c cleaning 17991 clauses out of 36012 with flag 177000/2404147 340.07/337.60 c Got one! Elapsed wall clock time (in seconds):337.474 340.07/337.60 o 16349908 340.67/338.16 c cleaning 11914 clauses out of 23837 with flag 4000/2410055 341.38/338.84 c cleaning 8946 clauses out of 17923 with flag 10000/2416055 342.08/339.58 c cleaning 7969 clauses out of 15977 with flag 17000/2423055 342.88/340.37 c cleaning 7982 clauses out of 16008 with flag 25000/2431055 343.92/341.38 c cleaning 8504 clauses out of 17026 with flag 34000/2440055 345.12/342.52 c cleaning 9253 clauses out of 18522 with flag 44000/2450055 346.43/343.80 c cleaning 10118 clauses out of 20271 with flag 55002/2461057 347.85/345.25 c cleaning 11067 clauses out of 22151 with flag 67000/2473055 349.36/346.73 c cleaning 12034 clauses out of 24086 with flag 80002/2486057 350.97/348.36 c cleaning 13016 clauses out of 26050 with flag 94000/2500055 352.97/350.31 c cleaning 14005 clauses out of 28027 with flag 109000/2515055 353.77/351.11 c Got one! Elapsed wall clock time (in seconds):350.991 353.77/351.11 o 16056496 354.17/351.59 c cleaning 9938 clauses out of 19889 with flag 2002/2520922 355.48/352.83 c cleaning 7962 clauses out of 15950 with flag 8001/2526921 357.19/354.57 c cleaning 7461 clauses out of 14987 with flag 15000/2533920 358.60/355.93 c cleaning 7749 clauses out of 15526 with flag 23000/2541920 359.82/357.18 c cleaning 8377 clauses out of 16778 with flag 32001/2550921 361.12/358.41 c cleaning 9186 clauses out of 18400 with flag 42000/2560920 362.43/359.72 c cleaning 10097 clauses out of 20214 with flag 53000/2571920 363.64/360.99 c cleaning 11056 clauses out of 22119 with flag 65002/2583922 365.04/362.36 c cleaning 12022 clauses out of 24061 with flag 78000/2596920 366.85/364.13 c cleaning 12997 clauses out of 26041 with flag 92002/2610922 368.65/365.90 c cleaning 14010 clauses out of 28045 with flag 107003/2625923 370.55/367.88 c cleaning 15000 clauses out of 30033 with flag 123001/2641921 372.56/369.85 c cleaning 15997 clauses out of 32032 with flag 140000/2658920 374.47/371.73 c cleaning 17005 clauses out of 34035 with flag 158000/2676920 376.68/373.99 c cleaning 18000 clauses out of 36031 with flag 177001/2695921 379.08/376.30 c cleaning 19004 clauses out of 38032 with flag 197002/2715922 381.60/378.82 c cleaning 20001 clauses out of 40026 with flag 218000/2736920 384.92/382.12 c cleaning 21007 clauses out of 42025 with flag 240000/2758920 387.73/385.00 c cleaning 21996 clauses out of 44019 with flag 263001/2781921 391.03/388.30 c cleaning 22984 clauses out of 46022 with flag 287000/2805920 394.53/391.76 c cleaning 24006 clauses out of 48039 with flag 312001/2830921 398.53/395.72 c cleaning 25004 clauses out of 50036 with flag 338004/2856924 402.06/399.25 c cleaning 26013 clauses out of 52031 with flag 365003/2883923 406.49/403.68 c cleaning 27002 clauses out of 54015 with flag 393000/2911920 410.89/408.04 c cleaning 27999 clauses out of 56014 with flag 422001/2940921 416.09/413.22 c cleaning 29003 clauses out of 58016 with flag 452002/2970922 420.70/417.81 c cleaning 29997 clauses out of 60011 with flag 483000/3001920 425.51/422.63 c cleaning 30989 clauses out of 62014 with flag 515000/3033920 429.42/426.56 c cleaning 32007 clauses out of 64027 with flag 548002/3066922 433.95/431.08 c cleaning 32995 clauses out of 66018 with flag 582000/3100920 438.86/435.96 c cleaning 33998 clauses out of 68026 with flag 617003/3135923 443.77/440.83 c cleaning 35003 clauses out of 70026 with flag 653001/3171921 449.17/446.23 c cleaning 35992 clauses out of 72024 with flag 690002/3208922 454.88/451.96 c cleaning 37001 clauses out of 74030 with flag 728000/3246920 460.40/457.42 c cleaning 38002 clauses out of 76029 with flag 767000/3285920 463.41/460.43 c Got one! Elapsed wall clock time (in seconds):460.311 463.41/460.43 o 14592374 464.01/461.06 c cleaning 32749 clauses out of 65510 with flag 5003/3313423 464.92/461.91 c cleaning 19374 clauses out of 38759 with flag 11001/3319421 466.03/463.04 c cleaning 13164 clauses out of 26384 with flag 18000/3326420 467.13/464.18 c cleaning 10568 clauses out of 21220 with flag 26000/3334420 468.53/465.58 c cleaning 9805 clauses out of 19652 with flag 35000/3343420 470.03/467.05 c cleaning 9922 clauses out of 19847 with flag 45000/3353420 471.85/468.80 c cleaning 10457 clauses out of 20929 with flag 56004/3364424 473.86/470.83 c cleaning 11222 clauses out of 22468 with flag 68000/3376420 476.17/473.14 c cleaning 12114 clauses out of 24250 with flag 81004/3389424 478.67/475.60 c cleaning 13046 clauses out of 26134 with flag 95002/3403422 481.08/478.03 c cleaning 14033 clauses out of 28089 with flag 110003/3418423 483.58/480.51 c cleaning 15011 clauses out of 30047 with flag 126004/3434424 485.49/482.42 c cleaning 16000 clauses out of 32033 with flag 143001/3451421 487.60/484.56 c cleaning 17007 clauses out of 34033 with flag 161001/3469421 490.11/487.00 c cleaning 17987 clauses out of 36026 with flag 180001/3488421 492.81/489.72 c cleaning 19008 clauses out of 38038 with flag 200000/3508420 496.51/493.45 c cleaning 20006 clauses out of 40033 with flag 221003/3529423 500.61/497.50 c cleaning 21005 clauses out of 42026 with flag 243002/3551422 501.22/498.14 c Got one! Elapsed wall clock time (in seconds):498.017 501.22/498.14 o 13591302 501.43/498.34 c cleaning 13095 clauses out of 26197 with flag 1004/3556598 501.93/498.80 c Got one! Elapsed wall clock time (in seconds):498.678 501.93/498.80 o 12968014 502.73/499.66 c cleaning 9267 clauses out of 18562 with flag 2000/3562058 503.85/500.72 c Got one! Elapsed wall clock time (in seconds):500.601 503.85/500.72 o 12963493 504.55/501.43 c cleaning 9929 clauses out of 19897 with flag 5000/3572698 505.27/502.18 c cleaning 7954 clauses out of 15970 with flag 11002/3578700 506.19/503.06 c cleaning 7475 clauses out of 15017 with flag 18003/3585701 507.19/504.07 c cleaning 7763 clauses out of 15539 with flag 26000/3593698 508.29/505.12 c cleaning 8380 clauses out of 16777 with flag 35001/3602699 509.49/506.33 c cleaning 9195 clauses out of 18396 with flag 45000/3612698 511.00/507.83 c cleaning 10093 clauses out of 20202 with flag 56001/3623699 512.61/509.50 c cleaning 11043 clauses out of 22111 with flag 68003/3635701 514.52/511.34 c cleaning 12011 clauses out of 24065 with flag 81000/3648698 516.53/513.37 c cleaning 13015 clauses out of 26054 with flag 95000/3662698 518.44/515.27 c cleaning 14007 clauses out of 28043 with flag 110004/3677702 520.86/517.62 c cleaning 15002 clauses out of 30034 with flag 126002/3693700 523.36/520.11 c cleaning 16000 clauses out of 32030 with flag 143000/3710698 525.68/522.47 c cleaning 17008 clauses out of 34030 with flag 161000/3728698 527.89/524.60 c cleaning 17996 clauses out of 36024 with flag 180002/3747700 530.12/526.82 c cleaning 19001 clauses out of 38029 with flag 200003/3767701 532.33/529.04 c cleaning 20000 clauses out of 40026 with flag 221001/3788699 534.64/531.33 c cleaning 21003 clauses out of 42027 with flag 243002/3810700 537.35/534.02 c cleaning 22000 clauses out of 44023 with flag 266001/3833699 540.15/536.85 c cleaning 23002 clauses out of 46022 with flag 290000/3857698 543.25/539.96 c cleaning 23992 clauses out of 48020 with flag 315000/3882698 546.56/543.29 c cleaning 24999 clauses out of 50028 with flag 341000/3908698 550.27/546.94 c cleaning 26003 clauses out of 52029 with flag 368000/3935698 553.79/550.47 c cleaning 27001 clauses out of 54025 with flag 396000/3963698 558.50/555.10 c cleaning 28000 clauses out of 56024 with flag 425000/3992698 563.61/560.20 c cleaning 29009 clauses out of 58024 with flag 455000/4022698 568.72/565.37 c cleaning 29989 clauses out of 60016 with flag 486001/4053699 574.33/570.98 c cleaning 31001 clauses out of 62028 with flag 518002/4085700 580.45/577.09 c cleaning 32000 clauses out of 64027 with flag 551002/4118700 586.55/583.14 c cleaning 32996 clauses out of 66025 with flag 585000/4152698 592.69/589.24 c cleaning 34010 clauses out of 68029 with flag 620000/4187698 597.20/593.72 c cleaning 34992 clauses out of 70020 with flag 656001/4223699 601.71/598.27 c cleaning 36003 clauses out of 72027 with flag 693000/4260698 606.61/603.18 c cleaning 37007 clauses out of 74028 with flag 731004/4298702 610.31/606.83 c Got one! Elapsed wall clock time (in seconds):606.703 610.31/606.83 o 12636335 611.11/607.63 c cleaning 34748 clauses out of 69503 with flag 5003/4331184 611.83/608.37 c cleaning 20357 clauses out of 40752 with flag 11000/4337181 612.93/609.43 c cleaning 13690 clauses out of 27397 with flag 18002/4344183 614.14/610.62 c Got one! Elapsed wall clock time (in seconds):610.495 614.14/610.62 o 7670130 614.85/611.33 c cleaning 12983 clauses out of 26016 with flag 5000/4356542 615.67/612.11 c cleaning 9484 clauses out of 19034 with flag 11001/4362543 616.47/612.99 c cleaning 8247 clauses out of 16549 with flag 18000/4369542 617.48/613.98 c cleaning 8132 clauses out of 16302 with flag 26000/4377542 618.58/615.01 c cleaning 8570 clauses out of 17171 with flag 35001/4386543 619.78/616.26 c cleaning 9282 clauses out of 18600 with flag 45000/4396542 621.08/617.53 c cleaning 10138 clauses out of 20318 with flag 56000/4407542 622.48/618.95 c cleaning 11079 clauses out of 22180 with flag 68000/4419542 624.09/620.57 c cleaning 12035 clauses out of 24102 with flag 81001/4432543 625.70/622.15 c cleaning 13027 clauses out of 26066 with flag 95000/4446542 627.52/623.91 c cleaning 14009 clauses out of 28039 with flag 110000/4461542 629.44/625.83 c cleaning 14998 clauses out of 30030 with flag 126000/4477542 631.44/627.84 c cleaning 16010 clauses out of 32032 with flag 143000/4494542 633.74/630.14 c cleaning 16996 clauses out of 34022 with flag 161000/4512542 636.16/632.55 c cleaning 17999 clauses out of 36028 with flag 180002/4531544 638.75/635.17 c cleaning 19006 clauses out of 38030 with flag 200003/4551545 641.46/637.82 c cleaning 19990 clauses out of 40021 with flag 221000/4572542 644.36/640.76 c cleaning 21009 clauses out of 42035 with flag 243004/4594546 647.48/643.87 c cleaning 21998 clauses out of 44024 with flag 266002/4617544 650.69/647.06 c cleaning 23003 clauses out of 46028 with flag 290004/4641546 653.81/650.12 c cleaning 23993 clauses out of 48021 with flag 315000/4666542 657.20/653.55 c cleaning 25004 clauses out of 50033 with flag 341005/4692547 661.21/657.52 c cleaning 25996 clauses out of 52026 with flag 368002/4719544 664.62/661.00 c cleaning 26985 clauses out of 54029 with flag 396001/4747543 668.68/664.94 c cleaning 28002 clauses out of 56043 with flag 425000/4776542 672.89/669.16 c cleaning 29010 clauses out of 58043 with flag 455002/4806544 677.50/673.70 c cleaning 30001 clauses out of 60031 with flag 486000/4837542 680.71/676.99 c Got one! Elapsed wall clock time (in seconds):676.864 680.71/676.99 o 6677325 681.01/677.29 c Got one! Elapsed wall clock time (in seconds):677.168 681.01/677.29 o 6241417 681.61/677.90 c cleaning 27978 clauses out of 55967 with flag 3002/4863511 681.81/678.08 c Got one! Elapsed wall clock time (in seconds):677.955 681.81/678.08 o 6178861 682.71/678.90 c cleaning 16782 clauses out of 33575 with flag 5000/4869110 683.53/679.77 c cleaning 11391 clauses out of 22793 with flag 11000/4875110 684.53/680.76 c cleaning 9178 clauses out of 18407 with flag 18005/4882115 685.65/681.89 c cleaning 8581 clauses out of 17224 with flag 26000/4890110 686.57/682.78 c Got one! Elapsed wall clock time (in seconds):682.659 686.57/682.78 o 5483677 687.27/683.45 c cleaning 9517 clauses out of 19038 with flag 5000/4901449 687.48/683.62 c Got one! Elapsed wall clock time (in seconds):683.496 687.48/683.62 o 4643773 688.28/684.46 c cleaning 7455 clauses out of 14942 with flag 5002/4906880 689.30/685.40 c cleaning 6725 clauses out of 13485 with flag 11000/4912878 690.32/686.44 c cleaning 6864 clauses out of 13760 with flag 18000/4919878 691.54/687.62 c cleaning 7441 clauses out of 14896 with flag 26000/4927878 692.86/688.99 c cleaning 8209 clauses out of 16455 with flag 35000/4936878 694.37/690.46 c cleaning 9119 clauses out of 18247 with flag 45001/4946879 695.88/691.91 c cleaning 10058 clauses out of 20127 with flag 56000/4957878 697.27/693.36 c cleaning 11025 clauses out of 22069 with flag 68000/4969878 698.88/694.93 c cleaning 12019 clauses out of 24046 with flag 81002/4982880 700.58/696.67 c cleaning 12998 clauses out of 26026 with flag 95001/4996879 703.10/699.10 c cleaning 14010 clauses out of 28030 with flag 110003/5011881 705.71/701.72 c cleaning 15000 clauses out of 30019 with flag 126002/5027880 707.62/703.64 c cleaning 15994 clauses out of 32018 with flag 143001/5044879 709.94/705.96 c cleaning 17005 clauses out of 34023 with flag 161000/5062878 712.16/708.19 c cleaning 18002 clauses out of 36018 with flag 180000/5081878 714.68/710.68 c cleaning 18997 clauses out of 38016 with flag 200000/5101878 717.49/713.45 c cleaning 19997 clauses out of 40021 with flag 221002/5122880 720.10/716.08 c cleaning 20998 clauses out of 42022 with flag 243000/5144878 722.90/718.82 c cleaning 21992 clauses out of 44024 with flag 266000/5167878 725.62/721.60 c cleaning 23012 clauses out of 46032 with flag 290000/5191878 728.74/724.67 c cleaning 23988 clauses out of 48020 with flag 315000/5216878 732.25/728.20 c cleaning 25002 clauses out of 50033 with flag 341001/5242879 735.85/731.74 c cleaning 26005 clauses out of 52030 with flag 368000/5269878 739.97/735.82 c cleaning 26999 clauses out of 54025 with flag 396000/5297878 743.47/739.30 c cleaning 28005 clauses out of 56027 with flag 425001/5326879 746.99/742.83 c cleaning 28999 clauses out of 58021 with flag 455000/5356878 750.89/746.73 c cleaning 30002 clauses out of 60022 with flag 486000/5387878 755.31/751.11 c cleaning 31001 clauses out of 62020 with flag 518000/5419878 759.82/755.61 c cleaning 31998 clauses out of 64020 with flag 551001/5452879 763.82/759.65 c cleaning 32993 clauses out of 66022 with flag 585001/5486879 768.05/763.83 c cleaning 34006 clauses out of 68028 with flag 620000/5521878 772.56/768.34 c cleaning 34738 clauses out of 69509 with flag 656002/5557880 777.47/773.26 c cleaning 35874 clauses out of 71769 with flag 693000/5594878 782.98/778.74 c cleaning 36934 clauses out of 73895 with flag 731000/5632878 788.79/784.51 c cleaning 37966 clauses out of 75962 with flag 770001/5671879 794.31/790.03 c cleaning 38988 clauses out of 77995 with flag 810000/5711878 799.90/795.69 c cleaning 39994 clauses out of 80007 with flag 851000/5752878 805.83/801.59 c cleaning 40993 clauses out of 82013 with flag 893000/5794878 812.23/807.99 c cleaning 41996 clauses out of 84020 with flag 936000/5837878 818.46/814.10 c cleaning 43008 clauses out of 86032 with flag 980008/5881886 824.19/819.87 c cleaning 43995 clauses out of 88017 with flag 1025001/5926879 830.19/825.82 c cleaning 44984 clauses out of 90021 with flag 1071000/5972878 836.50/832.12 c cleaning 46008 clauses out of 92036 with flag 1118000/6019878 843.11/838.70 c cleaning 47003 clauses out of 94029 with flag 1166001/6067879 850.24/845.87 c cleaning 48003 clauses out of 96026 with flag 1215001/6116879 857.34/852.99 c cleaning 48993 clauses out of 98024 with flag 1265002/6166880 865.75/861.36 c cleaning 49997 clauses out of 100029 with flag 1316000/6217878 873.39/868.96 c cleaning 51001 clauses out of 102032 with flag 1368000/6269878 882.01/877.56 c cleaning 51992 clauses out of 104033 with flag 1421002/6322880 890.25/885.74 c cleaning 53014 clauses out of 106039 with flag 1475000/6376878 899.66/895.17 c cleaning 53993 clauses out of 108026 with flag 1530001/6431879 910.37/905.90 c cleaning 55011 clauses out of 110037 with flag 1586005/6487883 918.51/913.99 c cleaning 56003 clauses out of 112022 with flag 1643001/6544879 924.93/920.37 c cleaning 56998 clauses out of 114019 with flag 1701001/6602879 932.24/927.65 c cleaning 57990 clauses out of 116021 with flag 1760001/6661879 940.78/936.11 c cleaning 59008 clauses out of 118033 with flag 1820003/6721881 947.91/943.27 c cleaning 59995 clauses out of 120022 with flag 1881000/6782878 955.54/950.84 c cleaning 60993 clauses out of 122027 with flag 1943000/6844878 963.97/959.25 c cleaning 62004 clauses out of 124035 with flag 2006001/6907879 972.70/967.95 c cleaning 62998 clauses out of 126030 with flag 2070000/6971878 980.93/976.17 c cleaning 64009 clauses out of 128032 with flag 2135000/7036878 989.96/985.14 c cleaning 64995 clauses out of 130024 with flag 2201001/7102879 1000.17/995.35 c cleaning 66003 clauses out of 132028 with flag 2268000/7169878 1011.59/1006.79 c cleaning 66997 clauses out of 134027 with flag 2336002/7237880 1021.23/1016.39 c Got one! Elapsed wall clock time (in seconds):1016.264 1021.23/1016.39 o 4638005 1021.83/1016.93 c Got one! Elapsed wall clock time (in seconds):1016.804 1021.83/1016.93 o 2767830 1022.63/1017.70 c cleaning 56746 clauses out of 113504 with flag 3000/7307905 1023.44/1018.51 c Got one! Elapsed wall clock time (in seconds):1018.384 1023.44/1018.51 o 2250245 1023.44/1018.54 c Got one! Elapsed wall clock time (in seconds):1018.416 1023.44/1018.54 o 2246971 1023.44/1018.58 c Got one! Elapsed wall clock time (in seconds):1018.453 1023.44/1018.58 o 2194318 1023.78/1018.81 c cleaning 31060 clauses out of 62125 with flag 1000/7313325 1024.50/1019.56 c Got one! Elapsed wall clock time (in seconds):1019.438 1024.50/1019.56 o 2179758 1024.71/1019.75 c cleaning 17300 clauses out of 34625 with flag 1000/7318493 1024.84/1019.88 c Got one! Elapsed wall clock time (in seconds):1019.753 1024.84/1019.88 o 2165015 1025.64/1020.63 c Got one! Elapsed wall clock time (in seconds):1020.506 1025.64/1020.63 o 2161388 1025.85/1020.82 c cleaning 11620 clauses out of 23261 with flag 1000/7324429 1025.95/1020.92 c Got one! Elapsed wall clock time (in seconds):1020.798 1025.95/1020.92 o 2160815 1026.05/1021.06 c Got one! Elapsed wall clock time (in seconds):1020.932 1026.05/1021.06 o 2155884 1026.86/1021.89 c cleaning 8848 clauses out of 17726 with flag 5001/7330517 1027.98/1022.91 c cleaning 7415 clauses out of 14877 with flag 11000/7336516 1028.60/1023.52 c Got one! Elapsed wall clock time (in seconds):1023.396 1028.60/1023.52 o 2150409 1028.60/1023.57 c Got one! Elapsed wall clock time (in seconds):1023.45 1028.60/1023.57 o 2148986 1029.00/1023.92 c cleaning 6415 clauses out of 12854 with flag 2001/7341908 1029.41/1024.31 c Got one! Elapsed wall clock time (in seconds):1024.189 1029.41/1024.31 o 2146435 1029.81/1024.75 c Got one! Elapsed wall clock time (in seconds):1024.627 1029.81/1024.75 o 2146038 1030.01/1024.92 c Got one! Elapsed wall clock time (in seconds):1024.793 1030.01/1024.92 o 2145598 1030.11/1025.08 c cleaning 6578 clauses out of 13167 with flag 1000/7348636 1030.34/1025.21 c Got one! Elapsed wall clock time (in seconds):1025.092 1030.34/1025.21 o 2145337 1031.13/1026.06 c Got one! Elapsed wall clock time (in seconds):1025.938 1031.13/1026.06 o 2136549 1031.34/1026.23 c cleaning 6438 clauses out of 12915 with flag 1001/7354962 1032.34/1027.21 c cleaning 6227 clauses out of 12477 with flag 7001/7360962 1033.57/1028.41 c cleaning 6621 clauses out of 13250 with flag 14001/7367962 1034.57/1029.44 c Got one! Elapsed wall clock time (in seconds):1029.319 1034.57/1029.44 o 2134174 1035.37/1030.23 c Got one! Elapsed wall clock time (in seconds):1030.102 1035.37/1030.23 o 2132520 1035.57/1030.41 c cleaning 9117 clauses out of 18246 with flag 1000/7379579 1036.59/1031.46 c cleaning 7553 clauses out of 15129 with flag 7000/7385579 1037.81/1032.67 c cleaning 7266 clauses out of 14576 with flag 14000/7392579 1039.12/1033.94 c Got one! Elapsed wall clock time (in seconds):1033.814 1039.12/1033.94 o 2102644 1039.92/1034.74 c cleaning 9832 clauses out of 19677 with flag 5000/7404946 1040.94/1035.77 c cleaning 7911 clauses out of 15845 with flag 11000/7410946 1041.26/1036.00 c Got one! Elapsed wall clock time (in seconds):1035.876 1041.26/1036.00 o 2087757 1042.06/1036.82 c cleaning 6900 clauses out of 13829 with flag 5001/7416841 1043.07/1037.86 c cleaning 6456 clauses out of 12930 with flag 11002/7422842 1044.37/1039.11 c cleaning 6728 clauses out of 13472 with flag 18000/7429840 1045.68/1040.47 c cleaning 7361 clauses out of 14745 with flag 26001/7437841 1047.18/1041.99 c cleaning 8183 clauses out of 16383 with flag 35000/7446840 1048.98/1043.72 c cleaning 9091 clauses out of 18200 with flag 45000/7456840 1050.89/1045.69 c cleaning 10043 clauses out of 20109 with flag 56000/7467840 1051.69/1046.40 c Got one! Elapsed wall clock time (in seconds):1046.274 1051.69/1046.40 o 2080681 1051.99/1046.73 c cleaning 7994 clauses out of 16021 with flag 2005/7473795 1053.01/1047.74 c cleaning 7000 clauses out of 14023 with flag 8001/7479791 1054.22/1048.97 c Got one! Elapsed wall clock time (in seconds):1048.848 1054.22/1048.97 o 2078739 1055.12/1049.82 c cleaning 9443 clauses out of 18902 with flag 5000/7491678 1056.14/1050.87 c cleaning 7718 clauses out of 15459 with flag 11000/7497678 1057.34/1052.04 c cleaning 7355 clauses out of 14741 with flag 18000/7504678 1058.65/1053.38 c cleaning 7682 clauses out of 15386 with flag 26000/7512678 1060.17/1054.88 c cleaning 8351 clauses out of 16704 with flag 35000/7521678 1061.97/1056.64 c cleaning 9170 clauses out of 18353 with flag 45000/7531678 1063.90/1058.54 c cleaning 10082 clauses out of 20183 with flag 56000/7542678 1065.91/1060.56 c cleaning 11038 clauses out of 22101 with flag 68000/7554678 1068.21/1062.83 c cleaning 12023 clauses out of 24063 with flag 81000/7567678 1070.72/1065.32 c cleaning 13019 clauses out of 26042 with flag 95002/7581680 1071.42/1066.02 c Got one! Elapsed wall clock time (in seconds):1065.896 1071.42/1066.02 o 2074093 1071.72/1066.38 c cleaning 9500 clauses out of 19019 with flag 2000/7587676 1072.84/1067.43 c cleaning 7746 clauses out of 15519 with flag 8000/7593676 1074.05/1068.62 c cleaning 7371 clauses out of 14773 with flag 15000/7600676 1075.35/1069.95 c cleaning 7679 clauses out of 15402 with flag 23000/7608676 1076.95/1071.50 c cleaning 8349 clauses out of 16724 with flag 32001/7617677 1078.66/1073.28 c cleaning 9182 clauses out of 18374 with flag 42000/7627676 1079.58/1074.10 c Got one! Elapsed wall clock time (in seconds):1073.978 1079.58/1074.10 o 2073651 1079.68/1074.27 c cleaning 7302 clauses out of 14620 with flag 1001/7633104 1080.69/1075.27 c cleaning 6648 clauses out of 13318 with flag 7001/7639104 1081.90/1076.45 c cleaning 6823 clauses out of 13672 with flag 14003/7646106 1083.21/1077.79 c cleaning 7418 clauses out of 14846 with flag 22000/7654103 1084.81/1079.35 c cleaning 8206 clauses out of 16429 with flag 31001/7663104 1085.12/1079.65 c Got one! Elapsed wall clock time (in seconds):1079.525 1085.12/1079.65 o 2073452 1085.82/1080.32 c cleaning 6870 clauses out of 13755 with flag 4001/7668636 1086.85/1081.34 c cleaning 6413 clauses out of 12884 with flag 10000/7674635 1088.06/1082.52 c cleaning 6717 clauses out of 13471 with flag 17000/7681635 1089.37/1083.83 c cleaning 7371 clauses out of 14754 with flag 25000/7689635 1090.87/1085.35 c cleaning 8183 clauses out of 16383 with flag 34000/7698635 1092.58/1087.07 c cleaning 9093 clauses out of 18200 with flag 44000/7708635 1094.49/1088.99 c cleaning 10049 clauses out of 20108 with flag 55001/7719636 1094.79/1089.26 c Got one! Elapsed wall clock time (in seconds):1089.134 1094.79/1089.26 o 2070358 1095.49/1089.92 c cleaning 7653 clauses out of 15321 with flag 4001/7724898 1096.60/1091.00 c cleaning 6820 clauses out of 13670 with flag 10003/7730900 1097.41/1091.87 c Got one! Elapsed wall clock time (in seconds):1091.744 1097.41/1091.87 o 2070001 1098.31/1092.74 c cleaning 8428 clauses out of 16865 with flag 5000/7740915 1099.42/1093.82 c cleaning 7204 clauses out of 14437 with flag 11000/7746915 1100.62/1095.05 c cleaning 7111 clauses out of 14234 with flag 18001/7753916 1102.04/1096.45 c cleaning 7556 clauses out of 15123 with flag 26001/7761916 1103.06/1097.44 c Got one! Elapsed wall clock time (in seconds):1097.319 1103.06/1097.44 o 2067788 1103.86/1098.20 c Got one! Elapsed wall clock time (in seconds):1098.08 1103.86/1098.20 o 2047683 1103.96/1098.38 c cleaning 9182 clauses out of 18384 with flag 1000/7772733 1105.11/1099.43 c cleaning 7596 clauses out of 15204 with flag 7002/7778735 1106.21/1100.56 c cleaning 7293 clauses out of 14608 with flag 14002/7785735 1107.65/1101.99 c cleaning 7644 clauses out of 15313 with flag 22000/7793733 1109.27/1103.54 c cleaning 8321 clauses out of 16669 with flag 31000/7802733 1111.08/1105.34 c cleaning 9164 clauses out of 18349 with flag 41001/7812734 1113.02/1107.28 c cleaning 10090 clauses out of 20184 with flag 52000/7823733 1115.23/1109.44 c cleaning 11045 clauses out of 22095 with flag 64001/7835734 1115.84/1110.09 c Got one! Elapsed wall clock time (in seconds):1109.965 1115.84/1110.09 o 2047213 1116.14/1110.39 c cleaning 5198 clauses out of 10425 with flag 2003/7841126 1117.14/1111.37 c cleaning 5608 clauses out of 11224 with flag 8000/7847123 1117.65/1111.86 c Got one! Elapsed wall clock time (in seconds):1111.733 1117.65/1111.86 o 2041145 1117.96/1112.17 c Got one! Elapsed wall clock time (in seconds):1112.044 1117.96/1112.17 o 2037759 1118.05/1112.27 c Got one! Elapsed wall clock time (in seconds):1112.145 1118.05/1112.27 o 2035817 1118.35/1112.56 c cleaning 6444 clauses out of 12908 with flag 2001/7854519 1119.37/1113.51 c cleaning 6222 clauses out of 12463 with flag 8000/7860518 1120.18/1114.30 c Got one! Elapsed wall clock time (in seconds):1114.18 1120.18/1114.30 o 2028495 1120.47/1114.63 c Got one! Elapsed wall clock time (in seconds):1114.504 1120.47/1114.63 o 2014265 1120.57/1114.73 c starts : 357 1120.57/1114.73 c conflicts : 7868140 1120.57/1114.73 c decisions : 14285724 1120.57/1114.73 c propagations : 916430096 1120.57/1114.73 c inspects : 6927190557 1120.57/1114.73 c shortcuts : 0 1120.57/1114.73 c learnt literals : 99 1120.57/1114.73 c learnt binary clauses : 826 1120.57/1114.73 c learnt ternary clauses : 8462 1120.57/1114.73 c learnt constraints : 7868040 1120.57/1114.73 c ignored constraints : 0 1120.57/1114.73 c root simplifications : 455 1120.57/1114.73 c removed literals (reason simplification) : 86397575 1120.57/1114.73 c reason swapping (by a shorter reason) : 0 1120.57/1114.73 c Calls to reduceDB : 427 1120.57/1114.73 c number of reductions to clauses (during analyze) : 0 1120.57/1114.73 c number of learned constraints concerned by reduction : 0 1120.57/1114.73 c number of learning phase by resolution : 0 1120.57/1114.73 c number of learning phase by cutting planes : 0 1120.57/1114.73 c speed (assignments/second) : 822427.4597751591 1120.57/1114.73 c non guided choices 21668 1120.57/1114.73 c learnt constraints type 1120.57/1114.73 c constraints type 1120.57/1114.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1120.57/1114.73 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 1120.57/1114.73 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1120.57/1114.73 c ignored satisfied constraints => 3 1120.57/1114.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1120.57/1114.73 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 1120.57/1114.73 c 15629 constraints processed. 1120.57/1114.73 s OPTIMUM FOUND 1120.57/1114.74 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 1120.57/1114.75 c objective function=2014265 1120.57/1114.75 c Total wall clock time (in seconds): 1114.627
OK 2014265
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-3710484-1338253095/watcher-3710484-1338253095 -o /tmp/evaluation-result-3710484-1338253095/solver-3710484-1338253095 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710484-1338253095.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.04 2.00 3/194 32297 /proc/meminfo: memFree=26132844/32873844 swapFree=6088/6088 [pid=32297] ppid=32295 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/32297/stat : 32297 (java) D 32295 32297 30092 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291438072 9515008 182 33554432000 1073741824 1073778376 140734689290336 140734689281368 240426761909 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0 /proc/32297/statm: 2323 182 140 9 0 71 0 [startup+0.0904771 s] /proc/loadavg: 2.02 2.04 2.00 3/194 32297 /proc/meminfo: memFree=26132844/32873844 swapFree=6088/6088 [pid=32297] ppid=32295 vsize=9558440 CPUtime=0.06 cores=1,3,5,7 /proc/32297/stat : 32297 (java) S 32295 32297 30092 0 -1 4202496 3683 0 1 0 5 1 0 0 20 0 18 0 291438072 9787842560 4891 33554432000 1073741824 1073778376 140735476186592 140735476177728 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32297/statm: 2389610 4892 1938 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558440 [startup+0.100314 s] /proc/loadavg: 2.02 2.04 2.00 3/194 32297 /proc/meminfo: memFree=26132844/32873844 swapFree=6088/6088 [pid=32297] ppid=32295 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/32297/stat : 32297 (java) S 32295 32297 30092 0 -1 4202496 4251 0 1 0 8 1 0 0 20 0 18 0 291438072 9787842560 5458 33554432000 1073741824 1073778376 140735476186592 140735476177728 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32297/statm: 2389610 5458 2113 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300298 s] /proc/loadavg: 2.02 2.04 2.00 3/194 32297 /proc/meminfo: memFree=26132844/32873844 swapFree=6088/6088 [pid=32297] ppid=32295 vsize=9558440 CPUtime=0.49 cores=1,3,5,7 /proc/32297/stat : 32297 (java) S 32295 32297 30092 0 -1 4202496 5309 0 1 0 47 2 0 0 20 0 18 0 291438072 9787842560 9783 33554432000 1073741824 1073778376 140735476186592 140735476177728 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32297/statm: 2389610 9783 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558440 [startup+0.700307 s] /proc/loadavg: 2.02 2.04 2.00 3/194 32297 /proc/meminfo: memFree=26132844/32873844 swapFree=6088/6088 [pid=32297] ppid=32295 vsize=9625004 CPUtime=1.38 cores=1,3,5,7 /proc/32297/stat : 32297 (java) S 32295 32297 30092 0 -1 4202496 7934 0 1 0 135 3 0 0 20 0 19 0 291438072 9856004096 18031 33554432000 1073741824 1073778376 140735476186592 140735476177728 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32297/statm: 2406251 18031 2258 9 0 2396937 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 9625004 [startup+1.5008 s] /proc/loadavg: 2.02 2.04 2.00 3/213 32316 /proc/meminfo: memFree=26069536/32873844 swapFree=6088/6088 [pid=32297] ppid=32295 vsize=9625004 CPUtime=2.25 cores=1,3,5,7 /proc/32297/stat : 32297 (java) S 32295 32297 30092 0 -1 4202496 7994 0 1 0 222 3 0 0 20 0 19 0 291438072 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140735476177728 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32297/statm: 2406251 18556 2264 9 0 2396937 0 [pid=32297/tid=32299] ppid=32295 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/32297/task/32299/stat : 32299 (java) R 32295 32297 30092 0 -1 4202560 2534 0 1 0 144 2 0 0 20 0 19 0 291438073 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095609643560 140095475309340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32300] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32300/stat : 32300 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095598705576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32301] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32301/stat : 32301 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095597653032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32302] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32302/stat : 32302 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095596599976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32303] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32303/stat : 32303 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095595547432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32304] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32304/stat : 32304 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095594494376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32305] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32305/stat : 32305 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095593441832 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32306] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32306/stat : 32306 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095447054504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32307] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32307/stat : 32307 (java) S 32295 32297 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095446001960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32308] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32308/stat : 32308 (java) S 32295 32297 30092 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291438075 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095433804648 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32309] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32309/stat : 32309 (java) S 32295 32297 30092 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095432750968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32310] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32310/stat : 32310 (java) S 32295 32297 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095431697800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32311] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32311/stat : 32311 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095430646544 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32312] ppid=32295 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/32297/task/32312/stat : 32312 (java) S 32295 32297 30092 0 -1 4202560 1909 0 0 0 42 0 0 0 20 0 19 0 291438078 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095429593400 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32313] ppid=32295 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/32297/task/32313/stat : 32313 (java) S 32295 32297 30092 0 -1 4202560 2355 0 0 0 34 0 0 0 20 0 19 0 291438078 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095428540856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32314] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32314/stat : 32314 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095427487992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32315] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32315/stat : 32315 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095426435656 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32316] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32316/stat : 32316 (java) S 32295 32297 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291438115 9856004096 18556 33554432000 1073741824 1073778376 140735476186592 140095425381928 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.25 Current children cumulated vsize (KiB) 9625004 [startup+3.10068 s] /proc/loadavg: 2.02 2.04 2.00 3/213 32316 /proc/meminfo: memFree=26054332/32873844 swapFree=6088/6088 [pid=32297] ppid=32295 vsize=9625004 CPUtime=3.93 cores=1,3,5,7 /proc/32297/stat : 32297 (java) S 32295 32297 30092 0 -1 4202496 8211 0 1 0 389 4 0 0 20 0 19 0 291438072 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140735476177728 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32297/statm: 2406251 21672 2289 9 0 2396937 0 [pid=32297/tid=32299] ppid=32295 vsize=9625004 CPUtime=3.04 cores=1,3,5,7 /proc/32297/task/32299/stat : 32299 (java) R 32295 32297 30092 0 -1 4202560 2538 0 1 0 301 3 0 0 20 0 19 0 291438073 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095609641528 140095475355681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32300] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32300/stat : 32300 (java) S 32295 32297 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095598705576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32301] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32301/stat : 32301 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095597653032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32302] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32302/stat : 32302 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095596599976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32303] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32303/stat : 32303 (java) S 32295 32297 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095595547432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32304] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32304/stat : 32304 (java) S 32295 32297 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095594494376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32305] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32305/stat : 32305 (java) S 32295 32297 30092 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095593441832 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32306] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32306/stat : 32306 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095447054504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32307] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32307/stat : 32307 (java) S 32295 32297 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095446001960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32308] ppid=32295 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/32297/task/32308/stat : 32308 (java) S 32295 32297 30092 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 291438075 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095433804648 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32309] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32309/stat : 32309 (java) S 32295 32297 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095432750968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32310] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32310/stat : 32310 (java) S 32295 32297 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095431697800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32311] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32311/stat : 32311 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095430646544 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32312] ppid=32295 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/32297/task/32312/stat : 32312 (java) S 32295 32297 30092 0 -1 4202560 2064 0 0 0 46 0 0 0 20 0 19 0 291438078 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095429593400 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32313] ppid=32295 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/32297/task/32313/stat : 32313 (java) S 32295 32297 30092 0 -1 4202560 2359 0 0 0 36 0 0 0 20 0 19 0 291438078 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095428540856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32314] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32314/stat : 32314 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095427487992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32315] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32315/stat : 32315 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095426435656 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32316] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32316/stat : 32316 (java) S 32295 32297 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291438115 9856004096 21672 33554432000 1073741824 1073778376 140735476186592 140095425381928 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 9625004 [startup+6.30067 s] /proc/loadavg: 2.02 2.04 2.00 3/213 32316 /proc/meminfo: memFree=26050740/32873844 swapFree=6088/6088 [pid=32297] ppid=32295 vsize=9625004 CPUtime=7.19 cores=1,3,5,7 /proc/32297/stat : 32297 (java) S 32295 32297 30092 0 -1 4202496 8229 0 1 0 715 4 0 0 20 0 19 0 291438072 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140735476177728 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32297/statm: 2406251 22351 2289 9 0 2396937 0 [pid=32297/tid=32299] ppid=32295 vsize=9625004 CPUtime=6.2 cores=1,3,5,7 /proc/32297/task/32299/stat : 32299 (java) R 32295 32297 30092 0 -1 4202560 2540 0 1 0 617 3 0 0 20 0 19 0 291438073 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095609643560 140095475428235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32300] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32300/stat : 32300 (java) S 32295 32297 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095598705576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32301] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32301/stat : 32301 (java) S 32295 32297 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095597653032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32302] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32302/stat : 32302 (java) S 32295 32297 30092 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095596599976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32303] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32303/stat : 32303 (java) S 32295 32297 30092 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095595547432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32304] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32304/stat : 32304 (java) S 32295 32297 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095594494376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32305] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32305/stat : 32305 (java) S 32295 32297 30092 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095593441832 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32306] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32306/stat : 32306 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095447054504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32307] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32307/stat : 32307 (java) S 32295 32297 30092 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291438074 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095446001960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32308] ppid=32295 vsize=9625004 CPUtime=0.04 cores=1,3,5,7 /proc/32297/task/32308/stat : 32308 (java) S 32295 32297 30092 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 291438075 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095433804648 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32309] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32309/stat : 32309 (java) S 32295 32297 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095432750968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32310] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32310/stat : 32310 (java) S 32295 32297 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095431697800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32311] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32311/stat : 32311 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095430646544 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32312] ppid=32295 vsize=9625004 CPUtime=0.48 cores=1,3,5,7 /proc/32297/task/32312/stat : 32312 (java) S 32295 32297 30092 0 -1 4202560 2064 0 0 0 48 0 0 0 20 0 19 0 291438078 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095429593400 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32313] ppid=32295 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/32297/task/32313/stat : 32313 (java) S 32295 32297 30092 0 -1 4202560 2360 0 0 0 39 0 0 0 20 0 19 0 291438078 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095428540856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32314] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32314/stat : 32314 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095427487992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32315] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32315/stat : 32315 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095426435656 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32316] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32316/stat : 32316 (java) S 32295 32297 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291438115 9856004096 22351 33554432000 1073741824 1073778376 140735476186592 140095425381928 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ /proc/32297/task/32300/stat : 32300 (java) S 32295 32297 30092 0 -1 4202560 75 0 0 0 87 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095598705576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32301] ppid=32295 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/32297/task/32301/stat : 32301 (java) S 32295 32297 30092 0 -1 4202560 81 0 0 0 89 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095597653032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32302] ppid=32295 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/32297/task/32302/stat : 32302 (java) S 32295 32297 30092 0 -1 4202560 95 0 0 0 89 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095596599976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32303] ppid=32295 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/32297/task/32303/stat : 32303 (java) S 32295 32297 30092 0 -1 4202560 89 0 0 0 81 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095595547432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32304] ppid=32295 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/32297/task/32304/stat : 32304 (java) S 32295 32297 30092 0 -1 4202560 161 0 0 0 88 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095594494376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32305] ppid=32295 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/32297/task/32305/stat : 32305 (java) S 32295 32297 30092 0 -1 4202560 107 0 0 0 88 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095593441832 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32306] ppid=32295 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/32297/task/32306/stat : 32306 (java) S 32295 32297 30092 0 -1 4202560 60 0 0 0 84 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095447054504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32307] ppid=32295 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/32297/task/32307/stat : 32307 (java) S 32295 32297 30092 0 -1 4202560 88 0 0 0 91 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095446001960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32308] ppid=32295 vsize=9625004 CPUtime=16.15 cores=1,3,5,7 /proc/32297/task/32308/stat : 32308 (java) S 32295 32297 30092 0 -1 4202560 129 0 0 0 1611 4 0 0 20 0 19 0 291438075 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095433804648 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32309] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32309/stat : 32309 (java) S 32295 32297 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095432750968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32310] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32310/stat : 32310 (java) S 32295 32297 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095431697800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32311] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32311/stat : 32311 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095430646544 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32312] ppid=32295 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/32297/task/32312/stat : 32312 (java) S 32295 32297 30092 0 -1 4202560 3587 0 0 0 71 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095429593400 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32313] ppid=32295 vsize=9625004 CPUtime=0.56 cores=1,3,5,7 /proc/32297/task/32313/stat : 32313 (java) S 32295 32297 30092 0 -1 4202560 3048 0 0 0 56 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095428540856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32314] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32314/stat : 32314 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095427487992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32315] ppid=32295 vsize=9625004 CPUtime=0.16 cores=1,3,5,7 /proc/32297/task/32315/stat : 32315 (java) S 32295 32297 30092 0 -1 4202560 63 0 0 0 8 8 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095426435656 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32316] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32316/stat : 32316 (java) S 32295 32297 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291438115 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095425381928 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1117.75 Current children cumulated vsize (KiB) 9625004 [startup+1113.5 s] /proc/loadavg: 2.00 2.00 2.00 3/214 32349 /proc/meminfo: memFree=25892412/32873844 swapFree=6088/6088 [pid=32297] ppid=32295 vsize=9625004 CPUtime=1119.37 cores=1,3,5,7 /proc/32297/stat : 32297 (java) S 32295 32297 30092 0 -1 4202496 11730 0 1 0 111911 26 0 0 20 0 19 0 291438072 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140735476177728 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32297/statm: 2406251 34774 2292 9 0 2396937 0 [pid=32297/tid=32299] ppid=32295 vsize=9625004 CPUtime=1094.73 cores=1,3,5,7 /proc/32297/task/32299/stat : 32299 (java) R 32295 32297 30092 0 -1 4202560 2966 0 1 0 109453 20 0 0 20 0 19 0 291438073 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095609643344 140095475201059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32300] ppid=32295 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/32297/task/32300/stat : 32300 (java) S 32295 32297 30092 0 -1 4202560 75 0 0 0 88 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095598705576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32301] ppid=32295 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/32297/task/32301/stat : 32301 (java) S 32295 32297 30092 0 -1 4202560 81 0 0 0 89 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095597653032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32302] ppid=32295 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/32297/task/32302/stat : 32302 (java) S 32295 32297 30092 0 -1 4202560 95 0 0 0 89 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095596599976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32303] ppid=32295 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/32297/task/32303/stat : 32303 (java) S 32295 32297 30092 0 -1 4202560 89 0 0 0 82 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095595547432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32304] ppid=32295 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/32297/task/32304/stat : 32304 (java) S 32295 32297 30092 0 -1 4202560 161 0 0 0 88 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095594494376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32305] ppid=32295 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/32297/task/32305/stat : 32305 (java) S 32295 32297 30092 0 -1 4202560 107 0 0 0 88 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095593441832 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32306] ppid=32295 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/32297/task/32306/stat : 32306 (java) S 32295 32297 30092 0 -1 4202560 60 0 0 0 85 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095447054504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32307] ppid=32295 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/32297/task/32307/stat : 32307 (java) S 32295 32297 30092 0 -1 4202560 88 0 0 0 91 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095446001960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32308] ppid=32295 vsize=9625004 CPUtime=16.19 cores=1,3,5,7 /proc/32297/task/32308/stat : 32308 (java) S 32295 32297 30092 0 -1 4202560 129 0 0 0 1615 4 0 0 20 0 19 0 291438075 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095433804648 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32309] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32309/stat : 32309 (java) S 32295 32297 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095432750968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32310] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32310/stat : 32310 (java) S 32295 32297 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095431697800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32311] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32311/stat : 32311 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095430646544 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32312] ppid=32295 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/32297/task/32312/stat : 32312 (java) S 32295 32297 30092 0 -1 4202560 3587 0 0 0 71 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095429593400 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32313] ppid=32295 vsize=9625004 CPUtime=0.56 cores=1,3,5,7 /proc/32297/task/32313/stat : 32313 (java) S 32295 32297 30092 0 -1 4202560 3048 0 0 0 56 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095428540856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32314] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32314/stat : 32314 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095427487992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32315] ppid=32295 vsize=9625004 CPUtime=0.16 cores=1,3,5,7 /proc/32297/task/32315/stat : 32315 (java) S 32295 32297 30092 0 -1 4202560 63 0 0 0 8 8 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095426435656 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32316] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32316/stat : 32316 (java) S 32295 32297 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291438115 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095425381928 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1119.37 Current children cumulated vsize (KiB) 9625004 [startup+1114.31 s] /proc/loadavg: 2.00 2.00 2.00 3/214 32349 /proc/meminfo: memFree=25892412/32873844 swapFree=6088/6088 [pid=32297] ppid=32295 vsize=9625004 CPUtime=1120.18 cores=1,3,5,7 /proc/32297/stat : 32297 (java) S 32295 32297 30092 0 -1 4202496 11733 0 1 0 111992 26 0 0 20 0 19 0 291438072 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140735476177728 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32297/statm: 2406251 34774 2292 9 0 2396937 0 [pid=32297/tid=32299] ppid=32295 vsize=9625004 CPUtime=1095.49 cores=1,3,5,7 /proc/32297/task/32299/stat : 32299 (java) R 32295 32297 30092 0 -1 4202560 2967 0 1 0 109529 20 0 0 20 0 19 0 291438073 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095609643344 140095475267090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32300] ppid=32295 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/32297/task/32300/stat : 32300 (java) S 32295 32297 30092 0 -1 4202560 75 0 0 0 88 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095598705576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32301] ppid=32295 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/32297/task/32301/stat : 32301 (java) S 32295 32297 30092 0 -1 4202560 81 0 0 0 89 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095597653032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32302] ppid=32295 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/32297/task/32302/stat : 32302 (java) S 32295 32297 30092 0 -1 4202560 95 0 0 0 89 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095596599976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32303] ppid=32295 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/32297/task/32303/stat : 32303 (java) S 32295 32297 30092 0 -1 4202560 89 0 0 0 82 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095595547432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32304] ppid=32295 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/32297/task/32304/stat : 32304 (java) S 32295 32297 30092 0 -1 4202560 161 0 0 0 88 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095594494376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32305] ppid=32295 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/32297/task/32305/stat : 32305 (java) S 32295 32297 30092 0 -1 4202560 107 0 0 0 88 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095593441832 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32306] ppid=32295 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/32297/task/32306/stat : 32306 (java) S 32295 32297 30092 0 -1 4202560 60 0 0 0 85 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095447054504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32307] ppid=32295 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/32297/task/32307/stat : 32307 (java) S 32295 32297 30092 0 -1 4202560 88 0 0 0 91 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095446001960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32308] ppid=32295 vsize=9625004 CPUtime=16.23 cores=1,3,5,7 /proc/32297/task/32308/stat : 32308 (java) S 32295 32297 30092 0 -1 4202560 129 0 0 0 1619 4 0 0 20 0 19 0 291438075 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095433804648 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32309] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32309/stat : 32309 (java) S 32295 32297 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095432750968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32310] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32310/stat : 32310 (java) S 32295 32297 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095431697800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32311] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32311/stat : 32311 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095430646544 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32312] ppid=32295 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/32297/task/32312/stat : 32312 (java) S 32295 32297 30092 0 -1 4202560 3587 0 0 0 71 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095429593400 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32313] ppid=32295 vsize=9625004 CPUtime=0.56 cores=1,3,5,7 /proc/32297/task/32313/stat : 32313 (java) S 32295 32297 30092 0 -1 4202560 3048 0 0 0 56 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095428540856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32314] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32314/stat : 32314 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095427487992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32315] ppid=32295 vsize=9625004 CPUtime=0.16 cores=1,3,5,7 /proc/32297/task/32315/stat : 32315 (java) S 32295 32297 30092 0 -1 4202560 65 0 0 0 8 8 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095426435656 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32316] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32316/stat : 32316 (java) S 32295 32297 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291438115 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095425381928 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1120.18 Current children cumulated vsize (KiB) 9625004 [startup+1114.7 s] /proc/loadavg: 2.00 2.00 2.00 3/214 32349 /proc/meminfo: memFree=25892412/32873844 swapFree=6088/6088 [pid=32297] ppid=32295 vsize=9625004 CPUtime=1120.57 cores=1,3,5,7 /proc/32297/stat : 32297 (java) S 32295 32297 30092 0 -1 4202496 11733 0 1 0 112031 26 0 0 20 0 19 0 291438072 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140735476177728 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32297/statm: 2406251 34774 2292 9 0 2396937 0 [pid=32297/tid=32299] ppid=32295 vsize=9625004 CPUtime=1095.88 cores=1,3,5,7 /proc/32297/task/32299/stat : 32299 (java) R 32295 32297 30092 0 -1 4202560 2967 0 1 0 109568 20 0 0 20 0 19 0 291438073 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095609643344 140095475386906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32300] ppid=32295 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/32297/task/32300/stat : 32300 (java) S 32295 32297 30092 0 -1 4202560 75 0 0 0 88 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095598705576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32301] ppid=32295 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/32297/task/32301/stat : 32301 (java) S 32295 32297 30092 0 -1 4202560 81 0 0 0 89 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095597653032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32302] ppid=32295 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/32297/task/32302/stat : 32302 (java) S 32295 32297 30092 0 -1 4202560 95 0 0 0 89 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095596599976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32303] ppid=32295 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/32297/task/32303/stat : 32303 (java) S 32295 32297 30092 0 -1 4202560 89 0 0 0 82 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095595547432 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32304] ppid=32295 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/32297/task/32304/stat : 32304 (java) S 32295 32297 30092 0 -1 4202560 161 0 0 0 88 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095594494376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32305] ppid=32295 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/32297/task/32305/stat : 32305 (java) S 32295 32297 30092 0 -1 4202560 107 0 0 0 88 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095593441832 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32306] ppid=32295 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/32297/task/32306/stat : 32306 (java) S 32295 32297 30092 0 -1 4202560 60 0 0 0 85 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095447054504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32307] ppid=32295 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/32297/task/32307/stat : 32307 (java) S 32295 32297 30092 0 -1 4202560 88 0 0 0 91 2 0 0 20 0 19 0 291438074 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095446001960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32308] ppid=32295 vsize=9625004 CPUtime=16.23 cores=1,3,5,7 /proc/32297/task/32308/stat : 32308 (java) S 32295 32297 30092 0 -1 4202560 129 0 0 0 1619 4 0 0 20 0 19 0 291438075 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095433804648 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32309] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32309/stat : 32309 (java) S 32295 32297 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095432750968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32310] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32310/stat : 32310 (java) S 32295 32297 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438076 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095431697800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32311] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32311/stat : 32311 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095430646544 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32312] ppid=32295 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/32297/task/32312/stat : 32312 (java) S 32295 32297 30092 0 -1 4202560 3587 0 0 0 71 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095429593400 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32297/tid=32313] ppid=32295 vsize=9625004 CPUtime=0.56 cores=1,3,5,7 /proc/32297/task/32313/stat : 32313 (java) S 32295 32297 30092 0 -1 4202560 3048 0 0 0 56 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095428540856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32297/tid=32314] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32314/stat : 32314 (java) S 32295 32297 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095427487992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32297/tid=32315] ppid=32295 vsize=9625004 CPUtime=0.16 cores=1,3,5,7 /proc/32297/task/32315/stat : 32315 (java) S 32295 32297 30092 0 -1 4202560 65 0 0 0 8 8 0 0 20 0 19 0 291438078 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095426435656 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32297/tid=32316] ppid=32295 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32297/task/32316/stat : 32316 (java) S 32295 32297 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291438115 9856004096 34774 33554432000 1073741824 1073778376 140735476186592 140095425381928 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1120.57 Current children cumulated vsize (KiB) 9625004 Child status: 30 Real time (s): 1114.76 CPU time (s): 1121.03 CPU user time (s): 1120.41 CPU system time (s): 0.621905 CPU usage (%): 100.563 Max. virtual memory (cumulated for all children) (KiB): 9625320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1120.41 system time used= 0.621905 maximum resident set size= 139140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11748 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 35042 involuntary context switches= 35596 runsolver used 3.9704 second user time and 8.96664 second system time The end
Begin job on node108 at 2012-05-29 02:58:15 IDJOB=3710484 IDBENCH=92718 IDSOLVER=2289 FILE ID=node108/3710484-1338253095 RUNJOBID= node108-1338240509-31238 PBS_JOBID= 14624630 Free space on /tmp= 71700 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_5_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-3710484-1338253095/watcher-3710484-1338253095 -o /tmp/evaluation-result-3710484-1338253095/solver-3710484-1338253095 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710484-1338253095.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c9af5fe7bf07241e6505789325302ea7 RANDOM SEED=1184562739 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: 26133108 kB Buffers: 338840 kB Cached: 4780396 kB SwapCached: 0 kB Active: 1520900 kB Inactive: 4417428 kB Active(anon): 818512 kB Inactive(anon): 0 kB Active(file): 702388 kB Inactive(file): 4417428 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1352 kB Writeback: 16 kB AnonPages: 826188 kB Mapped: 22420 kB Shmem: 200 kB Slab: 658056 kB SReclaimable: 100044 kB SUnreclaim: 558012 kB KernelStack: 1616 kB PageTables: 5664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1692176 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 778240 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= 71700 MiB End job on node108 at 2012-05-29 03:16:50