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 | 639.524 | 630.763 |
| Name | PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo |
| MD5SUM | bc45bcdbecbc5e781b95a5731515dca1 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard 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 | 143.802 |
| 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 | 5468 |
| 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 | 278200 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 278199 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version CUSTOM.v20240707 0.00/0.11 c java.runtime.name OpenJDK Runtime Environment 0.00/0.11 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.11 c java.vm.version 22.0.1+8-16 0.00/0.11 c java.vm.vendor Oracle Corporation 0.00/0.11 c sun.arch.data.model 64 0.00/0.11 c java.version 22.0.1 0.00/0.11 c os.name Linux 0.00/0.11 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.11 c os.arch amd64 0.00/0.11 c Free memory 2113181440 0.00/0.11 c Max memory 16282288128 0.00/0.11 c Total memory 2122317824 0.13/0.11 c Number of processors 2 0.13/0.15 --- Begin Solver configuration --- 0.13/0.15 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.15 Learn all clauses as in MiniSAT 0.13/0.15 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.15 No reason simplification 0.13/0.15 Glucose 2.1 dynamic restart strategy 0.13/0.15 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.13/0.15 timeout=2147483s 0.13/0.15 DB Simplification allowed=false 0.13/0.15 Listener: none 0.13/0.15 --- End Solver configuration --- 0.13/0.16 c Pseudo Boolean Optimization by upper bound 0.13/0.16 c --- Begin Solver configuration --- 0.13/0.16 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.16 c Learn all clauses as in MiniSAT 0.13/0.16 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.16 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.16 c No reason simplification 0.13/0.16 c Glucose 2.1 dynamic restart strategy 0.13/0.16 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.13/0.16 c timeout=2147483s 0.13/0.16 c DB Simplification allowed=false 0.13/0.16 c Listener: none 0.13/0.16 c --- End Solver configuration --- 0.13/0.16 c solving HOME/instance-4424871-1720881537.wbo 0.13/0.16 c reading problem ... 0.72/0.46 c ... done. Wall clock time 0.301s. 0.72/0.46 c declared #vars 4960 0.72/0.46 c internal #vars 10428 0.72/0.46 c #constraints 16158 0.72/0.46 c constraints type 0.72/0.47 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 8423 0.72/0.47 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 316 0.72/0.47 c org.sat4j.specs.Constr$1 => 852 0.72/0.47 c org.sat4j.pb.constraints.pb.UnitClausePB => 299 0.72/0.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6268 0.72/0.47 c 16158 constraints processed. 0.72/0.49 c objective function length is 5468 literals 1.08/0.64 c SATISFIABLE 1.08/0.64 c OPTIMIZING... 1.08/0.64 c Got one! Elapsed wall clock time (in seconds):0.485 1.08/0.64 o 1702 2.76/1.60 c Got one! Elapsed wall clock time (in seconds):1.441 2.76/1.60 o 1701 2.76/1.63 c Got one! Elapsed wall clock time (in seconds):1.468 2.76/1.63 o 1269 4.80/3.22 c cleaning 2783 clauses out of 5577 with flag 15942/5577 6.22/4.41 c cleaning 4387 clauses out of 8793 with flag 82138/11576 6.94/4.99 c Got one! Elapsed wall clock time (in seconds):4.834 6.94/4.99 o 1268 6.94/5.02 c Got one! Elapsed wall clock time (in seconds):4.86 6.94/5.02 o 559 8.05/5.83 c cleaning 4748 clauses out of 9513 with flag 15183/16683 10.18/7.50 c cleaning 5384 clauses out of 10769 with flag 82340/22687 11.91/8.90 c cleaning 6182 clauses out of 12381 with flag 205937/29683 13.23/10.21 c cleaning 7083 clauses out of 14199 with flag 346116/37683 14.53/11.60 c cleaning 8050 clauses out of 16117 with flag 518453/46684 16.42/13.50 c cleaning 9024 clauses out of 18067 with flag 706039/56684 19.16/16.11 c cleaning 10013 clauses out of 20042 with flag 930662/67683 21.25/18.22 c Got one! Elapsed wall clock time (in seconds):18.067 21.25/18.22 o 557 23.14/20.05 c cleaning 12325 clauses out of 24679 with flag 69717/82333 24.80/21.66 c cleaning 9148 clauses out of 18356 with flag 185775/88335 25.31/22.13 c Got one! Elapsed wall clock time (in seconds):21.977 25.31/22.13 o 556 26.04/22.84 c cleaning 7396 clauses out of 14797 with flag 45056/93924 27.14/23.91 c cleaning 6692 clauses out of 13404 with flag 174526/99927 27.25/24.07 c Got one! Elapsed wall clock time (in seconds):23.915 27.25/24.07 o 555 28.11/24.87 c Got one! Elapsed wall clock time (in seconds):24.714 28.11/24.87 o 552 28.94/25.59 c cleaning 6185 clauses out of 12390 with flag 49944/105605 30.03/26.69 c cleaning 6094 clauses out of 12205 with flag 155017/111605 31.40/27.94 c cleaning 6549 clauses out of 13111 with flag 297001/118605 33.62/30.01 c cleaning 7272 clauses out of 14563 with flag 466381/126606 34.62/31.07 c Got one! Elapsed wall clock time (in seconds):30.914 34.62/31.07 o 550 35.15/31.40 c cleaning 6356 clauses out of 12743 with flag 16376/132058 36.45/32.77 c cleaning 6182 clauses out of 12386 with flag 136463/138057 38.23/34.48 c cleaning 6587 clauses out of 13205 with flag 274048/145058 39.72/35.98 c cleaning 7303 clauses out of 14617 with flag 452221/153057 41.22/37.47 c Got one! Elapsed wall clock time (in seconds):37.317 41.22/37.47 o 548 42.66/38.60 c cleaning 10372 clauses out of 20759 with flag 125380/166502 44.04/39.92 c cleaning 8173 clauses out of 16387 with flag 287514/172502 45.44/41.34 c cleaning 7592 clauses out of 15216 with flag 479934/179504 47.33/43.20 c cleaning 7804 clauses out of 15624 with flag 661130/187504 48.25/44.17 c Got one! Elapsed wall clock time (in seconds):44.008 48.25/44.17 o 544 48.66/44.52 c cleaning 6549 clauses out of 13121 with flag 5123/192805 49.96/45.84 c Got one! Elapsed wall clock time (in seconds):45.678 49.96/45.84 o 543 50.32/46.13 c cleaning 5987 clauses out of 11993 with flag 17079/198226 50.50/46.36 c Got one! Elapsed wall clock time (in seconds):46.199 50.50/46.36 o 527 52.08/47.87 c cleaning 5969 clauses out of 11965 with flag 91422/204185 52.18/47.98 c Got one! Elapsed wall clock time (in seconds):47.825 52.18/47.98 o 526 52.61/48.34 c Got one! Elapsed wall clock time (in seconds):48.179 52.61/48.34 o 525 53.89/49.56 c cleaning 6205 clauses out of 12456 with flag 80479/210645 55.34/50.81 c cleaning 6108 clauses out of 12254 with flag 206774/216648 57.47/52.38 c cleaning 6556 clauses out of 13143 with flag 334631/223645 57.97/52.89 c Got one! Elapsed wall clock time (in seconds):52.736 57.97/52.89 o 523 59.09/53.96 c cleaning 6082 clauses out of 12174 with flag 45210/229232 60.75/55.55 c cleaning 6037 clauses out of 12090 with flag 174468/235230 62.15/56.99 c cleaning 6521 clauses out of 13053 with flag 316854/242230 63.95/58.78 c cleaning 7262 clauses out of 14532 with flag 505007/250230 64.05/58.86 c Got one! Elapsed wall clock time (in seconds):58.698 64.05/58.86 o 522 64.77/59.52 c Got one! Elapsed wall clock time (in seconds):59.363 64.77/59.52 o 519 65.66/60.31 c cleaning 6495 clauses out of 13016 with flag 54964/255976 66.98/61.60 c cleaning 6232 clauses out of 12521 with flag 169429/261976 67.98/62.64 c cleaning 6627 clauses out of 13290 with flag 302530/268977 68.28/62.95 c Got one! Elapsed wall clock time (in seconds):62.795 68.28/62.95 o 518 69.43/64.06 c cleaning 6217 clauses out of 12479 with flag 72011/274793 70.61/65.29 c cleaning 6120 clauses out of 12263 with flag 197112/280794 72.50/67.10 c cleaning 6570 clauses out of 13142 with flag 355331/287793 73.08/67.60 c Got one! Elapsed wall clock time (in seconds):67.445 73.08/67.60 o 516 73.56/68.08 c Got one! Elapsed wall clock time (in seconds):67.92 73.56/68.08 o 515 74.00/68.46 c Got one! Elapsed wall clock time (in seconds):68.301 74.00/68.46 o 513 74.00/68.48 c Got one! Elapsed wall clock time (in seconds):68.319 74.00/68.48 o 301 75.09/69.49 c Got one! Elapsed wall clock time (in seconds):69.337 75.09/69.49 o 299 75.59/69.95 c cleaning 7031 clauses out of 14071 with flag 6925/295292 78.40/72.79 c cleaning 6505 clauses out of 13039 with flag 70636/301291 80.30/74.63 c cleaning 6754 clauses out of 13534 with flag 201405/308291 82.00/76.38 c cleaning 7374 clauses out of 14780 with flag 355444/316291 84.22/78.26 c cleaning 8186 clauses out of 16406 with flag 551111/325291 86.42/80.49 c cleaning 9106 clauses out of 18220 with flag 780692/335291 89.39/83.35 c cleaning 10055 clauses out of 20114 with flag 1024974/346291 89.79/83.71 c Got one! Elapsed wall clock time (in seconds):83.553 89.79/83.71 o 298 90.23/84.16 c Got one! Elapsed wall clock time (in seconds):83.999 90.23/84.16 o 296 91.03/84.96 c cleaning 8232 clauses out of 16476 with flag 59243/352708 91.33/85.26 c Got one! Elapsed wall clock time (in seconds):85.099 91.33/85.26 o 295 92.33/86.28 c cleaning 6957 clauses out of 13942 with flag 89224/358406 93.03/86.97 c Got one! Elapsed wall clock time (in seconds):86.817 93.03/86.97 o 294 93.54/87.48 c cleaning 6021 clauses out of 12053 with flag 14003/363474 95.04/88.92 c cleaning 6008 clauses out of 12029 with flag 122549/369471 95.84/89.76 c Got one! Elapsed wall clock time (in seconds):89.607 95.84/89.76 o 292 96.26/90.18 c cleaning 5697 clauses out of 11402 with flag 14581/374852 97.58/91.44 c cleaning 5847 clauses out of 11705 with flag 119687/380852 98.98/92.88 c cleaning 6427 clauses out of 12862 with flag 254139/387856 100.67/94.58 c cleaning 7207 clauses out of 14430 with flag 402269/395851 103.27/97.07 c cleaning 8101 clauses out of 16223 with flag 566346/404851 103.95/97.75 c Got one! Elapsed wall clock time (in seconds):97.588 103.95/97.75 o 291 104.45/98.25 c cleaning 6856 clauses out of 13738 with flag 34478/410467 105.65/99.42 c cleaning 6419 clauses out of 12882 with flag 160542/416467 107.15/100.95 c cleaning 6721 clauses out of 13466 with flag 304528/423470 107.65/101.42 c Got one! Elapsed wall clock time (in seconds):101.26 107.65/101.42 o 290 108.15/101.98 c Got one! Elapsed wall clock time (in seconds):101.827 108.15/101.98 o 289 108.65/102.47 c cleaning 6130 clauses out of 12294 with flag 14689/429019 109.14/103.01 c Got one! Elapsed wall clock time (in seconds):102.849 109.14/103.01 o 281 109.85/103.62 c cleaning 5584 clauses out of 11209 with flag 65891/434064 110.89/104.69 c cleaning 5790 clauses out of 11624 with flag 203703/440063 112.09/105.86 c cleaning 6407 clauses out of 12834 with flag 359595/447063 113.58/107.35 c cleaning 7206 clauses out of 14430 with flag 556222/455066 115.29/109.02 c cleaning 8094 clauses out of 16221 with flag 770764/464063 115.58/109.30 c Got one! Elapsed wall clock time (in seconds):109.143 115.58/109.30 o 280 116.58/110.31 c cleaning 6828 clauses out of 13693 with flag 73750/469629 117.77/111.57 c Got one! Elapsed wall clock time (in seconds):111.412 117.77/111.57 o 278 118.17/111.95 c Got one! Elapsed wall clock time (in seconds):111.794 118.17/111.95 o 276 119.45/113.15 c cleaning 8904 clauses out of 17843 with flag 78960/480607 120.53/114.27 c cleaning 7454 clauses out of 14939 with flag 231203/486607 121.73/115.44 c cleaning 7224 clauses out of 14485 with flag 393656/493607 123.13/116.80 c cleaning 7625 clauses out of 15263 with flag 587207/501609 125.19/118.83 c cleaning 8317 clauses out of 16636 with flag 803094/510607 126.19/119.84 c Got one! Elapsed wall clock time (in seconds):119.679 126.19/119.84 o 275 126.59/120.25 c cleaning 6937 clauses out of 13888 with flag 13727/516176 127.89/121.50 c cleaning 6463 clauses out of 12952 with flag 150820/522177 128.09/121.73 c Got one! Elapsed wall clock time (in seconds):121.57 128.09/121.73 o 272 128.99/122.62 c Got one! Elapsed wall clock time (in seconds):122.464 128.99/122.62 o 267 129.41/123.02 c cleaning 6114 clauses out of 12249 with flag 18848/527937 130.09/123.72 c Got one! Elapsed wall clock time (in seconds):123.561 130.09/123.72 o 266 130.51/124.19 c cleaning 5804 clauses out of 11620 with flag 14297/533422 131.19/124.86 c Got one! Elapsed wall clock time (in seconds):124.708 131.19/124.87 o 259 131.99/125.67 c cleaning 5860 clauses out of 11730 with flag 47370/539336 132.09/125.75 c Got one! Elapsed wall clock time (in seconds):125.59 132.09/125.75 o 257 132.79/126.46 c Got one! Elapsed wall clock time (in seconds):126.301 132.79/126.46 o 255 133.29/126.94 c cleaning 5904 clauses out of 11829 with flag 42765/545295 134.72/128.39 c cleaning 5933 clauses out of 11924 with flag 179249/551294 136.22/129.87 c cleaning 6486 clauses out of 12990 with flag 326154/558293 137.92/131.54 c cleaning 7235 clauses out of 14504 with flag 496658/566293 139.71/133.36 c cleaning 8118 clauses out of 16270 with flag 682016/575294 142.19/135.76 c cleaning 9061 clauses out of 18151 with flag 900113/585293 144.71/138.23 c cleaning 10036 clauses out of 20090 with flag 1153190/596293 147.81/141.37 c cleaning 11022 clauses out of 22056 with flag 1489651/608295 150.91/144.35 c Got one! Elapsed wall clock time (in seconds):144.193 150.91/144.35 o 254 151.81/145.20 c Got one! Elapsed wall clock time (in seconds):145.039 151.81/145.20 o 250 152.73/146.17 c Got one! Elapsed wall clock time (in seconds):146.015 152.73/146.17 o 249 153.13/146.51 c cleaning 13666 clauses out of 27362 with flag 13839/624623 154.53/147.96 c cleaning 9831 clauses out of 19696 with flag 160117/630623 156.33/149.72 c cleaning 8428 clauses out of 16866 with flag 351304/637624 156.93/150.32 c Got one! Elapsed wall clock time (in seconds):150.163 156.93/150.32 o 246 157.33/150.75 c Got one! Elapsed wall clock time (in seconds):150.592 157.33/150.75 o 242 158.23/151.63 c cleaning 7425 clauses out of 14864 with flag 68771/644050 159.22/152.67 c cleaning 6690 clauses out of 13439 with flag 206742/650050 161.18/154.37 c Got one! Elapsed wall clock time (in seconds):154.211 161.18/154.37 o 241 161.99/155.13 c Got one! Elapsed wall clock time (in seconds):154.975 161.99/155.13 o 240 163.07/156.28 c cleaning 8987 clauses out of 17996 with flag 84574/661297 163.37/156.50 c Got one! Elapsed wall clock time (in seconds):156.341 163.37/156.50 o 239 164.37/157.52 c cleaning 7088 clauses out of 14198 with flag 84394/666486 165.77/158.92 c cleaning 6548 clauses out of 13113 with flag 207910/672489 167.36/160.57 c cleaning 6768 clauses out of 13561 with flag 338342/679485 168.87/162.01 c cleaning 7390 clauses out of 14794 with flag 507937/687486 170.38/163.59 c cleaning 8185 clauses out of 16403 with flag 700148/696485 172.33/165.42 c cleaning 9098 clauses out of 18218 with flag 934096/706485 173.13/166.26 c Got one! Elapsed wall clock time (in seconds):166.101 173.13/166.26 o 238 173.53/166.70 c cleaning 7489 clauses out of 15007 with flag 13976/712372 173.94/167.05 c Got one! Elapsed wall clock time (in seconds):166.895 173.94/167.05 o 237 173.94/167.10 c Got one! Elapsed wall clock time (in seconds):166.948 173.94/167.10 o 235 175.23/168.34 c cleaning 6484 clauses out of 13005 with flag 71676/717859 176.53/169.66 c Got one! Elapsed wall clock time (in seconds):169.505 176.53/169.66 o 230 177.13/170.24 c Got one! Elapsed wall clock time (in seconds):170.079 177.13/170.24 o 229 178.05/171.18 c cleaning 8989 clauses out of 17985 with flag 80245/729323 179.43/172.52 c cleaning 7477 clauses out of 14996 with flag 219544/735323 181.01/174.02 c cleaning 7256 clauses out of 14523 with flag 389923/742327 182.00/175.09 c Got one! Elapsed wall clock time (in seconds):174.931 182.00/175.09 o 227 182.59/175.60 c cleaning 6578 clauses out of 13165 with flag 12772/748225 183.00/176.10 c Got one! Elapsed wall clock time (in seconds):175.944 183.00/176.10 o 224 183.79/176.84 c cleaning 5893 clauses out of 11813 with flag 55215/753451 184.79/177.88 c cleaning 5931 clauses out of 11922 with flag 186789/759453 185.49/178.54 c Got one! Elapsed wall clock time (in seconds):178.387 185.49/178.54 o 222 186.00/179.03 c cleaning 5915 clauses out of 11855 with flag 35683/765317 186.29/179.37 c Got one! Elapsed wall clock time (in seconds):179.216 186.29/179.37 o 220 187.19/180.23 c cleaning 5527 clauses out of 11061 with flag 56007/770438 188.28/181.37 c cleaning 5754 clauses out of 11534 with flag 166867/776438 189.58/182.62 c cleaning 6384 clauses out of 12780 with flag 298498/783438 191.53/184.50 c cleaning 7195 clauses out of 14397 with flag 466602/791439 194.03/187.09 c cleaning 8097 clauses out of 16203 with flag 635625/800440 194.72/187.79 c Got one! Elapsed wall clock time (in seconds):187.631 194.72/187.79 o 208 195.03/188.07 c Got one! Elapsed wall clock time (in seconds):187.914 195.03/188.07 o 201 195.72/188.71 c cleaning 7109 clauses out of 14242 with flag 50876/806576 197.33/190.38 c cleaning 6558 clauses out of 13133 with flag 173252/812576 198.82/191.81 c cleaning 6781 clauses out of 13576 with flag 313129/819577 200.62/193.66 c cleaning 7394 clauses out of 14795 with flag 459991/827577 202.71/195.72 c Got one! Elapsed wall clock time (in seconds):195.567 202.71/195.72 o 200 204.41/197.32 c cleaning 10582 clauses out of 21172 with flag 84953/841348 205.51/198.49 c cleaning 8281 clauses out of 16588 with flag 216422/847346 205.81/198.78 c Got one! Elapsed wall clock time (in seconds):198.623 205.81/198.78 o 198 207.12/200.02 c cleaning 6941 clauses out of 13895 with flag 60898/852934 208.30/201.23 c cleaning 6463 clauses out of 12955 with flag 168558/858935 209.50/202.47 c Got one! Elapsed wall clock time (in seconds):202.314 209.50/202.47 o 192 210.70/203.69 c cleaning 8942 clauses out of 17894 with flag 103700/870337 212.29/205.18 c cleaning 7459 clauses out of 14951 with flag 232179/876336 213.58/206.45 c Got one! Elapsed wall clock time (in seconds):206.293 213.58/206.45 o 188 214.97/207.84 c cleaning 9074 clauses out of 18158 with flag 104518/887002 216.28/209.17 c cleaning 7521 clauses out of 15084 with flag 235439/893002 217.67/210.57 c cleaning 7261 clauses out of 14564 with flag 377512/900003 219.36/212.26 c cleaning 7638 clauses out of 15302 with flag 556705/908002 221.28/214.15 c cleaning 8322 clauses out of 16666 with flag 753230/917004 223.06/215.94 c Got one! Elapsed wall clock time (in seconds):215.784 223.06/215.94 o 187 224.44/217.26 c cleaning 10676 clauses out of 21382 with flag 115988/930042 224.54/217.35 c Got one! Elapsed wall clock time (in seconds):217.196 224.54/217.35 o 186 225.94/218.76 c cleaning 8102 clauses out of 16238 with flag 122370/935574 227.13/219.92 c cleaning 7062 clauses out of 14139 with flag 271427/941577 228.63/221.47 c cleaning 7019 clauses out of 14074 with flag 429187/948574 230.63/223.44 c cleaning 7517 clauses out of 15056 with flag 607356/956575 233.02/225.81 c cleaning 8261 clauses out of 16539 with flag 808252/965575 235.20/227.98 c cleaning 9128 clauses out of 18278 with flag 1040199/975575 236.99/229.79 c Got one! Elapsed wall clock time (in seconds):229.632 236.99/229.79 o 185 238.49/231.23 c cleaning 11796 clauses out of 23603 with flag 115485/990028 240.09/232.87 c cleaning 8897 clauses out of 17806 with flag 245854/996027 241.68/234.46 c cleaning 7933 clauses out of 15908 with flag 410433/1003026 242.08/234.85 c Got one! Elapsed wall clock time (in seconds):234.692 242.08/234.85 o 180 242.48/235.25 c Got one! Elapsed wall clock time (in seconds):235.089 242.48/235.25 o 179 242.98/235.78 c cleaning 6577 clauses out of 13205 with flag 50055/1008256 244.18/236.94 c cleaning 6294 clauses out of 12628 with flag 173648/1014256 245.78/238.56 c cleaning 6661 clauses out of 13334 with flag 306422/1021256 246.78/239.52 c Got one! Elapsed wall clock time (in seconds):239.359 246.78/239.52 o 176 248.17/241.00 c cleaning 8417 clauses out of 16846 with flag 93118/1031429 249.86/242.59 c cleaning 7208 clauses out of 14429 with flag 213654/1037429 250.76/243.47 c Got one! Elapsed wall clock time (in seconds):243.311 250.76/243.47 o 175 251.26/243.99 c Got one! Elapsed wall clock time (in seconds):243.835 251.26/243.99 o 173 251.84/244.48 c cleaning 6917 clauses out of 13848 with flag 12849/1044056 252.93/245.56 c cleaning 6446 clauses out of 12931 with flag 125140/1050056 254.13/246.78 c cleaning 6733 clauses out of 13489 with flag 255743/1057060 256.03/248.63 c cleaning 7368 clauses out of 14752 with flag 397950/1065056 258.12/250.75 c cleaning 8190 clauses out of 16385 with flag 574940/1074057 260.53/253.13 c cleaning 9093 clauses out of 18196 with flag 789741/1084058 261.53/254.14 c Got one! Elapsed wall clock time (in seconds):253.98 261.53/254.14 o 169 261.81/254.46 c cleaning 7281 clauses out of 14578 with flag 13953/1089533 261.91/254.50 c Got one! Elapsed wall clock time (in seconds):254.342 261.91/254.50 o 168 263.01/255.60 c cleaning 6204 clauses out of 12441 with flag 98639/1094677 264.21/256.85 c cleaning 6094 clauses out of 12236 with flag 217605/1100676 265.02/257.62 c Got one! Elapsed wall clock time (in seconds):257.46 265.02/257.62 o 161 266.13/258.64 c cleaning 6047 clauses out of 12106 with flag 45166/1106640 267.34/259.85 c cleaning 6019 clauses out of 12058 with flag 144779/1112639 269.04/261.52 c cleaning 6512 clauses out of 13041 with flag 261080/1119641 270.84/263.31 c cleaning 7252 clauses out of 14527 with flag 411141/1127639 272.73/265.21 c cleaning 8130 clauses out of 16275 with flag 591605/1136639 274.54/267.03 c cleaning 9066 clauses out of 18147 with flag 800182/1146641 276.82/269.38 c cleaning 10030 clauses out of 20079 with flag 1029375/1157639 277.22/269.72 c Got one! Elapsed wall clock time (in seconds):269.561 277.22/269.72 o 154 278.12/270.62 c cleaning 7796 clauses out of 15605 with flag 79060/1163195 279.42/271.91 c cleaning 6895 clauses out of 13809 with flag 205980/1169195 280.93/273.45 c cleaning 6943 clauses out of 13913 with flag 363419/1176194 281.64/274.12 c Got one! Elapsed wall clock time (in seconds):273.966 281.64/274.12 o 152 282.12/274.60 c cleaning 6028 clauses out of 12078 with flag 35029/1181302 283.42/275.99 c cleaning 6008 clauses out of 12051 with flag 144261/1187303 285.02/277.51 c cleaning 6512 clauses out of 13044 with flag 263757/1194304 286.81/279.31 c cleaning 7248 clauses out of 14530 with flag 423844/1202302 289.00/281.55 c cleaning 8137 clauses out of 16282 with flag 612428/1211302 289.90/282.47 c Got one! Elapsed wall clock time (in seconds):282.317 289.90/282.47 o 149 290.36/282.77 c cleaning 6661 clauses out of 13342 with flag 15798/1216499 291.46/283.86 c cleaning 6330 clauses out of 12681 with flag 139652/1222499 292.67/285.03 c cleaning 6653 clauses out of 13352 with flag 276612/1229500 294.16/286.57 c cleaning 7342 clauses out of 14698 with flag 434010/1237499 296.05/288.43 c cleaning 8170 clauses out of 16357 with flag 626296/1246500 297.94/290.35 c cleaning 9083 clauses out of 18187 with flag 844168/1256500 300.14/292.58 c cleaning 10042 clauses out of 20103 with flag 1101692/1267499 302.75/295.19 c cleaning 11022 clauses out of 22061 with flag 1394836/1279499 305.53/297.98 c cleaning 12004 clauses out of 24039 with flag 1703776/1292499 307.64/300.04 c Got one! Elapsed wall clock time (in seconds):299.885 307.64/300.04 o 148 309.00/301.42 c cleaning 13494 clauses out of 27001 with flag 127176/1307465 310.40/302.83 c cleaning 9737 clauses out of 19510 with flag 298569/1313468 312.00/304.41 c cleaning 8379 clauses out of 16773 with flag 485266/1320468 313.89/306.37 c cleaning 8189 clauses out of 16392 with flag 641980/1328466 315.88/308.30 c cleaning 8599 clauses out of 17202 with flag 828007/1337465 316.39/308.82 c Got one! Elapsed wall clock time (in seconds):308.658 316.39/308.82 o 147 317.08/309.58 c cleaning 7252 clauses out of 14518 with flag 59961/1343380 318.49/310.92 c cleaning 6624 clauses out of 13264 with flag 179374/1349378 319.38/311.83 c Got one! Elapsed wall clock time (in seconds):311.673 319.38/311.84 o 146 319.78/312.22 c cleaning 6278 clauses out of 12567 with flag 36168/1355305 320.79/313.28 c cleaning 6128 clauses out of 12289 with flag 156189/1361305 322.08/314.50 c cleaning 6575 clauses out of 13162 with flag 286110/1368306 322.18/314.66 c Got one! Elapsed wall clock time (in seconds):314.505 322.18/314.66 o 144 323.28/315.79 c cleaning 6131 clauses out of 12293 with flag 78045/1374012 324.78/317.27 c cleaning 6041 clauses out of 12162 with flag 168416/1380012 324.88/317.33 c Got one! Elapsed wall clock time (in seconds):317.171 324.88/317.33 o 143 326.07/318.56 c cleaning 5666 clauses out of 11356 with flag 70796/1385247 327.07/319.58 c cleaning 5831 clauses out of 11690 with flag 152671/1391247 328.27/320.77 c cleaning 6418 clauses out of 12860 with flag 252902/1398248 329.77/322.23 c cleaning 7214 clauses out of 14442 with flag 375710/1406248 331.47/323.91 c cleaning 8105 clauses out of 16227 with flag 533181/1415247 331.77/324.25 c Got one! Elapsed wall clock time (in seconds):324.096 331.77/324.25 o 142 332.36/324.84 c cleaning 6553 clauses out of 13137 with flag 50806/1420262 333.96/326.42 c cleaning 6279 clauses out of 12584 with flag 143444/1426262 335.46/327.95 c cleaning 6641 clauses out of 13309 with flag 250281/1433266 337.26/329.75 c cleaning 7325 clauses out of 14664 with flag 394932/1441262 338.95/331.48 c cleaning 8159 clauses out of 16339 with flag 571378/1450262 341.05/333.55 c cleaning 9089 clauses out of 18181 with flag 785990/1460263 344.06/336.25 c cleaning 10045 clauses out of 20093 with flag 1011364/1471264 346.55/338.75 c cleaning 11014 clauses out of 22047 with flag 1276487/1483263 349.64/341.86 c cleaning 12006 clauses out of 24032 with flag 1576970/1496262 349.74/341.99 c Got one! Elapsed wall clock time (in seconds):341.832 349.74/341.99 o 139 351.05/343.28 c cleaning 8810 clauses out of 17652 with flag 84369/1501888 352.45/344.62 c cleaning 7400 clauses out of 14843 with flag 211484/1507889 354.14/346.32 c cleaning 7212 clauses out of 14442 with flag 340500/1514888 354.96/347.18 c Got one! Elapsed wall clock time (in seconds):347.025 354.96/347.18 o 138 355.54/347.70 c cleaning 6580 clauses out of 13181 with flag 36011/1520839 356.44/348.69 c cleaning 6288 clauses out of 12601 with flag 150746/1526839 357.94/350.13 c cleaning 6644 clauses out of 13315 with flag 281498/1533841 359.94/352.12 c cleaning 7323 clauses out of 14669 with flag 435949/1541839 360.94/353.11 c Got one! Elapsed wall clock time (in seconds):352.957 360.94/353.11 o 134 360.94/353.17 c Got one! Elapsed wall clock time (in seconds):353.017 360.94/353.17 o 127 361.13/353.39 c cleaning 6579 clauses out of 13187 with flag 16237/1547680 362.42/354.61 c cleaning 6291 clauses out of 12608 with flag 115998/1553680 364.57/356.53 c cleaning 6642 clauses out of 13316 with flag 240113/1560679 365.76/357.70 c Got one! Elapsed wall clock time (in seconds):357.544 365.76/357.70 o 124 366.96/358.96 c cleaning 8421 clauses out of 16858 with flag 103209/1570863 368.46/360.46 c cleaning 7209 clauses out of 14437 with flag 240624/1576863 370.17/362.19 c cleaning 7112 clauses out of 14230 with flag 366377/1583865 371.96/363.97 c cleaning 7545 clauses out of 15119 with flag 511005/1591866 373.96/365.95 c cleaning 8282 clauses out of 16572 with flag 671714/1600864 376.16/368.15 c cleaning 9129 clauses out of 18290 with flag 873965/1610864 379.08/370.93 c cleaning 10080 clauses out of 20164 with flag 1102722/1621867 381.47/373.32 c cleaning 11036 clauses out of 22081 with flag 1358338/1633864 384.37/376.24 c cleaning 12014 clauses out of 24044 with flag 1663853/1646863 385.67/377.51 c Got one! Elapsed wall clock time (in seconds):377.354 385.67/377.51 o 123 386.97/378.88 c cleaning 11563 clauses out of 23141 with flag 108706/1657974 388.37/380.22 c cleaning 8773 clauses out of 17578 with flag 220127/1663974 389.86/381.75 c cleaning 7897 clauses out of 15805 with flag 354443/1670974 391.76/383.61 c cleaning 7940 clauses out of 15908 with flag 508628/1678974 392.46/384.36 c Got one! Elapsed wall clock time (in seconds):384.206 392.46/384.36 o 120 393.06/384.99 c cleaning 6764 clauses out of 13561 with flag 30596/1684567 394.56/386.43 c cleaning 6390 clauses out of 12797 with flag 126717/1690567 395.85/387.72 c cleaning 6681 clauses out of 13407 with flag 250388/1697567 397.45/389.39 c cleaning 7354 clauses out of 14726 with flag 390683/1705567 399.35/391.25 c cleaning 8181 clauses out of 16372 with flag 566985/1714567 399.64/391.56 c Got one! Elapsed wall clock time (in seconds):391.403 399.64/391.56 o 119 400.64/392.48 c cleaning 6903 clauses out of 13820 with flag 71567/1720196 401.25/393.09 c Got one! Elapsed wall clock time (in seconds):392.93 401.25/393.09 o 118 401.94/393.72 c cleaning 6119 clauses out of 12245 with flag 26898/1725524 403.25/395.11 c cleaning 6054 clauses out of 12124 with flag 111885/1731522 404.73/396.58 c cleaning 6528 clauses out of 13070 with flag 219274/1738522 405.03/396.86 c Got one! Elapsed wall clock time (in seconds):396.703 405.03/396.86 o 116 405.93/397.73 c cleaning 5755 clauses out of 11573 with flag 57206/1743553 406.83/398.61 c Got one! Elapsed wall clock time (in seconds):398.451 406.83/398.61 o 115 407.35/399.15 c cleaning 5689 clauses out of 11393 with flag 25636/1749128 408.74/400.56 c cleaning 5850 clauses out of 11709 with flag 108428/1755133 410.43/402.29 c cleaning 6420 clauses out of 12854 with flag 199778/1762128 411.34/403.13 c Got one! Elapsed wall clock time (in seconds):402.968 411.34/403.13 o 110 411.63/403.46 c cleaning 5752 clauses out of 11559 with flag 10799/1767253 412.03/403.86 c Got one! Elapsed wall clock time (in seconds):403.702 412.03/403.86 o 99 413.13/404.91 c cleaning 5654 clauses out of 11314 with flag 52851/1772760 414.13/405.95 c cleaning 5803 clauses out of 11660 with flag 137666/1778760 415.02/406.86 c Got one! Elapsed wall clock time (in seconds):406.7 415.02/406.86 o 98 415.23/407.05 c Got one! Elapsed wall clock time (in seconds):406.898 415.23/407.05 o 89 415.72/407.53 c cleaning 5735 clauses out of 11481 with flag 9819/1784384 416.82/408.64 c Got one! Elapsed wall clock time (in seconds):408.487 416.82/408.64 o 86 417.13/408.95 c cleaning 5613 clauses out of 11244 with flag 11791/1789883 418.54/410.39 c cleaning 5806 clauses out of 11630 with flag 94462/1795882 420.25/412.05 c cleaning 6398 clauses out of 12824 with flag 208466/1802882 422.26/413.93 c cleaning 7196 clauses out of 14425 with flag 340700/1810881 422.37/414.04 c Got one! Elapsed wall clock time (in seconds):413.883 422.37/414.04 o 84 423.92/415.46 c cleaning 6366 clauses out of 12736 with flag 71637/1816388 425.11/416.67 c Got one! Elapsed wall clock time (in seconds):416.515 425.11/416.67 o 74 425.31/416.87 c Got one! Elapsed wall clock time (in seconds):416.71 425.31/416.87 o 69 426.11/417.60 c cleaning 5887 clauses out of 11806 with flag 31031/1821825 426.21/417.74 c Got one! Elapsed wall clock time (in seconds):417.579 426.21/417.74 o 68 427.41/418.98 c cleaning 5872 clauses out of 11763 with flag 66829/1827669 428.70/420.20 c cleaning 5931 clauses out of 11890 with flag 157784/1833668 430.00/421.59 c cleaning 6473 clauses out of 12960 with flag 261472/1840669 431.00/422.52 c Got one! Elapsed wall clock time (in seconds):422.359 431.00/422.52 o 67 431.23/422.77 c cleaning 5844 clauses out of 11710 with flag 10879/1845892 432.64/424.11 c cleaning 5915 clauses out of 11866 with flag 103107/1851892 434.33/425.89 c cleaning 6468 clauses out of 12950 with flag 207841/1858891 436.32/427.88 c cleaning 7233 clauses out of 14481 with flag 341129/1866890 438.42/430.00 c cleaning 8119 clauses out of 16251 with flag 506433/1875893 440.81/432.39 c cleaning 9052 clauses out of 18129 with flag 684444/1885890 443.21/434.77 c cleaning 10028 clauses out of 20080 with flag 880277/1896893 446.01/437.59 c cleaning 11019 clauses out of 22051 with flag 1075911/1908892 449.40/440.93 c cleaning 12013 clauses out of 24030 with flag 1322850/1921890 453.20/444.77 c cleaning 13004 clauses out of 26017 with flag 1602772/1935890 457.20/448.70 c cleaning 13985 clauses out of 28014 with flag 1923636/1950891 462.02/453.48 c cleaning 15002 clauses out of 30030 with flag 2307058/1966892 463.64/455.04 c Got one! Elapsed wall clock time (in seconds):454.884 463.64/455.05 o 65 465.23/456.60 c cleaning 13307 clauses out of 26636 with flag 120949/1978500 466.64/458.03 c cleaning 9650 clauses out of 19329 with flag 270725/1984500 468.22/459.61 c cleaning 8329 clauses out of 16679 with flag 424483/1991500 469.22/460.69 c Got one! Elapsed wall clock time (in seconds):460.535 469.22/460.69 o 64 470.52/461.94 c cleaning 9216 clauses out of 18447 with flag 94616/2001597 471.81/463.25 c cleaning 7597 clauses out of 15231 with flag 216091/2007597 473.41/464.86 c cleaning 7310 clauses out of 14637 with flag 347287/2014600 475.31/466.77 c cleaning 7654 clauses out of 15324 with flag 495123/2022597 475.62/467.04 c Got one! Elapsed wall clock time (in seconds):466.878 475.62/467.04 o 63 476.50/467.94 c cleaning 6406 clauses out of 12836 with flag 65082/2027763 477.90/469.39 c cleaning 6198 clauses out of 12431 with flag 172591/2033764 479.80/471.27 c cleaning 6604 clauses out of 13233 with flag 287633/2040764 481.10/472.50 c Got one! Elapsed wall clock time (in seconds):472.346 481.10/472.50 o 62 482.20/473.64 c cleaning 8472 clauses out of 16949 with flag 85065/2051084 483.40/474.87 c cleaning 7231 clauses out of 14476 with flag 200651/2057083 484.79/476.29 c cleaning 7115 clauses out of 14245 with flag 339318/2064083 486.29/477.73 c cleaning 7549 clauses out of 15131 with flag 479857/2072084 488.26/479.63 c cleaning 8270 clauses out of 16582 with flag 650808/2081084 490.36/481.79 c cleaning 9151 clauses out of 18311 with flag 833607/2091083 490.46/481.87 c Got one! Elapsed wall clock time (in seconds):481.717 490.46/481.87 o 60 491.45/482.85 c cleaning 7299 clauses out of 14616 with flag 110297/2096539 492.55/483.95 c cleaning 6644 clauses out of 13320 with flag 230660/2102542 493.85/485.20 c cleaning 6819 clauses out of 13675 with flag 360387/2109541 495.05/486.48 c Got one! Elapsed wall clock time (in seconds):486.326 495.05/486.48 o 59 496.35/487.72 c cleaning 9816 clauses out of 19645 with flag 86986/2122330 497.25/488.69 c Got one! Elapsed wall clock time (in seconds):488.529 497.25/488.69 o 58 497.55/488.98 c cleaning 7557 clauses out of 15123 with flag 17669/2127624 498.76/490.14 c cleaning 6767 clauses out of 13567 with flag 137081/2133625 500.15/491.55 c cleaning 6891 clauses out of 13797 with flag 255819/2140622 500.25/491.60 c Got one! Elapsed wall clock time (in seconds):491.441 500.25/491.60 o 57 501.24/492.67 c cleaning 6099 clauses out of 12225 with flag 89648/2145941 502.24/493.69 c cleaning 6056 clauses out of 12123 with flag 189397/2151938 503.75/495.19 c cleaning 6526 clauses out of 13067 with flag 298762/2158938 505.44/496.86 c Got one! Elapsed wall clock time (in seconds):496.704 505.44/496.86 o 56 506.83/498.26 c cleaning 9553 clauses out of 19120 with flag 74548/2171517 508.03/499.50 c cleaning 7771 clauses out of 15567 with flag 179816/2177517 509.43/500.84 c cleaning 7377 clauses out of 14796 with flag 313200/2184517 510.83/502.26 c cleaning 7699 clauses out of 15420 with flag 459762/2192518 511.32/502.70 c Got one! Elapsed wall clock time (in seconds):502.544 511.32/502.70 o 55 511.92/503.34 c Got one! Elapsed wall clock time (in seconds):503.18 511.92/503.34 o 53 512.22/503.67 c cleaning 7252 clauses out of 14551 with flag 15474/2199349 513.42/504.82 c cleaning 6630 clauses out of 13299 with flag 126428/2205349 514.73/506.14 c cleaning 6814 clauses out of 13669 with flag 245855/2212349 516.28/507.68 c cleaning 7422 clauses out of 14855 with flag 387975/2220349 517.87/509.24 c Got one! Elapsed wall clock time (in seconds):509.08 517.87/509.24 o 52 519.42/510.73 c cleaning 10545 clauses out of 21094 with flag 82412/2234011 520.63/511.95 c cleaning 8256 clauses out of 16553 with flag 184933/2240015 522.12/513.48 c cleaning 7643 clauses out of 15296 with flag 310184/2247014 524.12/515.43 c cleaning 7821 clauses out of 15650 with flag 445428/2255011 526.22/517.51 c cleaning 8400 clauses out of 16830 with flag 604316/2264012 528.32/519.62 c cleaning 9207 clauses out of 18429 with flag 783406/2274011 530.83/522.13 c cleaning 10108 clauses out of 20222 with flag 983738/2285011 532.01/523.33 c Got one! Elapsed wall clock time (in seconds):523.175 532.01/523.33 o 51 532.12/523.49 c Got one! Elapsed wall clock time (in seconds):523.332 532.12/523.49 o 49 533.26/524.55 c Got one! Elapsed wall clock time (in seconds):524.396 533.26/524.56 o 48 533.60/524.86 c cleaning 10535 clauses out of 21076 with flag 18495/2295973 534.81/526.05 c cleaning 8253 clauses out of 16540 with flag 149168/2301972 536.30/527.54 c cleaning 7638 clauses out of 15288 with flag 296505/2308973 538.09/529.33 c cleaning 7811 clauses out of 15649 with flag 444921/2316972 539.99/531.24 c cleaning 8413 clauses out of 16838 with flag 619144/2325972 542.18/533.46 c cleaning 9199 clauses out of 18425 with flag 819337/2335972 542.68/533.90 c Got one! Elapsed wall clock time (in seconds):533.744 542.68/533.90 o 47 543.59/534.86 c cleaning 7138 clauses out of 14289 with flag 50021/2341035 544.80/536.02 c cleaning 6570 clauses out of 13154 with flag 151946/2347038 545.98/537.27 c cleaning 6783 clauses out of 13580 with flag 257621/2354034 547.48/538.75 c cleaning 7396 clauses out of 14798 with flag 376023/2362035 549.28/540.55 c cleaning 8196 clauses out of 16401 with flag 528927/2371034 551.58/542.83 c cleaning 9089 clauses out of 18207 with flag 704987/2381036 552.67/543.91 c Got one! Elapsed wall clock time (in seconds):543.756 552.67/543.91 o 46 553.88/545.19 c cleaning 9798 clauses out of 19601 with flag 77979/2391519 555.37/546.61 c cleaning 7895 clauses out of 15803 with flag 190916/2397519 556.88/548.18 c cleaning 7437 clauses out of 14908 with flag 305305/2404519 558.66/549.91 c cleaning 7716 clauses out of 15472 with flag 449881/2412520 560.65/551.94 c cleaning 8362 clauses out of 16757 with flag 623072/2421521 563.15/554.49 c cleaning 9187 clauses out of 18395 with flag 798705/2431521 565.90/557.19 c cleaning 10089 clauses out of 20207 with flag 1005382/2442520 568.59/559.88 c cleaning 11045 clauses out of 22117 with flag 1237913/2454519 571.48/562.78 c cleaning 12034 clauses out of 24074 with flag 1516434/2467521 572.58/563.85 c Got one! Elapsed wall clock time (in seconds):563.696 572.58/563.85 o 45 572.89/564.17 c cleaning 8987 clauses out of 18003 with flag 18221/2473484 574.07/565.35 c Got one! Elapsed wall clock time (in seconds):565.194 574.07/565.35 o 43 574.17/565.48 c Got one! Elapsed wall clock time (in seconds):565.326 574.17/565.48 o 41 575.37/566.66 c cleaning 9825 clauses out of 19659 with flag 95051/2484127 576.97/568.23 c cleaning 7908 clauses out of 15830 with flag 215506/2490123 578.78/570.06 c cleaning 7453 clauses out of 14920 with flag 338426/2497121 580.56/571.87 c cleaning 7728 clauses out of 15468 with flag 484304/2505122 582.66/573.98 c cleaning 8368 clauses out of 16739 with flag 640507/2514121 585.36/576.66 c cleaning 9170 clauses out of 18372 with flag 819220/2524122 587.95/579.27 c cleaning 10097 clauses out of 20201 with flag 1027752/2535121 590.85/582.13 c cleaning 11038 clauses out of 22104 with flag 1282973/2547121 592.75/584.08 c Got one! Elapsed wall clock time (in seconds):583.924 592.75/584.08 o 40 594.51/585.71 c cleaning 11905 clauses out of 23820 with flag 92100/2559876 595.71/586.95 c cleaning 8927 clauses out of 17914 with flag 230791/2565875 596.71/587.91 c Got one! Elapsed wall clock time (in seconds):587.752 596.71/587.91 o 38 597.01/588.21 c cleaning 7463 clauses out of 14958 with flag 14039/2571846 597.41/588.68 c Got one! Elapsed wall clock time (in seconds):588.526 597.41/588.68 o 36 598.00/589.30 c cleaning 6232 clauses out of 12519 with flag 40811/2576870 598.70/590.00 c Got one! Elapsed wall clock time (in seconds):589.838 598.70/590.00 o 35 599.00/590.22 c cleaning 5698 clauses out of 11434 with flag 9568/2582017 599.00/590.25 c Got one! Elapsed wall clock time (in seconds):590.089 599.00/590.25 o 29 599.00/590.26 c Got one! Elapsed wall clock time (in seconds):590.106 599.00/590.26 o 20 600.01/591.21 c cleaning 5476 clauses out of 10979 with flag 54768/2587260 601.21/592.42 c cleaning 5749 clauses out of 11504 with flag 115279/2593261 602.70/593.96 c cleaning 6368 clauses out of 12755 with flag 195894/2600261 604.30/595.53 c cleaning 7183 clauses out of 14386 with flag 296944/2608260 606.40/597.66 c cleaning 8101 clauses out of 16204 with flag 408098/2617261 608.80/600.08 c cleaning 9047 clauses out of 18103 with flag 538140/2627261 611.68/602.90 c cleaning 10012 clauses out of 20053 with flag 693885/2638259 614.08/605.38 c Got one! Elapsed wall clock time (in seconds):605.222 614.08/605.38 o 14 615.28/606.54 c cleaning 12875 clauses out of 25772 with flag 68484/2653990 616.58/607.83 c cleaning 9431 clauses out of 18898 with flag 154356/2659991 616.98/608.24 c Got one! Elapsed wall clock time (in seconds):608.084 616.98/608.24 o 8 617.67/608.97 c cleaning 7720 clauses out of 15464 with flag 50999/2665988 618.17/609.42 c Got one! Elapsed wall clock time (in seconds):609.266 618.17/609.42 o 6 618.67/609.91 c cleaning 6633 clauses out of 13289 with flag 32930/2671533 619.67/611.01 c cleaning 6313 clauses out of 12659 with flag 95517/2677536 620.97/612.29 c cleaning 6656 clauses out of 13342 with flag 163430/2684532 622.47/613.79 c cleaning 7335 clauses out of 14687 with flag 243005/2692533 624.17/615.42 c cleaning 8175 clauses out of 16351 with flag 339843/2701532 626.17/617.43 c cleaning 9076 clauses out of 18177 with flag 447518/2711533 626.27/617.52 c Got one! Elapsed wall clock time (in seconds):617.362 626.27/617.52 o 5 627.16/618.40 c Got one! Elapsed wall clock time (in seconds):618.247 627.16/618.40 o 4 627.36/618.61 c cleaning 7728 clauses out of 15470 with flag 11413/2717902 627.87/619.15 c Got one! Elapsed wall clock time (in seconds):618.989 627.87/619.15 o 3 628.26/619.50 c cleaning 6388 clauses out of 12795 with flag 19297/2722955 629.16/620.46 c cleaning 6194 clauses out of 12406 with flag 57885/2728954 630.26/621.50 c Got one! Elapsed wall clock time (in seconds):621.347 630.26/621.50 o 2 631.15/622.49 c cleaning 8684 clauses out of 17378 with flag 35717/2740120 632.25/623.59 c cleaning 7337 clauses out of 14697 with flag 82346/2746123 633.45/624.77 c cleaning 7168 clauses out of 14358 with flag 134703/2753121 634.86/626.19 c cleaning 7579 clauses out of 15189 with flag 195390/2761120 636.64/627.94 c cleaning 8297 clauses out of 16611 with flag 275891/2770121 638.64/629.99 c cleaning 9147 clauses out of 18314 with flag 377365/2780121 639.44/630.71 c starts : 3355 639.44/630.71 c conflicts : 2783838 639.44/630.71 c decisions : 4758419 639.44/630.71 c propagations : 1285553572 639.44/630.71 c inspects : 5120639986 639.44/630.71 c shortcuts : 0 639.44/630.71 c learnt literals : 9 639.44/630.71 c learnt binary clauses : 42 639.44/630.71 c learnt ternary clauses : 213 639.44/630.71 c learnt constraints : 2783828 639.44/630.71 c ignored constraints : 0 639.44/630.71 c root simplifications : 0 639.44/630.71 c removed literals (reason simplification) : 0 639.44/630.71 c reason swapping (by a shorter reason) : 0 639.44/630.71 c Calls to reduceDB : 362 639.44/630.71 c Number of update (reduction) of LBD : 1303347 639.44/630.71 c Imported unit clauses : 0 639.44/630.71 c No decision after first conflict : false 639.44/630.71 c number of reductions to clauses (during analyze) : 0 639.44/630.71 c number of learned constraints concerned by reduction : 0 639.44/630.71 c number of learning phase by resolution : 0 639.44/630.71 c number of learning phase by cutting planes : 0 639.44/630.71 c number of rounding to 1 operations : 0 639.44/630.71 c number of easy rounding to 1 operations (no literal elimination needed) : 0 639.44/630.71 c number of reductions of the coefficients by power 2 : 0 639.44/630.71 c number of right shift for reduction by power 2 : 0 639.44/630.71 c number of reductions of the coefficients by GCD over coefficients : 0 639.44/630.71 c number of ending skipping : 0 639.44/630.71 c number of internal skipping : 0 639.44/630.71 c number of derivation steps : 0 639.44/630.71 c number of skipped derivation steps : 0 639.44/630.71 c number of remaining unassigned : 0 639.44/630.71 c number of remaining assigned : 0 639.44/630.71 c number of falsified literals weakened from reason : 0 639.44/630.71 c number of falsified literals weakened from conflict : 0 639.44/630.71 c time for arithmetic operations : 0 639.44/630.72 c minimum degree of deleted constraints : null 639.44/630.72 c maximum degree of deleted constraints : null 639.44/630.72 c number of deleted constraints : 0 639.44/630.72 c speed (assignments/second) : 2039887.738651366 639.44/630.72 c non guided choices : 14764 639.44/630.72 s OPTIMUM FOUND 639.44/630.72 c Found 141 solution(s) 639.44/630.72 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 639.44/630.73 c objective function=2 639.44/630.73 c Total wall clock time (in seconds): 630.57
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: 64096 MiB (59365 MiB free)
memory of node 1: 64473 MiB (60769 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424871-1720881537/watcher-4424871-1720881537 -o /tmp/evaluation-result-4424871-1720881537/solver-4424871-1720881537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702392 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424871-1720881537.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=703483, runsolver pid=703480
[startup+0.102391 s]*
/proc/loadavg: 4.52 2.83 1.85 5/318 703501
/proc/meminfo: memFree=122980436/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=18975048 memory=59280 CPUtime=0.13 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 6800 0 0 0 12 1 0 0 20 0 18 0 140309549 19430449152 14820 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4743762 14820 5658 1 0 551050 0
[pid=703483/tid=703485] ppid=703480 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 5679 0 0 0 8 1 0 0 20 0 18 0 140309550 19430449152 14820 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140309553 19430449152 14820 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=18975048 memory=15815599515270057 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140309553 19430449152 14820 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59280 KiB
[startup+0.212201 s]*
/proc/loadavg: 4.52 2.83 1.85 7/318 703501
/proc/meminfo: memFree=122971128/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=18975048 memory=68076 CPUtime=0.33 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 7473 0 0 0 31 2 0 0 20 0 18 0 140309549 19430449152 17019 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4743762 17019 5688 1 0 551591 0
[pid=703483/tid=703485] ppid=703480 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 5921 0 0 0 19 1 0 0 20 0 18 0 140309550 19430449152 17019 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=18975048 memory=3715 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140309553 19430449152 17019 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=18975048 memory=14973377819450890 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140309553 19430449152 17019 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68076 KiB
[startup+0.314852 s]*
/proc/loadavg: 4.52 2.83 1.85 6/318 703501
/proc/meminfo: memFree=122962516/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=18975048 memory=79292 CPUtime=0.52 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 7616 0 0 0 50 2 0 0 20 0 18 0 140309549 19430449152 19823 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4743762 19823 5786 1 0 551682 0
[pid=703483/tid=703485] ppid=703480 vsize=18975048 memory=-9175352418846024380 CPUtime=0.29 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 5944 0 0 0 28 1 0 0 20 0 18 0 140309550 19430449152 19823 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140309553 19430449152 19823 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140309553 19430449152 19823 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79292 KiB
[startup+0.701187 s]
/proc/loadavg: 4.52 2.83 1.85 7/318 703501
/proc/meminfo: memFree=122929084/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19041612 memory=118992 CPUtime=1.26 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 11143 0 0 0 122 4 0 0 20 0 19 0 140309549 19498610688 29748 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4760403 29748 5839 1 0 554461 0
[pid=703483/tid=703485] ppid=703480 vsize=19041612 memory=5476 CPUtime=0.67 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 6071 0 0 0 65 2 0 0 20 0 19 0 140309550 19498610688 29748 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19041612 memory=12320 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140309553 19498610688 29748 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19041612 memory=280070388507304 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140309553 19498610688 29748 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140309601 19498610688 29748 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 118992 KiB
[startup+1.50025 s]
/proc/loadavg: 4.52 2.83 1.85 6/319 703502
/proc/meminfo: memFree=122920372/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19041612 memory=123932 CPUtime=2.66 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 13851 0 0 0 261 5 0 0 20 0 19 0 140309549 19498610688 30983 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4760403 30983 5855 1 0 554493 0
[pid=703483/tid=703485] ppid=703480 vsize=19041612 memory=12320 CPUtime=1.45 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 6218 0 0 0 143 2 0 0 20 0 19 0 140309550 19498610688 30983 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140309553 19498610688 30983 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140309553 19498610688 30983 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19041612 memory=280070388360464 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140309601 19498610688 30983 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 123932 KiB
[startup+3.1131 s]
/proc/loadavg: 4.52 2.83 1.85 6/319 703504
/proc/meminfo: memFree=122903240/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19041612 memory=132308 CPUtime=4.8 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 15356 0 0 0 475 5 0 0 20 0 19 0 140309549 19498610688 33077 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4760403 33077 5855 1 0 554496 0
[pid=703483/tid=703485] ppid=703480 vsize=19041612 memory=0 CPUtime=3.05 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 6771 0 0 0 303 2 0 0 20 0 19 0 140309550 19498610688 33077 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19041612 memory=12320 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140309553 19498610688 33077 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140309553 19498610688 33077 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19041612 memory=12712 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140309601 19498610688 33077 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 132308 KiB
[startup+6.30036 s]
/proc/loadavg: 4.56 2.86 1.87 7/319 703504
/proc/meminfo: memFree=122864668/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19041612 memory=168976 CPUtime=8.89 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 19909 0 0 0 882 7 0 0 20 0 19 0 140309549 19498610688 42244 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4760403 42244 5855 1 0 554890 0
[pid=703483/tid=703485] ppid=703480 vsize=19041612 memory=12320 CPUtime=6.24 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 7764 0 0 0 621 3 0 0 20 0 19 0 140309550 19498610688 42244 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140309553 19498610688 42244 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19041612 memory=-7163974055829550171 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140309553 19498610688 42244 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19041612 memory=125980 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140309601 19498610688 42244 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 8.89 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168976 KiB
[startup+12.7004 s]
/proc/loadavg: 4.60 2.90 1.89 5/320 703506
/proc/meminfo: memFree=122810312/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19108176 memory=217824 CPUtime=15.72 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 23033 0 0 0 1563 9 0 0 20 0 20 0 140309549 19566772224 54456 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 54456 5895 1 0 555361 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=0 CPUtime=12.43 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 8271 0 0 0 1240 3 0 0 20 0 20 0 140309550 19566772224 54456 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 54456 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=217824 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 54456 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19108176 memory=12320 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140309601 19566772224 54456 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 15.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 217824 KiB
[startup+25.5005 s]
/proc/loadavg: 4.66 2.97 1.92 5/320 703508
/proc/meminfo: memFree=122621380/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19108176 memory=392400 CPUtime=28.94 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 31018 0 0 0 2880 14 0 0 20 0 20 0 140309549 19566772224 98100 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 98100 5901 1 0 555361 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=217824 CPUtime=24.75 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 10459 0 0 0 2472 3 0 0 20 0 20 0 140309550 19566772224 98100 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=-9175352418846024380 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 98100 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=37200 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 98100 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140309601 19566772224 98100 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 28.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 392400 KiB
[startup+51.1132 s]
/proc/loadavg: 4.55 3.10 2.00 6/320 703513
/proc/meminfo: memFree=122251972/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19108176 memory=761884 CPUtime=55.95 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 47047 0 0 0 5569 26 0 0 20 0 20 0 140309549 19566772224 190471 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 190471 5901 1 0 677739 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=696120 CPUtime=49.83 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 13570 0 0 0 4978 5 0 0 20 0 20 0 140309550 19566772224 190471 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=37200 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 190471 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=2752 CPUtime=0 cores=5,7
################
# More data... #
################
[pid=703483] ppid=703480 vsize=19108176 memory=2682936 CPUtime=597.6 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 114126 0 0 0 59658 102 0 0 20 0 20 0 140309549 19566772224 670734 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 670734 5916 1 0 689902 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=-9175352418846024380 CPUtime=581.58 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 33418 0 0 0 58132 26 0 0 20 0 20 0 140309550 19566772224 670734 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=2752 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670734 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 470 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670734 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19108176 memory=12712 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140309601 19566772224 670734 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 597.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2682936 KiB
[startup+614.4 s]
/proc/loadavg: 4.18 4.06 3.03 5/318 703616
/proc/meminfo: memFree=114959328/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19108176 memory=2682940 CPUtime=623.16 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 115705 0 0 0 62213 103 0 0 20 0 20 0 140309549 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 670735 5916 1 0 689902 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=-9175352418846024380 CPUtime=607.12 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 34503 0 0 0 60686 26 0 0 20 0 20 0 140309550 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=5476 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=2680872 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 597 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19108176 memory=12712 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140309601 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 623.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2682940 KiB
[startup+620.8 s]
/proc/loadavg: 4.24 4.08 3.04 5/318 703616
/proc/meminfo: memFree=114951156/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19108176 memory=2682940 CPUtime=629.56 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 115798 0 0 0 62852 104 0 0 20 0 20 0 140309549 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 670735 5916 1 0 689902 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=12712 CPUtime=613.5 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 34596 0 0 0 61324 26 0 0 20 0 20 0 140309550 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=12320 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=5476 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 597 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19108176 memory=2752 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140309601 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 629.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2682940 KiB
[startup+627.2 s]
/proc/loadavg: 4.21 4.08 3.06 5/318 703617
/proc/meminfo: memFree=114951180/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19108176 memory=2682940 CPUtime=635.94 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 115867 0 0 0 63490 104 0 0 20 0 20 0 140309549 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 670735 5916 1 0 689902 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=33 CPUtime=619.88 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 34663 0 0 0 61962 26 0 0 20 0 20 0 140309550 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=2682940 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=-7522832885073075579 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 597 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19108176 memory=2164 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140309601 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 635.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2682940 KiB
[startup+628.8 s]
/proc/loadavg: 4.21 4.08 3.06 5/318 703617
/proc/meminfo: memFree=114951180/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19108176 memory=2682940 CPUtime=637.54 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 115878 0 0 0 63650 104 0 0 20 0 20 0 140309549 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 670735 5916 1 0 689902 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=2682940 CPUtime=621.48 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 34674 0 0 0 62122 26 0 0 20 0 20 0 140309550 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=2682940 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=31984 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 597 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19108176 memory=-9175352418846024380 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140309601 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 637.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2682940 KiB
[startup+629.6 s]
/proc/loadavg: 4.21 4.08 3.06 5/318 703617
/proc/meminfo: memFree=114951172/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19108176 memory=2682940 CPUtime=638.34 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 115882 0 0 0 63730 104 0 0 20 0 20 0 140309549 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 670735 5916 1 0 689902 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=2682940 CPUtime=622.28 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 34678 0 0 0 62202 26 0 0 20 0 20 0 140309550 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=2276 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=12712 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 597 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19108176 memory=37200 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140309601 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 638.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2682940 KiB
[startup+630.4 s]
/proc/loadavg: 4.21 4.08 3.06 5/318 703617
/proc/meminfo: memFree=114951200/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19108176 memory=2682940 CPUtime=639.14 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 115887 0 0 0 63810 104 0 0 20 0 20 0 140309549 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 670735 5916 1 0 689902 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=0 CPUtime=623.07 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 34683 0 0 0 62281 26 0 0 20 0 20 0 140309550 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=37200 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=12320 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 597 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19108176 memory=5476 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140309601 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 639.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2682940 KiB
[startup+630.6 s]
/proc/loadavg: 4.21 4.08 3.06 5/318 703617
/proc/meminfo: memFree=114951200/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19108176 memory=2682940 CPUtime=639.34 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 115890 0 0 0 63830 104 0 0 20 0 20 0 140309549 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 670735 5916 1 0 689902 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=12320 CPUtime=623.27 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 34686 0 0 0 62301 26 0 0 20 0 20 0 140309550 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=2682940 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=37200 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 597 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19108176 memory=2752 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140309601 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 639.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2682940 KiB
[startup+630.703 s]
/proc/loadavg: 4.21 4.08 3.06 5/318 703617
/proc/meminfo: memFree=114951200/131655788 swapFree=131071996/131071996
[pid=703483] ppid=703480 vsize=19108176 memory=2682940 CPUtime=639.44 cores=5,7
/proc/703483/stat : 703483 (java) S 703480 703483 698245 0 -1 1077936128 116004 0 0 0 63840 104 0 0 20 0 20 0 140309549 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
/proc/703483/statm: 4777044 670735 5916 1 0 689902 0
[pid=703483/tid=703485] ppid=703480 vsize=19108176 memory=2680888 CPUtime=623.38 cores=5,7
/proc/703483/task/703485/stat : 703485 (java) R 703480 703483 698245 0 -1 4194368 34777 0 0 0 62312 26 0 0 20 0 20 0 140309550 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703494] ppid=703480 vsize=19108176 memory=2682940 CPUtime=0 cores=5,7
/proc/703483/task/703494/stat : 703494 (Finalizer) S 703480 703483 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703501] ppid=703480 vsize=19108176 memory=2682940 CPUtime=0 cores=5,7
/proc/703483/task/703501/stat : 703501 (Common-Cleaner) S 703480 703483 698245 0 -1 1077936192 597 0 0 0 0 0 0 0 20 0 20 0 140309553 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
[pid=703483/tid=703502] ppid=703480 vsize=19108176 memory=12712 CPUtime=0 cores=5,7
/proc/703483/task/703502/stat : 703502 (Timer-0) S 703480 703483 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140309601 19566772224 670735 134679101440 94231161716736 94231161720432 140724399167968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94231161728248 94231161729040 94231173672960 140724399174637 140724399174727 140724399174727 140724399181768 0
Current children cumulated CPU time: 639.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2682940 KiB
Child status: 30
Real time (s): 630.763
CPU time (s): 639.524
CPU user time (s): 638.462
CPU system time (s): 1.06155
CPU usage (%): 101.389
Max. virtual memory (cumulated for all children) (KiB): 19110160
Max. memory (cumulated for all children) (KiB): 2682940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 638.462
system time used= 1.06155
maximum resident set size= 2684324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118727
page faults= 0
swaps= 0
block input operations= 0
block output operations= 776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21481
involuntary context switches= 1151
# summary of solver processes directly reported to runsolver:
# pid: 703483
# total CPU time (s): 639.524
# total CPU user time (s): 638.462
# total CPU system time (s): 1.06155
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.28319 second user time and 6.48836 second system time
The end
Begin job on nodeC004 at 2024-07-13 16:39:09 IDJOB=4424871 IDBENCH=143822 IDSOLVER=3037 FILE ID=nodeC004/4424871-1720881537 RUNJOBID= nodeC004-1720881342-702392 SLURM_JOB_ID= 7483752 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424871-1720881537/watcher-4424871-1720881537 -o /tmp/evaluation-result-4424871-1720881537/solver-4424871-1720881537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702392 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424871-1720881537.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bc45bcdbecbc5e781b95a5731515dca1 RANDOM SEED=555523749 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3635.188 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3667.770 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.457 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.359 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.340 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.160 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1496.634 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1995.525 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123019016 kB MemAvailable: 122919712 kB Buffers: 323284 kB Cached: 426928 kB SwapCached: 0 kB Active: 480188 kB Inactive: 7644356 kB Active(anon): 3344 kB Inactive(anon): 7408712 kB Active(file): 476844 kB Inactive(file): 235644 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1480 kB Writeback: 0 kB AnonPages: 7374052 kB Mapped: 121956 kB Shmem: 37700 kB KReclaimable: 56816 kB Slab: 146216 kB SReclaimable: 56816 kB SUnreclaim: 89400 kB KernelStack: 4864 kB PageTables: 24268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 10987596 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45920 kB HardwareCorrupted: 0 kB AnonHugePages: 7022592 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: 166728 kB DirectMap2M: 7077888 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723776 MiB End job on nodeC004 at 2024-07-13 16:49:40