Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | OPT | 710.67 | 707.023 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_5_mh_ic.opb |
| MD5SUM | 2c36639357988247c648b63af301f230 |
| 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 | 2814188 |
| Best CPU time to get the best result obtained on this benchmark | 710.67 |
| 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 | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 90518849 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4575401133 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 90518849 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4575401133 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.06/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.09 c See www.sat4j.org for details. 0.06/0.10 c version 2.3.2.v20120418 0.06/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.10 c java.vm.version 19.1-b02 0.06/0.10 c java.vm.vendor Sun Microsystems Inc. 0.06/0.10 c sun.arch.data.model 64 0.06/0.10 c java.version 1.6.0_24 0.06/0.10 c os.name Linux 0.06/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.10 c os.arch amd64 0.06/0.10 c Free memory 501472288 0.06/0.10 c Max memory 7480803328 0.06/0.10 c Total memory 504102912 0.06/0.10 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization by upper bound 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3690037-1337895364.opb 0.10/0.12 c reading problem ... 0.69/0.47 c ... done. Wall clock time 0.347s. 0.69/0.47 c declared #vars 9765 0.69/0.47 c #constraints 21927 0.69/0.47 c constraints type 0.69/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.69/0.47 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.69/0.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.69/0.47 c ignored satisfied constraints => 4 0.69/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.69/0.47 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.69/0.47 c 21931 constraints processed. 0.69/0.47 c objective function length is 4005 literals 1.31/0.78 c SATISFIABLE 1.31/0.78 c OPTIMIZING... 1.31/0.78 c Got one! Elapsed wall clock time (in seconds):0.657 1.31/0.78 o 13785343 1.45/0.86 c Got one! Elapsed wall clock time (in seconds):0.741 1.45/0.86 o 11929927 2.83/1.97 c cleaning 2674 clauses out of 5360 with flag 5002/5362 3.51/2.55 c Got one! Elapsed wall clock time (in seconds):2.43 3.51/2.55 o 8239053 3.51/2.59 c Got one! Elapsed wall clock time (in seconds):2.465 3.51/2.59 o 3565070 4.13/3.06 c cleaning 3957 clauses out of 7918 with flag 2002/10601 4.86/3.71 c Got one! Elapsed wall clock time (in seconds):3.591 4.86/3.71 o 3528382 5.50/4.35 c cleaning 4825 clauses out of 9657 with flag 3001/16297 6.90/5.73 c cleaning 5412 clauses out of 10831 with flag 9000/22296 7.56/6.33 c Got one! Elapsed wall clock time (in seconds):6.213 7.56/6.33 o 3527424 8.06/6.80 c cleaning 5478 clauses out of 10974 with flag 3001/27851 9.47/8.20 c cleaning 5744 clauses out of 11496 with flag 9001/33851 10.37/9.11 c Got one! Elapsed wall clock time (in seconds):8.991 10.37/9.11 o 3517318 10.67/9.46 c cleaning 5719 clauses out of 11438 with flag 2001/39537 11.87/10.65 c cleaning 5859 clauses out of 11719 with flag 8001/45537 12.39/11.11 c Got one! Elapsed wall clock time (in seconds):10.988 12.39/11.11 o 3445236 12.39/11.16 c Got one! Elapsed wall clock time (in seconds):11.04 12.39/11.16 o 3290166 13.19/11.94 c cleaning 5970 clauses out of 11967 with flag 4001/51644 14.71/13.42 c cleaning 5992 clauses out of 11996 with flag 10000/57643 15.91/14.68 c Got one! Elapsed wall clock time (in seconds):14.556 15.91/14.68 o 3250288 16.11/14.89 c Got one! Elapsed wall clock time (in seconds):14.767 16.11/14.89 o 3244803 16.91/15.64 c Got one! Elapsed wall clock time (in seconds):15.514 16.91/15.64 o 3201488 17.31/16.04 c cleaning 9074 clauses out of 18186 with flag 2000/69825 17.64/16.30 c Got one! Elapsed wall clock time (in seconds):16.177 17.64/16.30 o 3134898 17.85/16.52 c Got one! Elapsed wall clock time (in seconds):16.403 17.85/16.52 o 3084707 18.54/17.23 c cleaning 7182 clauses out of 14400 with flag 3000/75113 20.06/18.74 c cleaning 6601 clauses out of 13216 with flag 9000/81113 21.59/20.27 c cleaning 6799 clauses out of 13613 with flag 16000/88113 23.41/22.02 c cleaning 7403 clauses out of 14816 with flag 24002/96115 25.40/24.09 c cleaning 8203 clauses out of 16414 with flag 33003/105116 27.71/26.34 c cleaning 9096 clauses out of 18209 with flag 43001/115114 30.21/28.89 c cleaning 10043 clauses out of 20112 with flag 54000/126113 33.01/31.69 c cleaning 11031 clauses out of 22069 with flag 66000/138113 36.02/34.69 c cleaning 12019 clauses out of 24038 with flag 79000/151113 39.22/37.86 c cleaning 13005 clauses out of 26019 with flag 93000/165113 42.55/41.15 c cleaning 14002 clauses out of 28014 with flag 108000/180113 46.38/44.90 c cleaning 14997 clauses out of 30012 with flag 124000/196113 49.99/48.53 c cleaning 16000 clauses out of 32015 with flag 141000/213113 54.20/52.72 c cleaning 17006 clauses out of 34017 with flag 159002/231115 58.10/56.67 c cleaning 17999 clauses out of 36009 with flag 178000/250113 62.92/61.48 c cleaning 19000 clauses out of 38011 with flag 198001/270114 67.84/66.32 c cleaning 20003 clauses out of 40010 with flag 219000/291113 72.97/71.45 c cleaning 20995 clauses out of 42007 with flag 241000/313113 78.38/76.81 c cleaning 21989 clauses out of 44013 with flag 264001/336114 84.11/82.57 c cleaning 23010 clauses out of 46023 with flag 288000/360113 90.35/88.78 c cleaning 23983 clauses out of 48014 with flag 313001/385114 96.57/94.94 c cleaning 25002 clauses out of 50030 with flag 339001/411114 102.52/100.88 c cleaning 26008 clauses out of 52028 with flag 366001/438114 103.73/102.05 c Got one! Elapsed wall clock time (in seconds):101.924 103.73/102.05 o 3074089 104.83/103.10 c cleaning 18543 clauses out of 37109 with flag 5001/449203 106.33/104.60 c cleaning 12259 clauses out of 24565 with flag 11000/455202 107.85/106.19 c cleaning 9635 clauses out of 19306 with flag 18000/462202 109.56/107.87 c cleaning 8804 clauses out of 17672 with flag 26001/470203 111.66/109.91 c cleaning 8909 clauses out of 17867 with flag 35000/479202 113.75/112.02 c cleaning 9476 clauses out of 18958 with flag 45000/489202 116.06/114.37 c cleaning 10230 clauses out of 20482 with flag 56000/500202 118.66/116.94 c cleaning 11115 clauses out of 22254 with flag 68002/512204 121.46/119.79 c cleaning 12063 clauses out of 24138 with flag 81001/525203 124.88/123.16 c cleaning 13026 clauses out of 26074 with flag 95000/539202 125.98/124.21 c Got one! Elapsed wall clock time (in seconds):124.082 125.98/124.21 o 3069925 126.22/124.42 c cleaning 9293 clauses out of 18605 with flag 1000/544759 126.52/124.78 c Got one! Elapsed wall clock time (in seconds):124.656 126.52/124.78 o 3035997 127.53/125.70 c cleaning 7443 clauses out of 14949 with flag 4000/550396 129.06/127.20 c cleaning 6736 clauses out of 13506 with flag 10000/556396 130.56/128.75 c cleaning 6873 clauses out of 13770 with flag 17000/563396 132.37/130.57 c cleaning 7434 clauses out of 14897 with flag 25000/571396 134.48/132.63 c cleaning 8223 clauses out of 16464 with flag 34001/580397 136.78/134.94 c cleaning 9107 clauses out of 18240 with flag 44000/590396 139.29/137.47 c cleaning 10064 clauses out of 20133 with flag 55001/601397 141.99/140.16 c cleaning 11024 clauses out of 22068 with flag 67000/613396 144.71/142.89 c cleaning 12009 clauses out of 24044 with flag 80000/626396 147.62/145.75 c cleaning 13011 clauses out of 26036 with flag 94001/640397 150.84/148.91 c cleaning 14009 clauses out of 28025 with flag 109001/655397 154.04/152.17 c cleaning 15007 clauses out of 30015 with flag 125000/671396 157.46/155.58 c cleaning 16000 clauses out of 32009 with flag 142001/688397 161.37/159.48 c cleaning 16984 clauses out of 34008 with flag 160000/706396 165.58/163.64 c cleaning 18006 clauses out of 36024 with flag 179000/725396 170.01/168.01 c cleaning 18992 clauses out of 38018 with flag 199000/745396 174.53/172.54 c cleaning 20006 clauses out of 40027 with flag 220001/766397 179.14/177.16 c cleaning 21002 clauses out of 42022 with flag 242003/788399 184.04/182.02 c cleaning 22000 clauses out of 44017 with flag 265000/811396 188.95/187.00 c cleaning 23007 clauses out of 46017 with flag 289000/835396 194.36/192.31 c cleaning 23981 clauses out of 48010 with flag 314000/860396 199.86/197.82 c cleaning 25003 clauses out of 50029 with flag 340000/886396 205.28/203.22 c cleaning 25998 clauses out of 52027 with flag 367001/913397 210.92/208.80 c cleaning 27010 clauses out of 54033 with flag 395005/941401 216.66/214.56 c cleaning 28003 clauses out of 56020 with flag 424002/970398 222.26/220.11 c cleaning 29002 clauses out of 58015 with flag 454000/1000396 228.79/226.61 c cleaning 29996 clauses out of 60014 with flag 485001/1031397 235.41/233.20 c cleaning 30999 clauses out of 62018 with flag 517001/1063397 242.12/239.93 c cleaning 32002 clauses out of 64019 with flag 550001/1096397 249.14/246.92 c cleaning 33006 clauses out of 66016 with flag 584000/1130396 256.56/254.32 c cleaning 33992 clauses out of 68013 with flag 619003/1165399 264.97/262.74 c cleaning 34987 clauses out of 70018 with flag 655000/1201396 273.58/271.30 c cleaning 36008 clauses out of 72032 with flag 692001/1238397 281.98/279.77 c cleaning 36994 clauses out of 74023 with flag 730000/1276396 290.19/287.94 c cleaning 38013 clauses out of 76029 with flag 769000/1315396 295.81/293.60 c Got one! Elapsed wall clock time (in seconds):293.48 295.81/293.60 o 3029032 297.12/294.86 c cleaning 36851 clauses out of 73716 with flag 5000/1351096 298.42/296.10 c cleaning 21424 clauses out of 42869 with flag 11004/1357100 299.72/297.41 c cleaning 14204 clauses out of 28441 with flag 18000/1364096 301.33/299.01 c cleaning 11098 clauses out of 22237 with flag 26000/1372096 303.13/300.87 c cleaning 10055 clauses out of 20141 with flag 35002/1381098 305.13/302.85 c cleaning 10036 clauses out of 20085 with flag 45001/1391097 307.54/305.25 c cleaning 10517 clauses out of 21048 with flag 56000/1402096 310.04/307.74 c cleaning 11258 clauses out of 22531 with flag 68000/1414096 312.85/310.55 c cleaning 12127 clauses out of 24274 with flag 81001/1427097 315.97/313.68 c cleaning 13066 clauses out of 26146 with flag 95000/1441096 319.18/316.85 c cleaning 14031 clauses out of 28081 with flag 110001/1456097 322.38/320.02 c cleaning 15019 clauses out of 30051 with flag 126002/1472098 325.69/323.39 c cleaning 16000 clauses out of 32030 with flag 143000/1489096 329.28/326.96 c cleaning 16999 clauses out of 34030 with flag 161001/1507097 333.18/330.81 c cleaning 18014 clauses out of 36031 with flag 180001/1526097 337.39/335.09 c cleaning 18996 clauses out of 38017 with flag 200001/1546097 342.09/339.71 c cleaning 20002 clauses out of 40020 with flag 221000/1567096 346.91/344.54 c cleaning 21002 clauses out of 42018 with flag 243000/1589096 351.72/349.32 c cleaning 22000 clauses out of 44016 with flag 266000/1612096 357.12/354.71 c cleaning 22997 clauses out of 46016 with flag 290000/1636096 362.44/360.07 c cleaning 24000 clauses out of 48019 with flag 315000/1661096 367.86/365.40 c cleaning 25008 clauses out of 50020 with flag 341001/1687097 371.16/368.73 c Got one! Elapsed wall clock time (in seconds):368.609 371.16/368.73 o 3026965 372.26/369.85 c cleaning 22575 clauses out of 45180 with flag 5000/1707265 373.59/371.16 c cleaning 14287 clauses out of 28605 with flag 11000/1713265 375.19/372.77 c cleaning 10626 clauses out of 21320 with flag 18002/1720267 376.89/374.42 c cleaning 9330 clauses out of 18693 with flag 26001/1728266 378.89/376.46 c cleaning 9164 clauses out of 18363 with flag 35001/1737266 381.10/378.69 c cleaning 9586 clauses out of 19199 with flag 45001/1747266 383.50/381.05 c cleaning 10299 clauses out of 20612 with flag 56000/1758265 386.20/383.78 c cleaning 11151 clauses out of 22314 with flag 68001/1770266 389.03/386.57 c cleaning 12075 clauses out of 24164 with flag 81002/1783267 392.03/389.53 c cleaning 13039 clauses out of 26089 with flag 95002/1797267 394.93/392.50 c cleaning 14013 clauses out of 28048 with flag 110000/1812265 398.14/395.63 c cleaning 15001 clauses out of 30035 with flag 126000/1828265 401.85/399.32 c cleaning 16015 clauses out of 32035 with flag 143001/1845266 405.65/403.11 c cleaning 17005 clauses out of 34020 with flag 161001/1863266 409.48/406.97 c cleaning 17999 clauses out of 36014 with flag 180000/1882265 413.58/411.07 c cleaning 19007 clauses out of 38015 with flag 200000/1902265 417.99/415.43 c cleaning 20001 clauses out of 40009 with flag 221002/1923267 422.51/419.91 c cleaning 21001 clauses out of 42006 with flag 243000/1945265 427.03/424.47 c cleaning 21992 clauses out of 44006 with flag 266001/1968266 431.13/428.57 c cleaning 22985 clauses out of 46013 with flag 290000/1992265 436.26/433.67 c cleaning 24005 clauses out of 48029 with flag 315001/2017266 441.81/439.17 c cleaning 25005 clauses out of 50024 with flag 341001/2043266 442.83/440.18 c Got one! Elapsed wall clock time (in seconds):440.06 442.83/440.18 o 3019859 443.33/440.63 c Got one! Elapsed wall clock time (in seconds):440.505 443.33/440.63 o 2932142 444.13/441.43 c cleaning 18269 clauses out of 36558 with flag 4002/2054805 445.15/442.47 c cleaning 12115 clauses out of 24287 with flag 10000/2060803 446.45/443.78 c cleaning 9573 clauses out of 19174 with flag 17002/2067805 447.95/445.29 c cleaning 8781 clauses out of 17600 with flag 25001/2075804 448.09/445.39 c Got one! Elapsed wall clock time (in seconds):445.269 448.09/445.39 o 2910388 448.99/446.26 c cleaning 7023 clauses out of 14088 with flag 5000/2081073 449.99/447.29 c cleaning 6508 clauses out of 13065 with flag 11000/2087073 451.20/448.49 c cleaning 6775 clauses out of 13557 with flag 18000/2094073 452.92/450.13 c cleaning 7376 clauses out of 14782 with flag 26000/2102073 454.62/451.88 c cleaning 8188 clauses out of 16407 with flag 35001/2111074 456.74/453.96 c cleaning 9094 clauses out of 18218 with flag 45000/2121073 459.08/456.26 c cleaning 10049 clauses out of 20129 with flag 56005/2132078 461.79/458.90 c cleaning 11034 clauses out of 22075 with flag 68000/2144073 464.50/461.60 c cleaning 12014 clauses out of 24044 with flag 81003/2157076 467.45/464.57 c cleaning 13012 clauses out of 26028 with flag 95001/2171074 470.85/467.94 c cleaning 14002 clauses out of 28015 with flag 110000/2186073 474.25/471.35 c cleaning 15003 clauses out of 30013 with flag 126000/2202073 477.65/474.70 c cleaning 15997 clauses out of 32010 with flag 143000/2219073 481.38/478.41 c cleaning 16998 clauses out of 34013 with flag 161000/2237073 485.39/482.44 c cleaning 18005 clauses out of 36016 with flag 180001/2256074 487.71/484.76 c Got one! Elapsed wall clock time (in seconds):484.639 487.71/484.76 o 2882174 488.91/485.92 c cleaning 16813 clauses out of 33651 with flag 5000/2271715 490.12/487.16 c cleaning 11402 clauses out of 22838 with flag 11000/2277715 491.45/488.45 c cleaning 9200 clauses out of 18436 with flag 18000/2284715 493.05/490.05 c cleaning 8604 clauses out of 17237 with flag 26001/2292716 494.87/491.89 c cleaning 8785 clauses out of 17633 with flag 35001/2301716 497.07/494.08 c cleaning 9413 clauses out of 18847 with flag 45000/2311715 499.48/496.40 c cleaning 10210 clauses out of 20434 with flag 56000/2322715 501.89/498.87 c cleaning 11091 clauses out of 22224 with flag 68000/2334715 504.60/501.58 c cleaning 12057 clauses out of 24133 with flag 81000/2347715 507.82/504.71 c cleaning 13032 clauses out of 26077 with flag 95001/2361716 511.12/508.02 c cleaning 14010 clauses out of 28044 with flag 110000/2376715 514.53/511.47 c cleaning 15011 clauses out of 30034 with flag 126000/2392715 517.83/514.79 c cleaning 16000 clauses out of 32023 with flag 143001/2409716 521.93/518.86 c cleaning 16997 clauses out of 34022 with flag 161000/2427715 525.73/522.67 c cleaning 17999 clauses out of 36025 with flag 180000/2446715 529.13/526.02 c Got one! Elapsed wall clock time (in seconds):525.902 529.13/526.02 o 2855374 530.23/527.19 c cleaning 19493 clauses out of 39011 with flag 5000/2467700 531.45/528.39 c cleaning 12748 clauses out of 25518 with flag 11000/2473700 532.65/529.53 c cleaning 9866 clauses out of 19770 with flag 18000/2480700 533.95/530.88 c cleaning 8931 clauses out of 17904 with flag 26000/2488700 535.66/532.53 c cleaning 8962 clauses out of 17973 with flag 35000/2497700 537.67/534.59 c cleaning 9501 clauses out of 19011 with flag 45000/2507700 540.07/536.93 c cleaning 10255 clauses out of 20510 with flag 56000/2518700 542.47/539.37 c cleaning 11118 clauses out of 22255 with flag 68000/2530700 545.08/541.92 c cleaning 12058 clauses out of 24137 with flag 81000/2543700 547.60/544.46 c cleaning 13038 clauses out of 26079 with flag 95000/2557700 551.01/547.84 c cleaning 14008 clauses out of 28040 with flag 110000/2572700 554.21/551.04 c cleaning 15015 clauses out of 30033 with flag 126001/2588701 557.82/554.64 c cleaning 16005 clauses out of 32019 with flag 143002/2605702 561.43/558.28 c cleaning 17005 clauses out of 34012 with flag 161000/2623700 565.34/562.14 c cleaning 17993 clauses out of 36007 with flag 180000/2642700 569.54/566.39 c cleaning 19002 clauses out of 38015 with flag 200001/2662701 573.64/570.40 c cleaning 20001 clauses out of 40014 with flag 221002/2683702 577.54/574.39 c cleaning 21001 clauses out of 42013 with flag 243002/2705702 582.16/578.91 c cleaning 21978 clauses out of 44009 with flag 266000/2728700 587.07/583.82 c cleaning 23000 clauses out of 46031 with flag 290000/2752700 589.79/586.59 c Got one! Elapsed wall clock time (in seconds):586.472 589.79/586.59 o 2834666 590.89/587.63 c cleaning 21641 clauses out of 43294 with flag 5000/2772963 591.23/587.99 c Got one! Elapsed wall clock time (in seconds):587.873 591.23/587.99 o 2827160 592.03/588.78 c Got one! Elapsed wall clock time (in seconds):588.663 592.03/588.78 o 2814188 592.33/589.02 c cleaning 14042 clauses out of 28109 with flag 1002/2779419 593.53/590.26 c cleaning 10015 clauses out of 20065 with flag 7000/2785417 594.84/591.52 c cleaning 8507 clauses out of 17050 with flag 14000/2792417 596.25/592.92 c cleaning 8251 clauses out of 16544 with flag 22001/2800418 597.85/594.55 c cleaning 8639 clauses out of 17293 with flag 31001/2809418 599.75/596.40 c cleaning 9318 clauses out of 18653 with flag 41000/2819417 601.86/598.56 c cleaning 10161 clauses out of 20336 with flag 52001/2830418 604.06/600.78 c cleaning 11075 clauses out of 22174 with flag 64000/2842417 606.36/603.02 c cleaning 12038 clauses out of 24099 with flag 77000/2855417 608.98/605.67 c cleaning 13022 clauses out of 26061 with flag 91000/2869417 612.00/608.69 c cleaning 14009 clauses out of 28039 with flag 106000/2884417 615.21/611.86 c cleaning 15006 clauses out of 30033 with flag 122003/2900420 618.42/615.09 c cleaning 15995 clauses out of 32024 with flag 139000/2917417 621.83/618.42 c cleaning 17005 clauses out of 34029 with flag 157000/2935417 625.63/622.21 c cleaning 18002 clauses out of 36018 with flag 176002/2954419 629.65/626.20 c cleaning 18993 clauses out of 38014 with flag 196000/2974417 633.66/630.25 c cleaning 20001 clauses out of 40021 with flag 217000/2995417 637.76/634.39 c cleaning 21004 clauses out of 42025 with flag 239005/3017422 642.18/638.79 c cleaning 22004 clauses out of 44016 with flag 262000/3040417 646.79/643.32 c cleaning 22995 clauses out of 46012 with flag 286000/3064417 651.31/647.85 c cleaning 24007 clauses out of 48017 with flag 311000/3089417 655.30/651.88 c cleaning 24993 clauses out of 50012 with flag 337002/3115419 659.61/656.13 c cleaning 26004 clauses out of 52017 with flag 364000/3142417 664.63/661.18 c cleaning 27000 clauses out of 54012 with flag 392000/3170417 670.35/666.81 c cleaning 28005 clauses out of 56013 with flag 421003/3199420 676.37/672.85 c cleaning 28997 clauses out of 58004 with flag 451000/3229417 682.19/678.65 c cleaning 29998 clauses out of 60007 with flag 482000/3260417 688.64/685.03 c cleaning 30999 clauses out of 62007 with flag 514000/3292417 695.35/691.71 c cleaning 32002 clauses out of 64007 with flag 547002/3325419 701.45/697.86 c cleaning 32993 clauses out of 66000 with flag 581000/3359417 707.06/703.47 c cleaning 33992 clauses out of 68006 with flag 616001/3394418 710.56/706.99 c starts : 258 710.56/706.99 c conflicts : 3418123 710.56/706.99 c decisions : 7980642 710.56/706.99 c propagations : 1028885253 710.56/706.99 c inspects : 3967795255 710.56/706.99 c shortcuts : 0 710.56/706.99 c learnt literals : 58 710.56/706.99 c learnt binary clauses : 578 710.56/706.99 c learnt ternary clauses : 1177 710.56/706.99 c learnt constraints : 3418064 710.56/706.99 c ignored constraints : 0 710.56/706.99 c root simplifications : 0 710.56/706.99 c removed literals (reason simplification) : 0 710.56/706.99 c reason swapping (by a shorter reason) : 0 710.56/706.99 c Calls to reduceDB : 210 710.56/706.99 c number of reductions to clauses (during analyze) : 0 710.56/706.99 c number of learned constraints concerned by reduction : 0 710.56/706.99 c number of learning phase by resolution : 0 710.56/706.99 c number of learning phase by cutting planes : 0 710.56/706.99 c speed (assignments/second) : 1456319.3516745295 710.56/706.99 c non guided choices 6397 710.56/706.99 c learnt constraints type 710.56/706.99 c constraints type 710.56/706.99 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 710.56/706.99 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 710.56/706.99 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 710.56/706.99 c ignored satisfied constraints => 4 710.56/706.99 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 710.56/706.99 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 710.56/706.99 c 21931 constraints processed. 710.56/706.99 s OPTIMUM FOUND 710.67/707.01 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 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 x9527 -x9528 x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 x9543 x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 x9648 x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 x9662 -x9663 x9664 -x9665 -x9666 -x9667 -x9668 -x9669 x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 x9677 x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 710.67/707.01 c objective function=2814188 710.67/707.01 c Total wall clock time (in seconds): 706.893
OK 2814188
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-3690037-1337895364/watcher-3690037-1337895364 -o /tmp/evaluation-result-3690037-1337895364/solver-3690037-1337895364 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690037-1337895364.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: 1.95 1.99 1.99 3/196 26048 /proc/meminfo: memFree=21257584/32873844 swapFree=7608/7608 [pid=26048] ppid=26046 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/26048/stat : 26048 (java) D 26046 26048 23031 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 255661206 9515008 182 33554432000 1073741824 1073778376 140735596759408 140735596750440 215124623029 0 0 4096 0 18446744072100748580 0 0 17 1 0 0 0 0 0 /proc/26048/statm: 2323 182 140 9 0 71 0 [startup+0.080273 s] /proc/loadavg: 1.95 1.99 1.99 3/196 26048 /proc/meminfo: memFree=21257584/32873844 swapFree=7608/7608 [pid=26048] ppid=26046 vsize=9558412 CPUtime=0.06 cores=1,3,5,7 /proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 3249 0 1 0 5 1 0 0 20 0 18 0 255661206 9787813888 4459 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26048/statm: 2389603 4461 1759 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558412 [startup+0.104051 s] /proc/loadavg: 1.95 1.99 1.99 3/196 26048 /proc/meminfo: memFree=21257584/32873844 swapFree=7608/7608 [pid=26048] ppid=26046 vsize=9558412 CPUtime=0.1 cores=1,3,5,7 /proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 4280 0 1 0 9 1 0 0 20 0 18 0 255661206 9787813888 5471 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26048/statm: 2389603 5471 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300197 s] /proc/loadavg: 1.95 1.99 1.99 3/196 26048 /proc/meminfo: memFree=21257584/32873844 swapFree=7608/7608 [pid=26048] ppid=26046 vsize=9558412 CPUtime=0.49 cores=1,3,5,7 /proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 5618 0 1 0 48 1 0 0 20 0 18 0 255661206 9787813888 9217 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26048/statm: 2389603 9217 2218 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558412 [startup+0.700263 s] /proc/loadavg: 1.95 1.99 1.99 3/196 26048 /proc/meminfo: memFree=21257584/32873844 swapFree=7608/7608 [pid=26048] ppid=26046 vsize=9624976 CPUtime=1.31 cores=1,3,5,7 /proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 8189 0 1 0 128 3 0 0 20 0 19 0 255661206 9855975424 21766 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26048/statm: 2406244 21766 2251 9 0 2396937 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 9624976 [startup+1.50069 s] /proc/loadavg: 1.95 1.99 1.99 4/215 26067 /proc/meminfo: memFree=21172756/32873844 swapFree=7608/7608 [pid=26048] ppid=26046 vsize=9624976 CPUtime=2.43 cores=1,3,5,7 /proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 8863 0 1 0 240 3 0 0 20 0 19 0 255661206 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26048/statm: 2406244 23596 2256 9 0 2396937 0 [pid=26048/tid=26050] ppid=26046 vsize=9624976 CPUtime=1.46 cores=1,3,5,7 /proc/26048/task/26050/stat : 26050 (java) R 26046 26048 23031 0 -1 4202560 2509 0 1 0 143 3 0 0 20 0 19 0 255661207 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139724083171704 139723956396600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26051] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26052] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26053] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26048/tid=26054] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26055] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26056] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26057] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26058] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.47 cores=1,3,5,7 /proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2552 0 0 0 47 0 0 0 20 0 19 0 255661213 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.46 cores=1,3,5,7 /proc/26048/task/26064/stat : 26064 (java) R 26046 26048 23031 0 -1 4202560 2610 0 0 0 46 0 0 0 20 0 19 0 255661213 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723902093624 215128007093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.43 Current children cumulated vsize (KiB) 9624976 [startup+3.10071 s] /proc/loadavg: 1.95 1.99 1.99 3/215 26067 /proc/meminfo: memFree=21151532/32873844 swapFree=7608/7608 [pid=26048] ppid=26046 vsize=9624976 CPUtime=4.26 cores=1,3,5,7 /proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 8946 0 1 0 421 5 0 0 20 0 19 0 255661206 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26048/statm: 2406244 29788 2281 9 0 2396937 0 [pid=26048/tid=26050] ppid=26046 vsize=9624976 CPUtime=2.99 cores=1,3,5,7 /proc/26048/task/26050/stat : 26050 (java) R 26046 26048 23031 0 -1 4202560 2515 0 1 0 296 3 0 0 20 0 19 0 255661207 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139724083179928 139723956310943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26051] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26052] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26053] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26054] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26055] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26048/tid=26056] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26057] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26058] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=0.04 cores=1,3,5,7 /proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 255661210 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.52 cores=1,3,5,7 /proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2554 0 0 0 52 0 0 0 20 0 19 0 255661213 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.58 cores=1,3,5,7 /proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 2615 0 0 0 58 0 0 0 20 0 19 0 255661213 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.26 Current children cumulated vsize (KiB) 9624976 [startup+6.30063 s] /proc/loadavg: 1.95 1.99 1.99 3/215 26067 /proc/meminfo: memFree=21146132/32873844 swapFree=7608/7608 [pid=26048] ppid=26046 vsize=9624976 CPUtime=7.56 cores=1,3,5,7 /proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 9641 0 1 0 750 6 0 0 20 0 19 0 255661206 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26048/statm: 2406244 29928 2281 9 0 2396937 0 [pid=26048/tid=26050] ppid=26046 vsize=9624976 CPUtime=6.11 cores=1,3,5,7 /proc/26048/task/26050/stat : 26050 (java) R 26046 26048 23031 0 -1 4202560 2516 0 1 0 608 3 0 0 20 0 19 0 255661207 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139724083179928 139723956311025 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26051] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26052] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26053] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26054] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26055] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26048/tid=26056] ppid=26046 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26057] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26058] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=0.1 cores=1,3,5,7 /proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 54 0 0 0 10 0 0 0 20 0 19 0 255661210 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2562 0 0 0 54 0 0 0 20 0 19 0 255661213 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.65 cores=1,3,5,7 /proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 3280 0 0 0 65 0 0 0 20 0 19 0 255661213 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.56 Current children cumulated vsize (KiB) 9624976 [startup+12.7006 s] ################ # More data... # ################ /proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 52 0 0 0 45 3 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=7.9 cores=1,3,5,7 /proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 100 0 0 0 788 2 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.6 cores=1,3,5,7 /proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2726 0 0 0 60 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.66 cores=1,3,5,7 /proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 3283 0 0 0 66 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 6 6 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 709.96 Current children cumulated vsize (KiB) 9624976 [startup+706.701 s] /proc/loadavg: 2.12 2.09 2.03 3/215 26074 /proc/meminfo: memFree=20572352/32873844 swapFree=7608/7608 [pid=26048] ppid=26046 vsize=9624976 CPUtime=710.36 cores=1,3,5,7 /proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 10394 0 1 0 71011 25 0 0 20 0 19 0 255661206 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26048/statm: 2406244 39897 2282 9 0 2396937 0 [pid=26048/tid=26050] ppid=26046 vsize=9624976 CPUtime=695.78 cores=1,3,5,7 /proc/26048/task/26050/stat : 26050 (java) R 26046 26048 23031 0 -1 4202560 2723 0 1 0 69565 13 0 0 20 0 19 0 255661207 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139724083179840 139723956396872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26051] ppid=26046 vsize=9624976 CPUtime=0.41 cores=1,3,5,7 /proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 39 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26052] ppid=26046 vsize=9624976 CPUtime=0.48 cores=1,3,5,7 /proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 44 0 0 0 46 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26053] ppid=26046 vsize=9624976 CPUtime=0.46 cores=1,3,5,7 /proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 35 0 0 0 44 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26054] ppid=26046 vsize=9624976 CPUtime=0.41 cores=1,3,5,7 /proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 48 0 0 0 39 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26048/tid=26055] ppid=26046 vsize=9624976 CPUtime=0.42 cores=1,3,5,7 /proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 41 1 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26056] ppid=26046 vsize=9624976 CPUtime=0.4 cores=1,3,5,7 /proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 58 0 0 0 38 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26057] ppid=26046 vsize=9624976 CPUtime=0.42 cores=1,3,5,7 /proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 24 0 0 0 41 1 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26058] ppid=26046 vsize=9624976 CPUtime=0.48 cores=1,3,5,7 /proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 52 0 0 0 45 3 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=7.9 cores=1,3,5,7 /proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 100 0 0 0 788 2 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.6 cores=1,3,5,7 /proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2726 0 0 0 60 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.66 cores=1,3,5,7 /proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 3283 0 0 0 66 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 6 6 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 710.36 Current children cumulated vsize (KiB) 9624976 [startup+706.901 s] /proc/loadavg: 2.12 2.09 2.03 3/215 26074 /proc/meminfo: memFree=20572352/32873844 swapFree=7608/7608 [pid=26048] ppid=26046 vsize=9624976 CPUtime=710.56 cores=1,3,5,7 /proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 10394 0 1 0 71031 25 0 0 20 0 19 0 255661206 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26048/statm: 2406244 39897 2282 9 0 2396937 0 [pid=26048/tid=26050] ppid=26046 vsize=9624976 CPUtime=695.98 cores=1,3,5,7 /proc/26048/task/26050/stat : 26050 (java) R 26046 26048 23031 0 -1 4202560 2723 0 1 0 69585 13 0 0 20 0 19 0 255661207 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139724083179840 139723956311113 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26051] ppid=26046 vsize=9624976 CPUtime=0.41 cores=1,3,5,7 /proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 39 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26052] ppid=26046 vsize=9624976 CPUtime=0.48 cores=1,3,5,7 /proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 44 0 0 0 46 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26053] ppid=26046 vsize=9624976 CPUtime=0.46 cores=1,3,5,7 /proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 35 0 0 0 44 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26054] ppid=26046 vsize=9624976 CPUtime=0.41 cores=1,3,5,7 /proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 48 0 0 0 39 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26048/tid=26055] ppid=26046 vsize=9624976 CPUtime=0.42 cores=1,3,5,7 /proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 41 1 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26056] ppid=26046 vsize=9624976 CPUtime=0.4 cores=1,3,5,7 /proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 58 0 0 0 38 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26057] ppid=26046 vsize=9624976 CPUtime=0.42 cores=1,3,5,7 /proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 24 0 0 0 41 1 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26058] ppid=26046 vsize=9624976 CPUtime=0.48 cores=1,3,5,7 /proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 52 0 0 0 45 3 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=7.9 cores=1,3,5,7 /proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 100 0 0 0 788 2 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.6 cores=1,3,5,7 /proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2726 0 0 0 60 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.66 cores=1,3,5,7 /proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 3283 0 0 0 66 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 6 6 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 710.56 Current children cumulated vsize (KiB) 9624976 [startup+707.001 s] /proc/loadavg: 2.12 2.09 2.03 3/215 26074 /proc/meminfo: memFree=20572352/32873844 swapFree=7608/7608 [pid=26048] ppid=26046 vsize=9691540 CPUtime=710.67 cores=1,3,5,7 /proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 10404 0 1 0 71042 25 0 0 20 0 20 0 255661206 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26048/statm: 2422885 39906 2282 9 0 2413578 0 [pid=26048/tid=26050] ppid=26046 vsize=9691540 CPUtime=696.08 cores=1,3,5,7 /proc/26048/task/26050/stat : 26050 (java) S 26046 26048 23031 0 -1 4202560 2725 0 1 0 69595 13 0 0 20 0 20 0 255661207 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139724083180248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26051] ppid=26046 vsize=9691540 CPUtime=0.41 cores=1,3,5,7 /proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 39 2 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26052] ppid=26046 vsize=9691540 CPUtime=0.48 cores=1,3,5,7 /proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 44 0 0 0 46 2 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26053] ppid=26046 vsize=9691540 CPUtime=0.46 cores=1,3,5,7 /proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 35 0 0 0 44 2 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26054] ppid=26046 vsize=9691540 CPUtime=0.41 cores=1,3,5,7 /proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 48 0 0 0 39 2 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26048/tid=26055] ppid=26046 vsize=9691540 CPUtime=0.42 cores=1,3,5,7 /proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 41 1 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26056] ppid=26046 vsize=9691540 CPUtime=0.4 cores=1,3,5,7 /proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 58 0 0 0 38 2 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26057] ppid=26046 vsize=9691540 CPUtime=0.42 cores=1,3,5,7 /proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 24 0 0 0 41 1 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26058] ppid=26046 vsize=9691540 CPUtime=0.48 cores=1,3,5,7 /proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 52 0 0 0 45 3 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26048/tid=26059] ppid=26046 vsize=9691540 CPUtime=7.9 cores=1,3,5,7 /proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 100 0 0 0 788 2 0 0 20 0 20 0 255661210 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26060] ppid=26046 vsize=9691540 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 255661210 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26061] ppid=26046 vsize=9691540 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 255661210 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26062] ppid=26046 vsize=9691540 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255661213 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26048/tid=26063] ppid=26046 vsize=9691540 CPUtime=0.61 cores=1,3,5,7 /proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2727 0 0 0 61 0 0 0 20 0 20 0 255661213 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26064] ppid=26046 vsize=9691540 CPUtime=0.66 cores=1,3,5,7 /proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 3283 0 0 0 66 0 0 0 20 0 20 0 255661213 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26065] ppid=26046 vsize=9691540 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255661213 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26066] ppid=26046 vsize=9691540 CPUtime=0.12 cores=1,3,5,7 /proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 6 6 0 0 20 0 20 0 255661213 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26048/tid=26067] ppid=26046 vsize=9691540 CPUtime=0 cores=1,3,5,7 /proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 255661256 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 710.67 Current children cumulated vsize (KiB) 9691540 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26048 and gives # childrusage.ru_utime.tv_sec=708 # childrusage.ru_utime.tv_usec=654268 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=503923 # CPU time returned by wait4() is 709.158 # while last known CPU time is 710.67 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 707.023 CPU time (s): 710.67 CPU user time (s): 710.42 CPU system time (s): 0.25 CPU usage (%): 100.516 Max. virtual memory (cumulated for all children) (KiB): 9691540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 708.654 system time used= 0.503923 maximum resident set size= 159648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10412 page faults= 1 swaps= 0 block input operations= 0 block output operations= 736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20720 involuntary context switches= 12180 runsolver used 2.29265 second user time and 5.76412 second system time The end
Begin job on node135 at 2012-05-24 23:36:04 IDJOB=3690037 IDBENCH=92664 IDSOLVER=2269 FILE ID=node135/3690037-1337895364 RUNJOBID= node135-1337871881-23049 PBS_JOBID= 14620069 Free space on /tmp= 71576 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_5_mh_ic.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690037-1337895364/watcher-3690037-1337895364 -o /tmp/evaluation-result-3690037-1337895364/solver-3690037-1337895364 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690037-1337895364.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2c36639357988247c648b63af301f230 RANDOM SEED=413812369 node135.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.820 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 : 5333.64 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.820 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 : 5332.57 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.820 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 : 5332.55 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.820 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 : 5332.55 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.820 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 : 5332.54 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.820 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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 : 5238.35 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.820 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 21258492 kB Buffers: 226496 kB Cached: 3391192 kB SwapCached: 0 kB Active: 8024816 kB Inactive: 2805192 kB Active(anon): 7214520 kB Inactive(anon): 0 kB Active(file): 810296 kB Inactive(file): 2805192 kB Unevictable: 7608 kB Mlocked: 7608 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1224 kB Writeback: 0 kB AnonPages: 7219444 kB Mapped: 22592 kB Shmem: 212 kB Slab: 632484 kB SReclaimable: 74852 kB SUnreclaim: 557632 kB KernelStack: 1624 kB PageTables: 17976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 7851456 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 6514688 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= 71576 MiB End job on node135 at 2012-05-24 23:47:51