Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | SAT (TO) | 6699476 | 3600.65 | 3513.72 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x26.opb |
| MD5SUM | 6ea30ee5c980a208725b42ec6ced88d1 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4372480 |
| Best CPU time to get the best result obtained on this benchmark | 2892.16 |
| 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 | 8060 |
| Total number of constraints | 296 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 296 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 780 |
| Number of terms in the objective function | 8060 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1599918681646 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1599918681646 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.13/0.69 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.13/0.69 c This is free software under the dual EPL/GNU LGPL licenses. 0.13/0.69 c See www.sat4j.org for details. 0.24/0.71 c version CUSTOM.v20240707 0.24/0.74 c java.runtime.name OpenJDK Runtime Environment 0.24/0.74 c java.vm.name OpenJDK 64-Bit Server VM 0.24/0.74 c java.vm.version 22.0.1+8-16 0.24/0.74 c java.vm.vendor Oracle Corporation 0.24/0.74 c sun.arch.data.model 64 0.24/0.74 c java.version 22.0.1 0.24/0.74 c os.name Linux 0.24/0.74 c os.version 4.18.0-301.1.el8.x86_64 0.24/0.74 c os.arch amd64 0.24/0.75 c Free memory 2115194816 0.24/0.75 c Max memory 16282288128 0.24/0.75 c Total memory 2122317824 0.24/0.76 c Number of processors 2 0.41/0.85 --- Begin Solver configuration --- 0.41/0.85 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.41/0.85 Learn all clauses as in MiniSAT 0.41/0.85 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.41/0.85 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.41/0.85 No reason simplification 0.41/0.85 Glucose 2.1 dynamic restart strategy 0.41/0.85 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.41/0.85 timeout=2147483s 0.41/0.85 DB Simplification allowed=false 0.41/0.85 Listener: none 0.41/0.85 --- End Solver configuration --- 0.41/0.85 c Pseudo Boolean Optimization by upper bound 0.41/0.85 c --- Begin Solver configuration --- 0.41/0.85 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.41/0.85 c Learn all clauses as in MiniSAT 0.41/0.85 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.41/0.85 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.41/0.85 c No reason simplification 0.41/0.85 c Glucose 2.1 dynamic restart strategy 0.41/0.85 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.41/0.85 c timeout=2147483s 0.41/0.85 c DB Simplification allowed=false 0.41/0.85 c Listener: none 0.41/0.85 c --- End Solver configuration --- 0.41/0.85 c solving HOME/instance-4432163-1723130241.opb 0.41/0.85 c reading problem ... 0.41/0.85 c objective function found 1.18/1.23 c ... done. Wall clock time 0.376s. 1.18/1.23 c declared #vars 8060 1.18/1.23 c #constraints 332 1.18/1.23 c constraints type 1.18/1.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 332 1.18/1.23 c 332 constraints processed. 1.34/1.31 c objective function length is 8060 literals 4.58/3.33 c cleaning 2493 clauses out of 5001 with flag 18197/5001 6.44/4.93 c cleaning 4245 clauses out of 8507 with flag 44505/11000 8.04/6.39 c SATISFIABLE 8.04/6.39 c OPTIMIZING... 8.04/6.39 c Got one! Elapsed wall clock time (in seconds):5.538 8.04/6.40 o 21299567 8.19/6.43 c Got one! Elapsed wall clock time (in seconds):5.579 8.19/6.43 o 6699476 9.32/7.35 c cleaning 7606 clauses out of 15223 with flag 18845/21961 11.43/9.47 c cleaning 6799 clauses out of 13616 with flag 42483/27960 14.13/12.08 c cleaning 6903 clauses out of 13817 with flag 66861/34960 17.63/15.39 c cleaning 7448 clauses out of 14914 with flag 97754/42960 19.53/17.23 c cleaning 8231 clauses out of 16468 with flag 128099/51962 23.94/21.44 c cleaning 9112 clauses out of 18235 with flag 165482/61960 28.71/25.88 c cleaning 10054 clauses out of 20124 with flag 207991/72961 32.58/29.65 c cleaning 11034 clauses out of 22070 with flag 255585/84961 34.33/31.33 c cleaning 12014 clauses out of 24036 with flag 296782/97961 37.23/34.13 c cleaning 12994 clauses out of 26021 with flag 345933/111960 39.83/36.68 c cleaning 14000 clauses out of 28027 with flag 401787/126960 42.81/39.61 c cleaning 15014 clauses out of 30027 with flag 458427/142960 47.29/43.70 c cleaning 16007 clauses out of 32014 with flag 526476/159961 50.82/47.13 c cleaning 17003 clauses out of 34006 with flag 602628/177960 55.72/52.00 c cleaning 17993 clauses out of 36004 with flag 682118/196961 60.66/56.79 c cleaning 19002 clauses out of 38010 with flag 758389/216960 63.98/59.94 c cleaning 20004 clauses out of 40009 with flag 836709/237961 68.72/64.55 c cleaning 21001 clauses out of 42005 with flag 924633/259961 73.36/68.95 c cleaning 21984 clauses out of 44003 with flag 1004327/282960 77.40/72.85 c cleaning 22999 clauses out of 46020 with flag 1094730/306961 82.10/77.46 c cleaning 24003 clauses out of 48020 with flag 1179012/331960 87.89/83.02 c cleaning 25009 clauses out of 50017 with flag 1268793/357960 91.67/86.85 c cleaning 26003 clauses out of 52008 with flag 1357369/384960 99.07/94.07 c cleaning 27001 clauses out of 54007 with flag 1471604/412962 106.96/101.40 c cleaning 28002 clauses out of 56005 with flag 1569452/441961 113.62/107.95 c cleaning 28992 clauses out of 58002 with flag 1681033/471960 120.40/114.59 c cleaning 29997 clauses out of 60010 with flag 1790787/502960 126.86/120.91 c cleaning 30993 clauses out of 62013 with flag 1893370/534960 132.95/126.86 c cleaning 31999 clauses out of 64020 with flag 2000080/567960 141.05/134.88 c cleaning 32996 clauses out of 66021 with flag 2116734/601960 150.17/143.67 c cleaning 34006 clauses out of 68025 with flag 2241087/636960 158.67/152.05 c cleaning 35006 clauses out of 70020 with flag 2380682/672961 164.57/157.81 c cleaning 36001 clauses out of 72013 with flag 2495495/709960 172.91/165.91 c cleaning 37006 clauses out of 74013 with flag 2639934/747961 180.91/173.88 c cleaning 38003 clauses out of 76006 with flag 2792620/786960 187.71/180.59 c cleaning 38990 clauses out of 78003 with flag 2917810/826960 196.66/189.36 c cleaning 39993 clauses out of 80013 with flag 3058062/867960 203.56/196.12 c cleaning 41007 clauses out of 82021 with flag 3184494/909961 211.21/203.67 c cleaning 42001 clauses out of 84013 with flag 3322895/952960 219.28/211.59 c cleaning 43001 clauses out of 86012 with flag 3450933/996960 226.93/219.09 c cleaning 43985 clauses out of 88012 with flag 3589022/1041961 234.83/226.78 c cleaning 45007 clauses out of 90026 with flag 3732041/1087960 244.73/235.77 c cleaning 46002 clauses out of 92020 with flag 3872418/1134961 252.48/243.26 c cleaning 47004 clauses out of 94018 with flag 4014490/1182961 260.06/250.52 c cleaning 47998 clauses out of 96014 with flag 4159653/1231961 267.95/258.26 c cleaning 48985 clauses out of 98018 with flag 4307844/1281963 277.14/267.07 c cleaning 50013 clauses out of 100030 with flag 4476287/1332960 284.65/274.47 c cleaning 50997 clauses out of 102017 with flag 4634617/1384960 292.99/282.67 c cleaning 52003 clauses out of 104021 with flag 4785413/1437961 301.66/291.03 c cleaning 52999 clauses out of 106018 with flag 4931153/1491961 310.13/299.45 c cleaning 53995 clauses out of 108018 with flag 5091910/1546960 320.52/309.86 c cleaning 54983 clauses out of 110023 with flag 5257816/1602960 330.42/319.53 c cleaning 56006 clauses out of 112040 with flag 5402150/1659960 342.17/330.45 c cleaning 57011 clauses out of 114035 with flag 5563513/1717961 352.08/340.26 c cleaning 57994 clauses out of 116023 with flag 5735081/1776960 360.92/348.98 c cleaning 59003 clauses out of 118029 with flag 5916909/1836960 371.14/358.89 c cleaning 60003 clauses out of 120026 with flag 6092015/1897960 382.22/369.67 c cleaning 60991 clauses out of 122024 with flag 6263987/1959961 392.92/380.01 c cleaning 62001 clauses out of 124033 with flag 6428076/2022961 406.61/393.48 c cleaning 63000 clauses out of 126031 with flag 6621821/2086960 418.55/405.05 c cleaning 64004 clauses out of 128031 with flag 6814657/2151960 430.35/416.61 c cleaning 64980 clauses out of 130028 with flag 7020085/2217961 441.01/426.77 c cleaning 65998 clauses out of 132047 with flag 7242903/2284960 455.06/440.55 c cleaning 67012 clauses out of 134051 with flag 7456664/2352962 468.61/453.62 c cleaning 67998 clauses out of 136037 with flag 7668947/2421960 484.03/468.77 c cleaning 68996 clauses out of 138041 with flag 7885902/2491962 496.47/480.70 c cleaning 70005 clauses out of 140043 with flag 8095430/2562960 511.81/495.63 c cleaning 71011 clauses out of 142038 with flag 8323012/2634960 524.14/506.59 c cleaning 71986 clauses out of 144028 with flag 8545755/2707961 536.56/518.60 c cleaning 73009 clauses out of 146041 with flag 8772482/2781960 550.97/532.53 c cleaning 74003 clauses out of 148032 with flag 8997790/2856960 569.05/550.29 c cleaning 75003 clauses out of 150029 with flag 9259809/2932960 585.36/566.30 c cleaning 75996 clauses out of 152027 with flag 9470220/3009961 599.94/580.63 c cleaning 77003 clauses out of 154033 with flag 9678756/3087963 616.09/596.36 c cleaning 77995 clauses out of 156029 with flag 9911737/3166962 629.79/609.79 c cleaning 78993 clauses out of 158034 with flag 10130216/3246962 649.76/629.32 c cleaning 80008 clauses out of 160039 with flag 10388045/3327960 668.70/647.98 c cleaning 81007 clauses out of 162032 with flag 10650784/3409961 687.87/666.37 c cleaning 81994 clauses out of 164028 with flag 10945560/3492964 707.02/684.96 c cleaning 83003 clauses out of 166031 with flag 11218310/3576961 729.25/706.76 c cleaning 84003 clauses out of 168028 with flag 11511009/3661961 750.51/727.62 c cleaning 85008 clauses out of 170026 with flag 11799453/3747962 773.24/749.75 c cleaning 85998 clauses out of 172017 with flag 12107473/3834961 796.78/771.97 c cleaning 87001 clauses out of 174020 with flag 12411234/3922962 816.93/791.51 c cleaning 87985 clauses out of 176018 with flag 12711589/4011961 837.23/811.29 c cleaning 89010 clauses out of 178033 with flag 13028757/4101961 858.14/831.77 c cleaning 89995 clauses out of 180023 with flag 13349903/4192961 878.65/851.97 c cleaning 90984 clauses out of 182028 with flag 13655610/4284961 900.22/873.29 c cleaning 92009 clauses out of 184043 with flag 13939079/4377960 923.69/896.37 c cleaning 93004 clauses out of 186035 with flag 14226785/4471961 944.48/916.65 c cleaning 93999 clauses out of 188030 with flag 14490330/4566960 968.52/940.20 c cleaning 94994 clauses out of 190031 with flag 14800199/4662960 990.24/961.53 c cleaning 95996 clauses out of 192037 with flag 15112561/4759960 1013.15/983.86 c cleaning 97010 clauses out of 194041 with flag 15424716/4857960 1036.47/1006.78 c cleaning 98004 clauses out of 196032 with flag 15771520/4956961 1059.69/1029.20 c cleaning 98971 clauses out of 198027 with flag 16102237/5056960 1082.37/1051.26 c cleaning 100023 clauses out of 200059 with flag 16420181/5157963 1103.84/1072.16 c cleaning 101005 clauses out of 202035 with flag 16737946/5259962 1126.25/1093.93 c cleaning 102005 clauses out of 204029 with flag 17061340/5362961 1146.06/1113.31 c cleaning 103007 clauses out of 206024 with flag 17377724/5466961 1172.16/1138.61 c cleaning 103995 clauses out of 208016 with flag 17731782/5571960 1196.83/1161.78 c cleaning 104965 clauses out of 210021 with flag 18127257/5677960 1223.87/1188.05 c cleaning 106004 clauses out of 212056 with flag 18498130/5784960 1248.18/1211.85 c cleaning 107019 clauses out of 214052 with flag 18858011/5892960 1271.01/1233.37 c cleaning 108000 clauses out of 216033 with flag 19189900/6001960 1302.30/1263.83 c cleaning 109009 clauses out of 218034 with flag 19617391/6111961 1327.44/1288.58 c cleaning 109993 clauses out of 220024 with flag 19964514/6222960 1355.09/1315.55 c cleaning 110992 clauses out of 222031 with flag 20316116/6334960 1382.78/1342.57 c cleaning 111999 clauses out of 224040 with flag 20695366/6447961 1402.81/1362.08 c cleaning 113015 clauses out of 226040 with flag 21006227/6561960 1421.92/1380.81 c cleaning 113995 clauses out of 228026 with flag 21340751/6676961 1441.18/1399.78 c cleaning 115006 clauses out of 230030 with flag 21688434/6792960 1466.58/1424.69 c cleaning 115991 clauses out of 232025 with flag 22069832/6909961 1482.92/1440.64 c cleaning 116995 clauses out of 234033 with flag 22444704/7027960 1507.37/1464.60 c cleaning 118012 clauses out of 236040 with flag 22835843/7146962 1534.04/1490.72 c cleaning 118994 clauses out of 238026 with flag 23232834/7266960 1558.14/1514.74 c cleaning 120012 clauses out of 240033 with flag 23592104/7387961 1587.46/1543.66 c cleaning 120984 clauses out of 242020 with flag 23972301/7509960 1616.00/1571.80 c cleaning 122015 clauses out of 244040 with flag 24340895/7632964 1636.57/1592.10 c cleaning 122984 clauses out of 246022 with flag 24709179/7756961 1662.14/1616.90 c cleaning 123995 clauses out of 248037 with flag 25111173/7881960 1694.45/1648.54 c cleaning 125003 clauses out of 250043 with flag 25535577/8007961 1720.96/1674.61 c cleaning 125996 clauses out of 252039 with flag 25909501/8134960 1749.91/1701.42 c cleaning 127010 clauses out of 254043 with flag 26294419/8262960 1770.37/1721.24 c cleaning 128002 clauses out of 256033 with flag 26680335/8391960 1797.41/1747.62 c cleaning 128999 clauses out of 258032 with flag 27055402/8521961 1824.75/1774.32 c cleaning 129996 clauses out of 260032 with flag 27438929/8652960 1852.15/1801.06 c cleaning 131006 clauses out of 262037 with flag 27872815/8784961 1878.26/1826.74 c cleaning 131999 clauses out of 264031 with flag 28263812/8917961 1913.82/1861.84 c cleaning 133004 clauses out of 266031 with flag 28723008/9051960 1944.87/1892.23 c cleaning 133999 clauses out of 268027 with flag 29149523/9186960 1976.48/1923.43 c cleaning 134994 clauses out of 270028 with flag 29589545/9322960 2006.05/1952.55 c cleaning 136008 clauses out of 272034 with flag 29971791/9459960 2036.30/1982.24 c cleaning 137003 clauses out of 274027 with flag 30355470/9597961 2064.70/2010.09 c cleaning 137978 clauses out of 276024 with flag 30774572/9736961 2094.73/2039.42 c cleaning 139009 clauses out of 278046 with flag 31219331/9876961 2129.67/2073.68 c cleaning 140005 clauses out of 280036 with flag 31684273/10017960 2158.16/2101.68 c cleaning 140991 clauses out of 282032 with flag 32097473/10159961 2188.26/2131.27 c cleaning 142005 clauses out of 284040 with flag 32523502/10302960 2220.40/2162.65 c cleaning 142997 clauses out of 286036 with flag 32972301/10446961 2255.09/2196.36 c cleaning 144010 clauses out of 288040 with flag 33429360/10591962 2285.71/2226.32 c cleaning 145001 clauses out of 290029 with flag 33867422/10737961 2318.32/2258.35 c cleaning 145994 clauses out of 292028 with flag 34301797/10884961 2349.30/2288.69 c cleaning 147006 clauses out of 294033 with flag 34734805/11032960 2381.04/2319.90 c cleaning 148006 clauses out of 296027 with flag 35183770/11181960 2415.17/2353.27 c cleaning 148986 clauses out of 298021 with flag 35686893/11331960 2456.95/2393.96 c cleaning 150002 clauses out of 300036 with flag 36233413/11482961 2491.92/2427.92 c cleaning 150978 clauses out of 302033 with flag 36757041/11634960 2530.44/2465.82 c cleaning 152012 clauses out of 304055 with flag 37285675/11787960 2571.11/2503.73 c cleaning 153019 clauses out of 306043 with flag 37761160/11941960 2609.03/2541.14 c cleaning 154005 clauses out of 308024 with flag 38242292/12096960 2651.02/2582.48 c cleaning 154993 clauses out of 310020 with flag 38735723/12252961 2695.12/2625.82 c cleaning 155987 clauses out of 312026 with flag 39208550/12409960 2739.95/2669.94 c cleaning 157004 clauses out of 314040 with flag 39709156/12567961 2782.64/2711.97 c cleaning 157998 clauses out of 316036 with flag 40200498/12726961 2827.18/2755.59 c cleaning 158984 clauses out of 318037 with flag 40725214/12886960 2865.53/2793.21 c cleaning 160011 clauses out of 320054 with flag 41226286/13047961 2905.56/2832.68 c cleaning 161004 clauses out of 322043 with flag 41767455/13209961 2946.71/2872.85 c cleaning 162008 clauses out of 324038 with flag 42317979/13372960 2986.11/2911.67 c cleaning 162998 clauses out of 326031 with flag 42808936/13536961 3021.68/2946.61 c cleaning 164008 clauses out of 328035 with flag 43274983/13701963 3051.65/2976.29 c cleaning 164991 clauses out of 330024 with flag 43711552/13867960 3086.71/3010.70 c cleaning 166012 clauses out of 332033 with flag 44195176/14034960 3127.67/3051.00 c cleaning 166995 clauses out of 334021 with flag 44710732/14202960 3161.72/3084.67 c cleaning 167979 clauses out of 336027 with flag 45157555/14371961 3199.36/3121.61 c cleaning 169020 clauses out of 338052 with flag 45600511/14541965 3252.22/3173.82 c cleaning 169996 clauses out of 340028 with flag 46118043/14712961 3285.86/3206.84 c cleaning 171001 clauses out of 342031 with flag 46614202/14884960 3318.23/3238.53 c cleaning 171996 clauses out of 344030 with flag 47078039/15057960 3354.05/3273.81 c cleaning 173014 clauses out of 346036 with flag 47556725/15231962 3398.01/3316.61 c cleaning 173989 clauses out of 348020 with flag 48127384/15406960 3443.28/3361.28 c cleaning 174995 clauses out of 350031 with flag 48703286/15582960 3485.71/3402.88 c cleaning 175997 clauses out of 352036 with flag 49272971/15759960 3528.46/3443.03 c cleaning 177010 clauses out of 354039 with flag 49847714/15937960 3569.75/3483.62 c cleaning 178002 clauses out of 356029 with flag 50381595/16116960 3600.06/3513.42 c starts : 17685 3600.06/3513.43 c conflicts : 16223413 3600.06/3513.43 c decisions : 51426903 3600.06/3513.43 c propagations : 3424539472 3600.06/3513.43 c inspects : 17536695763 3600.06/3513.43 c shortcuts : 0 3600.06/3513.43 c learnt literals : 0 3600.06/3513.43 c learnt binary clauses : 0 3600.06/3513.43 c learnt ternary clauses : 0 3600.06/3513.43 c learnt constraints : 16223413 3600.06/3513.43 c ignored constraints : 0 3600.06/3513.43 c root simplifications : 0 3600.06/3513.43 c removed literals (reason simplification) : 0 3600.06/3513.43 c reason swapping (by a shorter reason) : 0 3600.06/3513.43 c Calls to reduceDB : 177 3600.06/3513.43 c Number of update (reduction) of LBD : 2919044 3600.06/3513.43 c Imported unit clauses : 0 3600.06/3513.44 c No decision after first conflict : false 3600.06/3513.44 c number of reductions to clauses (during analyze) : 0 3600.06/3513.44 c number of learned constraints concerned by reduction : 0 3600.06/3513.44 c number of learning phase by resolution : 0 3600.06/3513.44 c number of learning phase by cutting planes : 0 3600.06/3513.44 c number of rounding to 1 operations : 0 3600.06/3513.44 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3513.44 c number of reductions of the coefficients by power 2 : 0 3600.06/3513.44 c number of right shift for reduction by power 2 : 0 3600.06/3513.44 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3513.44 c number of ending skipping : 0 3600.06/3513.44 c number of internal skipping : 0 3600.06/3513.44 c number of derivation steps : 0 3600.06/3513.44 c number of skipped derivation steps : 0 3600.06/3513.44 c number of remaining unassigned : 0 3600.06/3513.44 c number of remaining assigned : 0 3600.06/3513.44 c number of falsified literals weakened from reason : 0 3600.06/3513.44 c number of falsified literals weakened from conflict : 0 3600.06/3513.44 c time for arithmetic operations : 0 3600.06/3513.45 c minimum degree of deleted constraints : null 3600.06/3513.46 c maximum degree of deleted constraints : null 3600.06/3513.46 c number of deleted constraints : 0 3600.06/3513.46 c speed (assignments/second) : 975062.5111933722 3600.06/3513.48 c non guided choices : 627 3600.46/3513.61 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 284480 3600.46/3513.63 s SATISFIABLE 3600.46/3513.63 c Found 2 solution(s) 3600.46/3513.64 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 3600.46/3513.66 c objective function=6699476 3600.46/3513.67 c Total wall clock time (in seconds): 3512.816
OK 6699476
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (53586 MiB free)
memory of node 1: 64473 MiB (63278 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432163-1723130241/watcher-4432163-1723130241 -o /tmp/evaluation-result-4432163-1723130241/solver-4432163-1723130241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1723130240-457218 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432163-1723130241.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=457263, runsolver pid=457256
[startup+0.100095 s]*
/proc/loadavg: 0.11 0.13 0.16 3/240 457271
/proc/meminfo: memFree=119651524/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=37736 memory=2860 CPUtime=0 cores=4,6
/proc/457263/stat : 457263 (java) D 457256 457263 457207 0 -1 4194304 192 0 4 0 0 0 0 0 20 0 1 0 79395575 38641664 715 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 0 0 0 0 17 4 0 0 9 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 9434 715 633 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2860 KiB
[startup+0.214641 s]*
/proc/loadavg: 0.11 0.13 0.16 3/246 457277
/proc/meminfo: memFree=119625184/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=104392 memory=8256 CPUtime=0.01 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 602 0 34 0 0 1 0 0 20 0 2 0 79395575 106897408 2064 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 0 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 26098 2064 1689 1 0 582 0
[pid=457263/tid=457275] ppid=457256 vsize=104392 memory=4211840275809566839 CPUtime=0 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) D 457256 457263 457207 0 -1 4194368 25 0 5 0 0 0 0 0 20 0 2 0 79395597 106897408 2064 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 0 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 104392 KiB
Current children cumulated memory: 8256 KiB
[startup+0.313709 s]*
/proc/loadavg: 0.11 0.13 0.16 6/246 457277
/proc/meminfo: memFree=119600948/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=280436 memory=19592 CPUtime=0.02 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 1357 0 63 0 1 1 0 0 20 0 2 0 79395575 287166464 4898 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16784588 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 70109 4898 2840 1 0 2305 0
[pid=457263/tid=457275] ppid=457256 vsize=280436 memory=-8671795867270357692 CPUtime=0.01 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) D 457256 457263 457207 0 -1 4194368 781 0 34 0 1 0 0 0 20 0 2 0 79395597 287166464 4898 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 9 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 280436 KiB
Current children cumulated memory: 19592 KiB
[startup+0.700382 s]
/proc/loadavg: 0.11 0.13 0.16 5/264 457295
/proc/meminfo: memFree=119489164/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=18975048 memory=58220 CPUtime=0.24 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 6690 0 115 0 19 5 0 0 20 0 18 0 79395575 19430449152 14555 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4743762 14555 5573 1 0 550981 0
[pid=457263/tid=457275] ppid=457256 vsize=18975048 memory=5512 CPUtime=0.16 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 5517 0 72 0 12 4 0 0 20 0 18 0 79395597 19430449152 14555 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58220 KiB
[startup+1.50067 s]
/proc/loadavg: 0.11 0.13 0.16 12/292 457325
/proc/meminfo: memFree=119325992/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19041612 memory=96804 CPUtime=1.72 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 9717 0 116 0 164 8 0 0 20 0 19 0 79395575 19498610688 24201 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4760403 24201 5791 1 0 553276 0
[pid=457263/tid=457275] ppid=457256 vsize=19041612 memory=12132 CPUtime=0.84 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 5996 0 73 0 79 5 0 0 20 0 19 0 79395597 19498610688 24201 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 34 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19041612 memory=5512 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 79395629 19498610688 24201 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19041612 memory=37156 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 79395632 19498610688 24201 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96804 KiB
[startup+3.10867 s]
/proc/loadavg: 0.11 0.13 0.16 13/321 457361
/proc/meminfo: memFree=118131396/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=239308 CPUtime=4.31 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 19663 0 116 0 417 14 0 0 20 0 20 0 79395575 19566772224 59827 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 59827 5873 1 0 556021 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=37156 CPUtime=2.34 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 6461 0 73 0 228 6 0 0 20 0 20 0 79395597 19566772224 59827 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 59827 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=12132 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 59827 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=37156 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 59827 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 4.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 239308 KiB
[startup+6.30067 s]
/proc/loadavg: 0.99 0.31 0.22 7/322 457362
/proc/meminfo: memFree=116349764/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=426536 CPUtime=8.04 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 20722 0 116 0 786 18 0 0 20 0 20 0 79395575 19566772224 106634 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 106634 5873 1 0 556065 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=0 CPUtime=5.22 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) S 457256 457263 457207 0 -1 1077936192 7233 0 73 0 516 6 0 0 20 0 20 0 79395597 19566772224 106634 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=12132 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 106634 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=37156 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 106634 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=-8743853461308285628 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 106634 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 8.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 426536 KiB
[startup+12.7007 s]
/proc/loadavg: 1.23 0.37 0.24 8/322 457362
/proc/meminfo: memFree=114737592/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=760568 CPUtime=14.89 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 24405 0 116 0 1462 27 0 0 20 0 20 0 79395575 19566772224 190142 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 190142 5906 1 0 948795 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=0 CPUtime=11.38 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 8438 0 73 0 1128 10 0 0 20 0 20 0 79395597 19566772224 190142 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=760328 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 190142 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=12132 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 190142 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=534928 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 190142 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 14.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 760568 KiB
[startup+25.5006 s]
/proc/loadavg: 2.53 0.69 0.35 6/323 457367
/proc/meminfo: memFree=112468404/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=1049924 CPUtime=28.41 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 31500 0 116 0 2807 34 0 0 20 0 20 0 79395575 19566772224 262481 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 262481 5906 1 0 948797 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=995352 CPUtime=23.63 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 9602 0 73 0 2352 11 0 0 20 0 20 0 79395597 19566772224 262481 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=760328 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 262481 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=1963899566814342 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 262481 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 262481 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 28.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1049924 KiB
[startup+51.1141 s]
/proc/loadavg: 4.50 1.31 0.56 6/323 457370
/proc/meminfo: memFree=111217996/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=1916848 CPUtime=54.93 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 37573 0 116 0 5435 58 0 0 20 0 20 0 79395575 19566772224 479212 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 479212 5906 1 0 1245421 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=931792 CPUtime=48.07 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 11148 0 73 0 4790 17 0 0 20 0 20 0 79395597 19566772224 479212 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=1666980 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 479212 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=1666980 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 479212 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 479212 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 54.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1916848 KiB
[startup+102.3 s]
/proc/loadavg: 5.51 2.13 0.88 7/323 457379
/proc/meminfo: memFree=110157860/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=2944580 CPUtime=107.95 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 57198 0 116 0 10708 87 0 0 20 0 20 0 79395575 19566772224 736145 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 736145 5907 1 0 1247079 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=16132 CPUtime=97.26 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 15011 0 73 0 9708 18 0 0 20 0 20 0 79395597 19566772224 736145 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=11968 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 736145 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=12132 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 123 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 736145 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 736145 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
################
# More data... #
################
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 91422 0 73 0 306970 91 0 0 20 0 20 0 79395597 19566772224 3752883 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 38 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=15011480 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 3752883 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=12132 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 1019 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 3752883 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=37684 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 3752883 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 3240.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15011532 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.09 6/321 459137
/proc/meminfo: memFree=92770124/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=15011544 CPUtime=3301.6 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 307222 0 116 0 329618 542 0 0 20 0 20 0 79395575 19566772224 3752886 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 3752886 5907 1 0 4092243 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=15011480 CPUtime=3129.03 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 93806 0 73 0 312812 91 0 0 20 0 20 0 79395597 19566772224 3752886 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 38 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=15011532 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 3752886 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=15011544 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 1071 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 3752886 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=15011532 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 3752886 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 3301.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15011544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.09 6/321 459148
/proc/meminfo: memFree=92769168/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=15011556 CPUtime=3362.77 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 309637 0 116 0 335731 546 0 0 20 0 20 0 79395575 19566772224 3752889 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 3752889 5907 1 0 4092243 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=15011556 CPUtime=3187.5 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 95817 0 73 0 318659 91 0 0 20 0 20 0 79395597 19566772224 3752889 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 38 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=15011556 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 3752889 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=15011556 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 1072 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 3752889 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=15011556 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 3752889 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 3362.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15011556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.09 6/321 459159
/proc/meminfo: memFree=92433380/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=15021796 CPUtime=3424.24 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 315541 0 116 0 341875 549 0 0 20 0 20 0 79395575 19566772224 3755449 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 3755449 5907 1 0 4092243 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=15021796 CPUtime=3245.54 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 98201 0 73 0 324462 92 0 0 20 0 20 0 79395597 19566772224 3755449 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 38 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=15021796 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 3755449 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=5512 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 1122 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 3755449 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=7662991775416345700 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 3755449 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 3424.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15021796 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/321 459170
/proc/meminfo: memFree=92432628/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=15021796 CPUtime=3485.21 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 318046 0 116 0 347969 552 0 0 20 0 20 0 79395575 19566772224 3755449 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 3755449 5907 1 0 4092243 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=37684 CPUtime=3304.1 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 100336 0 73 0 330318 92 0 0 20 0 20 0 79395597 19566772224 3755449 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=16132 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 3755449 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=37684 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 1122 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 3755449 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=15021796 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 3755449 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 3485.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15021796 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.10 6/321 459181
/proc/meminfo: memFree=92285892/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=15034480 CPUtime=3547.93 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 343179 0 116 0 354233 560 0 0 20 0 20 0 79395575 19566772224 3758620 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 3758620 5923 1 0 4092309 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=16132 CPUtime=3362.27 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 105823 0 73 0 336134 93 0 0 20 0 20 0 79395597 19566772224 3758620 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=15034468 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 3758620 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=12132 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 1133 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 3758620 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=15034480 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 3758620 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 3547.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15034480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3513.4 s]
/proc/loadavg: 4.18 4.15 4.10 6/318 459194
/proc/meminfo: memFree=92217752/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19108176 memory=15034500 CPUtime=3600.06 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 346417 0 116 0 359443 563 0 0 20 0 20 0 79395575 19566772224 3758625 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4777044 3758625 5923 1 0 4092310 0
[pid=457263/tid=457275] ppid=457256 vsize=19108176 memory=74043 CPUtime=3411.79 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 107157 0 73 0 341085 94 0 0 20 0 20 0 79395597 19566772224 3758625 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19108176 memory=73249 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79395629 19566772224 3758625 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19108176 memory=3979273546915643481 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 1133 0 0 0 0 0 0 0 20 0 20 0 79395632 19566772224 3758625 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457326] ppid=457256 vsize=19108176 memory=5076 CPUtime=0 cores=4,6
/proc/457263/task/457326/stat : 457326 (Timer-0) S 457256 457263 457207 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79395710 19566772224 3758625 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15034500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3513.72 s]
# the end of solver process 457263 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.96 s, system=5.68222 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3513.61 s]
/proc/loadavg: 4.18 4.15 4.10 6/318 459194
/proc/meminfo: memFree=92217752/131655788 swapFree=131070960/131071996
[pid=457263] ppid=457256 vsize=19307868 memory=15035120 CPUtime=3600.46 cores=4,6
/proc/457263/stat : 457263 (java) S 457256 457263 457207 0 -1 1077936128 347757 0 116 0 359483 563 0 0 20 0 21 0 79395575 19771256832 3758780 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
/proc/457263/statm: 4826967 3758780 5923 1 0 4093213 0
[pid=457263/tid=457275] ppid=457256 vsize=19307868 memory=16132 CPUtime=3411.96 cores=4,6
/proc/457263/task/457275/stat : 457275 (java) R 457256 457263 457207 0 -1 4194368 107214 0 73 0 341102 94 0 0 20 0 21 0 79395597 19771256832 3758780 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457303] ppid=457256 vsize=19307868 memory=12132 CPUtime=0 cores=4,6
/proc/457263/task/457303/stat : 457303 (Finalizer) S 457256 457263 457207 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 79395629 19771256832 3758780 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
[pid=457263/tid=457324] ppid=457256 vsize=19307868 memory=15034496 CPUtime=0 cores=4,6
/proc/457263/task/457324/stat : 457324 (Common-Cleaner) S 457256 457263 457207 0 -1 1077936192 1133 0 0 0 0 0 0 0 20 0 21 0 79395632 19771256832 3758780 134679101440 94917706043392 94917706047088 140723289450448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917706054904 94917706055696 94917735473152 140723289457670 140723289457760 140723289457760 140723289464776 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15035120 KiB
[startup+3513.7 s]*
/proc/loadavg: 4.18 4.15 4.10 6/300 459197
/proc/meminfo: memFree=100390224/131655788 swapFree=131070960/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3513.72
CPU time (s): 3600.65
CPU user time (s): 3594.96
CPU system time (s): 5.68222
CPU usage (%): 102.474
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15035120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.96
system time used= 5.68222
maximum resident set size= 15036060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347977
page faults= 117
swaps= 0
block input operations= 21304
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126881
involuntary context switches= 9864
# summary of solver processes directly reported to runsolver:
# pid: 457263
# total CPU time (s): 3600.65
# total CPU user time (s): 3594.96
# total CPU system time (s): 5.68222
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7782 second user time and 37.6932 second system time
The end
Begin job on nodeC003 at 2024-08-08 17:17:21 IDJOB=4432163 IDBENCH=146743 IDSOLVER=3058 FILE ID=nodeC003/4432163-1723130241 RUNJOBID= nodeC003-1723130240-457218 SLURM_JOB_ID= 8266874 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432163-1723130241/watcher-4432163-1723130241 -o /tmp/evaluation-result-4432163-1723130241/solver-4432163-1723130241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1723130240-457218 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432163-1723130241.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1 RANDOM SEED=803910340 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.180 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1317.750 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.189 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.197 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.199 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.190 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.180 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1299.101 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 119677456 kB MemAvailable: 129928332 kB Buffers: 374396 kB Cached: 10707772 kB SwapCached: 100 kB Active: 768264 kB Inactive: 10698444 kB Active(anon): 1428 kB Inactive(anon): 420668 kB Active(file): 766836 kB Inactive(file): 10277776 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070960 kB Dirty: 106352 kB Writeback: 0 kB AnonPages: 383556 kB Mapped: 101020 kB Shmem: 37452 kB KReclaimable: 92924 kB Slab: 183956 kB SReclaimable: 92924 kB SUnreclaim: 91032 kB KernelStack: 3680 kB PageTables: 9736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 812288 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 28992 kB HardwareCorrupted: 0 kB AnonHugePages: 247808 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 357192 kB DirectMap2M: 12130304 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 723528 MiB End job on nodeC003 at 2024-08-08 18:15:56