Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | MSAT (TO) | 3600.35 | 3590.58 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | 7739b4d9ca7025fb6750e4f7ea1afab1 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.166201 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 5100 |
| Total number of constraints | 202 |
| Number of soft constraints | 202 |
| Number of constraints which are clauses | 102 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 50 |
| Maximum length of a constraint | 51 |
| Top cost | 10037 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 10036 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 52 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.01/0.20 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.01/0.20 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.20 c See www.sat4j.org for details. 0.09/0.21 c version CUSTOM.v20240707 0.09/0.22 c java.runtime.name OpenJDK Runtime Environment 0.09/0.22 c java.vm.name OpenJDK 64-Bit Server VM 0.09/0.22 c java.vm.version 22.0.1+8-16 0.09/0.22 c java.vm.vendor Oracle Corporation 0.09/0.22 c sun.arch.data.model 64 0.09/0.22 c java.version 22.0.1 0.09/0.22 c os.name Linux 0.09/0.22 c os.version 4.18.0-301.1.el8.x86_64 0.09/0.22 c os.arch amd64 0.09/0.22 c Free memory 2106806208 0.09/0.22 c Max memory 16282288128 0.09/0.22 c Total memory 2113929216 0.09/0.23 c Number of processors 2 0.09/0.27 --- Begin Solver configuration --- 0.09/0.27 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.09/0.27 Learn all clauses as in MiniSAT 0.09/0.27 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.27 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.27 No reason simplification 0.09/0.27 Glucose 2.1 dynamic restart strategy 0.09/0.27 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.09/0.27 timeout=2147483s 0.09/0.27 DB Simplification allowed=false 0.09/0.27 Listener: none 0.09/0.27 --- End Solver configuration --- 0.09/0.27 c Pseudo Boolean Optimization by upper bound 0.09/0.27 c --- Begin Solver configuration --- 0.09/0.27 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.09/0.27 c Learn all clauses as in MiniSAT 0.09/0.27 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.27 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.27 c No reason simplification 0.09/0.27 c Glucose 2.1 dynamic restart strategy 0.09/0.27 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.09/0.27 c timeout=2147483s 0.09/0.27 c DB Simplification allowed=false 0.09/0.27 c Listener: none 0.09/0.27 c --- End Solver configuration --- 0.09/0.27 c solving HOME/instance-4455991-1721718385.wbo 0.09/0.27 c reading problem ... 0.26/0.33 c ... done. Wall clock time 0.063s. 0.26/0.33 c declared #vars 5100 0.26/0.33 c internal #vars 5302 0.26/0.33 c #constraints 203 0.26/0.33 c constraints type 0.26/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100 0.26/0.33 c org.sat4j.specs.Constr$1 => 1 0.26/0.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 102 0.26/0.33 c 203 constraints processed. 0.26/0.35 c objective function length is 202 literals 0.83/0.69 c SATISFIABLE 1.02/0.70 c OPTIMIZING... 1.02/0.70 c Got one! Elapsed wall clock time (in seconds):0.426 1.02/0.70 o 142 1.20/0.83 c Got one! Elapsed wall clock time (in seconds):0.568 1.20/0.84 o 128 1.66/1.24 c cleaning 2893 clauses out of 5794 with flag 12176/5794 1.66/1.26 c Got one! Elapsed wall clock time (in seconds):0.988 1.66/1.26 o 117 2.69/2.13 c cleaning 4036 clauses out of 8078 with flag 31679/10971 3.81/3.28 c cleaning 5015 clauses out of 10040 with flag 69312/16969 5.22/4.68 c cleaning 6007 clauses out of 12024 with flag 111431/23968 5.47/4.88 c Got one! Elapsed wall clock time (in seconds):4.612 5.47/4.88 o 88 6.70/5.99 c cleaning 5552 clauses out of 11119 with flag 24039/29070 7.55/6.76 c Got one! Elapsed wall clock time (in seconds):6.496 7.55/6.76 o 73 8.05/7.24 c cleaning 5437 clauses out of 10893 with flag 12048/34396 9.40/8.54 c cleaning 5721 clauses out of 11455 with flag 51636/40395 11.35/10.43 c cleaning 6358 clauses out of 12734 with flag 94778/47395 13.83/12.96 c cleaning 7182 clauses out of 14380 with flag 147251/55399 14.13/13.23 c Got one! Elapsed wall clock time (in seconds):12.964 14.13/13.23 o 55 15.59/14.68 c cleaning 6294 clauses out of 12597 with flag 26052/60798 16.88/15.94 c cleaning 6139 clauses out of 12303 with flag 67404/66798 18.34/17.33 c cleaning 6573 clauses out of 13162 with flag 116461/73796 20.14/19.13 c cleaning 7290 clauses out of 14589 with flag 169713/81796 20.93/19.98 c Got one! Elapsed wall clock time (in seconds):19.714 20.93/19.98 o 43 21.39/20.32 c cleaning 6480 clauses out of 12978 with flag 6892/87475 22.69/21.68 c cleaning 6235 clauses out of 12495 with flag 47991/93472 24.19/23.15 c cleaning 6613 clauses out of 13260 with flag 94916/100472 26.02/24.92 c cleaning 7309 clauses out of 14647 with flag 145688/108472 28.52/27.45 c cleaning 8162 clauses out of 16339 with flag 205265/117473 31.82/30.64 c cleaning 9076 clauses out of 18180 with flag 276136/127476 35.71/34.47 c cleaning 10041 clauses out of 20100 with flag 354471/138472 40.70/39.34 c cleaning 11012 clauses out of 22060 with flag 442952/150473 46.44/45.01 c cleaning 12018 clauses out of 24049 with flag 535954/163474 52.70/51.20 c cleaning 13003 clauses out of 26031 with flag 624179/177474 58.87/57.32 c cleaning 14005 clauses out of 28026 with flag 726826/192472 65.44/63.82 c cleaning 14998 clauses out of 30021 with flag 828988/208472 75.25/73.32 c cleaning 16000 clauses out of 32025 with flag 950884/225474 84.18/82.20 c cleaning 17002 clauses out of 34025 with flag 1064879/243474 95.96/94.04 c cleaning 18003 clauses out of 36023 with flag 1180989/262474 108.21/106.33 c cleaning 19001 clauses out of 38021 with flag 1306659/282475 119.48/117.64 c cleaning 19999 clauses out of 40017 with flag 1435849/303472 133.36/131.51 c cleaning 20994 clauses out of 42018 with flag 1569359/325472 146.97/145.11 c cleaning 22000 clauses out of 44024 with flag 1704817/348472 162.43/160.72 c cleaning 23004 clauses out of 46025 with flag 1849347/372473 179.49/177.60 c cleaning 24001 clauses out of 48022 with flag 2005109/397474 196.16/193.94 c cleaning 25001 clauses out of 50021 with flag 2169161/423474 217.32/215.02 c cleaning 26000 clauses out of 52019 with flag 2363232/450473 242.45/240.01 c cleaning 26992 clauses out of 54018 with flag 2546028/478472 267.37/264.89 c cleaning 27999 clauses out of 56026 with flag 2756343/507472 290.59/287.97 c cleaning 29005 clauses out of 58029 with flag 2965336/537474 317.83/315.28 c cleaning 30002 clauses out of 60023 with flag 3173143/568473 347.08/344.64 c cleaning 30998 clauses out of 62021 with flag 3413410/600473 375.14/372.69 c cleaning 32002 clauses out of 64024 with flag 3650690/633474 384.61/382.00 c Got one! Elapsed wall clock time (in seconds):381.732 384.61/382.00 o 14 387.81/385.19 c cleaning 25832 clauses out of 51682 with flag 30326/653134 390.00/387.32 c cleaning 15914 clauses out of 31847 with flag 67361/659131 392.40/389.77 c cleaning 11451 clauses out of 22933 with flag 116354/666131 394.90/392.04 c cleaning 9728 clauses out of 19482 with flag 170512/674131 397.58/394.72 c cleaning 9362 clauses out of 18754 with flag 231954/683131 400.78/397.93 c cleaning 9687 clauses out of 19395 with flag 305000/693134 403.93/401.02 c cleaning 10342 clauses out of 20705 with flag 385505/704131 408.02/405.10 c cleaning 11165 clauses out of 22365 with flag 469032/716133 412.02/409.16 c cleaning 12090 clauses out of 24198 with flag 554898/729131 417.41/414.53 c cleaning 13044 clauses out of 26110 with flag 659495/743133 423.32/420.38 c cleaning 14019 clauses out of 28064 with flag 765824/758131 431.01/428.08 c cleaning 15009 clauses out of 30045 with flag 877285/774131 442.28/439.34 c cleaning 16001 clauses out of 32037 with flag 1005474/791132 451.36/448.44 c cleaning 17008 clauses out of 34039 with flag 1115979/809135 464.34/461.42 c cleaning 18000 clauses out of 36028 with flag 1242814/828132 481.64/478.78 c cleaning 19003 clauses out of 38027 with flag 1375169/848131 496.29/493.52 c cleaning 19996 clauses out of 40024 with flag 1502850/869131 505.99/503.31 c Got one! Elapsed wall clock time (in seconds):503.039 505.99/503.31 o 11 509.69/506.80 c cleaning 21253 clauses out of 42540 with flag 33600/891643 512.19/509.30 c cleaning 13629 clauses out of 27288 with flag 72389/897644 514.19/511.35 c cleaning 10317 clauses out of 20659 with flag 117374/904644 516.28/513.41 c cleaning 9151 clauses out of 18341 with flag 170723/912643 519.07/516.28 c cleaning 9082 clauses out of 18193 with flag 234791/921646 521.77/518.92 c cleaning 9541 clauses out of 19109 with flag 306555/931644 525.07/522.21 c cleaning 10265 clauses out of 20567 with flag 390238/942643 529.82/526.94 c cleaning 11142 clauses out of 22304 with flag 483127/954645 534.11/531.22 c cleaning 12064 clauses out of 24160 with flag 577680/967643 539.20/536.32 c cleaning 13032 clauses out of 26096 with flag 680170/981643 545.09/542.29 c cleaning 14019 clauses out of 28065 with flag 787693/996644 552.62/549.73 c cleaning 15007 clauses out of 30046 with flag 926803/1012644 561.92/559.09 c cleaning 16003 clauses out of 32040 with flag 1057471/1029645 571.66/568.73 c cleaning 17004 clauses out of 34039 with flag 1191776/1047647 579.54/576.64 c cleaning 18001 clauses out of 36031 with flag 1345496/1066643 594.42/591.53 c cleaning 19003 clauses out of 38030 with flag 1507219/1086643 606.26/603.38 c cleaning 20006 clauses out of 40031 with flag 1652283/1107647 617.53/614.60 c cleaning 21000 clauses out of 42022 with flag 1818519/1129644 628.94/625.90 c cleaning 21992 clauses out of 44021 with flag 1983122/1152643 642.80/639.92 c cleaning 23004 clauses out of 46029 with flag 2169149/1176643 655.07/652.37 c cleaning 23995 clauses out of 48025 with flag 2354147/1201643 673.24/670.47 c cleaning 24996 clauses out of 50030 with flag 2571745/1227643 687.92/685.15 c cleaning 26003 clauses out of 52035 with flag 2807254/1254644 708.04/705.13 c cleaning 27001 clauses out of 54031 with flag 3095294/1282643 727.09/724.24 c cleaning 28001 clauses out of 56032 with flag 3345244/1311645 748.54/745.28 c cleaning 28998 clauses out of 58030 with flag 3595618/1341644 773.84/770.56 c cleaning 30002 clauses out of 60034 with flag 3847492/1372646 796.90/793.64 c cleaning 31000 clauses out of 62030 with flag 4118981/1404644 825.55/822.18 c cleaning 31996 clauses out of 64030 with flag 4423124/1437644 854.89/851.59 c cleaning 33000 clauses out of 66033 with flag 4740832/1471643 880.29/877.10 c cleaning 33999 clauses out of 68033 with flag 5056643/1506643 907.32/904.33 c cleaning 35004 clauses out of 70034 with flag 5384613/1542643 935.03/932.06 c cleaning 36003 clauses out of 72031 with flag 5721893/1579644 970.78/967.85 c cleaning 37000 clauses out of 74028 with flag 6080063/1617644 1004.91/1001.88 c cleaning 38007 clauses out of 76029 with flag 6416800/1656645 1015.58/1012.59 c Got one! Elapsed wall clock time (in seconds):1012.321 1015.58/1012.59 o 6 1018.68/1015.61 c cleaning 28228 clauses out of 56477 with flag 36628/1675100 1020.98/1017.92 c cleaning 17114 clauses out of 34247 with flag 85324/1681098 1023.33/1020.28 c cleaning 12052 clauses out of 24132 with flag 143434/1688097 1024.92/1021.88 c cleaning 10026 clauses out of 20080 with flag 212090/1696097 1026.92/1023.80 c cleaning 9518 clauses out of 19057 with flag 291239/1705100 1029.01/1025.92 c cleaning 9755 clauses out of 19536 with flag 381459/1715097 1031.80/1028.70 c cleaning 10377 clauses out of 20781 with flag 473254/1726097 1035.40/1032.28 c cleaning 11191 clauses out of 22405 with flag 585934/1738098 1037.60/1034.48 c cleaning 12086 clauses out of 24213 with flag 685569/1751097 1039.79/1036.64 c cleaning 13038 clauses out of 26128 with flag 788235/1765098 1042.29/1039.14 c cleaning 14022 clauses out of 28089 with flag 903983/1780097 1045.40/1042.24 c cleaning 15010 clauses out of 30068 with flag 1032806/1796098 1048.89/1045.79 c cleaning 16004 clauses out of 32058 with flag 1172571/1813098 1052.70/1049.58 c cleaning 17004 clauses out of 34053 with flag 1307609/1831097 1057.49/1054.37 c cleaning 18004 clauses out of 36052 with flag 1469144/1850100 1062.18/1059.04 c cleaning 18998 clauses out of 38048 with flag 1667630/1870100 1067.32/1064.18 c cleaning 20002 clauses out of 40047 with flag 1847027/1891097 1075.50/1072.33 c cleaning 20997 clauses out of 42048 with flag 2057623/1913100 1084.29/1081.19 c cleaning 22001 clauses out of 44048 with flag 2284147/1936097 1091.97/1088.89 c cleaning 23000 clauses out of 46047 with flag 2524388/1960097 1096.46/1093.36 c cleaning 24003 clauses out of 48047 with flag 2715512/1985097 1101.61/1098.10 c cleaning 24997 clauses out of 50044 with flag 2909207/2011097 1108.69/1105.27 c cleaning 26011 clauses out of 52047 with flag 3135764/2038097 1119.08/1115.69 c cleaning 27001 clauses out of 54037 with flag 3306989/2066098 1129.06/1125.63 c Got one! Elapsed wall clock time (in seconds):1125.358 1129.06/1125.63 o 3 1129.64/1126.15 c cleaning 26919 clauses out of 53885 with flag 35276/2092947 1130.27/1126.76 c cleaning 16453 clauses out of 32965 with flag 75406/2098946 1131.46/1127.78 c cleaning 11730 clauses out of 23511 with flag 119455/2105945 1132.46/1128.77 c cleaning 9860 clauses out of 19781 with flag 175011/2113945 1133.77/1130.10 c cleaning 9421 clauses out of 18921 with flag 239158/2122945 1135.16/1131.43 c cleaning 9717 clauses out of 19501 with flag 304386/2132946 1136.66/1132.92 c cleaning 10357 clauses out of 20783 with flag 374310/2143945 1138.36/1134.67 c cleaning 11184 clauses out of 22427 with flag 451534/2155946 1140.56/1136.83 c cleaning 12094 clauses out of 24244 with flag 543733/2168947 1143.25/1139.57 c cleaning 13052 clauses out of 26148 with flag 643298/2182945 1147.24/1143.56 c cleaning 14024 clauses out of 28098 with flag 749123/2197947 1150.75/1146.82 c cleaning 15011 clauses out of 30074 with flag 881361/2213947 1154.54/1150.68 c cleaning 16003 clauses out of 32061 with flag 1025066/2230945 1159.23/1155.37 c cleaning 17001 clauses out of 34059 with flag 1183868/2248946 1164.52/1160.65 c cleaning 18005 clauses out of 36057 with flag 1347625/2267945 1170.66/1166.78 c cleaning 19001 clauses out of 38052 with flag 1510878/2287945 1178.45/1174.57 c cleaning 20003 clauses out of 40053 with flag 1659461/2308947 1186.84/1182.98 c cleaning 21003 clauses out of 42054 with flag 1812504/2330951 1196.23/1192.31 c cleaning 22000 clauses out of 44045 with flag 1979306/2353945 1207.22/1203.13 c cleaning 22998 clauses out of 46047 with flag 2148500/2377947 1218.50/1214.48 c cleaning 23998 clauses out of 48047 with flag 2314739/2402945 1232.03/1227.70 c cleaning 24999 clauses out of 50050 with flag 2488057/2428946 1245.90/1241.64 c cleaning 26001 clauses out of 52053 with flag 2660320/2455948 1261.15/1256.25 c cleaning 27000 clauses out of 54050 with flag 2850707/2483946 1276.55/1271.63 c cleaning 28002 clauses out of 56051 with flag 3049078/2512947 1294.93/1290.07 c cleaning 29003 clauses out of 58048 with flag 3247187/2542946 1317.21/1312.12 c cleaning 30000 clauses out of 60048 with flag 3490062/2573949 1333.78/1328.54 c cleaning 31001 clauses out of 62047 with flag 3771044/2605948 1352.35/1347.14 c cleaning 32000 clauses out of 64043 with flag 3996643/2638945 1373.53/1368.30 c cleaning 32996 clauses out of 66043 with flag 4236681/2672945 1394.09/1388.97 c cleaning 34001 clauses out of 68049 with flag 4476161/2707947 1420.93/1415.84 c cleaning 34998 clauses out of 70046 with flag 4737087/2743945 1447.22/1442.19 c cleaning 36001 clauses out of 72053 with flag 4997814/2780950 1476.27/1470.63 c cleaning 36995 clauses out of 74047 with flag 5267595/2818945 1504.40/1499.05 c cleaning 37995 clauses out of 76053 with flag 5540821/2857946 1534.78/1529.31 c cleaning 39005 clauses out of 78057 with flag 5819462/2897945 1567.95/1562.61 c cleaning 40002 clauses out of 80053 with flag 6144914/2938946 1599.66/1594.52 c cleaning 40992 clauses out of 82050 with flag 6470098/2980945 1638.50/1633.35 c cleaning 42006 clauses out of 84060 with flag 6798861/3023947 1677.85/1672.54 c cleaning 43002 clauses out of 86052 with flag 7133541/3067945 1719.00/1713.67 c cleaning 44002 clauses out of 88051 with flag 7496158/3112946 1764.41/1758.36 c cleaning 45001 clauses out of 90050 with flag 7860486/3158947 1810.32/1804.37 c cleaning 45998 clauses out of 92047 with flag 8207280/3205945 1856.94/1850.99 c cleaning 46993 clauses out of 94049 with flag 8572527/3253945 1878.45/1872.32 c cleaning 48016 clauses out of 96058 with flag 8963521/3302947 1915.87/1909.56 c cleaning 48997 clauses out of 98040 with flag 9278891/3352945 1948.27/1941.98 c cleaning 49998 clauses out of 100043 with flag 9620512/3403945 1983.02/1976.88 c cleaning 51001 clauses out of 102045 with flag 10005498/3455945 2029.88/2022.99 c cleaning 51995 clauses out of 104044 with flag 10381052/3508945 2067.65/2060.67 c cleaning 53000 clauses out of 106049 with flag 10762742/3562945 2107.61/2100.76 c cleaning 54004 clauses out of 108049 with flag 11163988/3617945 2157.21/2150.40 c cleaning 55001 clauses out of 110045 with flag 11577511/3673945 2186.86/2180.18 c cleaning 55999 clauses out of 112046 with flag 12000409/3730947 2230.45/2223.51 c cleaning 56993 clauses out of 114045 with flag 12413923/3788945 2274.11/2267.04 c cleaning 58002 clauses out of 116053 with flag 12852411/3847946 2397.06/2389.74 c cleaning 59014 clauses out of 118051 with flag 13355013/3907946 2443.50/2435.49 c cleaning 59998 clauses out of 120042 with flag 13756780/3968951 2500.74/2492.65 c cleaning 60999 clauses out of 122041 with flag 14145934/4030948 2562.03/2553.73 c cleaning 61987 clauses out of 124039 with flag 14561595/4093945 2627.48/2618.94 c cleaning 63000 clauses out of 126054 with flag 15025755/4157947 2687.29/2678.73 c cleaning 64000 clauses out of 128052 with flag 15473930/4222945 2747.27/2738.53 c cleaning 64998 clauses out of 130053 with flag 15936816/4288946 2818.84/2810.00 c cleaning 65994 clauses out of 132054 with flag 16408822/4355945 2890.44/2881.35 c cleaning 67000 clauses out of 134060 with flag 16890438/4423945 2973.28/2963.96 c cleaning 67998 clauses out of 136060 with flag 17345573/4492945 3055.10/3044.81 c cleaning 69004 clauses out of 138063 with flag 17821594/4562946 3129.35/3119.24 c cleaning 70004 clauses out of 140060 with flag 18284491/4633947 3220.10/3209.86 c cleaning 71002 clauses out of 142055 with flag 18760410/4705946 3320.50/3310.07 c cleaning 71997 clauses out of 144053 with flag 19266426/4778946 3433.61/3423.68 c cleaning 73007 clauses out of 146057 with flag 19738402/4852947 3544.77/3534.88 c cleaning 74001 clauses out of 148051 with flag 20208127/4927948 3600.05/3590.45 c starts : 784 3600.05/3590.45 c conflicts : 4981886 3600.05/3590.45 c decisions : 6159738 3600.05/3590.45 c propagations : 74374982 3600.05/3590.45 c inspects : 18700106353 3600.05/3590.45 c shortcuts : 0 3600.05/3590.45 c learnt literals : 0 3600.05/3590.45 c learnt binary clauses : 0 3600.05/3590.45 c learnt ternary clauses : 0 3600.05/3590.45 c learnt constraints : 4981886 3600.05/3590.45 c ignored constraints : 0 3600.05/3590.45 c root simplifications : 0 3600.05/3590.45 c removed literals (reason simplification) : 0 3600.05/3590.45 c reason swapping (by a shorter reason) : 0 3600.05/3590.45 c Calls to reduceDB : 189 3600.05/3590.45 c Number of update (reduction) of LBD : 2516798 3600.05/3590.45 c Imported unit clauses : 0 3600.05/3590.45 c No decision after first conflict : false 3600.05/3590.45 c number of reductions to clauses (during analyze) : 0 3600.05/3590.45 c number of learned constraints concerned by reduction : 0 3600.05/3590.45 c number of learning phase by resolution : 0 3600.05/3590.45 c number of learning phase by cutting planes : 0 3600.05/3590.45 c number of rounding to 1 operations : 0 3600.05/3590.45 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.05/3590.45 c number of reductions of the coefficients by power 2 : 0 3600.05/3590.45 c number of right shift for reduction by power 2 : 0 3600.05/3590.45 c number of reductions of the coefficients by GCD over coefficients : 0 3600.05/3590.45 c number of ending skipping : 0 3600.05/3590.45 c number of internal skipping : 0 3600.05/3590.45 c number of derivation steps : 0 3600.05/3590.45 c number of skipped derivation steps : 0 3600.05/3590.45 c number of remaining unassigned : 0 3600.05/3590.45 c number of remaining assigned : 0 3600.05/3590.45 c number of falsified literals weakened from reason : 0 3600.05/3590.45 c number of falsified literals weakened from conflict : 0 3600.05/3590.45 c time for arithmetic operations : 0 3600.05/3590.45 c minimum degree of deleted constraints : null 3600.05/3590.45 c maximum degree of deleted constraints : null 3600.05/3590.45 c number of deleted constraints : 0 3600.05/3590.46 c speed (assignments/second) : 20716.67657353468 3600.05/3590.46 c non guided choices : 127545 3600.27/3590.54 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 127988 3600.27/3590.54 s SATISFIABLE 3600.27/3590.54 c Found 11 solution(s) 3600.27/3590.54 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 3600.27/3590.54 c objective function=3 3600.27/3590.54 c Total wall clock time (in seconds): 3590.275
OK 3
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: 63931 MiB (52905 MiB free)
memory of node 1: 64510 MiB (54442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455991-1721718385/watcher-4455991-1721718385 -o /tmp/evaluation-result-4455991-1721718385/solver-4455991-1721718385 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721718385-86939 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4455991-1721718385.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=86976, runsolver pid=86968
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.74 2.00 2.06 2/284 87030
/proc/meminfo: memFree=109835148/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=18175400 memory=32400 CPUtime=0.01 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 3301 0 100 0 0 1 0 0 20 0 7 0 8367157 18611609600 8100 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16784588 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4543850 8100 3592 1 0 542675 0
[pid=86976/tid=87006] ppid=86968 vsize=18175400 memory=4026531971 CPUtime=0.01 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) D 86968 86976 86928 0 -1 4194368 2751 0 67 0 0 1 0 0 20 0 7 0 8367161 18611609600 8100 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 4 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 32400 KiB
[startup+0.206699 s]*
/proc/loadavg: 1.92 2.04 2.07 7/328 87074
/proc/meminfo: memFree=109742168/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=18975048 memory=56672 CPUtime=0.09 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 6715 0 153 0 6 3 0 0 20 0 18 0 8367157 19430449152 14168 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4743762 14168 5592 1 0 548876 0
[pid=86976/tid=87006] ppid=86968 vsize=18975048 memory=7885630755128410243 CPUtime=0.06 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 5591 0 106 0 4 2 0 0 20 0 18 0 8367161 19430449152 14168 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=18975048 memory=17996 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8367173 19430449152 14168 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=18975048 memory=14135537057400351 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 8367174 19430449152 14168 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56672 KiB
[startup+0.307348 s]*
/proc/loadavg: 1.92 2.04 2.07 13/328 87074
/proc/meminfo: memFree=109690644/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=18975048 memory=68920 CPUtime=0.26 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 7602 0 154 0 23 3 0 0 20 0 18 0 8367157 19430449152 17230 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4743762 17230 5748 1 0 549563 0
[pid=86976/tid=87006] ppid=86968 vsize=18975048 memory=-6000919476934108775 CPUtime=0.14 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 5910 0 107 0 12 2 0 0 20 0 18 0 8367161 19430449152 17230 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=18975048 memory=-4421386522051568735 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8367173 19430449152 17230 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 8367174 19430449152 17230 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68920 KiB
[startup+0.700229 s]
/proc/loadavg: 1.92 2.04 2.07 13/332 87078
/proc/meminfo: memFree=109627000/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19041612 memory=95788 CPUtime=1.02 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 10663 0 154 0 98 4 0 0 20 0 19 0 8367157 19498610688 23947 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4760403 23947 5818 1 0 551724 0
[pid=86976/tid=87006] ppid=86968 vsize=19041612 memory=31948 CPUtime=0.51 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 6045 0 107 0 49 2 0 0 20 0 19 0 8367161 19498610688 23947 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19041612 memory=12316 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8367173 19498610688 23947 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19041612 memory=5440 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 8367174 19498610688 23947 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19041612 memory=16084 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8367192 19498610688 23947 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 95788 KiB
[startup+1.50036 s]
/proc/loadavg: 1.92 2.04 2.07 7/332 87078
/proc/meminfo: memFree=109521252/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19041612 memory=132600 CPUtime=2.09 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 14954 0 154 0 204 5 0 0 20 0 19 0 8367157 19498610688 33150 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4760403 33150 5818 1 0 552105 0
[pid=86976/tid=87006] ppid=86968 vsize=19041612 memory=0 CPUtime=1.28 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 7280 0 107 0 125 3 0 0 20 0 19 0 8367161 19498610688 33150 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19041612 memory=12316 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8367173 19498610688 33150 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19041612 memory=33 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 8367174 19498610688 33150 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8367192 19498610688 33150 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 132600 KiB
[startup+3.10634 s]
/proc/loadavg: 1.92 2.04 2.07 6/336 87082
/proc/meminfo: memFree=109109888/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=196724 CPUtime=3.72 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 16546 0 154 0 365 7 0 0 20 0 20 0 8367157 19566772224 49181 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 49181 5847 1 0 552400 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=0 CPUtime=2.84 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 7473 0 107 0 280 4 0 0 20 0 20 0 8367161 19566772224 49181 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 49181 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=-6000919472689473127 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 49181 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=14127853360908473 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 49181 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 3.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196724 KiB
[startup+6.30035 s]
/proc/loadavg: 2.17 2.09 2.09 7/336 87084
/proc/meminfo: memFree=108777084/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=277088 CPUtime=7.11 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 18556 0 154 0 702 9 0 0 20 0 20 0 8367157 19566772224 69272 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 69272 5848 1 0 552966 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=0 CPUtime=5.94 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 7572 0 107 0 590 4 0 0 20 0 20 0 8367161 19566772224 69272 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=7450431966852245617 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 69272 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 69272 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=2160 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 69272 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 7.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 277088 KiB
[startup+12.7003 s]
/proc/loadavg: 2.40 2.14 2.10 6/336 87084
/proc/meminfo: memFree=108112860/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=413572 CPUtime=13.63 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 20351 0 154 0 1350 13 0 0 20 0 20 0 8367157 19566772224 103393 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 103393 5848 1 0 553315 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=164 CPUtime=12.14 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 8353 0 107 0 1210 4 0 0 20 0 20 0 8367161 19566772224 103393 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 103393 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 103393 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=278408 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 103393 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 13.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 413572 KiB
[startup+25.5003 s]
/proc/loadavg: 2.64 2.20 2.12 6/336 87085
/proc/meminfo: memFree=106563260/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=798204 CPUtime=26.62 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 25110 0 154 0 2639 23 0 0 20 0 20 0 8367157 19566772224 199551 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 199551 5871 1 0 659834 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=8292148123324110535 CPUtime=24.65 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 10098 0 107 0 2458 7 0 0 20 0 20 0 8367161 19566772224 199551 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=798204 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 199551 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 199551 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 199551 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 26.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 798204 KiB
[startup+51.1062 s]
/proc/loadavg: 3.18 2.37 2.19 6/336 87090
/proc/meminfo: memFree=104391236/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=1287820 CPUtime=52.6 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 30673 0 154 0 5226 34 0 0 20 0 20 0 8367157 19566772224 321955 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 321955 5871 1 0 659834 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=1193612 CPUtime=49.72 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 11770 0 107 0 4965 7 0 0 20 0 20 0 8367161 19566772224 321955 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=-6000919472689473127 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 321955 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=1193612 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 321955 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=16084 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 321955 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.35 4.39 4.22 6/337 88885
/proc/meminfo: memFree=72490520/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=5226608 CPUtime=3292.86 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 199390 0 154 0 329058 228 0 0 20 0 20 0 8367157 19566772224 1306652 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 1306652 5874 1 0 1708507 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=5226604 CPUtime=3248.42 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 61033 0 107 0 324812 30 0 0 20 0 20 0 8367161 19566772224 1306652 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=5440 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 1306652 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=5226604 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 1292 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 1306652 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=5226608 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 1306652 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 3292.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5226608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.32 4.21 6/337 88897
/proc/meminfo: memFree=72485936/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=5226772 CPUtime=3352.88 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 202930 0 154 0 335058 230 0 0 20 0 20 0 8367157 19566772224 1306693 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 1306693 5874 1 0 1708508 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=31948 CPUtime=3307.98 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 61804 0 107 0 330768 30 0 0 20 0 20 0 8367161 19566772224 1306693 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=25992 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 1306693 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=5226620 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 1452 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 1306693 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=5226620 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 1306693 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 3352.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5226772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.29 4.20 6/337 88908
/proc/meminfo: memFree=72485152/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=5226772 CPUtime=3412.29 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 203203 0 154 0 340998 231 0 0 20 0 20 0 8367157 19566772224 1306693 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 1306693 5874 1 0 1708509 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=31948 CPUtime=3367.36 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 62072 0 107 0 336706 30 0 0 20 0 20 0 8367161 19566772224 1306693 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=5226620 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 1306693 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=5226772 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 1452 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 1306693 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=5226772 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 1306693 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 3412.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5226772 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.26 4.19 6/334 88918
/proc/meminfo: memFree=72480440/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=5226784 CPUtime=3472.18 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 204274 0 154 0 346985 233 0 0 20 0 20 0 8367157 19566772224 1306696 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 1306696 5874 1 0 1708510 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=31948 CPUtime=3426.33 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 62543 0 107 0 342603 30 0 0 20 0 20 0 8367161 19566772224 1306696 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=5226620 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 1306696 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 1452 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 1306696 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=5226784 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 1306696 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 3472.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5226784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.23 4.18 6/334 88931
/proc/meminfo: memFree=72454352/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=5226784 CPUtime=3532.08 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 204604 0 154 0 352973 235 0 0 20 0 20 0 8367157 19566772224 1306696 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 1306696 5874 1 0 1708510 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=5226784 CPUtime=3486.19 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 62869 0 107 0 348589 30 0 0 20 0 20 0 8367161 19566772224 1306696 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=5226784 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 1306696 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=11356 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 1452 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 1306696 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=5226784 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 1306696 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 3532.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5226784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.22 4.18 6/331 89009
/proc/meminfo: memFree=81516616/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=5226788 CPUtime=3592.03 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 205031 0 154 0 358965 238 0 0 20 0 20 0 8367157 19566772224 1306697 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 1306697 5874 1 0 1708510 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=5226784 CPUtime=3545.24 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 63021 0 107 0 354494 30 0 0 20 0 20 0 8367161 19566772224 1306697 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=5552 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 1306697 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=31948 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 1452 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 1306697 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=2700 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 1306697 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 3592.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5226788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3590.4 s]
/proc/loadavg: 4.42 4.26 4.20 6/329 89543
/proc/meminfo: memFree=104216800/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19108176 memory=5226788 CPUtime=3600.05 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 205035 0 154 0 359767 238 0 0 20 0 20 0 8367157 19566772224 1306697 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4777044 1306697 5874 1 0 1708510 0
[pid=86976/tid=87006] ppid=86968 vsize=19108176 memory=3760576488578442339 CPUtime=3553.26 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 63025 0 107 0 355296 30 0 0 20 0 20 0 8367161 19566772224 1306697 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19108176 memory=31948 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 1306697 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 1452 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 1306697 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87077] ppid=86968 vsize=19108176 memory=5440 CPUtime=0 cores=4,6
/proc/86976/task/87077/stat : 87077 (Timer-0) S 86968 86976 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367192 19566772224 1306697 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5226788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3590.58 s]
# the end of solver process 86976 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.95 s, system=2.40212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3590.53 s]
/proc/loadavg: 4.42 4.26 4.20 6/329 89543
/proc/meminfo: memFree=104216800/131524600 swapFree=131071996/131071996
[pid=86976] ppid=86968 vsize=19307868 memory=5227644 CPUtime=3600.27 cores=4,6
/proc/86976/stat : 86976 (java) S 86968 86976 86928 0 -1 1077936128 207877 0 154 0 359789 238 0 0 20 0 21 0 8367157 19771256832 1306911 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
/proc/86976/statm: 4826967 1306911 5874 1 0 1709439 0
[pid=86976/tid=87006] ppid=86968 vsize=19307868 memory=5226788 CPUtime=3553.38 cores=4,6
/proc/86976/task/87006/stat : 87006 (java) R 86968 86976 86928 0 -1 4194368 63149 0 107 0 355308 30 0 0 20 0 21 0 8367161 19771256832 1306911 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87043] ppid=86968 vsize=19307868 memory=5226784 CPUtime=0 cores=4,6
/proc/86976/task/87043/stat : 87043 (Finalizer) S 86968 86976 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 8367173 19771256832 1306911 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
[pid=86976/tid=87071] ppid=86968 vsize=19307868 memory=11356 CPUtime=0 cores=4,6
/proc/86976/task/87071/stat : 87071 (Common-Cleaner) S 86968 86976 86928 0 -1 1077936192 1452 0 0 0 0 0 0 0 20 0 21 0 8367174 19771256832 1306911 134679101440 94119183433728 94119183437424 140724384591264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94119183445240 94119183446032 94119212183552 140724384596998 140724384597088 140724384597088 140724384604104 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5227644 KiB
Child status: 143
Real time (s): 3590.58
CPU time (s): 3600.35
CPU user time (s): 3597.95
CPU system time (s): 2.40212
CPU usage (%): 100.272
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5227644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.95
system time used= 2.40212
maximum resident set size= 5228408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208500
page faults= 154
swaps= 0
block input operations= 32320
block output operations= 3632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112447
involuntary context switches= 17390
# summary of solver processes directly reported to runsolver:
# pid: 86976
# total CPU time (s): 3600.35
# total CPU user time (s): 3597.95
# total CPU system time (s): 2.40212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.998 second user time and 16.8281 second system time
The end
Begin job on nodeC021 at 2024-07-23 09:06:25 IDJOB=4455991 IDBENCH=143138 IDSOLVER=3037 FILE ID=nodeC021/4455991-1721718385 RUNJOBID= nodeC021-1721718385-86939 SLURM_JOB_ID= 7770403 Free space on /tmp= 890084 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4455991-1721718385/watcher-4455991-1721718385 -o /tmp/evaluation-result-4455991-1721718385/solver-4455991-1721718385 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721718385-86939 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4455991-1721718385.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7739b4d9ca7025fb6750e4f7ea1afab1 RANDOM SEED=1475989485 nodeC021.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 : 0xb00002a cpu MHz : 3488.538 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.35 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 : 0xb00002a cpu MHz : 3427.519 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.41 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 : 0xb00002a cpu MHz : 3510.642 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.35 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 : 0xb00002a cpu MHz : 4111.955 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.41 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 : 0xb00002a cpu MHz : 3636.411 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.35 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 : 0xb00002a cpu MHz : 3795.832 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.41 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 : 0xb00002a cpu MHz : 3606.153 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.35 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 : 0xb00002a cpu MHz : 3747.571 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 109926072 kB MemAvailable: 129680456 kB Buffers: 144844 kB Cached: 20344708 kB SwapCached: 0 kB Active: 890760 kB Inactive: 19965268 kB Active(anon): 1440 kB Inactive(anon): 403108 kB Active(file): 889320 kB Inactive(file): 19562160 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1736 kB Writeback: 4 kB AnonPages: 366208 kB Mapped: 100208 kB Shmem: 37720 kB KReclaimable: 285104 kB Slab: 391984 kB SReclaimable: 285104 kB SUnreclaim: 106880 kB KernelStack: 3760 kB PageTables: 9788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 750656 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18144 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 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: 297684 kB DirectMap2M: 31981568 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 890076 MiB End job on nodeC021 at 2024-07-23 10:06:16