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 | OPTIMUM | 1325.68 | 1319.15 |
| Name | PB24/WBO/SOFT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-0-100-0.wbo |
| MD5SUM | 36667ceb652fd3faee014f579e034408 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 486.809 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4960 |
| Total number of constraints | 16157 |
| Number of soft constraints | 16157 |
| Number of constraints which are clauses | 15841 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 316 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 30 |
| Top cost | 812826 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 812825 |
| Biggest number in a constraint | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 201 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2106806208 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.13 --- Begin Solver configuration --- 0.12/0.13 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.12/0.13 Learn all clauses as in MiniSAT 0.12/0.13 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 No reason simplification 0.12/0.13 Glucose 2.1 dynamic restart strategy 0.12/0.13 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.12/0.13 timeout=2147483s 0.12/0.13 DB Simplification allowed=false 0.12/0.13 Listener: none 0.12/0.13 --- End Solver configuration --- 0.12/0.14 c Pseudo Boolean Optimization by upper bound 0.12/0.14 c --- Begin Solver configuration --- 0.12/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.12/0.14 c Learn all clauses as in MiniSAT 0.12/0.14 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.14 c No reason simplification 0.12/0.14 c Glucose 2.1 dynamic restart strategy 0.12/0.14 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.12/0.14 c timeout=2147483s 0.12/0.14 c DB Simplification allowed=false 0.12/0.14 c Listener: none 0.12/0.14 c --- End Solver configuration --- 0.12/0.14 c solving HOME/instance-4456241-1721718699.wbo 0.12/0.14 c reading problem ... 0.51/0.34 c ... done. Wall clock time 0.203s. 0.51/0.35 c declared #vars 4960 0.51/0.35 c internal #vars 21117 0.51/0.35 c #constraints 16158 0.51/0.35 c constraints type 0.51/0.35 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 196 0.51/0.35 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 316 0.51/0.35 c org.sat4j.specs.Constr$1 => 1 0.51/0.35 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15645 0.51/0.35 c 16158 constraints processed. 0.51/0.36 c objective function length is 16157 literals 0.90/0.56 c SATISFIABLE 0.90/0.56 c OPTIMIZING... 0.90/0.56 c Got one! Elapsed wall clock time (in seconds):0.425 0.90/0.57 o 831 5.38/4.33 c cleaning 2540 clauses out of 5084 with flag 31342/5084 7.78/6.52 c cleaning 4268 clauses out of 8544 with flag 98231/11084 9.64/8.32 c cleaning 5629 clauses out of 11276 with flag 201460/18084 11.87/10.33 c cleaning 6808 clauses out of 13646 with flag 337356/26083 13.03/11.41 c Got one! Elapsed wall clock time (in seconds):11.279 13.03/11.41 o 829 14.15/12.40 c cleaning 6201 clauses out of 12414 with flag 3448/31659 18.35/16.65 c Got one! Elapsed wall clock time (in seconds):16.518 18.35/16.65 o 828 21.58/19.75 c Got one! Elapsed wall clock time (in seconds):19.618 21.58/19.75 o 827 21.58/19.80 c Got one! Elapsed wall clock time (in seconds):19.661 21.58/19.80 o 506 24.45/22.59 c cleaning 8441 clauses out of 16895 with flag 8971/42341 27.63/25.71 c Got one! Elapsed wall clock time (in seconds):25.581 27.63/25.73 o 504 28.60/26.67 c cleaning 6835 clauses out of 13692 with flag 7055/47579 29.29/27.32 c Got one! Elapsed wall clock time (in seconds):27.183 29.29/27.32 o 502 33.38/31.34 c cleaning 5969 clauses out of 11959 with flag 36291/52681 34.47/32.49 c Got one! Elapsed wall clock time (in seconds):32.355 34.47/32.49 o 501 36.58/34.41 c cleaning 5518 clauses out of 11060 with flag 9921/57751 38.14/35.92 c cleaning 5745 clauses out of 11542 with flag 93761/63751 39.89/37.66 c cleaning 6384 clauses out of 12798 with flag 207576/70752 41.85/39.56 c cleaning 7191 clauses out of 14413 with flag 346308/78751 42.55/40.29 c Got one! Elapsed wall clock time (in seconds):40.155 42.55/40.29 o 500 42.67/40.33 c Got one! Elapsed wall clock time (in seconds):40.191 42.67/40.33 o 287 44.62/42.25 c cleaning 6191 clauses out of 12398 with flag 18285/83927 47.07/44.60 c cleaning 6085 clauses out of 12205 with flag 131821/89925 49.36/46.93 c cleaning 6552 clauses out of 13120 with flag 274669/96925 52.43/49.93 c cleaning 7268 clauses out of 14568 with flag 464213/104925 54.60/52.05 c Got one! Elapsed wall clock time (in seconds):51.917 54.60/52.05 o 286 55.71/53.19 c Got one! Elapsed wall clock time (in seconds):53.054 55.71/53.19 o 284 57.61/55.06 c cleaning 9228 clauses out of 18465 with flag 74101/116090 59.29/56.62 c cleaning 7602 clauses out of 15238 with flag 193477/122091 61.01/58.35 c cleaning 7303 clauses out of 14636 with flag 342845/129091 63.26/60.50 c cleaning 7651 clauses out of 15333 with flag 514932/137091 65.82/63.00 c cleaning 8331 clauses out of 16682 with flag 719841/146091 68.66/65.85 c cleaning 9163 clauses out of 18351 with flag 962393/156091 71.63/68.78 c cleaning 10088 clauses out of 20187 with flag 1239230/167090 75.88/72.95 c cleaning 11038 clauses out of 22099 with flag 1571873/179090 80.47/77.23 c cleaning 12020 clauses out of 24061 with flag 1926990/192090 82.65/79.42 c Got one! Elapsed wall clock time (in seconds):79.281 82.65/79.42 o 283 84.93/81.65 c cleaning 11637 clauses out of 23296 with flag 120907/203345 85.63/82.30 c Got one! Elapsed wall clock time (in seconds):82.162 85.63/82.30 o 282 86.62/83.34 c cleaning 8408 clauses out of 16863 with flag 37997/208549 88.96/85.62 c cleaning 7207 clauses out of 14453 with flag 181957/214547 91.04/87.73 c cleaning 7114 clauses out of 14246 with flag 388248/221547 93.99/90.63 c cleaning 7555 clauses out of 15133 with flag 607023/229548 98.06/94.71 c cleaning 8282 clauses out of 16579 with flag 885439/238549 102.33/99.03 c cleaning 9137 clauses out of 18295 with flag 1189385/248547 106.99/103.78 c cleaning 10060 clauses out of 20158 with flag 1481938/259547 112.34/108.81 c cleaning 11040 clauses out of 22098 with flag 1834739/271547 117.20/113.70 c cleaning 12019 clauses out of 24058 with flag 2228748/284547 118.00/114.53 c Got one! Elapsed wall clock time (in seconds):114.396 118.00/114.53 o 281 119.10/115.64 c Got one! Elapsed wall clock time (in seconds):115.508 119.10/115.64 o 280 119.60/116.18 c Got one! Elapsed wall clock time (in seconds):116.041 119.60/116.18 o 279 121.28/117.80 c Got one! Elapsed wall clock time (in seconds):117.665 121.28/117.80 o 278 121.88/118.41 c Got one! Elapsed wall clock time (in seconds):118.277 121.88/118.41 o 272 122.47/119.08 c Got one! Elapsed wall clock time (in seconds):118.947 122.47/119.08 o 271 123.47/120.09 c cleaning 10054 clauses out of 20117 with flag 40168/292625 125.77/122.25 c Got one! Elapsed wall clock time (in seconds):122.12 125.77/122.25 o 270 128.16/124.62 c cleaning 10433 clauses out of 20896 with flag 144718/303458 130.22/126.66 c cleaning 8210 clauses out of 16464 with flag 321295/309459 132.11/128.50 c Got one! Elapsed wall clock time (in seconds):128.367 132.11/128.50 o 269 134.12/130.53 c cleaning 6980 clauses out of 13977 with flag 15601/315182 136.22/132.63 c cleaning 6478 clauses out of 13000 with flag 149149/321185 137.51/133.99 c cleaning 6748 clauses out of 13519 with flag 325202/328182 139.47/135.83 c cleaning 7377 clauses out of 14771 with flag 532763/336182 139.67/136.01 c Got one! Elapsed wall clock time (in seconds):135.875 139.67/136.01 o 268 141.48/137.87 c cleaning 6417 clauses out of 12868 with flag 113942/341656 143.07/139.49 c cleaning 6192 clauses out of 12452 with flag 262648/347657 145.17/141.40 c cleaning 6609 clauses out of 13259 with flag 445670/354656 146.87/143.19 c cleaning 7311 clauses out of 14651 with flag 649737/362657 147.26/143.53 c Got one! Elapsed wall clock time (in seconds):143.401 147.26/143.54 o 267 150.16/146.47 c cleaning 6352 clauses out of 12726 with flag 63377/368043 152.35/148.63 c cleaning 6169 clauses out of 12372 with flag 222045/374041 154.84/150.93 c cleaning 6587 clauses out of 13203 with flag 395055/381041 157.33/153.41 c cleaning 7300 clauses out of 14614 with flag 599603/389039 160.96/156.93 c cleaning 8151 clauses out of 16316 with flag 841868/398041 164.17/160.18 c Got one! Elapsed wall clock time (in seconds):160.046 164.17/160.18 o 266 166.86/162.85 c cleaning 11374 clauses out of 22764 with flag 118546/412640 168.06/164.03 c Got one! Elapsed wall clock time (in seconds):163.894 168.06/164.03 o 265 169.06/165.04 c cleaning 8230 clauses out of 16466 with flag 51890/417716 171.34/167.36 c cleaning 7106 clauses out of 14236 with flag 196448/423716 174.16/170.02 c cleaning 7056 clauses out of 14128 with flag 377351/430714 176.95/172.82 c cleaning 7531 clauses out of 15072 with flag 578722/438714 179.84/175.75 c cleaning 8265 clauses out of 16543 with flag 824538/447716 182.53/178.49 c Got one! Elapsed wall clock time (in seconds):178.36 182.53/178.49 o 264 184.62/180.53 c cleaning 10684 clauses out of 21383 with flag 117602/460821 186.82/182.75 c cleaning 8336 clauses out of 16699 with flag 306727/466821 187.52/183.31 c Got one! Elapsed wall clock time (in seconds):183.178 187.52/183.31 o 263 188.92/184.74 c cleaning 6726 clauses out of 13499 with flag 72331/471957 191.01/186.81 c cleaning 6370 clauses out of 12773 with flag 244592/477957 191.01/186.85 c Got one! Elapsed wall clock time (in seconds):186.713 191.01/186.85 o 262 191.91/187.78 c Got one! Elapsed wall clock time (in seconds):187.644 191.91/187.79 o 261 193.90/189.77 c cleaning 6196 clauses out of 12462 with flag 143666/484016 194.70/190.59 c Got one! Elapsed wall clock time (in seconds):190.461 194.70/190.60 o 259 196.09/191.95 c cleaning 5785 clauses out of 11600 with flag 75247/489350 197.99/193.82 c cleaning 5891 clauses out of 11820 with flag 229239/495355 200.38/196.25 c cleaning 6453 clauses out of 12924 with flag 389675/502350 202.38/198.27 c Got one! Elapsed wall clock time (in seconds):198.136 202.38/198.27 o 258 203.07/198.99 c Got one! Elapsed wall clock time (in seconds):198.859 203.07/198.99 o 257 203.78/199.60 c cleaning 6227 clauses out of 12475 with flag 41662/508354 204.28/200.03 c Got one! Elapsed wall clock time (in seconds):199.893 204.28/200.03 o 256 206.17/201.98 c cleaning 5655 clauses out of 11336 with flag 100223/513442 208.67/204.49 c cleaning 5828 clauses out of 11681 with flag 246982/519442 211.86/207.60 c cleaning 6414 clauses out of 12853 with flag 430912/526442 214.65/210.40 c cleaning 7211 clauses out of 14439 with flag 635853/534442 214.85/210.68 c Got one! Elapsed wall clock time (in seconds):210.55 214.85/210.68 o 255 216.35/212.12 c cleaning 6233 clauses out of 12476 with flag 105146/539690 217.34/213.13 c Got one! Elapsed wall clock time (in seconds):212.995 217.34/213.13 o 254 217.64/213.44 c Got one! Elapsed wall clock time (in seconds):213.305 217.64/213.44 o 249 218.87/214.57 c cleaning 6159 clauses out of 12339 with flag 12995/545786 219.07/214.77 c Got one! Elapsed wall clock time (in seconds):214.639 219.07/214.77 o 248 221.47/217.12 c cleaning 6013 clauses out of 12062 with flag 104023/551668 223.06/218.70 c cleaning 6004 clauses out of 12051 with flag 262795/557670 224.25/219.95 c Got one! Elapsed wall clock time (in seconds):219.813 224.25/219.95 o 246 224.75/220.41 c Got one! Elapsed wall clock time (in seconds):220.277 224.75/220.41 o 245 225.25/220.90 c cleaning 5695 clauses out of 11412 with flag 21848/563035 226.85/222.53 c cleaning 5851 clauses out of 11716 with flag 169459/569034 228.54/224.26 c cleaning 6417 clauses out of 12865 with flag 356138/576034 230.84/226.55 c cleaning 7209 clauses out of 14448 with flag 586851/584034 233.23/229.00 c cleaning 8095 clauses out of 16239 with flag 846425/593034 236.72/232.35 c cleaning 9057 clauses out of 18144 with flag 1104461/603034 238.62/234.28 c Got one! Elapsed wall clock time (in seconds):234.149 238.62/234.28 o 244 241.21/236.85 c cleaning 10061 clauses out of 20137 with flag 123395/614084 243.00/238.64 c cleaning 8025 clauses out of 16075 with flag 305786/620083 244.60/240.24 c cleaning 7512 clauses out of 15050 with flag 530878/627083 246.60/242.18 c cleaning 7752 clauses out of 15538 with flag 782736/635083 248.29/243.87 c Got one! Elapsed wall clock time (in seconds):243.735 248.29/243.87 o 243 250.39/246.00 c cleaning 9401 clauses out of 18826 with flag 132226/646123 252.18/247.79 c cleaning 7699 clauses out of 15425 with flag 308923/652123 253.69/249.23 c Got one! Elapsed wall clock time (in seconds):249.092 253.69/249.23 o 242 254.08/249.64 c Got one! Elapsed wall clock time (in seconds):249.504 254.08/249.64 o 239 255.98/251.50 c Got one! Elapsed wall clock time (in seconds):251.371 255.98/251.51 o 238 257.18/252.78 c cleaning 9358 clauses out of 18730 with flag 54100/663127 260.07/255.57 c cleaning 7679 clauses out of 15372 with flag 216432/669127 261.76/257.21 c cleaning 7335 clauses out of 14692 with flag 439437/676126 263.45/258.93 c cleaning 7671 clauses out of 15357 with flag 663721/684126 265.63/261.18 c cleaning 8334 clauses out of 16687 with flag 979089/693127 268.51/264.10 c cleaning 9176 clauses out of 18354 with flag 1291763/703128 269.20/264.76 c Got one! Elapsed wall clock time (in seconds):264.622 269.20/264.76 o 237 271.69/267.15 c Got one! Elapsed wall clock time (in seconds):267.015 271.69/267.15 o 236 271.78/267.24 c Got one! Elapsed wall clock time (in seconds):267.109 271.78/267.24 o 234 272.58/268.08 c cleaning 8040 clauses out of 16108 with flag 57163/710058 273.78/269.20 c Got one! Elapsed wall clock time (in seconds):269.07 273.78/269.20 o 233 274.87/270.37 c cleaning 6769 clauses out of 13559 with flag 13317/715549 277.58/273.09 c cleaning 6377 clauses out of 12787 with flag 141781/721546 279.37/274.89 c cleaning 6700 clauses out of 13411 with flag 326198/728547 281.56/277.04 c cleaning 7352 clauses out of 14711 with flag 549794/736547 282.36/277.85 c Got one! Elapsed wall clock time (in seconds):277.713 282.36/277.85 o 231 282.86/278.32 c Got one! Elapsed wall clock time (in seconds):278.182 282.86/278.32 o 230 284.36/279.82 c cleaning 6419 clauses out of 12872 with flag 40117/742060 285.26/280.77 c Got one! Elapsed wall clock time (in seconds):280.634 285.26/280.77 o 229 285.35/280.80 c Got one! Elapsed wall clock time (in seconds):280.663 285.35/280.80 o 210 286.66/282.15 c cleaning 6048 clauses out of 12124 with flag 86392/747731 288.46/283.89 c cleaning 6021 clauses out of 12076 with flag 248391/753731 289.36/284.78 c Got one! Elapsed wall clock time (in seconds):284.648 289.36/284.78 o 209 290.45/285.80 c Got one! Elapsed wall clock time (in seconds):285.664 290.45/285.80 o 208 291.15/286.57 c cleaning 6068 clauses out of 12168 with flag 18412/759844 293.85/289.22 c cleaning 6045 clauses out of 12101 with flag 152401/765845 296.14/291.59 c cleaning 6517 clauses out of 13056 with flag 307909/772845 296.84/292.28 c Got one! Elapsed wall clock time (in seconds):292.151 296.84/292.28 o 207 298.44/293.84 c cleaning 6152 clauses out of 12353 with flag 62356/778659 299.94/295.35 c cleaning 6085 clauses out of 12201 with flag 206128/784659 300.93/296.34 c Got one! Elapsed wall clock time (in seconds):296.205 300.93/296.34 o 206 301.03/296.43 c Got one! Elapsed wall clock time (in seconds):296.299 301.03/296.43 o 204 301.93/297.38 c cleaning 5784 clauses out of 11581 with flag 50617/790124 303.83/299.23 c Got one! Elapsed wall clock time (in seconds):299.097 303.83/299.23 o 203 304.43/299.85 c cleaning 5688 clauses out of 11412 with flag 21261/795739 306.62/302.10 c cleaning 5840 clauses out of 11723 with flag 173408/801738 308.93/304.20 c cleaning 6431 clauses out of 12883 with flag 362769/808738 309.84/305.14 c Got one! Elapsed wall clock time (in seconds):305.01 309.84/305.14 o 202 311.43/306.71 c cleaning 6148 clauses out of 12328 with flag 75747/814614 312.92/308.27 c cleaning 6079 clauses out of 12177 with flag 243683/820611 314.52/309.89 c cleaning 6539 clauses out of 13098 with flag 477898/827611 315.72/311.03 c Got one! Elapsed wall clock time (in seconds):310.897 315.72/311.03 o 200 316.11/311.42 c cleaning 6217 clauses out of 12455 with flag 25911/833507 317.41/312.76 c cleaning 6110 clauses out of 12236 with flag 203409/839505 319.40/314.71 c Got one! Elapsed wall clock time (in seconds):314.577 319.40/314.71 o 194 320.20/315.57 c cleaning 5894 clauses out of 11806 with flag 15709/845185 320.60/316.00 c Got one! Elapsed wall clock time (in seconds):315.862 320.60/316.00 o 193 321.99/317.36 c Got one! Elapsed wall clock time (in seconds):317.225 321.99/317.36 o 192 322.49/317.87 c cleaning 5963 clauses out of 11937 with flag 20381/851210 322.80/318.18 c Got one! Elapsed wall clock time (in seconds):318.042 322.80/318.18 o 191 323.70/319.03 c Got one! Elapsed wall clock time (in seconds):318.891 323.70/319.03 o 190 325.48/320.57 c cleaning 5924 clauses out of 11890 with flag 36787/857126 325.98/321.07 c Got one! Elapsed wall clock time (in seconds):320.935 325.98/321.07 o 189 327.66/322.79 c cleaning 5928 clauses out of 11886 with flag 127898/863046 329.25/324.39 c cleaning 5957 clauses out of 11958 with flag 291304/869046 331.13/326.25 c cleaning 6493 clauses out of 13000 with flag 480756/876045 333.41/328.53 c cleaning 7238 clauses out of 14509 with flag 720189/884047 335.71/330.82 c cleaning 8129 clauses out of 16269 with flag 1019264/893045 338.58/333.72 c cleaning 9052 clauses out of 18140 with flag 1380454/903045 342.44/337.53 c cleaning 10036 clauses out of 20089 with flag 1756572/914046 346.80/341.93 c cleaning 11011 clauses out of 22052 with flag 2175575/926045 351.76/346.99 c cleaning 12014 clauses out of 24042 with flag 2639369/939046 357.82/353.01 c cleaning 13007 clauses out of 26027 with flag 3120408/953045 365.87/360.87 c cleaning 14004 clauses out of 28022 with flag 3645677/968047 369.07/363.89 c Got one! Elapsed wall clock time (in seconds):363.757 369.07/363.89 o 188 371.37/366.17 c cleaning 13231 clauses out of 26475 with flag 164181/980504 373.16/367.98 c cleaning 9608 clauses out of 19243 with flag 387760/986503 375.06/369.85 c cleaning 8308 clauses out of 16636 with flag 636191/993504 375.86/370.66 c Got one! Elapsed wall clock time (in seconds):370.522 375.86/370.66 o 187 376.66/371.42 c cleaning 6722 clauses out of 13463 with flag 52192/998639 376.86/371.69 c Got one! Elapsed wall clock time (in seconds):371.551 376.86/371.69 o 185 378.73/373.41 c cleaning 6264 clauses out of 12576 with flag 135776/1004474 380.33/375.06 c cleaning 6135 clauses out of 12312 with flag 302597/1010474 382.32/377.01 c cleaning 6573 clauses out of 13178 with flag 504416/1017475 385.02/379.79 c cleaning 7302 clauses out of 14607 with flag 710135/1025477 387.71/382.49 c cleaning 8146 clauses out of 16304 with flag 974855/1034476 391.95/386.56 c cleaning 9071 clauses out of 18157 with flag 1272426/1044475 392.05/386.67 c Got one! Elapsed wall clock time (in seconds):386.538 392.05/386.67 o 184 393.74/388.35 c Got one! Elapsed wall clock time (in seconds):388.213 393.74/388.35 o 183 395.74/390.39 c Got one! Elapsed wall clock time (in seconds):390.257 395.74/390.39 o 182 397.04/391.62 c cleaning 8180 clauses out of 16379 with flag 48991/1051768 398.03/392.64 c Got one! Elapsed wall clock time (in seconds):392.506 398.03/392.64 o 181 399.13/393.76 c Got one! Elapsed wall clock time (in seconds):393.625 399.13/393.76 o 177 399.63/394.25 c cleaning 7120 clauses out of 14261 with flag 21321/1057830 402.23/396.87 c cleaning 6571 clauses out of 13143 with flag 177947/1063832 404.22/398.89 c Got one! Elapsed wall clock time (in seconds):398.758 404.22/398.89 o 176 406.52/401.11 c cleaning 8532 clauses out of 17081 with flag 125268/1074341 408.01/402.65 c cleaning 7258 clauses out of 14549 with flag 298744/1080341 410.16/404.78 c cleaning 7139 clauses out of 14291 with flag 486064/1087341 413.35/407.94 c cleaning 7567 clauses out of 15151 with flag 702466/1095340 416.45/411.10 c cleaning 8284 clauses out of 16584 with flag 965104/1104340 419.74/414.39 c cleaning 9147 clauses out of 18302 with flag 1302730/1114342 422.93/417.52 c cleaning 10068 clauses out of 20153 with flag 1673374/1125340 426.76/421.26 c cleaning 11036 clauses out of 22085 with flag 2034659/1137340 430.85/425.36 c cleaning 12010 clauses out of 24049 with flag 2475927/1150340 435.83/430.31 c cleaning 13010 clauses out of 26041 with flag 2995302/1164342 440.97/435.33 c cleaning 14005 clauses out of 28029 with flag 3548147/1179340 443.56/437.92 c Got one! Elapsed wall clock time (in seconds):437.785 443.56/437.92 o 175 445.95/440.39 c cleaning 13966 clauses out of 27948 with flag 137600/1193264 448.45/442.83 c cleaning 9973 clauses out of 19981 with flag 318683/1199263 450.19/444.42 c Got one! Elapsed wall clock time (in seconds):444.287 450.19/444.42 o 174 451.18/445.41 c Got one! Elapsed wall clock time (in seconds):445.273 451.18/445.41 o 173 452.17/446.43 c Got one! Elapsed wall clock time (in seconds):446.296 452.17/446.43 o 172 452.96/447.24 c cleaning 10388 clauses out of 20813 with flag 53517/1210068 455.15/449.41 c cleaning 8202 clauses out of 16425 with flag 268939/1216068 458.42/452.74 c cleaning 7597 clauses out of 15222 with flag 470622/1223067 461.98/456.31 c cleaning 7805 clauses out of 15625 with flag 678118/1231067 465.36/459.76 c cleaning 8403 clauses out of 16820 with flag 971124/1240067 467.94/462.33 c Got one! Elapsed wall clock time (in seconds):462.192 467.94/462.33 o 171 470.40/464.62 c cleaning 9544 clauses out of 19107 with flag 142325/1250757 472.58/466.88 c cleaning 7774 clauses out of 15565 with flag 309459/1256759 475.65/469.91 c cleaning 7367 clauses out of 14791 with flag 518168/1263759 476.35/470.60 c Got one! Elapsed wall clock time (in seconds):470.467 476.35/470.60 o 169 477.24/471.59 c Got one! Elapsed wall clock time (in seconds):471.46 477.24/471.59 o 168 478.43/472.70 c cleaning 6688 clauses out of 13400 with flag 52204/1269735 479.72/474.08 c cleaning 6347 clauses out of 12714 with flag 235874/1275737 480.32/474.60 c Got one! Elapsed wall clock time (in seconds):474.469 480.32/474.60 o 167 481.51/475.80 c Got one! Elapsed wall clock time (in seconds):475.669 481.51/475.80 o 165 482.70/477.06 c cleaning 6246 clauses out of 12508 with flag 40325/1281878 484.98/479.32 c cleaning 6121 clauses out of 12264 with flag 221055/1287880 486.58/480.80 c Got one! Elapsed wall clock time (in seconds):480.665 486.58/480.80 o 163 487.28/481.58 c cleaning 6018 clauses out of 12068 with flag 46402/1293805 488.57/482.82 c cleaning 6002 clauses out of 12050 with flag 244608/1299805 489.86/484.14 c cleaning 6490 clauses out of 13049 with flag 446721/1306806 491.44/485.77 c cleaning 7274 clauses out of 14559 with flag 685426/1314806 495.01/489.34 c cleaning 8135 clauses out of 16284 with flag 935422/1323805 496.40/490.72 c Got one! Elapsed wall clock time (in seconds):490.591 496.40/490.72 o 162 497.60/491.92 c cleaning 6901 clauses out of 13815 with flag 41759/1329471 499.09/493.49 c cleaning 6440 clauses out of 12915 with flag 225303/1335472 501.17/495.44 c cleaning 6708 clauses out of 13473 with flag 423092/1342470 503.35/497.67 c cleaning 7360 clauses out of 14767 with flag 673067/1350472 505.93/500.21 c cleaning 8191 clauses out of 16407 with flag 963084/1359472 508.61/502.91 c Got one! Elapsed wall clock time (in seconds):502.779 508.61/502.91 o 161 512.38/506.74 c cleaning 10582 clauses out of 21182 with flag 109506/1372438 512.69/507.07 c Got one! Elapsed wall clock time (in seconds):506.939 512.69/507.07 o 157 513.98/508.37 c Got one! Elapsed wall clock time (in seconds):508.238 513.98/508.37 o 156 516.16/510.56 c cleaning 8633 clauses out of 17284 with flag 59673/1379122 517.95/512.31 c cleaning 7318 clauses out of 14651 with flag 234915/1385122 519.88/514.16 c cleaning 7160 clauses out of 14338 with flag 426067/1392127 521.86/516.12 c cleaning 7572 clauses out of 15175 with flag 668811/1400124 523.65/517.99 c cleaning 8281 clauses out of 16601 with flag 942771/1409122 526.03/520.31 c cleaning 9146 clauses out of 18322 with flag 1282320/1419124 529.26/523.22 c cleaning 10080 clauses out of 20174 with flag 1664578/1430122 534.55/528.51 c cleaning 11019 clauses out of 22095 with flag 2039868/1442123 539.43/533.46 c cleaning 12032 clauses out of 24075 with flag 2476197/1455122 543.62/537.58 c cleaning 13020 clauses out of 26044 with flag 3011374/1469123 545.41/539.39 c Got one! Elapsed wall clock time (in seconds):539.257 545.41/539.39 o 155 545.81/539.78 c Got one! Elapsed wall clock time (in seconds):539.644 545.81/539.78 o 154 546.31/540.20 c Got one! Elapsed wall clock time (in seconds):540.07 546.31/540.20 o 153 546.51/540.47 c Got one! Elapsed wall clock time (in seconds):540.339 546.51/540.47 o 152 547.66/541.51 c cleaning 10194 clauses out of 20403 with flag 53646/1476502 547.83/541.61 c Got one! Elapsed wall clock time (in seconds):541.479 547.83/541.61 o 151 548.33/542.19 c Got one! Elapsed wall clock time (in seconds):542.052 548.33/542.19 o 150 550.63/544.47 c cleaning 7870 clauses out of 15749 with flag 100558/1482042 552.27/545.95 c cleaning 6911 clauses out of 13881 with flag 290263/1488044 554.32/547.85 c cleaning 6965 clauses out of 13968 with flag 509910/1495042 557.34/550.89 c cleaning 7493 clauses out of 15005 with flag 742529/1503044 560.03/553.54 c cleaning 8255 clauses out of 16511 with flag 1034189/1512043 563.72/557.25 c cleaning 9115 clauses out of 18256 with flag 1375374/1522043 568.98/562.35 c cleaning 10065 clauses out of 20141 with flag 1755315/1533043 571.57/564.92 c Got one! Elapsed wall clock time (in seconds):564.789 571.57/564.92 o 149 574.46/567.80 c cleaning 10224 clauses out of 20466 with flag 96420/1543433 575.96/569.35 c Got one! Elapsed wall clock time (in seconds):569.22 575.96/569.35 o 148 577.56/570.93 c cleaning 7969 clauses out of 15952 with flag 40715/1549143 579.46/572.88 c cleaning 6970 clauses out of 13978 with flag 242165/1555138 582.05/575.43 c cleaning 6980 clauses out of 14009 with flag 462713/1562139 585.58/578.77 c cleaning 7498 clauses out of 15028 with flag 711242/1570138 589.05/582.20 c cleaning 8250 clauses out of 16530 with flag 1024690/1579138 592.92/586.16 c cleaning 9134 clauses out of 18282 with flag 1380193/1589140 595.99/589.21 c cleaning 10069 clauses out of 20146 with flag 1739254/1600138 599.95/593.09 c cleaning 11027 clauses out of 22077 with flag 2107237/1612138 605.54/598.63 c cleaning 12018 clauses out of 24050 with flag 2506046/1625138 607.14/600.20 c Got one! Elapsed wall clock time (in seconds):600.069 607.14/600.20 o 147 607.83/600.96 c cleaning 8947 clauses out of 17935 with flag 23219/1631041 610.53/603.67 c cleaning 7472 clauses out of 14992 with flag 197848/1637045 612.12/605.28 c cleaning 7235 clauses out of 14516 with flag 460019/1644041 614.02/607.12 c cleaning 7629 clauses out of 15281 with flag 737131/1652041 616.51/609.53 c cleaning 8320 clauses out of 16652 with flag 1042237/1661041 618.80/611.87 c cleaning 9153 clauses out of 18332 with flag 1409600/1671041 622.19/615.27 c cleaning 10080 clauses out of 20179 with flag 1803642/1682041 627.18/620.25 c cleaning 11048 clauses out of 22107 with flag 2179964/1694049 629.78/622.83 c Got one! Elapsed wall clock time (in seconds):622.7 629.78/622.83 o 145 632.17/625.27 c cleaning 11912 clauses out of 23846 with flag 155323/1706836 634.76/627.75 c cleaning 8952 clauses out of 17935 with flag 330405/1712837 635.26/628.21 c Got one! Elapsed wall clock time (in seconds):628.071 635.26/628.21 o 144 637.36/630.33 c cleaning 7369 clauses out of 14764 with flag 102668/1718618 638.65/631.65 c cleaning 6680 clauses out of 13396 with flag 308374/1724619 641.05/634.09 c Got one! Elapsed wall clock time (in seconds):633.955 641.05/634.09 o 143 643.84/636.87 c cleaning 9071 clauses out of 18171 with flag 90148/1736074 644.15/637.16 c Got one! Elapsed wall clock time (in seconds):637.028 644.15/637.16 o 142 646.24/639.28 c cleaning 7470 clauses out of 14952 with flag 108965/1741926 648.24/641.21 c cleaning 6720 clauses out of 13482 with flag 265567/1747926 650.04/643.09 c Got one! Elapsed wall clock time (in seconds):642.961 650.04/643.09 o 141 654.13/647.11 c cleaning 9178 clauses out of 18364 with flag 102816/1759528 655.42/648.41 c Got one! Elapsed wall clock time (in seconds):648.271 655.42/648.41 o 136 657.02/650.09 c cleaning 7341 clauses out of 14700 with flag 74372/1765042 657.61/650.69 c Got one! Elapsed wall clock time (in seconds):650.557 657.61/650.69 o 135 657.71/650.78 c Got one! Elapsed wall clock time (in seconds):650.644 657.71/650.78 o 134 659.31/652.37 c cleaning 6395 clauses out of 12835 with flag 80397/1770518 661.80/654.76 c cleaning 6216 clauses out of 12440 with flag 259507/1776518 663.78/656.73 c cleaning 6598 clauses out of 13224 with flag 472508/1783518 666.76/659.76 c cleaning 7303 clauses out of 14626 with flag 716950/1791518 670.03/663.06 c cleaning 8154 clauses out of 16323 with flag 1003975/1800518 673.80/666.83 c cleaning 9085 clauses out of 18171 with flag 1313575/1810520 678.97/671.86 c cleaning 10035 clauses out of 20084 with flag 1677681/1821518 684.23/677.17 c cleaning 11017 clauses out of 22049 with flag 2112209/1833518 690.64/683.43 c Got one! Elapsed wall clock time (in seconds):683.297 690.64/683.43 o 133 690.93/683.70 c Got one! Elapsed wall clock time (in seconds):683.565 690.93/683.70 o 132 691.04/683.80 c Got one! Elapsed wall clock time (in seconds):683.663 691.04/683.80 o 128 692.82/685.65 c Got one! Elapsed wall clock time (in seconds):685.512 692.82/685.65 o 127 693.61/686.42 c cleaning 14521 clauses out of 29048 with flag 21083/1851534 696.09/688.95 c cleaning 10260 clauses out of 20529 with flag 206841/1857536 699.17/692.00 c cleaning 8620 clauses out of 17266 with flag 434528/1864533 702.44/695.38 c cleaning 8305 clauses out of 16648 with flag 715826/1872535 702.85/695.76 c Got one! Elapsed wall clock time (in seconds):695.622 702.85/695.76 o 126 705.13/698.00 c cleaning 6678 clauses out of 13364 with flag 93345/1877556 706.72/699.66 c Got one! Elapsed wall clock time (in seconds):699.523 706.72/699.66 o 125 708.00/700.89 c cleaning 5865 clauses out of 11765 with flag 42335/1882635 709.58/702.43 c cleaning 5939 clauses out of 11907 with flag 179768/1888642 711.56/704.45 c cleaning 6474 clauses out of 12962 with flag 357931/1895636 712.95/705.87 c Got one! Elapsed wall clock time (in seconds):705.734 712.95/705.87 o 124 714.15/707.07 c cleaning 6030 clauses out of 12065 with flag 45995/1901213 716.13/709.01 c cleaning 6002 clauses out of 12033 with flag 195973/1907211 718.21/711.18 c cleaning 6500 clauses out of 13032 with flag 390642/1914212 719.50/712.47 c Got one! Elapsed wall clock time (in seconds):712.335 719.50/712.47 o 123 720.89/713.88 c cleaning 5891 clauses out of 11806 with flag 7621/1919486 723.18/716.13 c Got one! Elapsed wall clock time (in seconds):715.995 723.18/716.13 o 122 724.76/717.75 c cleaning 5761 clauses out of 11532 with flag 55769/1925103 727.44/720.43 c cleaning 5877 clauses out of 11773 with flag 194941/1931105 728.23/721.24 c Got one! Elapsed wall clock time (in seconds):721.108 728.23/721.25 o 121 728.44/721.47 c Got one! Elapsed wall clock time (in seconds):721.334 728.44/721.47 o 120 729.73/722.71 c cleaning 5883 clauses out of 11785 with flag 71458/1936994 731.81/724.86 c cleaning 5944 clauses out of 11902 with flag 216692/1942994 732.40/725.48 c Got one! Elapsed wall clock time (in seconds):725.35 732.40/725.48 o 118 734.19/727.17 c cleaning 5614 clauses out of 11249 with flag 90157/1948285 735.68/728.68 c cleaning 5793 clauses out of 11637 with flag 245238/1954287 738.25/731.24 c cleaning 6412 clauses out of 12842 with flag 433834/1961285 739.15/732.10 c Got one! Elapsed wall clock time (in seconds):731.968 739.15/732.10 o 117 739.74/732.73 c cleaning 6040 clauses out of 12114 with flag 42692/1966969 740.14/733.20 c Got one! Elapsed wall clock time (in seconds):733.061 740.14/733.20 o 116 740.64/733.69 c Got one! Elapsed wall clock time (in seconds):733.555 740.64/733.69 o 115 742.13/735.13 c Got one! Elapsed wall clock time (in seconds):734.999 742.13/735.13 o 114 742.52/735.53 c cleaning 6394 clauses out of 12802 with flag 27322/1973697 744.11/737.16 c cleaning 6190 clauses out of 12410 with flag 206530/1979699 745.69/738.78 c cleaning 6597 clauses out of 13216 with flag 405138/1986695 746.29/739.35 c Got one! Elapsed wall clock time (in seconds):739.216 746.29/739.35 o 113 748.08/741.16 c cleaning 6063 clauses out of 12157 with flag 59940/1992233 750.75/743.89 c Got one! Elapsed wall clock time (in seconds):743.752 750.75/743.89 o 112 751.45/744.59 c Got one! Elapsed wall clock time (in seconds):744.454 751.45/744.59 o 111 751.75/744.83 c Got one! Elapsed wall clock time (in seconds):744.694 751.75/744.83 o 110 753.34/746.45 c Got one! Elapsed wall clock time (in seconds):746.315 753.34/746.45 o 108 754.34/747.41 c Got one! Elapsed wall clock time (in seconds):747.272 754.34/747.41 o 107 754.84/747.95 c cleaning 9043 clauses out of 18104 with flag 25398/2004243 756.42/749.59 c cleaning 7506 clauses out of 15061 with flag 170471/2010243 758.52/751.55 c cleaning 7266 clauses out of 14557 with flag 348314/2017245 760.51/753.58 c cleaning 7625 clauses out of 15291 with flag 564409/2025245 762.99/756.05 c cleaning 8312 clauses out of 16664 with flag 792125/2034243 765.77/758.87 c cleaning 9161 clauses out of 18352 with flag 1096698/2044243 766.76/759.86 c Got one! Elapsed wall clock time (in seconds):759.728 766.76/759.86 o 106 768.14/761.26 c cleaning 7396 clauses out of 14797 with flag 51483/2049849 768.34/761.41 c Got one! Elapsed wall clock time (in seconds):761.277 768.34/761.41 o 104 770.03/763.20 c cleaning 6393 clauses out of 12807 with flag 133114/2055255 773.01/766.17 c cleaning 6201 clauses out of 12415 with flag 278111/2061256 775.09/768.24 c cleaning 6591 clauses out of 13213 with flag 482275/2068255 778.03/771.05 c cleaning 7304 clauses out of 14624 with flag 714940/2076257 781.91/774.99 c cleaning 8151 clauses out of 16320 with flag 958502/2085257 785.97/779.07 c cleaning 9076 clauses out of 18167 with flag 1236000/2095255 790.43/783.57 c cleaning 10037 clauses out of 20092 with flag 1571406/2106256 792.12/785.25 c Got one! Elapsed wall clock time (in seconds):785.121 792.12/785.25 o 103 792.72/785.86 c cleaning 7780 clauses out of 15579 with flag 21825/2111780 792.82/785.98 c Got one! Elapsed wall clock time (in seconds):785.849 792.82/785.98 o 102 793.11/786.21 c Got one! Elapsed wall clock time (in seconds):786.079 793.11/786.21 o 93 795.61/788.63 c Got one! Elapsed wall clock time (in seconds):788.497 795.61/788.63 o 92 796.22/789.22 c cleaning 6777 clauses out of 13574 with flag 24663/2117555 796.52/789.52 c Got one! Elapsed wall clock time (in seconds):789.382 796.52/789.52 o 91 797.41/790.44 c Got one! Elapsed wall clock time (in seconds):790.309 797.41/790.44 o 89 799.89/792.92 c cleaning 6302 clauses out of 12625 with flag 90647/2123383 802.27/795.35 c cleaning 6160 clauses out of 12326 with flag 251461/2129386 805.90/798.72 c cleaning 6572 clauses out of 13162 with flag 402658/2136382 808.19/801.08 c cleaning 7281 clauses out of 14590 with flag 650770/2144382 811.08/804.00 c cleaning 8149 clauses out of 16310 with flag 913370/2153383 811.18/804.05 c Got one! Elapsed wall clock time (in seconds):803.92 811.18/804.05 o 88 812.87/805.78 c cleaning 6655 clauses out of 13333 with flag 122170/2158555 814.78/807.60 c cleaning 6336 clauses out of 12679 with flag 273928/2164556 815.07/807.99 c Got one! Elapsed wall clock time (in seconds):807.854 815.07/807.99 o 87 816.57/809.49 c cleaning 5705 clauses out of 11428 with flag 96402/2169641 818.56/811.45 c cleaning 5851 clauses out of 11722 with flag 250585/2175640 819.17/812.09 c Got one! Elapsed wall clock time (in seconds):811.961 819.17/812.09 o 86 821.06/813.98 c cleaning 5869 clauses out of 11758 with flag 90497/2181527 823.15/816.07 c cleaning 5933 clauses out of 11891 with flag 220248/2187529 823.85/816.70 c Got one! Elapsed wall clock time (in seconds):816.567 823.85/816.70 o 85 825.32/818.15 c cleaning 5537 clauses out of 11085 with flag 63170/2192656 827.28/820.05 c cleaning 5762 clauses out of 11546 with flag 225521/2198654 829.27/822.03 c cleaning 6386 clauses out of 12784 with flag 417421/2205654 831.96/824.71 c cleaning 7188 clauses out of 14398 with flag 633257/2213654 834.45/827.26 c cleaning 8099 clauses out of 16211 with flag 887914/2222655 834.65/827.45 c Got one! Elapsed wall clock time (in seconds):827.315 834.65/827.45 o 84 836.05/828.86 c Got one! Elapsed wall clock time (in seconds):828.723 836.05/828.86 o 83 836.95/829.71 c cleaning 7137 clauses out of 14284 with flag 88695/2228827 838.54/831.37 c cleaning 6564 clauses out of 13146 with flag 276372/2234826 840.24/833.02 c cleaning 6779 clauses out of 13581 with flag 488429/2241825 842.34/835.17 c cleaning 7395 clauses out of 14803 with flag 757900/2249826 845.03/837.86 c cleaning 8203 clauses out of 16408 with flag 1051912/2258826 847.81/840.66 c cleaning 9094 clauses out of 18204 with flag 1369506/2268825 851.00/843.89 c cleaning 10054 clauses out of 20110 with flag 1704182/2279825 854.97/847.64 c cleaning 11029 clauses out of 22060 with flag 2072233/2291829 855.27/847.99 c Got one! Elapsed wall clock time (in seconds):847.859 855.27/847.99 o 82 856.56/849.24 c Got one! Elapsed wall clock time (in seconds):849.105 856.56/849.24 o 81 857.86/850.51 c cleaning 8198 clauses out of 16427 with flag 48721/2297225 859.55/852.25 c cleaning 7109 clauses out of 14232 with flag 209246/2303228 860.55/853.23 c Got one! Elapsed wall clock time (in seconds):853.095 860.55/853.23 o 80 861.55/854.21 c cleaning 6409 clauses out of 12827 with flag 26787/2308932 863.35/856.04 c cleaning 6177 clauses out of 12414 with flag 165032/2314928 864.64/857.35 c Got one! Elapsed wall clock time (in seconds):857.215 864.64/857.35 o 79 865.53/858.25 c cleaning 6018 clauses out of 12051 with flag 33870/2320742 867.23/859.93 c cleaning 6007 clauses out of 12033 with flag 182149/2326742 869.22/861.99 c cleaning 6506 clauses out of 13030 with flag 377205/2333746 871.71/864.48 c cleaning 7251 clauses out of 14521 with flag 603350/2341743 874.70/867.47 c cleaning 8121 clauses out of 16270 with flag 858737/2350743 878.00/870.74 c cleaning 9061 clauses out of 18148 with flag 1143631/2360742 882.08/874.64 c cleaning 10041 clauses out of 20087 with flag 1504108/2371742 882.48/875.06 c Got one! Elapsed wall clock time (in seconds):874.928 882.48/875.06 o 78 883.97/876.52 c cleaning 7728 clauses out of 15476 with flag 87654/2377172 886.16/878.72 c cleaning 6856 clauses out of 13746 with flag 244172/2383170 887.96/880.52 c cleaning 6919 clauses out of 13892 with flag 450873/2390172 889.56/882.11 c cleaning 7471 clauses out of 14973 with flag 688610/2398172 890.45/883.00 c Got one! Elapsed wall clock time (in seconds):882.868 890.45/883.00 o 76 891.27/883.83 c cleaning 6506 clauses out of 13025 with flag 14331/2403695 892.96/885.52 c cleaning 6258 clauses out of 12522 with flag 190398/2409698 895.25/887.89 c cleaning 6620 clauses out of 13262 with flag 388342/2416696 897.14/889.77 c cleaning 7311 clauses out of 14640 with flag 614651/2424694 899.94/892.55 c cleaning 8161 clauses out of 16330 with flag 891756/2433695 903.73/896.35 c cleaning 9069 clauses out of 18168 with flag 1217361/2443694 905.90/898.41 c Got one! Elapsed wall clock time (in seconds):898.272 905.90/898.41 o 75 906.52/899.06 c Got one! Elapsed wall clock time (in seconds):898.924 906.52/899.06 o 74 909.04/901.53 c cleaning 11237 clauses out of 22489 with flag 134203/2457084 911.23/903.71 c cleaning 8619 clauses out of 17253 with flag 331818/2463085 913.23/905.77 c Got one! Elapsed wall clock time (in seconds):905.636 913.23/905.77 o 71 914.72/907.29 c cleaning 9963 clauses out of 19954 with flag 136403/2474405 914.82/907.31 c Got one! Elapsed wall clock time (in seconds):907.175 914.82/907.31 o 70 916.76/909.23 c cleaning 7511 clauses out of 15054 with flag 145921/2479468 918.23/910.65 c cleaning 6736 clauses out of 13544 with flag 326880/2485469 919.63/912.08 c Got one! Elapsed wall clock time (in seconds):911.946 919.63/912.08 o 69 920.12/912.53 c Got one! Elapsed wall clock time (in seconds):912.401 920.12/912.53 o 68 921.92/914.34 c cleaning 9552 clauses out of 19120 with flag 134902/2497781 922.02/914.47 c Got one! Elapsed wall clock time (in seconds):914.338 922.02/914.47 o 66 926.30/918.76 c cleaning 7438 clauses out of 14884 with flag 100209/2503097 927.90/920.38 c cleaning 6717 clauses out of 13446 with flag 267958/2509097 930.20/922.66 c cleaning 6834 clauses out of 13729 with flag 442997/2516097 932.99/925.40 c cleaning 7435 clauses out of 14898 with flag 649996/2524100 935.88/928.33 c cleaning 8223 clauses out of 16460 with flag 905798/2533097 940.34/932.69 c cleaning 9107 clauses out of 18239 with flag 1195719/2543099 942.03/934.37 c Got one! Elapsed wall clock time (in seconds):934.232 942.03/934.37 o 65 944.11/936.41 c cleaning 7324 clauses out of 14682 with flag 27041/2548649 945.90/938.22 c Got one! Elapsed wall clock time (in seconds):938.089 945.90/938.22 o 64 946.79/939.18 c Got one! Elapsed wall clock time (in seconds):939.041 946.79/939.18 o 63 946.99/939.39 c Got one! Elapsed wall clock time (in seconds):939.256 946.99/939.39 o 61 948.38/940.79 c cleaning 9210 clauses out of 18429 with flag 100819/2559721 950.07/942.46 c cleaning 7598 clauses out of 15220 with flag 271191/2565722 951.86/944.28 c cleaning 7299 clauses out of 14621 with flag 444039/2572721 953.95/946.38 c cleaning 7656 clauses out of 15324 with flag 647145/2580723 957.22/949.66 c cleaning 8328 clauses out of 16667 with flag 890960/2589722 960.24/952.66 c Got one! Elapsed wall clock time (in seconds):952.528 960.24/952.66 o 60 962.23/954.62 c cleaning 10722 clauses out of 21448 with flag 142728/2602831 964.11/956.56 c cleaning 8350 clauses out of 16729 with flag 330283/2608834 966.29/958.72 c cleaning 7677 clauses out of 15376 with flag 531402/2615831 968.47/960.95 c Got one! Elapsed wall clock time (in seconds):960.816 968.47/960.95 o 59 971.20/963.51 c cleaning 9514 clauses out of 19037 with flag 118544/2627169 973.58/965.96 c cleaning 7749 clauses out of 15523 with flag 297763/2633169 973.58/965.98 c Got one! Elapsed wall clock time (in seconds):965.844 973.58/965.98 o 58 976.06/968.41 c Got one! Elapsed wall clock time (in seconds):968.271 976.06/968.41 o 57 977.15/969.52 c cleaning 6708 clauses out of 13479 with flag 44371/2638874 977.45/969.81 c Got one! Elapsed wall clock time (in seconds):969.677 977.45/969.81 o 56 980.82/973.23 c cleaning 6344 clauses out of 12707 with flag 112417/2644810 981.91/974.32 c Got one! Elapsed wall clock time (in seconds):974.188 981.91/974.32 o 55 982.31/974.79 c cleaning 5821 clauses out of 11670 with flag 56580/2650117 983.50/975.95 c cleaning 5916 clauses out of 11844 with flag 236506/2656112 984.88/977.35 c cleaning 6453 clauses out of 12929 with flag 465724/2663113 986.97/979.46 c cleaning 7230 clauses out of 14479 with flag 691825/2671116 990.14/982.63 c cleaning 8114 clauses out of 16245 with flag 965776/2680112 993.81/986.40 c cleaning 9061 clauses out of 18131 with flag 1232329/2690112 997.29/989.85 c cleaning 10024 clauses out of 20072 with flag 1543027/2701114 1000.47/993.01 c Got one! Elapsed wall clock time (in seconds):992.877 1000.47/993.01 o 54 1002.75/995.36 c cleaning 12235 clauses out of 24482 with flag 133078/2715548 1005.28/997.74 c cleaning 9121 clauses out of 18246 with flag 333615/2721547 1007.37/999.81 c cleaning 8046 clauses out of 16128 with flag 555687/2728550 1010.34/1002.84 c cleaning 8019 clauses out of 16080 with flag 793060/2736548 1013.42/1005.92 c cleaning 8521 clauses out of 17060 with flag 1049567/2745547 1017.29/1009.82 c cleaning 9266 clauses out of 18542 with flag 1368768/2755550 1021.36/1013.91 c cleaning 10135 clauses out of 20274 with flag 1744640/2766548 1024.92/1017.60 c Got one! Elapsed wall clock time (in seconds):1017.462 1024.92/1017.60 o 52 1026.91/1019.59 c cleaning 12175 clauses out of 24373 with flag 139493/2780782 1029.50/1022.16 c cleaning 9087 clauses out of 18198 with flag 322682/2786782 1031.08/1023.77 c cleaning 8036 clauses out of 16111 with flag 564331/2793782 1032.57/1025.27 c cleaning 8025 clauses out of 16076 with flag 801098/2801783 1034.36/1027.08 c cleaning 8517 clauses out of 17051 with flag 1099913/2810783 1036.93/1029.65 c cleaning 9257 clauses out of 18533 with flag 1403954/2820782 1039.91/1032.63 c Got one! Elapsed wall clock time (in seconds):1032.496 1039.91/1032.63 o 50 1040.80/1033.54 c Got one! Elapsed wall clock time (in seconds):1033.407 1040.80/1033.54 o 49 1041.89/1034.69 c Got one! Elapsed wall clock time (in seconds):1034.553 1041.89/1034.69 o 48 1042.48/1035.23 c cleaning 11509 clauses out of 23032 with flag 25999/2834538 1043.97/1036.74 c cleaning 8735 clauses out of 17519 with flag 234064/2840534 1045.88/1038.50 c cleaning 7886 clauses out of 15785 with flag 465305/2847535 1045.88/1038.55 c Got one! Elapsed wall clock time (in seconds):1038.417 1045.88/1038.55 o 47 1047.47/1040.10 c Got one! Elapsed wall clock time (in seconds):1039.969 1047.47/1040.10 o 46 1048.65/1041.38 c cleaning 6715 clauses out of 13469 with flag 80051/2853105 1050.93/1043.62 c cleaning 6356 clauses out of 12752 with flag 254430/2859103 1052.92/1045.67 c cleaning 6693 clauses out of 13396 with flag 434673/2866103 1055.59/1048.35 c cleaning 7345 clauses out of 14703 with flag 644959/2874103 1057.79/1050.59 c Got one! Elapsed wall clock time (in seconds):1050.455 1057.79/1050.59 o 44 1059.47/1052.28 c cleaning 9968 clauses out of 19940 with flag 146063/2886685 1060.27/1053.03 c Got one! Elapsed wall clock time (in seconds):1052.894 1060.27/1053.03 o 43 1060.76/1053.57 c Got one! Elapsed wall clock time (in seconds):1053.436 1060.76/1053.57 o 42 1062.25/1055.09 c cleaning 7946 clauses out of 15903 with flag 80888/2892616 1064.33/1057.11 c cleaning 6975 clauses out of 13960 with flag 251650/2898619 1066.71/1059.50 c cleaning 6979 clauses out of 13981 with flag 441915/2905615 1069.09/1061.90 c cleaning 7484 clauses out of 15003 with flag 672967/2913616 1071.56/1064.41 c Got one! Elapsed wall clock time (in seconds):1064.276 1071.56/1064.41 o 41 1072.36/1065.27 c Got one! Elapsed wall clock time (in seconds):1065.133 1072.36/1065.27 o 39 1073.75/1066.69 c cleaning 9665 clauses out of 19348 with flag 78018/2925445 1075.73/1068.60 c cleaning 7833 clauses out of 15684 with flag 242206/2931446 1077.41/1070.37 c Got one! Elapsed wall clock time (in seconds):1070.239 1077.41/1070.37 o 38 1079.89/1072.82 c cleaning 9661 clauses out of 19332 with flag 143091/2942927 1081.68/1074.64 c cleaning 7821 clauses out of 15674 with flag 339858/2948930 1083.67/1076.69 c cleaning 7414 clauses out of 14851 with flag 548249/2955928 1086.05/1079.02 c cleaning 7697 clauses out of 15437 with flag 792970/2963928 1088.73/1081.72 c cleaning 8361 clauses out of 16742 with flag 1084591/2972930 1091.70/1084.77 c cleaning 9188 clauses out of 18380 with flag 1398319/2982929 1095.00/1087.97 c cleaning 10090 clauses out of 20192 with flag 1718326/2993929 1098.48/1091.46 c cleaning 11039 clauses out of 22101 with flag 2084044/3005928 1102.54/1095.50 c cleaning 12027 clauses out of 24061 with flag 2502735/3018927 1107.10/1100.17 c cleaning 13005 clauses out of 26034 with flag 2986229/3032927 1111.66/1104.78 c cleaning 14014 clauses out of 28032 with flag 3551456/3047930 1116.13/1109.27 c cleaning 15006 clauses out of 30015 with flag 4132757/3063927 1118.71/1111.88 c Got one! Elapsed wall clock time (in seconds):1111.742 1118.71/1111.88 o 37 1120.49/1113.62 c cleaning 13664 clauses out of 27339 with flag 193838/3076258 1122.08/1115.26 c cleaning 9809 clauses out of 19673 with flag 430206/3082256 1123.77/1117.00 c cleaning 8409 clauses out of 16866 with flag 668426/3089258 1124.26/1117.49 c Got one! Elapsed wall clock time (in seconds):1117.36 1124.26/1117.49 o 36 1125.95/1119.16 c cleaning 6889 clauses out of 13800 with flag 64831/3094601 1125.95/1119.18 c Got one! Elapsed wall clock time (in seconds):1119.045 1125.95/1119.18 o 35 1126.64/1119.89 c Got one! Elapsed wall clock time (in seconds):1119.756 1126.64/1119.89 o 34 1127.74/1120.98 c cleaning 6203 clauses out of 12431 with flag 125675/3100121 1129.22/1122.45 c cleaning 6098 clauses out of 12229 with flag 318719/3106122 1130.91/1124.14 c cleaning 6549 clauses out of 13129 with flag 518035/3113120 1132.99/1126.29 c cleaning 7279 clauses out of 14581 with flag 766558/3121121 1135.37/1128.61 c cleaning 8141 clauses out of 16301 with flag 1068297/3130120 1136.36/1129.62 c Got one! Elapsed wall clock time (in seconds):1129.486 1136.36/1129.62 o 33 1136.95/1130.25 c cleaning 6661 clauses out of 13348 with flag 20596/3135309 1138.74/1132.01 c cleaning 6335 clauses out of 12685 with flag 188973/3141307 1140.84/1134.15 c cleaning 6671 clauses out of 13352 with flag 395256/3148309 1143.41/1136.78 c cleaning 7326 clauses out of 14679 with flag 641712/3156307 1146.00/1139.32 c cleaning 8162 clauses out of 16353 with flag 911822/3165307 1148.85/1142.04 c cleaning 9086 clauses out of 18191 with flag 1231199/3175307 1150.44/1143.65 c Got one! Elapsed wall clock time (in seconds):1143.52 1150.44/1143.65 o 32 1150.94/1144.12 c cleaning 7508 clauses out of 15040 with flag 21535/3181242 1151.54/1144.74 c Got one! Elapsed wall clock time (in seconds):1144.603 1151.54/1144.74 o 31 1153.73/1146.95 c cleaning 6572 clauses out of 13163 with flag 84594/3186873 1154.03/1147.27 c Got one! Elapsed wall clock time (in seconds):1147.137 1154.03/1147.27 o 30 1154.53/1147.72 c Got one! Elapsed wall clock time (in seconds):1147.583 1154.53/1147.72 o 29 1155.83/1149.05 c cleaning 6564 clauses out of 13150 with flag 152970/3193432 1157.34/1150.50 c cleaning 6271 clauses out of 12582 with flag 328169/3199429 1159.16/1152.30 c cleaning 6635 clauses out of 13311 with flag 552197/3206429 1160.56/1153.76 c Got one! Elapsed wall clock time (in seconds):1153.623 1160.56/1153.76 o 28 1162.15/1155.32 c Got one! Elapsed wall clock time (in seconds):1155.189 1162.15/1155.32 o 24 1162.65/1155.86 c cleaning 8980 clauses out of 17983 with flag 24443/3217736 1163.05/1156.29 c Got one! Elapsed wall clock time (in seconds):1156.153 1163.05/1156.29 o 23 1164.95/1158.12 c Got one! Elapsed wall clock time (in seconds):1157.988 1164.95/1158.12 o 22 1165.15/1158.38 c Got one! Elapsed wall clock time (in seconds):1158.249 1165.15/1158.38 o 21 1165.64/1158.88 c cleaning 7352 clauses out of 14724 with flag 24318/3223458 1168.04/1161.24 c cleaning 6683 clauses out of 13372 with flag 187676/3229458 1170.03/1163.26 c cleaning 6832 clauses out of 13691 with flag 386335/3236460 1172.63/1165.88 c cleaning 7415 clauses out of 14857 with flag 606016/3244458 1175.32/1168.57 c cleaning 8218 clauses out of 16442 with flag 858897/3253458 1178.51/1171.79 c cleaning 9101 clauses out of 18224 with flag 1161811/3263458 1181.81/1175.03 c cleaning 10043 clauses out of 20123 with flag 1525250/3274458 1184.69/1177.95 c Got one! Elapsed wall clock time (in seconds):1177.817 1184.69/1177.95 o 20 1186.90/1180.10 c cleaning 12982 clauses out of 25982 with flag 137814/3290360 1188.19/1181.40 c cleaning 9477 clauses out of 19000 with flag 339340/3296360 1189.49/1182.74 c cleaning 8237 clauses out of 16524 with flag 557837/3303361 1191.28/1184.50 c Got one! Elapsed wall clock time (in seconds):1184.366 1191.28/1184.50 o 19 1191.28/1184.58 c Got one! Elapsed wall clock time (in seconds):1184.447 1191.28/1184.58 o 17 1192.48/1185.77 c cleaning 9698 clauses out of 19420 with flag 183241/3314494 1193.67/1186.98 c cleaning 7855 clauses out of 15721 with flag 400799/3320493 1195.07/1188.34 c cleaning 7432 clauses out of 14869 with flag 626940/3327496 1197.06/1190.37 c cleaning 7708 clauses out of 15437 with flag 859547/3335496 1198.66/1191.99 c Got one! Elapsed wall clock time (in seconds):1191.858 1198.66/1191.99 o 16 1200.95/1194.25 c cleaning 9546 clauses out of 19110 with flag 136783/3346877 1203.04/1196.36 c cleaning 7754 clauses out of 15564 with flag 321644/3352877 1205.33/1198.68 c cleaning 7385 clauses out of 14810 with flag 527349/3359877 1208.02/1201.35 c cleaning 7696 clauses out of 15423 with flag 777607/3367875 1210.32/1203.60 c Got one! Elapsed wall clock time (in seconds):1203.462 1210.32/1203.60 o 15 1212.22/1205.54 c cleaning 10003 clauses out of 20014 with flag 135250/3380162 1214.31/1207.63 c cleaning 7998 clauses out of 16012 with flag 318344/3386163 1214.31/1207.64 c Got one! Elapsed wall clock time (in seconds):1207.504 1214.31/1207.64 o 14 1214.51/1207.87 c Got one! Elapsed wall clock time (in seconds):1207.736 1214.51/1207.87 o 12 1216.70/1210.04 c cleaning 6877 clauses out of 13786 with flag 144627/3391935 1218.89/1212.28 c cleaning 6430 clauses out of 12909 with flag 306547/3397935 1220.80/1214.12 c cleaning 6716 clauses out of 13479 with flag 489511/3404935 1223.29/1216.69 c cleaning 7374 clauses out of 14763 with flag 713778/3412935 1225.98/1219.39 c Got one! Elapsed wall clock time (in seconds):1219.255 1225.98/1219.39 o 11 1228.17/1221.52 c cleaning 10277 clauses out of 20585 with flag 131130/3426131 1230.07/1223.41 c cleaning 8142 clauses out of 16309 with flag 297447/3432132 1232.46/1225.81 c cleaning 7563 clauses out of 15166 with flag 492421/3439131 1235.05/1228.45 c cleaning 7795 clauses out of 15604 with flag 720697/3447132 1237.48/1230.76 c cleaning 8399 clauses out of 16808 with flag 995052/3456131 1240.57/1233.87 c cleaning 9196 clauses out of 18410 with flag 1300974/3466132 1244.16/1237.40 c cleaning 10100 clauses out of 20213 with flag 1626543/3477131 1247.85/1241.14 c cleaning 11055 clauses out of 22113 with flag 1979031/3489131 1252.74/1246.04 c cleaning 12024 clauses out of 24059 with flag 2398773/3502132 1257.62/1250.97 c cleaning 13009 clauses out of 26035 with flag 2853202/3516132 1262.30/1255.65 c cleaning 13999 clauses out of 28026 with flag 3344888/3531132 1267.38/1260.71 c cleaning 15005 clauses out of 30028 with flag 3874200/3547133 1267.98/1261.38 c Got one! Elapsed wall clock time (in seconds):1261.247 1267.98/1261.38 o 10 1269.38/1262.71 c cleaning 10491 clauses out of 21006 with flag 111480/3553118 1271.57/1264.99 c cleaning 8249 clauses out of 16519 with flag 291002/3559122 1273.46/1266.83 c cleaning 7610 clauses out of 15266 with flag 485220/3566118 1275.66/1269.00 c cleaning 7812 clauses out of 15656 with flag 690726/3574118 1277.96/1271.39 c cleaning 8415 clauses out of 16845 with flag 916154/3583119 1280.65/1274.02 c cleaning 9210 clauses out of 18431 with flag 1207874/3593120 1284.43/1277.83 c cleaning 10103 clauses out of 20218 with flag 1510589/3604118 1286.43/1279.85 c Got one! Elapsed wall clock time (in seconds):1279.714 1286.43/1279.85 o 9 1286.83/1280.28 c Got one! Elapsed wall clock time (in seconds):1280.142 1286.83/1280.28 o 8 1288.92/1282.37 c cleaning 11822 clauses out of 23657 with flag 145835/3617660 1291.02/1284.44 c cleaning 8911 clauses out of 17837 with flag 327376/3623662 1292.01/1285.44 c Got one! Elapsed wall clock time (in seconds):1285.305 1292.01/1285.44 o 7 1292.61/1286.03 c cleaning 7350 clauses out of 14723 with flag 45070/3629459 1293.41/1286.82 c Got one! Elapsed wall clock time (in seconds):1286.686 1293.41/1286.82 o 6 1293.90/1287.30 c Got one! Elapsed wall clock time (in seconds):1287.171 1293.90/1287.30 o 5 1294.10/1287.56 c cleaning 6616 clauses out of 13262 with flag 22122/3635348 1295.40/1288.89 c cleaning 6305 clauses out of 12645 with flag 139267/3641347 1296.79/1290.24 c cleaning 6665 clauses out of 13342 with flag 268716/3648349 1298.30/1291.75 c cleaning 7329 clauses out of 14683 with flag 411974/3656355 1300.29/1293.78 c cleaning 8164 clauses out of 16350 with flag 589047/3665351 1303.08/1296.52 c cleaning 9084 clauses out of 18183 with flag 801835/3675348 1305.37/1298.87 c cleaning 10034 clauses out of 20098 with flag 1033830/3686347 1308.76/1302.26 c cleaning 11025 clauses out of 22066 with flag 1254637/3698349 1311.95/1305.45 c cleaning 12009 clauses out of 24039 with flag 1530639/3711347 1315.04/1308.52 c cleaning 13005 clauses out of 26030 with flag 1809166/3725347 1319.23/1312.77 c cleaning 14005 clauses out of 28025 with flag 2111505/3740347 1322.82/1316.33 c cleaning 15006 clauses out of 30020 with flag 2458524/3756348 1323.12/1316.64 c Got one! Elapsed wall clock time (in seconds):1316.503 1323.12/1316.64 o 4 1324.12/1317.63 c Got one! Elapsed wall clock time (in seconds):1317.494 1324.12/1317.63 o 3 1324.32/1317.89 c cleaning 10569 clauses out of 21184 with flag 17409/3762518 1325.12/1318.67 c Got one! Elapsed wall clock time (in seconds):1318.534 1325.12/1318.67 o 2 1325.52/1319.10 c starts : 4718 1325.63/1319.10 c conflicts : 3767773 1325.63/1319.10 c decisions : 8907005 1325.63/1319.10 c propagations : 2096720485 1325.63/1319.10 c inspects : 7028943647 1325.63/1319.10 c shortcuts : 0 1325.63/1319.10 c learnt literals : 15 1325.63/1319.10 c learnt binary clauses : 34 1325.63/1319.10 c learnt ternary clauses : 308 1325.63/1319.10 c learnt constraints : 3767757 1325.63/1319.10 c ignored constraints : 0 1325.63/1319.10 c root simplifications : 0 1325.63/1319.10 c removed literals (reason simplification) : 0 1325.63/1319.10 c reason swapping (by a shorter reason) : 0 1325.63/1319.10 c Calls to reduceDB : 466 1325.63/1319.10 c Number of update (reduction) of LBD : 1798953 1325.63/1319.10 c Imported unit clauses : 0 1325.63/1319.10 c No decision after first conflict : false 1325.63/1319.10 c number of reductions to clauses (during analyze) : 0 1325.63/1319.10 c number of learned constraints concerned by reduction : 0 1325.63/1319.10 c number of learning phase by resolution : 0 1325.63/1319.10 c number of learning phase by cutting planes : 0 1325.63/1319.10 c number of rounding to 1 operations : 0 1325.63/1319.10 c number of easy rounding to 1 operations (no literal elimination needed) : 0 1325.63/1319.10 c number of reductions of the coefficients by power 2 : 0 1325.63/1319.10 c number of right shift for reduction by power 2 : 0 1325.63/1319.10 c number of reductions of the coefficients by GCD over coefficients : 0 1325.63/1319.11 c number of ending skipping : 0 1325.63/1319.11 c number of internal skipping : 0 1325.63/1319.11 c number of derivation steps : 0 1325.63/1319.11 c number of skipped derivation steps : 0 1325.63/1319.11 c number of remaining unassigned : 0 1325.63/1319.11 c number of remaining assigned : 0 1325.63/1319.11 c number of falsified literals weakened from reason : 0 1325.63/1319.11 c number of falsified literals weakened from conflict : 0 1325.63/1319.11 c time for arithmetic operations : 0 1325.63/1319.11 c minimum degree of deleted constraints : null 1325.63/1319.11 c maximum degree of deleted constraints : null 1325.63/1319.11 c number of deleted constraints : 0 1325.63/1319.11 c speed (assignments/second) : 1589959.161342083 1325.63/1319.11 c non guided choices : 10086 1325.63/1319.11 s OPTIMUM FOUND 1325.63/1319.11 c Found 210 solution(s) 1325.63/1319.11 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 1325.63/1319.11 c objective function=2 1325.63/1319.11 c Total wall clock time (in seconds): 1318.98
OK 2
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: 63968 MiB (48778 MiB free)
memory of node 1: 64473 MiB (49660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456241-1721718699/watcher-4456241-1721718699 -o /tmp/evaluation-result-4456241-1721718699/solver-4456241-1721718699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86039 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456241-1721718699.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=87417, runsolver pid=87414
[startup+0.102287 s]*
/proc/loadavg: 4.76 3.47 2.65 5/335 87435
/proc/meminfo: memFree=100760256/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=18975048 memory=62536 CPUtime=0.12 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 7170 0 0 0 11 1 0 0 20 0 18 0 8392447 19430449152 15634 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4743762 15634 5598 1 0 549292 0
[pid=87417/tid=87419] ppid=87414 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 1077936192 5699 0 0 0 7 1 0 0 20 0 18 0 8392447 19430449152 15634 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8392449 19430449152 15634 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=18975048 memory=15542920530909205 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8392450 19430449152 15634 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62536 KiB
[startup+0.206463 s]*
/proc/loadavg: 4.76 3.47 2.65 8/335 87435
/proc/meminfo: memFree=100748000/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=18975048 memory=75540 CPUtime=0.32 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 7642 0 0 0 30 2 0 0 20 0 18 0 8392447 19430449152 18885 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4743762 18885 5824 1 0 549596 0
[pid=87417/tid=87419] ppid=87414 vsize=18975048 memory=664970838410264707 CPUtime=0.17 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 5899 0 0 0 16 1 0 0 20 0 18 0 8392447 19430449152 18885 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=18975048 memory=18993 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8392449 19430449152 18885 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8392450 19430449152 18885 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75540 KiB
[startup+0.306783 s]*
/proc/loadavg: 4.76 3.47 2.65 6/335 87435
/proc/meminfo: memFree=100708764/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=18975048 memory=114184 CPUtime=0.51 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 9077 0 0 0 48 3 0 0 20 0 18 0 8392447 19430449152 28546 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4743762 28546 5824 1 0 550561 0
[pid=87417/tid=87419] ppid=87414 vsize=18975048 memory=-6000919489953555815 CPUtime=0.26 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 5932 0 0 0 25 1 0 0 20 0 18 0 8392447 19430449152 28546 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8392449 19430449152 28546 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8392450 19430449152 28546 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 114184 KiB
[startup+0.702475 s]
/proc/loadavg: 4.76 3.47 2.65 7/336 87436
/proc/meminfo: memFree=100686096/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19041612 memory=147008 CPUtime=1.28 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 15513 0 0 0 123 5 0 0 20 0 19 0 8392447 19498610688 36752 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4760403 36752 5878 1 0 555245 0
[pid=87417/tid=87419] ppid=87414 vsize=19041612 memory=5520 CPUtime=0.61 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 6070 0 0 0 59 2 0 0 20 0 19 0 8392447 19498610688 36752 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19041612 memory=13048 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8392449 19498610688 36752 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19041612 memory=164 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8392450 19498610688 36752 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19041612 memory=280741208716288 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8392485 19498610688 36752 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 147008 KiB
[startup+1.50046 s]
/proc/loadavg: 4.76 3.47 2.65 7/336 87436
/proc/meminfo: memFree=100673760/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19041612 memory=149668 CPUtime=2.53 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 17374 0 0 0 248 5 0 0 20 0 19 0 8392447 19498610688 37417 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4760403 37417 5878 1 0 555249 0
[pid=87417/tid=87419] ppid=87414 vsize=19041612 memory=13048 CPUtime=1.39 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 6221 0 0 0 137 2 0 0 20 0 19 0 8392447 19498610688 37417 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8392449 19498610688 37417 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8392450 19498610688 37417 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19041612 memory=280741208565008 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8392485 19498610688 37417 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149668 KiB
[startup+3.10546 s]
/proc/loadavg: 4.70 3.48 2.66 6/336 87438
/proc/meminfo: memFree=100671164/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19041612 memory=151920 CPUtime=4.16 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 18025 0 0 0 411 5 0 0 20 0 19 0 8392447 19498610688 37980 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4760403 37980 5878 1 0 555250 0
[pid=87417/tid=87419] ppid=87414 vsize=19041612 memory=0 CPUtime=2.98 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 6456 0 0 0 296 2 0 0 20 0 19 0 8392447 19498610688 37980 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19041612 memory=13048 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8392449 19498610688 37980 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8392450 19498610688 37980 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19041612 memory=11684 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8392485 19498610688 37980 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 151920 KiB
[startup+6.30048 s]
/proc/loadavg: 4.70 3.48 2.66 6/337 87439
/proc/meminfo: memFree=100625204/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19108176 memory=197588 CPUtime=7.58 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 23176 0 0 0 751 7 0 0 20 0 20 0 8392447 19566772224 49397 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4777044 49397 5897 1 0 555725 0
[pid=87417/tid=87419] ppid=87414 vsize=19108176 memory=13048 CPUtime=6.13 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 7657 0 0 0 610 3 0 0 20 0 20 0 8392447 19566772224 49397 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19566772224 49397 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19108176 memory=149668 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 8392450 19566772224 49397 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8392485 19566772224 49397 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 7.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197588 KiB
[startup+12.7005 s]
/proc/loadavg: 4.64 3.49 2.66 6/337 87439
/proc/meminfo: memFree=100394540/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19108176 memory=427868 CPUtime=14.46 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 27188 0 0 0 1434 12 0 0 20 0 20 0 8392447 19566772224 106967 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4777044 106967 5897 1 0 555725 0
[pid=87417/tid=87419] ppid=87414 vsize=19108176 memory=0 CPUtime=12.27 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 8600 0 0 0 1224 3 0 0 20 0 20 0 8392447 19566772224 106967 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19108176 memory=-6000919489953555815 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19566772224 106967 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 8392450 19566772224 106967 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8392485 19566772224 106967 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 14.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 427868 KiB
[startup+25.5005 s]
/proc/loadavg: 4.58 3.53 2.69 6/337 87442
/proc/meminfo: memFree=100394028/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19108176 memory=428132 CPUtime=27.43 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 32803 0 0 0 2730 13 0 0 20 0 20 0 8392447 19566772224 107033 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4777044 107033 5897 1 0 555725 0
[pid=87417/tid=87419] ppid=87414 vsize=19108176 memory=427960 CPUtime=24.96 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 10528 0 0 0 2493 3 0 0 20 0 20 0 8392447 19566772224 107033 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19566772224 107033 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19108176 memory=280741208880288 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 8392450 19566772224 107033 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19108176 memory=428132 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8392485 19566772224 107033 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 27.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 428132 KiB
[startup+51.1055 s]
/proc/loadavg: 4.51 3.60 2.74 6/332 87445
/proc/meminfo: memFree=99164276/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19108176 memory=1025604 CPUtime=53.69 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 46542 0 0 0 5341 28 0 0 20 0 20 0 8392447 19566772224 256401 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4777044 256401 5905 1 0 674778 0
[pid=87417/tid=87419] ppid=87414 vsize=19108176 memory=681408 CPUtime=49.94 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) S 87414 87417 86029 0 -1 1077936192 13459 0 0 0 4987 7 0 0 20 0 20 0 8392447 19566772224 256401 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19108176 memory=-6000919489953555815 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19566772224 256401 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
################
# More data... #
################
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 645 0 0 0 0 0 0 0 20 0 20 0 8392450 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8392485 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 1308.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3169148 KiB
[startup+1319.15 s]
# the end of solver process 87417 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1324.34 s, system=1.34496 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 4.22 4.16 3.85 6/336 88287
/proc/meminfo: memFree=89164660/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19108176 memory=3169148 CPUtime=1312.15 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 150129 0 0 0 131083 132 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4777044 792287 5920 1 0 806946 0
[pid=87417/tid=87419] ppid=87414 vsize=19108176 memory=35460 CPUtime=1288.18 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 41676 0 0 0 128794 24 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19108176 memory=3169148 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19108176 memory=5180 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 645 0 0 0 0 0 0 0 20 0 20 0 8392450 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19108176 memory=5520 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8392485 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 1312.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3169148 KiB
[startup+1312 s]*
/proc/loadavg: 4.21 4.15 3.85 6/335 88287
/proc/meminfo: memFree=89164656/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19108176 memory=3169148 CPUtime=1318.53 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 150145 0 0 0 131721 132 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4777044 792287 5920 1 0 806946 0
[pid=87417/tid=87419] ppid=87414 vsize=19108176 memory=-6000919489953555815 CPUtime=1294.56 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 41692 0 0 0 129432 24 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19108176 memory=19656 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 645 0 0 0 0 0 0 0 20 0 20 0 8392450 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19108176 memory=1908 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8392485 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 1318.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3169148 KiB
[startup+1315.2 s]
/proc/loadavg: 4.19 4.15 3.85 6/335 88289
/proc/meminfo: memFree=89164416/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19108176 memory=3169148 CPUtime=1321.73 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 150154 0 0 0 132040 133 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4777044 792287 5920 1 0 806946 0
[pid=87417/tid=87419] ppid=87414 vsize=19108176 memory=3169148 CPUtime=1297.75 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 41701 0 0 0 129750 25 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19108176 memory=5520 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19108176 memory=3169148 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 645 0 0 0 0 0 0 0 20 0 20 0 8392450 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19108176 memory=3169148 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8392485 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 1321.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3169148 KiB
[startup+1316.8 s]
/proc/loadavg: 4.19 4.15 3.85 6/335 88289
/proc/meminfo: memFree=89164592/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19108176 memory=3169148 CPUtime=1323.32 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 150198 0 0 0 132199 133 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4777044 792287 5920 1 0 806946 0
[pid=87417/tid=87419] ppid=87414 vsize=19108176 memory=35460 CPUtime=1299.34 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 41710 0 0 0 129909 25 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19108176 memory=-6000919489953555815 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 645 0 0 0 0 0 0 0 20 0 20 0 8392450 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19108176 memory=5520 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8392485 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 1323.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3169148 KiB
[startup+1318.4 s]
/proc/loadavg: 4.25 4.16 3.86 6/335 88289
/proc/meminfo: memFree=89164376/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19108176 memory=3169148 CPUtime=1324.92 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 150234 0 0 0 132359 133 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4777044 792287 5920 1 0 806946 0
[pid=87417/tid=87419] ppid=87414 vsize=19108176 memory=3169148 CPUtime=1300.94 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 41735 0 0 0 130069 25 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19108176 memory=16140 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 645 0 0 0 0 0 0 0 20 0 20 0 8392450 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19108176 memory=3169148 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8392485 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 1324.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3169148 KiB
[startup+1318.8 s]
/proc/loadavg: 4.25 4.16 3.86 6/335 88289
/proc/meminfo: memFree=89164376/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19108176 memory=3169148 CPUtime=1325.32 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 150240 0 0 0 132399 133 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4777044 792287 5920 1 0 806946 0
[pid=87417/tid=87419] ppid=87414 vsize=19108176 memory=5520 CPUtime=1301.34 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 41741 0 0 0 130109 25 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19108176 memory=5520 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19108176 memory=16140 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 645 0 0 0 0 0 0 0 20 0 20 0 8392450 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19108176 memory=3169148 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8392485 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 1325.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3169148 KiB
[startup+1319 s]*
/proc/loadavg: 4.25 4.16 3.86 6/335 88289
/proc/meminfo: memFree=89164488/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19108176 memory=3169148 CPUtime=1325.52 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 150243 0 0 0 132419 133 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4777044 792287 5920 1 0 806946 0
[pid=87417/tid=87419] ppid=87414 vsize=19108176 memory=-6000919489953555815 CPUtime=1301.54 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) R 87414 87417 86029 0 -1 4194368 41744 0 0 0 130129 25 0 0 20 0 20 0 8392447 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19108176 memory=18472 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 645 0 0 0 0 0 0 0 20 0 20 0 8392450 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87436] ppid=87414 vsize=19108176 memory=501462 CPUtime=0 cores=0,2
/proc/87417/task/87436/stat : 87436 (Timer-0) S 87414 87417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8392485 19566772224 792287 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 1325.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3169148 KiB
[startup+1319.11 s]
/proc/loadavg: 4.25 4.16 3.86 6/335 88289
/proc/meminfo: memFree=89164488/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=19241304 memory=3169556 CPUtime=1325.63 cores=0,2
/proc/87417/stat : 87417 (java) S 87414 87417 86029 0 -1 1077936128 152372 0 0 0 132430 133 0 0 20 0 20 0 8392447 19703095296 792389 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
/proc/87417/statm: 4810326 792389 5919 1 0 807570 0
[pid=87417/tid=87419] ppid=87414 vsize=19241304 memory=3169148 CPUtime=1301.63 cores=0,2
/proc/87417/task/87419/stat : 87419 (java) S 87414 87417 86029 0 -1 1077936192 43110 0 0 0 130138 25 0 0 20 0 20 0 8392447 19703095296 792389 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87428] ppid=87414 vsize=19241304 memory=3169148 CPUtime=0 cores=0,2
/proc/87417/task/87428/stat : 87428 (Finalizer) S 87414 87417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8392449 19703095296 792389 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
[pid=87417/tid=87435] ppid=87414 vsize=19241304 memory=3169148 CPUtime=0 cores=0,2
/proc/87417/task/87435/stat : 87435 (Common-Cleaner) S 87414 87417 86029 0 -1 1077936192 645 0 0 0 0 0 0 0 20 0 20 0 8392450 19703095296 792389 134679101440 94361532088320 94361532092016 140729818006736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94361532099832 94361532100624 94361553412096 140729818010630 140729818010720 140729818010720 140729818017736 0
Current children cumulated CPU time: 1325.63 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 3169556 KiB
Child status: 30
Real time (s): 1319.15
CPU time (s): 1325.68
CPU user time (s): 1324.34
CPU system time (s): 1.34496
CPU usage (%): 100.495
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 3169556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1324.34
system time used= 1.34496
maximum resident set size= 3170548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43684
involuntary context switches= 13982
# summary of solver processes directly reported to runsolver:
# pid: 87417
# total CPU time (s): 1325.68
# total CPU user time (s): 1324.34
# total CPU system time (s): 1.34496
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.55156 second user time and 5.34462 second system time
The end
Begin job on nodeC017 at 2024-07-23 09:11:39 IDJOB=4456241 IDBENCH=143317 IDSOLVER=3037 FILE ID=nodeC017/4456241-1721718699 RUNJOBID= nodeC017-1721718407-86039 SLURM_JOB_ID= 7770408 Free space on /tmp= 890076 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/SOFT-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456241-1721718699/watcher-4456241-1721718699 -o /tmp/evaluation-result-4456241-1721718699/solver-4456241-1721718699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86039 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456241-1721718699.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 36667ceb652fd3faee014f579e034408 RANDOM SEED=1527477696 nodeC017.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 : 3646.250 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.61 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 : 3600.782 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 : 7006.74 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 : 3645.494 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.61 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 : 3682.546 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 : 7006.74 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 : 3600.870 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.61 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 : 3682.714 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 : 7006.74 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 : 3655.848 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.61 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 : 3600.348 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 : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 100802544 kB MemAvailable: 121670904 kB Buffers: 141288 kB Cached: 21463108 kB SwapCached: 0 kB Active: 896776 kB Inactive: 29064996 kB Active(anon): 1552 kB Inactive(anon): 8393532 kB Active(file): 895224 kB Inactive(file): 20671464 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1492 kB Writeback: 0 kB AnonPages: 8355544 kB Mapped: 119876 kB Shmem: 37720 kB KReclaimable: 282992 kB Slab: 389956 kB SReclaimable: 282992 kB SUnreclaim: 106964 kB KernelStack: 5120 kB PageTables: 26436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 10385164 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18272 kB HardwareCorrupted: 0 kB AnonHugePages: 7999488 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: 277204 kB DirectMap2M: 21516288 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 890076 MiB End job on nodeC017 at 2024-07-23 09:33:38