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 | 859.423 | 852.902 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_3_mh.opb |
| MD5SUM | cf07fc1cad99b0f245ba698ecbf7dcb2 |
| 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 | 4911296 |
| Best CPU time to get the best result obtained on this benchmark | 29.7485 |
| 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 | 68921000 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3789091617 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 68921000 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3789091617 |
| 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.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.01/0.08 c version 2.3.2.v20120418 0.01/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.08 c java.vm.version 19.1-b02 0.01/0.08 c java.vm.vendor Sun Microsystems Inc. 0.01/0.08 c sun.arch.data.model 64 0.01/0.08 c java.version 1.6.0_24 0.01/0.08 c os.name Linux 0.01/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.08 c os.arch amd64 0.01/0.08 c Free memory 501472288 0.01/0.08 c Max memory 7480803328 0.01/0.08 c Total memory 504102912 0.01/0.08 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@742808b3 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-3710482-1338252708.opb 0.09/0.12 c reading problem ... 0.70/0.42 c ... done. Wall clock time 0.302s. 0.70/0.42 c declared #vars 6810 0.70/0.42 c #constraints 15626 0.70/0.42 c constraints type 0.70/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 0.70/0.42 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 0.70/0.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.70/0.42 c ignored satisfied constraints => 3 0.70/0.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 0.70/0.42 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 0.70/0.42 c 15629 constraints processed. 2.77/2.09 c cleaning 2489 clauses out of 5002 with flag 5002/5002 4.27/3.42 c cleaning 4250 clauses out of 8511 with flag 11000/11000 5.57/4.76 c cleaning 5629 clauses out of 11261 with flag 18000/18000 7.28/6.45 c cleaning 6810 clauses out of 13632 with flag 26000/26000 8.13/7.21 c SATISFIABLE 8.13/7.21 c OPTIMIZING... 8.13/7.21 c Got one! Elapsed wall clock time (in seconds):7.086 8.13/7.21 o 116142550 8.83/7.72 c cleaning 6011 clauses out of 12037 with flag 3000/31215 9.73/8.66 c cleaning 6004 clauses out of 12024 with flag 9001/37216 10.94/9.84 c cleaning 6501 clauses out of 13019 with flag 16000/44215 12.06/10.95 c cleaning 7253 clauses out of 14517 with flag 24000/52215 13.36/12.22 c cleaning 8115 clauses out of 16264 with flag 33000/61215 14.56/13.50 c cleaning 9066 clauses out of 18149 with flag 43000/71215 16.17/15.07 c cleaning 10042 clauses out of 20086 with flag 54003/82218 16.88/15.76 c Got one! Elapsed wall clock time (in seconds):15.637 16.88/15.76 o 109278734 17.31/16.15 c cleaning 7865 clauses out of 15768 with flag 2001/87942 18.12/16.93 c cleaning 6943 clauses out of 13901 with flag 8000/93941 19.12/17.91 c cleaning 6963 clauses out of 13958 with flag 15000/100941 20.02/18.83 c cleaning 7489 clauses out of 14996 with flag 23001/108942 20.24/19.02 c Got one! Elapsed wall clock time (in seconds):18.897 20.24/19.02 o 104398019 20.90/19.66 c cleaning 6488 clauses out of 13002 with flag 4000/114437 22.11/20.83 c cleaning 6242 clauses out of 12514 with flag 10000/120437 23.33/22.06 c cleaning 6631 clauses out of 13273 with flag 17001/127438 24.43/23.15 c cleaning 7307 clauses out of 14641 with flag 25000/135437 25.63/24.32 c cleaning 8159 clauses out of 16334 with flag 34000/144437 26.64/25.38 c cleaning 9079 clauses out of 18175 with flag 44000/154437 28.05/26.71 c cleaning 10041 clauses out of 20098 with flag 55002/165439 29.86/28.60 c cleaning 11013 clauses out of 22040 with flag 67000/177437 32.07/30.71 c cleaning 12006 clauses out of 24031 with flag 80004/190441 32.46/31.18 c Got one! Elapsed wall clock time (in seconds):31.057 32.46/31.18 o 93542644 32.81/31.47 c cleaning 8607 clauses out of 17226 with flag 2000/195650 33.51/32.12 c cleaning 7288 clauses out of 14621 with flag 8002/201652 34.61/33.22 c cleaning 7148 clauses out of 14331 with flag 15000/208650 35.71/34.37 c cleaning 7585 clauses out of 15183 with flag 23000/216650 37.02/35.69 c cleaning 8289 clauses out of 16589 with flag 32002/225652 38.24/36.86 c cleaning 9138 clauses out of 18298 with flag 42000/235650 39.64/38.27 c cleaning 10064 clauses out of 20160 with flag 53000/246650 41.15/39.73 c Got one! Elapsed wall clock time (in seconds):39.614 41.15/39.73 o 93533879 41.47/40.01 c Got one! Elapsed wall clock time (in seconds):39.894 41.47/40.01 o 93506900 41.87/40.49 c cleaning 12433 clauses out of 24896 with flag 3000/261455 43.09/41.60 c cleaning 9222 clauses out of 18463 with flag 9000/267455 44.10/42.61 c cleaning 8110 clauses out of 16241 with flag 16000/274455 45.01/43.52 c cleaning 8052 clauses out of 16131 with flag 24000/282455 46.21/44.78 c cleaning 8535 clauses out of 17079 with flag 33000/291455 48.61/47.20 c cleaning 9266 clauses out of 18544 with flag 43000/301455 50.01/48.56 c cleaning 10130 clauses out of 20279 with flag 54001/312456 51.41/49.92 c cleaning 11075 clauses out of 22151 with flag 66003/324458 52.92/51.45 c cleaning 12021 clauses out of 24073 with flag 79000/337455 54.72/53.28 c cleaning 13017 clauses out of 26056 with flag 93004/351459 56.73/55.27 c cleaning 14007 clauses out of 28036 with flag 108001/366456 58.64/57.19 c cleaning 15003 clauses out of 30028 with flag 124000/382455 60.55/59.03 c cleaning 15996 clauses out of 32027 with flag 141002/399457 62.75/61.28 c cleaning 17006 clauses out of 34029 with flag 159000/417455 65.57/64.06 c cleaning 18010 clauses out of 36025 with flag 178002/436457 67.77/66.20 c cleaning 18995 clauses out of 38013 with flag 198000/456455 68.19/66.61 c Got one! Elapsed wall clock time (in seconds):66.491 68.19/66.61 o 93243861 68.50/66.95 c cleaning 12077 clauses out of 24180 with flag 2001/461617 69.31/67.72 c cleaning 9038 clauses out of 18102 with flag 8000/467616 70.01/68.47 c cleaning 8009 clauses out of 16064 with flag 15000/474616 70.95/69.33 c cleaning 8005 clauses out of 16055 with flag 23000/482616 71.96/70.31 c cleaning 8504 clauses out of 17050 with flag 32000/491616 72.95/71.36 c cleaning 9267 clauses out of 18546 with flag 42000/501616 74.46/72.84 c cleaning 10128 clauses out of 20279 with flag 53000/512616 76.28/74.65 c cleaning 11065 clauses out of 22151 with flag 65000/524616 78.29/76.69 c cleaning 12036 clauses out of 24086 with flag 78000/537616 80.59/78.93 c cleaning 13013 clauses out of 26050 with flag 92000/551616 82.49/80.86 c cleaning 13999 clauses out of 28037 with flag 107000/566616 85.40/83.70 c cleaning 15009 clauses out of 30038 with flag 123000/582616 88.82/87.18 c cleaning 16009 clauses out of 32030 with flag 140001/599617 91.22/89.55 c cleaning 16994 clauses out of 34020 with flag 158000/617616 93.43/91.78 c cleaning 18005 clauses out of 36027 with flag 177001/636617 95.63/93.97 c cleaning 19007 clauses out of 38025 with flag 197004/656620 98.25/96.57 c cleaning 19998 clauses out of 40014 with flag 218000/677616 102.07/100.36 c cleaning 21002 clauses out of 42016 with flag 240000/699616 102.89/101.16 c Got one! Elapsed wall clock time (in seconds):101.039 102.89/101.16 o 76430593 103.99/102.29 c cleaning 16391 clauses out of 32808 with flag 5001/711410 104.88/103.15 c cleaning 11174 clauses out of 22416 with flag 11000/717409 105.79/104.02 c cleaning 9080 clauses out of 18247 with flag 18005/724414 106.89/105.18 c cleaning 8532 clauses out of 17163 with flag 26001/732410 108.19/106.48 c cleaning 8802 clauses out of 17632 with flag 35002/741411 109.50/107.73 c cleaning 9391 clauses out of 18815 with flag 45000/751409 110.80/109.07 c cleaning 10204 clauses out of 20424 with flag 56000/762409 112.11/110.39 c cleaning 11099 clauses out of 22220 with flag 68000/774409 113.51/111.77 c cleaning 12048 clauses out of 24122 with flag 81001/787410 115.31/113.52 c cleaning 13032 clauses out of 26074 with flag 95001/801410 116.91/115.15 c cleaning 14013 clauses out of 28041 with flag 110000/816409 118.62/116.87 c cleaning 15008 clauses out of 30030 with flag 126002/832411 120.73/118.91 c cleaning 16000 clauses out of 32009 with flag 143000/849409 122.93/121.17 c cleaning 16986 clauses out of 33995 with flag 161000/867409 125.05/123.22 c cleaning 17993 clauses out of 36009 with flag 180000/886409 127.26/125.44 c cleaning 19003 clauses out of 38016 with flag 200000/906409 129.56/127.74 c cleaning 20000 clauses out of 40013 with flag 221000/927409 132.27/130.42 c cleaning 20998 clauses out of 41999 with flag 243000/949409 135.88/134.07 c cleaning 21986 clauses out of 43990 with flag 266000/972409 138.98/137.18 c cleaning 22995 clauses out of 46001 with flag 290002/996411 142.19/140.35 c cleaning 23995 clauses out of 48008 with flag 315004/1021413 146.50/144.65 c cleaning 25000 clauses out of 50015 with flag 341006/1047415 150.23/148.33 c cleaning 25987 clauses out of 52009 with flag 368000/1074409 154.66/152.79 c cleaning 27003 clauses out of 54027 with flag 396005/1102414 159.19/157.20 c cleaning 27997 clauses out of 56020 with flag 425001/1131410 162.60/160.62 c cleaning 29002 clauses out of 58015 with flag 455000/1161409 166.00/164.06 c cleaning 29990 clauses out of 60015 with flag 486002/1192411 169.72/167.78 c cleaning 31006 clauses out of 62023 with flag 518000/1224409 173.53/171.60 c cleaning 31995 clauses out of 64017 with flag 551000/1257409 178.23/176.21 c cleaning 32988 clauses out of 66022 with flag 585000/1291409 182.66/180.67 c cleaning 34009 clauses out of 68034 with flag 620000/1326409 188.38/186.38 c cleaning 34992 clauses out of 70026 with flag 656001/1362410 195.32/193.23 c cleaning 36011 clauses out of 72037 with flag 693004/1399413 200.77/198.64 c cleaning 36988 clauses out of 74024 with flag 731002/1437411 206.79/204.62 c cleaning 38014 clauses out of 76034 with flag 770000/1476409 212.21/210.01 c cleaning 38999 clauses out of 78022 with flag 810002/1516411 216.63/214.46 c Got one! Elapsed wall clock time (in seconds):214.342 216.63/214.46 o 75310003 217.23/215.03 c cleaning 38861 clauses out of 77736 with flag 5000/1555124 217.86/215.68 c cleaning 22417 clauses out of 44877 with flag 11002/1561126 218.77/216.50 c cleaning 14671 clauses out of 29458 with flag 18000/1568124 219.68/217.49 c cleaning 11327 clauses out of 22787 with flag 26000/1576124 220.88/218.61 c cleaning 10207 clauses out of 20460 with flag 35000/1585124 221.89/219.67 c cleaning 10115 clauses out of 20253 with flag 45000/1595124 223.10/220.83 c cleaning 10556 clauses out of 21140 with flag 56002/1606126 224.41/222.13 c cleaning 11277 clauses out of 22582 with flag 68000/1618124 225.81/223.57 c cleaning 12133 clauses out of 24305 with flag 81000/1631124 227.32/225.09 c cleaning 13081 clauses out of 26181 with flag 95009/1645133 229.93/227.68 c cleaning 14040 clauses out of 28091 with flag 110000/1660124 231.23/228.94 c Got one! Elapsed wall clock time (in seconds):228.818 231.23/228.94 o 61639161 231.93/229.67 c cleaning 13647 clauses out of 27309 with flag 5000/1673382 232.73/230.43 c cleaning 9806 clauses out of 19663 with flag 11001/1679383 233.54/231.22 c cleaning 8396 clauses out of 16856 with flag 18000/1686382 234.54/232.22 c cleaning 8211 clauses out of 16460 with flag 26000/1694382 235.56/233.28 c cleaning 8612 clauses out of 17249 with flag 35000/1703382 236.98/234.64 c cleaning 9294 clauses out of 18637 with flag 45000/1713382 238.98/236.69 c cleaning 10157 clauses out of 20326 with flag 56001/1724383 241.48/239.19 c cleaning 11077 clauses out of 22169 with flag 68001/1736383 244.30/241.91 c cleaning 12034 clauses out of 24091 with flag 81000/1749382 244.60/242.28 c Got one! Elapsed wall clock time (in seconds):242.157 244.60/242.28 o 61568835 245.20/242.80 c cleaning 8851 clauses out of 17748 with flag 4002/1755073 245.91/243.54 c cleaning 7417 clauses out of 14895 with flag 10000/1761071 246.72/244.32 c cleaning 7218 clauses out of 14479 with flag 17001/1768072 247.53/245.18 c cleaning 7610 clauses out of 15261 with flag 25001/1776072 248.54/246.19 c cleaning 8306 clauses out of 16652 with flag 34002/1785073 249.74/247.31 c cleaning 9166 clauses out of 18345 with flag 44001/1795072 250.96/248.56 c cleaning 10075 clauses out of 20178 with flag 55000/1806071 252.76/250.39 c cleaning 11039 clauses out of 22103 with flag 67000/1818071 254.96/252.55 c cleaning 12025 clauses out of 24065 with flag 80001/1831072 257.08/254.68 c cleaning 13013 clauses out of 26039 with flag 94000/1845071 259.68/257.27 c cleaning 14000 clauses out of 28026 with flag 109000/1860071 262.78/260.39 c cleaning 15006 clauses out of 30026 with flag 125000/1876071 266.29/263.89 c cleaning 15996 clauses out of 32020 with flag 142000/1893071 269.11/266.64 c cleaning 17001 clauses out of 34024 with flag 160000/1911071 272.13/269.62 c cleaning 18005 clauses out of 36023 with flag 179000/1930071 275.24/272.78 c cleaning 18999 clauses out of 38018 with flag 199000/1950071 278.66/276.15 c cleaning 20005 clauses out of 40020 with flag 220001/1971072 282.27/279.70 c cleaning 21006 clauses out of 42015 with flag 242001/1993072 285.90/283.39 c cleaning 21993 clauses out of 44008 with flag 265000/2016071 289.12/286.54 c cleaning 22997 clauses out of 46015 with flag 289000/2040071 292.25/289.65 c cleaning 24003 clauses out of 48022 with flag 314004/2065075 295.87/293.22 c cleaning 24994 clauses out of 50015 with flag 340000/2091071 300.19/297.57 c cleaning 25998 clauses out of 52022 with flag 367001/2118072 304.50/301.89 c cleaning 27006 clauses out of 54023 with flag 395000/2146071 308.31/305.69 c cleaning 28001 clauses out of 56020 with flag 424003/2175074 313.03/310.35 c cleaning 28997 clauses out of 58016 with flag 454000/2205071 317.25/314.59 c cleaning 30001 clauses out of 60019 with flag 485000/2236071 318.05/315.35 c Got one! Elapsed wall clock time (in seconds):315.233 318.05/315.35 o 41738998 318.95/316.27 c cleaning 20839 clauses out of 41715 with flag 5000/2247899 319.88/317.14 c cleaning 13423 clauses out of 26877 with flag 11001/2253900 320.70/317.99 c cleaning 10202 clauses out of 20454 with flag 18001/2260900 321.70/318.99 c cleaning 9107 clauses out of 18252 with flag 26001/2268900 322.70/319.93 c Got one! Elapsed wall clock time (in seconds):319.813 322.70/319.93 o 40843398 323.30/320.54 c cleaning 9946 clauses out of 19913 with flag 5003/2279752 324.01/321.24 c cleaning 7960 clauses out of 15964 with flag 11000/2285749 324.81/322.05 c cleaning 7478 clauses out of 15005 with flag 18001/2292750 325.82/323.06 c cleaning 7749 clauses out of 15526 with flag 26000/2300749 327.03/324.20 c cleaning 8375 clauses out of 16777 with flag 35000/2309749 328.23/325.47 c Got one! Elapsed wall clock time (in seconds):325.35 328.23/325.47 o 37464843 328.73/326.00 c cleaning 11578 clauses out of 23168 with flag 5001/2324524 329.46/326.66 c cleaning 8784 clauses out of 17591 with flag 11002/2330525 330.25/327.46 c cleaning 7897 clauses out of 15809 with flag 18004/2337527 331.06/328.29 c cleaning 7935 clauses out of 15908 with flag 26000/2345523 332.06/329.29 c cleaning 8478 clauses out of 16973 with flag 35000/2354523 333.38/330.54 c cleaning 9242 clauses out of 18496 with flag 45001/2364524 334.81/331.92 c cleaning 10119 clauses out of 20254 with flag 56001/2375524 336.52/333.60 c cleaning 11059 clauses out of 22134 with flag 68000/2387523 337.83/334.97 c cleaning 12025 clauses out of 24076 with flag 81001/2400524 339.34/336.43 c cleaning 13012 clauses out of 26052 with flag 95002/2414525 341.24/338.35 c cleaning 14014 clauses out of 28044 with flag 110006/2429529 343.76/340.81 c cleaning 15002 clauses out of 30024 with flag 126000/2445523 346.17/343.26 c cleaning 15999 clauses out of 32023 with flag 143001/2462524 348.99/346.01 c cleaning 17002 clauses out of 34026 with flag 161003/2480526 350.90/347.91 c Got one! Elapsed wall clock time (in seconds):347.79 350.90/347.91 o 36279356 351.50/348.50 c cleaning 16768 clauses out of 33556 with flag 5001/2497090 352.00/349.09 c cleaning 11372 clauses out of 22790 with flag 11003/2503092 352.82/349.87 c cleaning 9168 clauses out of 18415 with flag 18000/2510089 353.84/350.89 c cleaning 8603 clauses out of 17247 with flag 26000/2518089 354.87/351.89 c cleaning 8806 clauses out of 17644 with flag 35000/2527089 356.12/353.10 c cleaning 9405 clauses out of 18838 with flag 45000/2537089 357.42/354.35 c cleaning 10203 clauses out of 20437 with flag 56004/2548093 358.63/355.51 c cleaning 11100 clauses out of 22230 with flag 68000/2560089 359.96/356.86 c cleaning 12056 clauses out of 24130 with flag 81000/2573089 361.56/358.49 c cleaning 13020 clauses out of 26074 with flag 95000/2587089 363.28/360.11 c cleaning 14013 clauses out of 28054 with flag 110000/2602089 364.99/361.88 c cleaning 15008 clauses out of 30041 with flag 126000/2618089 366.90/363.75 c cleaning 15993 clauses out of 32034 with flag 143001/2635090 370.22/367.05 c cleaning 17015 clauses out of 34040 with flag 161000/2653089 372.33/369.12 c cleaning 18003 clauses out of 36026 with flag 180001/2672090 374.53/371.32 c cleaning 18997 clauses out of 38023 with flag 200001/2692090 377.04/373.84 c cleaning 20006 clauses out of 40025 with flag 221000/2713089 379.76/376.59 c cleaning 20988 clauses out of 42020 with flag 243001/2735090 382.96/379.73 c cleaning 21998 clauses out of 44031 with flag 266000/2758089 385.87/382.66 c cleaning 23008 clauses out of 46034 with flag 290001/2782090 388.98/385.71 c cleaning 23998 clauses out of 48025 with flag 315000/2807089 391.88/388.68 c cleaning 24987 clauses out of 50028 with flag 341001/2833090 395.30/392.09 c cleaning 26010 clauses out of 52040 with flag 368000/2860089 399.23/395.91 c cleaning 27002 clauses out of 54030 with flag 396000/2888089 403.55/400.21 c cleaning 28001 clauses out of 56028 with flag 425000/2917089 408.27/404.95 c cleaning 28996 clauses out of 58028 with flag 455001/2947090 413.09/409.75 c cleaning 30009 clauses out of 60031 with flag 486000/2978089 418.02/414.69 c cleaning 30994 clauses out of 62022 with flag 518000/3010089 423.33/419.91 c cleaning 31998 clauses out of 64029 with flag 551001/3043090 424.34/420.95 c Got one! Elapsed wall clock time (in seconds):420.827 424.34/420.95 o 9310709 425.04/421.67 c cleaning 21744 clauses out of 43513 with flag 5007/3054743 425.94/422.53 c cleaning 13865 clauses out of 27762 with flag 11000/3060736 426.75/423.39 c Got one! Elapsed wall clock time (in seconds):423.269 426.75/423.39 o 9307558 427.05/423.61 c Got one! Elapsed wall clock time (in seconds):423.487 427.05/423.61 o 9304509 427.74/424.35 c cleaning 12113 clauses out of 24267 with flag 4000/3071428 428.87/425.47 c cleaning 9062 clauses out of 18154 with flag 10000/3077428 430.19/426.76 c cleaning 8018 clauses out of 16092 with flag 17000/3084428 431.69/428.21 c cleaning 8015 clauses out of 16077 with flag 25003/3092431 433.31/429.83 c cleaning 8519 clauses out of 17059 with flag 34000/3101428 435.11/431.66 c cleaning 9253 clauses out of 18540 with flag 44000/3111428 437.12/433.67 c cleaning 10131 clauses out of 20287 with flag 55000/3122428 439.23/435.77 c cleaning 11070 clauses out of 22156 with flag 67000/3134428 441.73/438.23 c cleaning 12040 clauses out of 24089 with flag 80003/3147431 444.14/440.68 c cleaning 13009 clauses out of 26047 with flag 94001/3161429 446.86/443.38 c cleaning 14011 clauses out of 28037 with flag 109000/3176428 449.76/446.28 c cleaning 15003 clauses out of 30029 with flag 125003/3192431 452.98/449.40 c cleaning 16006 clauses out of 32024 with flag 142001/3209429 456.18/452.69 c cleaning 16995 clauses out of 34018 with flag 160001/3227429 459.79/456.29 c cleaning 18005 clauses out of 36022 with flag 179000/3246428 463.69/460.13 c cleaning 18998 clauses out of 38018 with flag 199001/3266429 467.41/463.89 c cleaning 19989 clauses out of 40019 with flag 220000/3287428 471.54/467.95 c cleaning 21004 clauses out of 42031 with flag 242001/3309429 475.96/472.32 c cleaning 22001 clauses out of 44026 with flag 265000/3332428 480.67/477.06 c cleaning 22998 clauses out of 46027 with flag 289002/3356430 485.08/481.46 c cleaning 23993 clauses out of 48027 with flag 314000/3381428 489.89/486.26 c cleaning 24030 clauses out of 48075 with flag 340000/3407428 493.79/490.12 c cleaning 25516 clauses out of 51046 with flag 367003/3434431 496.71/493.01 c Got one! Elapsed wall clock time (in seconds):492.888 496.71/493.01 o 7767330 497.31/493.63 c cleaning 26603 clauses out of 53212 with flag 5000/3462115 498.32/494.66 c cleaning 16286 clauses out of 32591 with flag 11001/3468116 499.53/495.87 c cleaning 11639 clauses out of 23306 with flag 18002/3475117 500.94/497.25 c cleaning 9824 clauses out of 19666 with flag 26001/3483116 502.54/498.86 c cleaning 9403 clauses out of 18841 with flag 35000/3492115 504.25/500.59 c cleaning 9699 clauses out of 19440 with flag 45002/3502117 506.38/502.62 c cleaning 10358 clauses out of 20735 with flag 56000/3513115 506.49/502.72 c Got one! Elapsed wall clock time (in seconds):502.604 506.49/502.72 o 7712763 506.49/502.75 c Got one! Elapsed wall clock time (in seconds):502.632 506.49/502.75 o 7682830 506.99/503.24 c cleaning 7892 clauses out of 15831 with flag 5000/3518583 507.61/503.86 c cleaning 6947 clauses out of 13939 with flag 11000/3524583 508.32/504.54 c cleaning 6967 clauses out of 13992 with flag 18000/3531583 509.14/505.30 c cleaning 7508 clauses out of 15029 with flag 26004/3539587 510.06/506.23 c cleaning 8247 clauses out of 16518 with flag 35001/3548584 511.06/507.24 c cleaning 8833 clauses out of 17694 with flag 45000/3558583 511.17/507.30 c Got one! Elapsed wall clock time (in seconds):507.179 511.17/507.30 o 7398383 511.27/507.47 c Got one! Elapsed wall clock time (in seconds):507.347 511.27/507.47 o 6599224 511.77/507.91 c cleaning 7189 clauses out of 14393 with flag 4003/3564120 512.39/508.54 c cleaning 6575 clauses out of 13207 with flag 10006/3570123 513.10/509.30 c cleaning 6805 clauses out of 13627 with flag 17001/3577118 514.09/510.28 c cleaning 7399 clauses out of 14821 with flag 25000/3585117 515.20/511.37 c cleaning 8188 clauses out of 16423 with flag 34001/3594118 516.41/512.60 c cleaning 9106 clauses out of 18235 with flag 44001/3604118 517.71/513.88 c cleaning 10053 clauses out of 20128 with flag 55000/3615117 519.41/515.52 c cleaning 11029 clauses out of 22075 with flag 67000/3627117 520.83/517.00 c cleaning 12019 clauses out of 24045 with flag 80000/3640117 522.53/518.65 c cleaning 13001 clauses out of 26027 with flag 94001/3654118 524.25/520.34 c cleaning 14002 clauses out of 28025 with flag 109000/3669117 526.15/522.28 c cleaning 15004 clauses out of 30023 with flag 125000/3685117 528.06/524.15 c cleaning 16002 clauses out of 32020 with flag 142001/3702118 530.06/526.16 c cleaning 16997 clauses out of 34017 with flag 160000/3720117 532.30/528.32 c cleaning 18002 clauses out of 36020 with flag 179000/3739117 532.91/528.90 c Got one! Elapsed wall clock time (in seconds):528.781 532.91/528.90 o 6543248 532.91/528.97 c Got one! Elapsed wall clock time (in seconds):528.847 532.91/528.97 o 6235864 533.15/529.16 c cleaning 11923 clauses out of 23872 with flag 1000/3744972 533.85/529.83 c Got one! Elapsed wall clock time (in seconds):529.712 533.85/529.83 o 5888965 533.85/529.87 c Got one! Elapsed wall clock time (in seconds):529.75 533.85/529.87 o 5629790 534.26/530.24 c cleaning 9031 clauses out of 18087 with flag 2000/3751110 535.36/531.32 c cleaning 7514 clauses out of 15058 with flag 8002/3757112 536.06/532.00 c Got one! Elapsed wall clock time (in seconds):531.884 536.06/532.00 o 5618581 536.37/532.37 c cleaning 6523 clauses out of 13094 with flag 2002/3762688 537.49/533.46 c cleaning 6265 clauses out of 12569 with flag 8000/3768686 538.69/534.67 c cleaning 6636 clauses out of 13305 with flag 15001/3775687 540.18/536.11 c cleaning 7320 clauses out of 14668 with flag 23000/3783686 541.79/537.73 c cleaning 8163 clauses out of 16348 with flag 32000/3792686 542.91/538.80 c Got one! Elapsed wall clock time (in seconds):538.684 542.91/538.80 o 5566721 543.81/539.72 c cleaning 9587 clauses out of 19173 with flag 5002/3803674 545.02/540.90 c cleaning 7774 clauses out of 15584 with flag 11000/3809672 546.33/542.26 c cleaning 7395 clauses out of 14813 with flag 18003/3816675 547.84/543.74 c cleaning 7704 clauses out of 15417 with flag 26002/3824674 549.55/545.45 c cleaning 8352 clauses out of 16712 with flag 35001/3833673 550.97/546.88 c Got one! Elapsed wall clock time (in seconds):546.757 550.97/546.88 o 5562282 551.87/547.76 c cleaning 10419 clauses out of 20861 with flag 5002/3846174 552.98/548.82 c cleaning 8212 clauses out of 16440 with flag 11000/3852172 554.29/550.15 c cleaning 7600 clauses out of 15229 with flag 18001/3859173 555.51/551.34 c Got one! Elapsed wall clock time (in seconds):551.221 555.51/551.34 o 5560492 556.42/552.25 c cleaning 9708 clauses out of 19430 with flag 5001/3870974 557.53/553.38 c cleaning 7854 clauses out of 15721 with flag 11000/3876973 558.82/554.67 c cleaning 7401 clauses out of 14869 with flag 18002/3883975 560.33/556.11 c cleaning 7707 clauses out of 15466 with flag 26000/3891973 561.94/557.73 c cleaning 8369 clauses out of 16760 with flag 35001/3900974 563.84/559.61 c cleaning 9173 clauses out of 18363 with flag 45000/3910973 565.84/561.67 c cleaning 10073 clauses out of 20191 with flag 56001/3921974 567.15/562.90 c Got one! Elapsed wall clock time (in seconds):562.778 567.15/562.90 o 5556434 568.05/563.81 c cleaning 10939 clauses out of 21890 with flag 5001/3933746 569.16/564.95 c cleaning 8466 clauses out of 16952 with flag 11002/3939747 570.46/566.22 c cleaning 7735 clauses out of 15484 with flag 18000/3946745 571.37/567.10 c Got one! Elapsed wall clock time (in seconds):566.977 571.37/567.10 o 5394398 571.47/567.28 c cleaning 6756 clauses out of 13523 with flag 1002/3952549 572.58/568.38 c cleaning 6371 clauses out of 12769 with flag 7004/3958551 573.89/569.65 c cleaning 6686 clauses out of 13394 with flag 14000/3965547 574.11/569.83 c Got one! Elapsed wall clock time (in seconds):569.708 574.11/569.83 o 5392214 575.01/570.74 c cleaning 6254 clauses out of 12515 with flag 5001/3971354 576.13/571.85 c cleaning 6122 clauses out of 12260 with flag 11000/3977353 576.55/572.23 c Got one! Elapsed wall clock time (in seconds):572.109 576.55/572.23 o 5373963 577.25/572.93 c cleaning 6049 clauses out of 12109 with flag 4000/3983324 578.35/574.02 c cleaning 6010 clauses out of 12060 with flag 10000/3989324 579.58/575.29 c cleaning 6519 clauses out of 13050 with flag 17000/3996324 581.08/576.79 c cleaning 7261 clauses out of 14531 with flag 25000/4004324 582.78/578.48 c cleaning 8118 clauses out of 16270 with flag 34000/4013324 584.01/579.68 c Got one! Elapsed wall clock time (in seconds):579.561 584.01/579.68 o 5275052 584.90/580.57 c cleaning 9830 clauses out of 19693 with flag 5001/4024865 586.02/581.67 c cleaning 7919 clauses out of 15862 with flag 11000/4030864 587.33/582.96 c cleaning 7457 clauses out of 14943 with flag 18000/4037864 587.68/583.23 c Got one! Elapsed wall clock time (in seconds):583.111 587.68/583.23 o 5268367 588.38/583.90 c cleaning 6353 clauses out of 12757 with flag 4000/4043135 589.28/584.88 c cleaning 6181 clauses out of 12404 with flag 10000/4049135 590.51/586.06 c cleaning 6600 clauses out of 13224 with flag 17001/4056136 591.91/587.42 c cleaning 7306 clauses out of 14623 with flag 25000/4064135 592.41/587.97 c Got one! Elapsed wall clock time (in seconds):587.845 592.41/587.97 o 5263425 592.91/588.42 c Got one! Elapsed wall clock time (in seconds):588.297 592.91/588.42 o 5260525 593.01/588.59 c cleaning 6916 clauses out of 13843 with flag 1000/4070661 594.13/589.68 c cleaning 6448 clauses out of 12929 with flag 7002/4076663 595.43/590.91 c cleaning 6726 clauses out of 13480 with flag 14001/4083662 596.85/592.33 c cleaning 7360 clauses out of 14754 with flag 22001/4091662 598.46/594.00 c cleaning 8186 clauses out of 16393 with flag 31000/4100661 600.36/595.80 c cleaning 9088 clauses out of 18207 with flag 41000/4110661 602.36/597.80 c cleaning 10047 clauses out of 20120 with flag 52001/4121662 604.47/599.98 c cleaning 11026 clauses out of 22072 with flag 64000/4133661 606.97/602.45 c cleaning 12014 clauses out of 24047 with flag 77001/4146662 609.58/605.06 c cleaning 13007 clauses out of 26033 with flag 91001/4160662 612.39/607.82 c cleaning 14010 clauses out of 28025 with flag 106000/4175661 614.81/610.29 c Got one! Elapsed wall clock time (in seconds):610.17 614.81/610.29 o 5176005 615.71/611.15 c cleaning 16338 clauses out of 32687 with flag 5000/4194347 616.82/612.22 c cleaning 11166 clauses out of 22352 with flag 11003/4200350 618.02/613.40 c cleaning 9088 clauses out of 18183 with flag 18000/4207347 619.43/614.86 c cleaning 8534 clauses out of 17095 with flag 26000/4215347 619.63/615.06 c Got one! Elapsed wall clock time (in seconds):614.939 619.63/615.06 o 5146085 620.13/615.53 c Got one! Elapsed wall clock time (in seconds):615.409 620.13/615.53 o 5142550 620.64/616.05 c cleaning 7627 clauses out of 15269 with flag 3000/4222055 621.25/616.64 c Got one! Elapsed wall clock time (in seconds):616.519 621.25/616.64 o 5122038 621.45/616.85 c Got one! Elapsed wall clock time (in seconds):616.734 621.45/616.85 o 5121601 621.66/617.05 c cleaning 6420 clauses out of 12884 with flag 1000/4227297 622.80/618.20 c cleaning 6219 clauses out of 12464 with flag 7000/4233297 624.23/619.53 c cleaning 6610 clauses out of 13245 with flag 14000/4240297 625.63/620.92 c Got one! Elapsed wall clock time (in seconds):620.796 625.63/620.92 o 5116226 625.63/620.94 c Got one! Elapsed wall clock time (in seconds):620.823 625.63/620.94 o 5105948 626.24/621.55 c Got one! Elapsed wall clock time (in seconds):621.427 626.24/621.55 o 5075152 626.63/621.91 c cleaning 9732 clauses out of 19491 with flag 2000/4253153 627.74/623.03 c cleaning 7874 clauses out of 15760 with flag 8001/4259154 628.95/624.28 c cleaning 7425 clauses out of 14885 with flag 15000/4266153 630.35/625.62 c cleaning 7718 clauses out of 15460 with flag 23000/4274153 631.86/627.19 c cleaning 8363 clauses out of 16742 with flag 32000/4283153 633.68/628.99 c cleaning 9180 clauses out of 18380 with flag 42001/4293154 635.78/631.04 c cleaning 10092 clauses out of 20199 with flag 53000/4304153 636.90/632.19 c Got one! Elapsed wall clock time (in seconds):632.074 636.90/632.19 o 5070721 637.90/633.11 c cleaning 10511 clauses out of 21044 with flag 5000/4315090 639.01/634.21 c cleaning 8251 clauses out of 16533 with flag 11000/4321090 640.23/635.47 c cleaning 7622 clauses out of 15285 with flag 18003/4328093 641.74/636.91 c cleaning 7823 clauses out of 15661 with flag 26001/4336091 643.25/638.48 c cleaning 8403 clauses out of 16840 with flag 35003/4345093 645.05/640.24 c cleaning 9198 clauses out of 18434 with flag 45000/4355090 646.97/642.15 c cleaning 10109 clauses out of 20237 with flag 56001/4366091 649.07/644.29 c cleaning 11041 clauses out of 22127 with flag 68000/4378090 651.37/646.57 c cleaning 12032 clauses out of 24086 with flag 81000/4391090 653.90/649.06 c cleaning 13014 clauses out of 26054 with flag 95000/4405090 656.71/651.80 c cleaning 14002 clauses out of 28041 with flag 110001/4420091 659.71/654.87 c cleaning 15006 clauses out of 30039 with flag 126001/4436091 662.93/658.08 c cleaning 15999 clauses out of 32033 with flag 143001/4453091 665.53/660.64 c Got one! Elapsed wall clock time (in seconds):660.521 665.53/660.64 o 5059978 666.23/661.34 c Got one! Elapsed wall clock time (in seconds):661.219 666.23/661.34 o 5055725 666.44/661.58 c cleaning 17893 clauses out of 35818 with flag 1003/4472875 667.58/662.68 c cleaning 11956 clauses out of 23922 with flag 7000/4478872 668.90/663.97 c cleaning 9463 clauses out of 18966 with flag 14000/4485872 670.30/665.38 c cleaning 8733 clauses out of 17507 with flag 22004/4493876 671.91/666.96 c cleaning 8867 clauses out of 17770 with flag 31000/4502872 673.71/668.79 c cleaning 9434 clauses out of 18905 with flag 41002/4512874 675.71/670.79 c cleaning 10229 clauses out of 20469 with flag 52000/4523872 676.74/671.71 c Got one! Elapsed wall clock time (in seconds):671.586 676.74/671.71 o 5037048 676.84/671.89 c cleaning 7230 clauses out of 14487 with flag 1001/4529709 677.84/672.88 c cleaning 6605 clauses out of 13257 with flag 7001/4535709 679.04/674.06 c cleaning 6811 clauses out of 13651 with flag 14000/4542708 680.45/675.41 c cleaning 7400 clauses out of 14841 with flag 22001/4550709 680.85/675.88 c Got one! Elapsed wall clock time (in seconds):675.758 680.85/675.88 o 5033103 681.35/676.39 c cleaning 6519 clauses out of 13091 with flag 3000/4556359 682.45/677.42 c cleaning 6266 clauses out of 12572 with flag 9000/4562359 683.66/678.65 c cleaning 6633 clauses out of 13306 with flag 16000/4569359 685.06/680.03 c cleaning 7328 clauses out of 14673 with flag 24000/4577359 686.56/681.56 c cleaning 8164 clauses out of 16346 with flag 33001/4586360 688.27/683.27 c cleaning 9079 clauses out of 18181 with flag 43000/4596359 690.17/685.12 c cleaning 10039 clauses out of 20102 with flag 54000/4607359 691.39/686.38 c Got one! Elapsed wall clock time (in seconds):686.255 691.39/686.38 o 5028902 692.28/687.26 c cleaning 11306 clauses out of 22624 with flag 5001/4619920 692.49/687.50 c Got one! Elapsed wall clock time (in seconds):687.379 692.49/687.50 o 5027485 693.19/688.16 c cleaning 8197 clauses out of 16427 with flag 4000/4625029 694.20/689.19 c cleaning 7105 clauses out of 14230 with flag 10000/4631029 695.50/690.45 c cleaning 7051 clauses out of 14125 with flag 17000/4638029 696.91/691.86 c cleaning 7525 clauses out of 15074 with flag 25000/4646029 698.50/693.45 c cleaning 8262 clauses out of 16549 with flag 34000/4655029 698.81/693.75 c Got one! Elapsed wall clock time (in seconds):693.629 698.81/693.75 o 5018934 699.41/694.40 c cleaning 6910 clauses out of 13834 with flag 4001/4660576 700.43/695.37 c Got one! Elapsed wall clock time (in seconds):695.25 700.43/695.37 o 5000569 701.34/696.21 c cleaning 8684 clauses out of 17389 with flag 5000/4671041 702.37/697.24 c cleaning 7351 clauses out of 14708 with flag 11003/4677044 703.58/698.48 c cleaning 7166 clauses out of 14355 with flag 18001/4684042 704.99/699.88 c cleaning 7580 clauses out of 15190 with flag 26002/4692043 706.60/701.45 c cleaning 8294 clauses out of 16608 with flag 35000/4701041 708.31/703.15 c cleaning 9149 clauses out of 18314 with flag 45000/4711041 710.25/705.05 c cleaning 10079 clauses out of 20166 with flag 56001/4722042 712.46/707.22 c cleaning 11031 clauses out of 22086 with flag 68000/4734041 714.87/709.63 c cleaning 12014 clauses out of 24055 with flag 81000/4747041 717.48/712.21 c cleaning 13008 clauses out of 26041 with flag 95000/4761041 720.08/714.81 c cleaning 13996 clauses out of 28033 with flag 110000/4776041 722.70/717.49 c cleaning 15002 clauses out of 30037 with flag 126000/4792041 725.61/720.35 c cleaning 15998 clauses out of 32035 with flag 143000/4809041 728.72/723.43 c cleaning 17000 clauses out of 34038 with flag 161001/4827042 732.16/726.82 c cleaning 18013 clauses out of 36039 with flag 180002/4846043 735.78/730.48 c cleaning 18998 clauses out of 38024 with flag 200000/4866041 739.70/734.35 c cleaning 19996 clauses out of 40026 with flag 221000/4887041 743.70/738.38 c cleaning 21000 clauses out of 42030 with flag 243000/4909041 746.31/740.96 c Got one! Elapsed wall clock time (in seconds):740.835 746.31/740.96 o 4995800 747.21/741.88 c cleaning 20267 clauses out of 40557 with flag 5001/4928568 748.32/742.97 c cleaning 13140 clauses out of 26289 with flag 11000/4934567 748.93/743.56 c Got one! Elapsed wall clock time (in seconds):743.442 748.93/743.56 o 4994480 749.23/743.89 c cleaning 9128 clauses out of 18270 with flag 2000/4939688 750.23/744.87 c cleaning 7557 clauses out of 15142 with flag 8000/4945688 751.44/746.01 c cleaning 7290 clauses out of 14588 with flag 15003/4952691 752.85/747.42 c cleaning 7634 clauses out of 15295 with flag 23000/4960688 754.35/748.94 c cleaning 8317 clauses out of 16661 with flag 32000/4969688 756.06/750.68 c cleaning 9161 clauses out of 18344 with flag 42000/4979688 757.96/752.59 c cleaning 10078 clauses out of 20183 with flag 53000/4990688 760.17/754.74 c cleaning 11042 clauses out of 22107 with flag 65002/5002690 762.47/757.05 c cleaning 12017 clauses out of 24065 with flag 78002/5015690 764.98/759.53 c cleaning 13013 clauses out of 26046 with flag 92000/5029688 765.18/759.70 c Got one! Elapsed wall clock time (in seconds):759.581 765.18/759.70 o 4992692 765.78/760.36 c Got one! Elapsed wall clock time (in seconds):760.241 765.78/760.36 o 4985042 766.18/760.72 c cleaning 9618 clauses out of 19267 with flag 2000/5036012 767.08/761.62 c Got one! Elapsed wall clock time (in seconds):761.497 767.08/761.62 o 4977436 767.28/761.82 c cleaning 7703 clauses out of 15419 with flag 1000/5041782 768.39/762.92 c cleaning 6396 clauses out of 12802 with flag 7000/5047782 769.31/763.82 c Got one! Elapsed wall clock time (in seconds):763.704 769.31/763.82 o 4971641 769.51/764.02 c Got one! Elapsed wall clock time (in seconds):763.905 769.51/764.02 o 4966975 770.11/764.63 c cleaning 8433 clauses out of 16879 with flag 4000/5058255 771.13/765.62 c cleaning 7211 clauses out of 14446 with flag 10000/5064255 771.33/765.87 c Got one! Elapsed wall clock time (in seconds):765.746 771.33/765.87 o 4959682 772.03/766.56 c cleaning 6218 clauses out of 12466 with flag 4000/5069486 773.15/767.60 c cleaning 6100 clauses out of 12249 with flag 10001/5075487 774.26/768.78 c cleaning 6559 clauses out of 13148 with flag 17000/5082486 775.68/770.14 c cleaning 7290 clauses out of 14589 with flag 25000/5090486 777.08/771.59 c Got one! Elapsed wall clock time (in seconds):771.467 777.08/771.59 o 4959460 777.88/772.39 c cleaning 10261 clauses out of 20553 with flag 5000/5103740 778.90/773.38 c cleaning 8136 clauses out of 16293 with flag 11001/5109741 780.10/774.52 c cleaning 7569 clauses out of 15157 with flag 18001/5116741 781.40/775.88 c cleaning 7781 clauses out of 15588 with flag 26001/5124741 782.91/777.36 c cleaning 8389 clauses out of 16806 with flag 35000/5133740 783.72/778.10 c Got one! Elapsed wall clock time (in seconds):777.98 783.72/778.10 o 4958168 783.82/778.26 c cleaning 6935 clauses out of 13887 with flag 1001/5139210 784.85/779.21 c cleaning 6467 clauses out of 12951 with flag 7000/5145209 786.09/780.41 c cleaning 6731 clauses out of 13484 with flag 14000/5152209 787.41/781.74 c cleaning 7373 clauses out of 14756 with flag 22003/5160212 788.92/783.25 c cleaning 8181 clauses out of 16380 with flag 31000/5169209 790.73/785.04 c cleaning 9089 clauses out of 18200 with flag 41001/5179210 792.56/786.88 c cleaning 10050 clauses out of 20110 with flag 52000/5190209 794.66/788.90 c cleaning 11019 clauses out of 22060 with flag 64000/5202209 794.78/789.09 c Got one! Elapsed wall clock time (in seconds):788.968 794.78/789.09 o 4956782 795.59/789.88 c cleaning 8435 clauses out of 16887 with flag 5003/5208055 796.71/790.90 c cleaning 7211 clauses out of 14449 with flag 11000/5214052 797.83/792.06 c cleaning 7111 clauses out of 14240 with flag 18002/5221054 799.26/793.40 c cleaning 7547 clauses out of 15127 with flag 26000/5229052 800.77/794.94 c cleaning 8282 clauses out of 16580 with flag 35000/5238052 801.99/796.12 c Got one! Elapsed wall clock time (in seconds):796.001 801.99/796.12 o 4947593 802.79/796.91 c cleaning 10146 clauses out of 20312 with flag 5001/5250066 803.71/797.89 c cleaning 8066 clauses out of 16166 with flag 11001/5256066 804.91/799.01 c cleaning 7533 clauses out of 15099 with flag 18000/5263065 806.21/800.31 c cleaning 7774 clauses out of 15566 with flag 26000/5271065 807.62/801.77 c cleaning 8382 clauses out of 16792 with flag 35000/5280065 809.33/803.40 c cleaning 9186 clauses out of 18413 with flag 45003/5290068 811.04/805.19 c cleaning 10099 clauses out of 20224 with flag 56000/5301065 813.04/807.11 c cleaning 11041 clauses out of 22125 with flag 68000/5313065 815.15/809.21 c cleaning 12038 clauses out of 24085 with flag 81001/5326066 817.56/811.69 c cleaning 13009 clauses out of 26046 with flag 95000/5340065 820.26/814.35 c cleaning 14008 clauses out of 28038 with flag 110001/5355066 820.89/814.91 c Got one! Elapsed wall clock time (in seconds):814.793 820.89/814.91 o 4940428 821.39/815.44 c cleaning 9867 clauses out of 19754 with flag 3002/5360790 822.41/816.47 c cleaning 7924 clauses out of 15886 with flag 9001/5366789 823.63/817.67 c cleaning 7467 clauses out of 14961 with flag 16000/5373788 825.04/819.01 c cleaning 7743 clauses out of 15494 with flag 24000/5381788 826.56/820.54 c cleaning 8368 clauses out of 16751 with flag 33000/5390788 828.26/822.23 c cleaning 9180 clauses out of 18383 with flag 43000/5400788 830.08/824.09 c cleaning 10091 clauses out of 20204 with flag 54001/5411789 832.10/826.08 c cleaning 11041 clauses out of 22112 with flag 66000/5423788 834.31/828.23 c cleaning 12026 clauses out of 24071 with flag 79000/5436788 836.73/830.62 c cleaning 13013 clauses out of 26046 with flag 93001/5450789 839.23/833.18 c cleaning 14012 clauses out of 28032 with flag 108000/5465788 841.34/835.29 c Got one! Elapsed wall clock time (in seconds):835.174 841.34/835.29 o 4938766 842.34/836.21 c cleaning 15335 clauses out of 30673 with flag 5000/5482441 843.46/837.31 c cleaning 10662 clauses out of 21339 with flag 11001/5488442 844.66/838.54 c cleaning 8826 clauses out of 17676 with flag 18000/5495441 845.38/839.29 c Got one! Elapsed wall clock time (in seconds):839.173 845.38/839.29 o 4934312 845.57/839.49 c cleaning 6965 clauses out of 13952 with flag 1001/5500543 846.68/840.52 c cleaning 6477 clauses out of 12986 with flag 7000/5506542 847.78/841.69 c cleaning 6738 clauses out of 13509 with flag 14000/5513542 849.18/843.05 c cleaning 7381 clauses out of 14772 with flag 22001/5521543 850.69/844.59 c cleaning 8190 clauses out of 16390 with flag 31000/5530542 852.49/846.32 c cleaning 9096 clauses out of 18200 with flag 41000/5540542 854.20/848.10 c Got one! Elapsed wall clock time (in seconds):847.979 854.20/848.10 o 4924608 855.10/848.97 c cleaning 10590 clauses out of 21186 with flag 5000/5555596 856.20/850.02 c cleaning 8288 clauses out of 16596 with flag 11000/5561596 857.31/851.17 c Got one! Elapsed wall clock time (in seconds):851.05 857.31/851.17 o 4920648 858.21/852.04 c cleaning 8979 clauses out of 17965 with flag 5003/5573186 858.62/852.47 c Got one! Elapsed wall clock time (in seconds):852.351 858.62/852.47 o 4912555 858.72/852.51 c Got one! Elapsed wall clock time (in seconds):852.395 858.72/852.51 o 4911296 859.02/852.88 c starts : 348 859.02/852.88 c conflicts : 5578273 859.02/852.88 c decisions : 10705627 859.02/852.88 c propagations : 865125516 859.02/852.88 c inspects : 4354932147 859.02/852.88 c shortcuts : 0 859.02/852.88 c learnt literals : 89 859.02/852.88 c learnt binary clauses : 887 859.02/852.88 c learnt ternary clauses : 5740 859.02/852.88 c learnt constraints : 5578183 859.02/852.88 c ignored constraints : 0 859.02/852.88 c root simplifications : 436 859.02/852.88 c removed literals (reason simplification) : 59261265 859.02/852.88 c reason swapping (by a shorter reason) : 0 859.02/852.88 c Calls to reduceDB : 451 859.02/852.88 c number of reductions to clauses (during analyze) : 0 859.02/852.88 c number of learned constraints concerned by reduction : 0 859.02/852.88 c number of learning phase by resolution : 0 859.02/852.88 c number of learning phase by cutting planes : 0 859.02/852.88 c speed (assignments/second) : 1014880.2274878848 859.02/852.88 c non guided choices 22000 859.02/852.88 c learnt constraints type 859.02/852.88 c constraints type 859.02/852.88 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 859.02/852.88 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 859.02/852.88 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 859.02/852.88 c ignored satisfied constraints => 3 859.02/852.88 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 859.02/852.88 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 859.02/852.88 c 15629 constraints processed. 859.02/852.88 s OPTIMUM FOUND 859.02/852.89 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 859.02/852.89 c objective function=4911296 859.02/852.89 c Total wall clock time (in seconds): 852.774
OK 4911296
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-3710482-1338252708/watcher-3710482-1338252708 -o /tmp/evaluation-result-3710482-1338252708/solver-3710482-1338252708 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710482-1338252708.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/193 1719 /proc/meminfo: memFree=29698972/32873844 swapFree=7108/7108 [pid=1719] ppid=1717 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/1719/stat : 1719 (java) D 1717 1719 31393 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291399333 9515008 182 33554432000 1073741824 1073778376 140734065555296 140734065546328 247064247989 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/1719/statm: 2323 182 140 9 0 71 0 [startup+0.0396369 s] /proc/loadavg: 2.00 2.00 2.00 3/193 1719 /proc/meminfo: memFree=29698972/32873844 swapFree=7108/7108 [pid=1719] ppid=1717 vsize=9225564 CPUtime=0.01 cores=1,3,5,7 /proc/1719/stat : 1719 (java) S 1717 1719 31393 0 -1 4202496 2971 0 1 0 1 0 0 0 20 0 13 0 291399333 9446977536 3671 33554432000 1073741824 1073778376 140735728585344 140735728576480 247067607101 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1719/statm: 2306390 3673 1667 9 0 2297091 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9225564 [startup+0.100338 s] /proc/loadavg: 2.00 2.00 2.00 3/193 1719 /proc/meminfo: memFree=29698972/32873844 swapFree=7108/7108 [pid=1719] ppid=1717 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/1719/stat : 1719 (java) S 1717 1719 31393 0 -1 4202496 4270 0 1 0 8 1 0 0 20 0 18 0 291399333 9787842560 5478 33554432000 1073741824 1073778376 140735728585344 140735728576480 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1719/statm: 2389610 5478 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.30029 s] /proc/loadavg: 2.00 2.00 2.00 3/193 1719 /proc/meminfo: memFree=29698972/32873844 swapFree=7108/7108 [pid=1719] ppid=1717 vsize=9558440 CPUtime=0.49 cores=1,3,5,7 /proc/1719/stat : 1719 (java) S 1717 1719 31393 0 -1 4202496 5517 0 1 0 48 1 0 0 20 0 18 0 291399333 9787842560 9744 33554432000 1073741824 1073778376 140735728585344 140735728576480 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1719/statm: 2389610 9744 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558440 [startup+0.700316 s] /proc/loadavg: 2.00 2.00 2.00 3/193 1719 /proc/meminfo: memFree=29698972/32873844 swapFree=7108/7108 [pid=1719] ppid=1717 vsize=9625004 CPUtime=1.39 cores=1,3,5,7 /proc/1719/stat : 1719 (java) S 1717 1719 31393 0 -1 4202496 8032 0 1 0 137 2 0 0 20 0 19 0 291399333 9856004096 18005 33554432000 1073741824 1073778376 140735728585344 140735728576480 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1719/statm: 2406251 18005 2258 9 0 2396937 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 9625004 [startup+1.50078 s] /proc/loadavg: 2.00 2.00 2.00 3/212 1738 /proc/meminfo: memFree=29636136/32873844 swapFree=7108/7108 [pid=1719] ppid=1717 vsize=9625004 CPUtime=2.26 cores=1,3,5,7 /proc/1719/stat : 1719 (java) S 1717 1719 31393 0 -1 4202496 8098 0 1 0 224 2 0 0 20 0 19 0 291399333 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140735728576480 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1719/statm: 2406251 18527 2264 9 0 2396937 0 [pid=1719/tid=1721] ppid=1717 vsize=9625004 CPUtime=1.47 cores=1,3,5,7 /proc/1719/task/1721/stat : 1721 (java) R 1717 1719 31393 0 -1 4202560 2529 0 1 0 145 2 0 0 20 0 19 0 291399334 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721666408856 140721534019352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1722] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1722/stat : 1722 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721655470248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1723] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1723/stat : 1723 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721654417704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1724] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1724/stat : 1724 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721653365160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1725] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1725/stat : 1725 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721652312616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1726] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1726/stat : 1726 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721505647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1727] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1727/stat : 1727 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721504594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1728] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1728/stat : 1728 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721503542184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1729] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1729/stat : 1729 (java) S 1717 1719 31393 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721502489640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1730] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1730/stat : 1730 (java) S 1717 1719 31393 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291399336 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721490290792 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1731] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1731/stat : 1731 (java) S 1717 1719 31393 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721489237112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1732] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1732/stat : 1732 (java) S 1717 1719 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721488184456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1733] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1733/stat : 1733 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721487133200 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1734] ppid=1717 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/1719/task/1734/stat : 1734 (java) S 1717 1719 31393 0 -1 4202560 1424 0 0 0 32 0 0 0 20 0 19 0 291399339 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721486080568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1735] ppid=1717 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/1719/task/1735/stat : 1735 (java) S 1717 1719 31393 0 -1 4202560 2950 0 0 0 45 0 0 0 20 0 19 0 291399339 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721485028024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1736] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1736/stat : 1736 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721483975672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1737] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1737/stat : 1737 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721482923336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1738] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1738/stat : 1738 (java) S 1717 1719 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291399377 9856004096 18527 33554432000 1073741824 1073778376 140735728585344 140721481868072 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 9625004 [startup+3.1006 s] /proc/loadavg: 2.00 2.00 2.00 6/212 1738 /proc/meminfo: memFree=29631040/32873844 swapFree=7108/7108 [pid=1719] ppid=1717 vsize=9625004 CPUtime=3.93 cores=1,3,5,7 /proc/1719/stat : 1719 (java) S 1717 1719 31393 0 -1 4202496 8369 0 1 0 390 3 0 0 20 0 19 0 291399333 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140735728576480 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1719/statm: 2406251 21642 2289 9 0 2396937 0 [pid=1719/tid=1721] ppid=1717 vsize=9625004 CPUtime=3.04 cores=1,3,5,7 /proc/1719/task/1721/stat : 1721 (java) R 1717 1719 31393 0 -1 4202560 2532 0 1 0 302 2 0 0 20 0 19 0 291399334 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721666408840 140721533975943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1722] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1722/stat : 1722 (java) S 1717 1719 31393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721655470248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1723] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1723/stat : 1723 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721654417704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1724] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1724/stat : 1724 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721653365160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1725] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1725/stat : 1725 (java) S 1717 1719 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721652312616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1726] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1726/stat : 1726 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721505647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1727] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1727/stat : 1727 (java) S 1717 1719 31393 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721504594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1728] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1728/stat : 1728 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721503542184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1729] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1729/stat : 1729 (java) S 1717 1719 31393 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721502489640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1730] ppid=1717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/1719/task/1730/stat : 1730 (java) S 1717 1719 31393 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 291399336 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721490290792 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1731] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1731/stat : 1731 (java) S 1717 1719 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721489237112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1732] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1732/stat : 1732 (java) S 1717 1719 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721488184456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1733] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1733/stat : 1733 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721487133200 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1734] ppid=1717 vsize=9625004 CPUtime=0.35 cores=1,3,5,7 /proc/1719/task/1734/stat : 1734 (java) S 1717 1719 31393 0 -1 4202560 1640 0 0 0 35 0 0 0 20 0 19 0 291399339 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721486080568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1735] ppid=1717 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/1719/task/1735/stat : 1735 (java) S 1717 1719 31393 0 -1 4202560 2954 0 0 0 47 0 0 0 20 0 19 0 291399339 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721485028024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1736] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1736/stat : 1736 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721483975672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1737] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1737/stat : 1737 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721482923336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1738] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1738/stat : 1738 (java) S 1717 1719 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291399377 9856004096 21642 33554432000 1073741824 1073778376 140735728585344 140721481868072 247067621289 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.30061 s] /proc/loadavg: 2.00 2.00 2.00 3/212 1738 /proc/meminfo: memFree=29617200/32873844 swapFree=7108/7108 [pid=1719] ppid=1717 vsize=9625004 CPUtime=7.18 cores=1,3,5,7 /proc/1719/stat : 1719 (java) S 1717 1719 31393 0 -1 4202496 8389 0 1 0 715 3 0 0 20 0 19 0 291399333 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140735728576480 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1719/statm: 2406251 22349 2289 9 0 2396937 0 [pid=1719/tid=1721] ppid=1717 vsize=9625004 CPUtime=6.2 cores=1,3,5,7 /proc/1719/task/1721/stat : 1721 (java) R 1717 1719 31393 0 -1 4202560 2535 0 1 0 618 2 0 0 20 0 19 0 291399334 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721666409000 140721533975929 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1722] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1722/stat : 1722 (java) S 1717 1719 31393 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721655470248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1723] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1723/stat : 1723 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721654417704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1724] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1724/stat : 1724 (java) S 1717 1719 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721653365160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1725] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1725/stat : 1725 (java) S 1717 1719 31393 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721652312616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1726] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1726/stat : 1726 (java) S 1717 1719 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721505647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1727] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1727/stat : 1727 (java) S 1717 1719 31393 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721504594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1728] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1728/stat : 1728 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721503542184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1729] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1729/stat : 1729 (java) S 1717 1719 31393 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291399335 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721502489640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1730] ppid=1717 vsize=9625004 CPUtime=0.04 cores=1,3,5,7 /proc/1719/task/1730/stat : 1730 (java) S 1717 1719 31393 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 291399336 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721490290792 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1731] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1731/stat : 1731 (java) S 1717 1719 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721489237112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1732] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1732/stat : 1732 (java) S 1717 1719 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721488184456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1733] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1733/stat : 1733 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721487133200 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1734] ppid=1717 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/1719/task/1734/stat : 1734 (java) S 1717 1719 31393 0 -1 4202560 1640 0 0 0 38 0 0 0 20 0 19 0 291399339 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721486080568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1735] ppid=1717 vsize=9625004 CPUtime=0.5 cores=1,3,5,7 /proc/1719/task/1735/stat : 1735 (java) S 1717 1719 31393 0 -1 4202560 2955 0 0 0 50 0 0 0 20 0 19 0 291399339 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721485028024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1736] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1736/stat : 1736 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721483975672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1737] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1737/stat : 1737 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721482923336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1738] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1738/stat : 1738 (java) S 1717 1719 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291399377 9856004096 22349 33554432000 1073741824 1073778376 140735728585344 140721481868072 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.18 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ /proc/1719/task/1722/stat : 1722 (java) S 1717 1719 31393 0 -1 4202560 76 0 0 0 90 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721655470248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1723] ppid=1717 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/1719/task/1723/stat : 1723 (java) S 1717 1719 31393 0 -1 4202560 73 0 0 0 90 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721654417704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1724] ppid=1717 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/1719/task/1724/stat : 1724 (java) S 1717 1719 31393 0 -1 4202560 49 0 0 0 84 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721653365160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1725] ppid=1717 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1719/task/1725/stat : 1725 (java) S 1717 1719 31393 0 -1 4202560 74 0 0 0 94 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721652312616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1726] ppid=1717 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/1719/task/1726/stat : 1726 (java) S 1717 1719 31393 0 -1 4202560 55 0 0 0 88 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721505647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1727] ppid=1717 vsize=9625004 CPUtime=0.88 cores=1,3,5,7 /proc/1719/task/1727/stat : 1727 (java) S 1717 1719 31393 0 -1 4202560 53 0 0 0 86 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721504594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1728] ppid=1717 vsize=9625004 CPUtime=0.89 cores=1,3,5,7 /proc/1719/task/1728/stat : 1728 (java) S 1717 1719 31393 0 -1 4202560 61 0 0 0 88 1 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721503542184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1729] ppid=1717 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/1719/task/1729/stat : 1729 (java) S 1717 1719 31393 0 -1 4202560 74 0 0 0 89 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721502489640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1730] ppid=1717 vsize=9625004 CPUtime=14.79 cores=1,3,5,7 /proc/1719/task/1730/stat : 1730 (java) S 1717 1719 31393 0 -1 4202560 111 0 0 0 1476 3 0 0 20 0 19 0 291399336 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721490290792 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1731] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1731/stat : 1731 (java) S 1717 1719 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721489237112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1732] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1732/stat : 1732 (java) S 1717 1719 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721488184456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1733] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1733/stat : 1733 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721487133200 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1734] ppid=1717 vsize=9625004 CPUtime=0.63 cores=1,3,5,7 /proc/1719/task/1734/stat : 1734 (java) S 1717 1719 31393 0 -1 4202560 4771 0 0 0 61 2 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721486080568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1735] ppid=1717 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/1719/task/1735/stat : 1735 (java) S 1717 1719 31393 0 -1 4202560 4428 0 0 0 75 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721485028024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1736] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1736/stat : 1736 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721483975672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1737] ppid=1717 vsize=9625004 CPUtime=0.14 cores=1,3,5,7 /proc/1719/task/1737/stat : 1737 (java) S 1717 1719 31393 0 -1 4202560 49 0 0 0 6 8 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721482923336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1738] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1738/stat : 1738 (java) S 1717 1719 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291399377 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721481868072 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 858.11 Current children cumulated vsize (KiB) 9625004 [startup+852.301 s] /proc/loadavg: 2.00 2.00 2.00 3/214 1768 /proc/meminfo: memFree=29526408/32873844 swapFree=7108/7108 [pid=1719] ppid=1717 vsize=9625004 CPUtime=858.52 cores=1,3,5,7 /proc/1719/stat : 1719 (java) S 1717 1719 31393 0 -1 4202496 14038 0 1 0 85824 28 0 0 20 0 19 0 291399333 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140735728576480 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1719/statm: 2406251 32746 2292 9 0 2396937 0 [pid=1719/tid=1721] ppid=1717 vsize=9625004 CPUtime=834.96 cores=1,3,5,7 /proc/1719/task/1721/stat : 1721 (java) R 1717 1719 31393 0 -1 4202560 2984 0 1 0 83480 16 0 0 20 0 19 0 291399334 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721666408904 140721533907348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1722] ppid=1717 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/1719/task/1722/stat : 1722 (java) S 1717 1719 31393 0 -1 4202560 76 0 0 0 90 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721655470248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1723] ppid=1717 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/1719/task/1723/stat : 1723 (java) S 1717 1719 31393 0 -1 4202560 73 0 0 0 90 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721654417704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1724] ppid=1717 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/1719/task/1724/stat : 1724 (java) S 1717 1719 31393 0 -1 4202560 49 0 0 0 84 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721653365160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1725] ppid=1717 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1719/task/1725/stat : 1725 (java) S 1717 1719 31393 0 -1 4202560 74 0 0 0 94 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721652312616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1726] ppid=1717 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/1719/task/1726/stat : 1726 (java) S 1717 1719 31393 0 -1 4202560 55 0 0 0 88 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721505647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1727] ppid=1717 vsize=9625004 CPUtime=0.88 cores=1,3,5,7 /proc/1719/task/1727/stat : 1727 (java) S 1717 1719 31393 0 -1 4202560 53 0 0 0 86 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721504594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1728] ppid=1717 vsize=9625004 CPUtime=0.89 cores=1,3,5,7 /proc/1719/task/1728/stat : 1728 (java) S 1717 1719 31393 0 -1 4202560 61 0 0 0 88 1 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721503542184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1729] ppid=1717 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/1719/task/1729/stat : 1729 (java) S 1717 1719 31393 0 -1 4202560 74 0 0 0 89 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721502489640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1730] ppid=1717 vsize=9625004 CPUtime=14.83 cores=1,3,5,7 /proc/1719/task/1730/stat : 1730 (java) S 1717 1719 31393 0 -1 4202560 111 0 0 0 1480 3 0 0 20 0 19 0 291399336 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721490290792 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1731] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1731/stat : 1731 (java) S 1717 1719 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721489237112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1732] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1732/stat : 1732 (java) S 1717 1719 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721488184456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1733] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1733/stat : 1733 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721487133200 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1734] ppid=1717 vsize=9625004 CPUtime=0.63 cores=1,3,5,7 /proc/1719/task/1734/stat : 1734 (java) S 1717 1719 31393 0 -1 4202560 4771 0 0 0 61 2 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721486080568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1735] ppid=1717 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/1719/task/1735/stat : 1735 (java) S 1717 1719 31393 0 -1 4202560 4428 0 0 0 75 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721485028024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1736] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1736/stat : 1736 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721483975672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1737] ppid=1717 vsize=9625004 CPUtime=0.14 cores=1,3,5,7 /proc/1719/task/1737/stat : 1737 (java) S 1717 1719 31393 0 -1 4202560 49 0 0 0 6 8 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721482923336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1738] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1738/stat : 1738 (java) S 1717 1719 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291399377 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721481868072 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 858.52 Current children cumulated vsize (KiB) 9625004 [startup+852.701 s] /proc/loadavg: 2.00 2.00 2.00 3/214 1768 /proc/meminfo: memFree=29526408/32873844 swapFree=7108/7108 [pid=1719] ppid=1717 vsize=9625004 CPUtime=858.92 cores=1,3,5,7 /proc/1719/stat : 1719 (java) S 1717 1719 31393 0 -1 4202496 14038 0 1 0 85864 28 0 0 20 0 19 0 291399333 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140735728576480 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1719/statm: 2406251 32746 2292 9 0 2396937 0 [pid=1719/tid=1721] ppid=1717 vsize=9625004 CPUtime=835.36 cores=1,3,5,7 /proc/1719/task/1721/stat : 1721 (java) R 1717 1719 31393 0 -1 4202560 2984 0 1 0 83520 16 0 0 20 0 19 0 291399334 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721666400704 140721533882845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1722] ppid=1717 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/1719/task/1722/stat : 1722 (java) S 1717 1719 31393 0 -1 4202560 76 0 0 0 90 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721655470248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1723] ppid=1717 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/1719/task/1723/stat : 1723 (java) S 1717 1719 31393 0 -1 4202560 73 0 0 0 90 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721654417704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1724] ppid=1717 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/1719/task/1724/stat : 1724 (java) S 1717 1719 31393 0 -1 4202560 49 0 0 0 84 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721653365160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1725] ppid=1717 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1719/task/1725/stat : 1725 (java) S 1717 1719 31393 0 -1 4202560 74 0 0 0 94 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721652312616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1726] ppid=1717 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/1719/task/1726/stat : 1726 (java) S 1717 1719 31393 0 -1 4202560 55 0 0 0 88 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721505647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1727] ppid=1717 vsize=9625004 CPUtime=0.88 cores=1,3,5,7 /proc/1719/task/1727/stat : 1727 (java) S 1717 1719 31393 0 -1 4202560 53 0 0 0 86 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721504594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1728] ppid=1717 vsize=9625004 CPUtime=0.89 cores=1,3,5,7 /proc/1719/task/1728/stat : 1728 (java) S 1717 1719 31393 0 -1 4202560 61 0 0 0 88 1 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721503542184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1729] ppid=1717 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/1719/task/1729/stat : 1729 (java) S 1717 1719 31393 0 -1 4202560 74 0 0 0 89 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721502489640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1730] ppid=1717 vsize=9625004 CPUtime=14.83 cores=1,3,5,7 /proc/1719/task/1730/stat : 1730 (java) S 1717 1719 31393 0 -1 4202560 111 0 0 0 1480 3 0 0 20 0 19 0 291399336 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721490290792 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1731] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1731/stat : 1731 (java) S 1717 1719 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721489237112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1732] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1732/stat : 1732 (java) S 1717 1719 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721488184456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1733] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1733/stat : 1733 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721487133200 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1734] ppid=1717 vsize=9625004 CPUtime=0.63 cores=1,3,5,7 /proc/1719/task/1734/stat : 1734 (java) S 1717 1719 31393 0 -1 4202560 4771 0 0 0 61 2 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721486080568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1735] ppid=1717 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/1719/task/1735/stat : 1735 (java) S 1717 1719 31393 0 -1 4202560 4428 0 0 0 75 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721485028024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1736] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1736/stat : 1736 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721483975672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1737] ppid=1717 vsize=9625004 CPUtime=0.14 cores=1,3,5,7 /proc/1719/task/1737/stat : 1737 (java) S 1717 1719 31393 0 -1 4202560 49 0 0 0 6 8 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721482923336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1738] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1738/stat : 1738 (java) S 1717 1719 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291399377 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721481868072 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 858.92 Current children cumulated vsize (KiB) 9625004 [startup+852.801 s] /proc/loadavg: 2.00 2.00 2.00 3/214 1768 /proc/meminfo: memFree=29526408/32873844 swapFree=7108/7108 [pid=1719] ppid=1717 vsize=9625004 CPUtime=859.02 cores=1,3,5,7 /proc/1719/stat : 1719 (java) S 1717 1719 31393 0 -1 4202496 14038 0 1 0 85874 28 0 0 20 0 19 0 291399333 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140735728576480 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1719/statm: 2406251 32746 2292 9 0 2396937 0 [pid=1719/tid=1721] ppid=1717 vsize=9625004 CPUtime=835.46 cores=1,3,5,7 /proc/1719/task/1721/stat : 1721 (java) R 1717 1719 31393 0 -1 4202560 2984 0 1 0 83530 16 0 0 20 0 19 0 291399334 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721666400704 140721533852690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1722] ppid=1717 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/1719/task/1722/stat : 1722 (java) S 1717 1719 31393 0 -1 4202560 76 0 0 0 90 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721655470248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1723] ppid=1717 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/1719/task/1723/stat : 1723 (java) S 1717 1719 31393 0 -1 4202560 73 0 0 0 90 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721654417704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1724] ppid=1717 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/1719/task/1724/stat : 1724 (java) S 1717 1719 31393 0 -1 4202560 49 0 0 0 84 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721653365160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1719/tid=1725] ppid=1717 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1719/task/1725/stat : 1725 (java) S 1717 1719 31393 0 -1 4202560 74 0 0 0 94 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721652312616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1726] ppid=1717 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/1719/task/1726/stat : 1726 (java) S 1717 1719 31393 0 -1 4202560 55 0 0 0 88 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721505647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1727] ppid=1717 vsize=9625004 CPUtime=0.88 cores=1,3,5,7 /proc/1719/task/1727/stat : 1727 (java) S 1717 1719 31393 0 -1 4202560 53 0 0 0 86 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721504594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1728] ppid=1717 vsize=9625004 CPUtime=0.89 cores=1,3,5,7 /proc/1719/task/1728/stat : 1728 (java) S 1717 1719 31393 0 -1 4202560 61 0 0 0 88 1 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721503542184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1729] ppid=1717 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/1719/task/1729/stat : 1729 (java) S 1717 1719 31393 0 -1 4202560 74 0 0 0 89 2 0 0 20 0 19 0 291399335 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721502489640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1730] ppid=1717 vsize=9625004 CPUtime=14.83 cores=1,3,5,7 /proc/1719/task/1730/stat : 1730 (java) S 1717 1719 31393 0 -1 4202560 111 0 0 0 1480 3 0 0 20 0 19 0 291399336 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721490290792 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1731] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1731/stat : 1731 (java) S 1717 1719 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721489237112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1732] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1732/stat : 1732 (java) S 1717 1719 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291399337 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721488184456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1733] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1733/stat : 1733 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721487133200 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1734] ppid=1717 vsize=9625004 CPUtime=0.63 cores=1,3,5,7 /proc/1719/task/1734/stat : 1734 (java) S 1717 1719 31393 0 -1 4202560 4771 0 0 0 61 2 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721486080568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1719/tid=1735] ppid=1717 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/1719/task/1735/stat : 1735 (java) S 1717 1719 31393 0 -1 4202560 4428 0 0 0 75 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721485028024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1736] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1736/stat : 1736 (java) S 1717 1719 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721483975672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1719/tid=1737] ppid=1717 vsize=9625004 CPUtime=0.14 cores=1,3,5,7 /proc/1719/task/1737/stat : 1737 (java) S 1717 1719 31393 0 -1 4202560 49 0 0 0 6 8 0 0 20 0 19 0 291399339 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721482923336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1719/tid=1738] ppid=1717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1719/task/1738/stat : 1738 (java) S 1717 1719 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291399377 9856004096 32746 33554432000 1073741824 1073778376 140735728585344 140721481868072 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 859.02 Current children cumulated vsize (KiB) 9625004 Child status: 30 Real time (s): 852.902 CPU time (s): 859.423 CPU user time (s): 858.841 CPU system time (s): 0.581911 CPU usage (%): 100.765 Max. virtual memory (cumulated for all children) (KiB): 9625320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 858.841 system time used= 0.581911 maximum resident set size= 131776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14058 page faults= 1 swaps= 0 block input operations= 0 block output operations= 872 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30091 involuntary context switches= 25770 runsolver used 1.9567 second user time and 4.75428 second system time The end
Begin job on node103 at 2012-05-29 02:51:48 IDJOB=3710482 IDBENCH=92714 IDSOLVER=2289 FILE ID=node103/3710482-1338252708 RUNJOBID= node103-1338248899-1285 PBS_JOBID= 14624635 Free space on /tmp= 71528 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_3_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-3710482-1338252708/watcher-3710482-1338252708 -o /tmp/evaluation-result-3710482-1338252708/solver-3710482-1338252708 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710482-1338252708.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cf07fc1cad99b0f245ba698ecbf7dcb2 RANDOM SEED=1860333583 node103.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.189 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.37 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.189 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.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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.189 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.189 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 : 5411.36 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.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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: 29698864 kB Buffers: 747372 kB Cached: 691620 kB SwapCached: 4492 kB Active: 1875704 kB Inactive: 386088 kB Active(anon): 810336 kB Inactive(anon): 6216 kB Active(file): 1065368 kB Inactive(file): 379872 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67099580 kB Dirty: 820 kB Writeback: 0 kB AnonPages: 895768 kB Mapped: 19840 kB Shmem: 8 kB Slab: 770576 kB SReclaimable: 212520 kB SUnreclaim: 558056 kB KernelStack: 1752 kB PageTables: 5368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1689436 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 854016 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= 71528 MiB End job on node103 at 2012-05-29 03:06:01