| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | ? (TO) | 1800.09 | 1800.44 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb |
| MD5SUM | 867ebc446ef1d12fd0b7d8d0b9e71a77 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 161 |
| Optimality of the best value was proved | NO |
| Number of variables | 48602 |
| Total number of constraints | 686 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 686 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 600 |
| Number of terms in the objective function | 29700 |
| Biggest coefficient in the objective function | 7111 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 549494 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 549494 |
| Number of bits of the biggest sum of numbers | 20 |
| 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.00 c Parsing PB file... 0.79/0.86 c Converting 1362 PB-constraints to clauses... 0.79/0.86 c -- Unit propagations: ppppp 0.79/0.87 c -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 0.79/0.89 c -- Clauses(.)/Splits(s): (none) 0.79/0.89 c ---[1360]---> Adder-cost: 396 maxlim: 338246 bits: 19/19 0.89/0.98 c ---[1358]---> Adder-cost: 426 maxlim: 334915 bits: 19/19 1.20/1.23 c ---[1356]---> Adder-cost: 426 maxlim: 329708 bits: 19/19 1.39/1.41 c ---[1354]---> Adder-cost: 400 maxlim: 321087 bits: 19/19 1.49/1.51 c ---[1352]---> Adder-cost: 438 maxlim: 329757 bits: 19/19 1.69/1.74 c ---[1350]---> Adder-cost: 362 maxlim: 325696 bits: 19/19 1.79/1.87 c ---[1348]---> Sorter-cost: 5176 Base: 2 7 2 2 3 2 2 2 2 2 2 2 2 1.89/1.96 c ---[1346]---> Adder-cost: 412 maxlim: 334678 bits: 19/19 2.20/2.22 c ---[1344]---> Adder-cost: 398 maxlim: 341489 bits: 19/19 2.39/2.42 c ---[1342]---> Adder-cost: 368 maxlim: 341085 bits: 19/19 2.49/2.52 c ---[1340]---> Adder-cost: 386 maxlim: 314800 bits: 19/19 2.59/2.66 c ---[1338]---> Adder-cost: 426 maxlim: 312687 bits: 19/19 2.79/2.82 c ---[1336]---> Adder-cost: 412 maxlim: 323576 bits: 19/19 2.89/2.99 c ---[1334]---> Adder-cost: 438 maxlim: 330701 bits: 19/19 3.09/3.14 c ---[1332]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 3.19/3.27 c ---[1330]---> Adder-cost: 610 maxlim: 345748 bits: 20/19 3.40/3.45 c ---[1328]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 3.49/3.58 c ---[1326]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 3.69/3.71 c ---[1324]---> Adder-cost: 558 maxlim: 348446 bits: 20/19 3.69/3.78 c ---[1322]---> Adder-cost: 642 maxlim: 347884 bits: 20/19 3.99/4.04 c ---[1320]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 4.09/4.17 c ---[1318]---> Adder-cost: 564 maxlim: 349284 bits: 20/19 4.29/4.35 c ---[1316]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 4.40/4.49 c ---[1314]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 4.59/4.62 c ---[1312]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 4.69/4.75 c ---[1310]---> Adder-cost: 396 maxlim: 164020 bits: 19/18 4.79/4.82 c ---[1308]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 4.89/4.95 c ---[1306]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 4.99/5.08 c ---[1304]---> Adder-cost: 700 maxlim: 317274 bits: 20/19 5.50/5.51 c ---[1302]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 5.60/5.64 c ---[1300]---> Adder-cost: 604 maxlim: 349070 bits: 20/19 5.69/5.78 c ---[1298]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 5.89/5.91 c ---[1296]---> Adder-cost: 797 maxlim: 87402 bits: 18/17 5.99/6.09 c ---[1294]---> Sorter-cost: 5799 Base: 3 7 5 13 2 2 2 2 2 6.19/6.22 c ---[1292]---> Adder-cost: 741 maxlim: 178767 bits: 19/18 6.79/6.84 c ---[1290]---> Sorter-cost: 5753 Base: 3 7 5 13 2 2 2 2 2 6.89/6.97 c ---[1288]---> Adder-cost: 1751 maxlim: 43580 bits: 17/16 7.19/7.27 c ---[1286]---> Adder-cost: 1634 maxlim: 38639 bits: 17/16 7.69/7.70 c ---[1284]---> Adder-cost: 2611 maxlim: 25489 bits: 16/15 8.09/8.15 c ---[1282]---> Adder-cost: 1821 maxlim: 35839 bits: 17/16 8.49/8.59 c ---[1280]---> Adder-cost: 1581 maxlim: 39563 bits: 17/16 8.89/8.99 c ---[1278]---> Adder-cost: 1669 maxlim: 40048 bits: 17/16 9.39/9.43 c ---[1276]---> Adder-cost: 1755 maxlim: 34987 bits: 17/16 9.69/9.76 c ---[1274]---> Adder-cost: 1859 maxlim: 36625 bits: 17/16 10.09/10.19 c ---[1272]---> Adder-cost: 1581 maxlim: 39244 bits: 17/16 10.59/10.66 c ---[1270]---> Adder-cost: 2283 maxlim: 28614 bits: 16/15 10.89/10.97 c ---[1268]---> Adder-cost: 1819 maxlim: 35987 bits: 17/16 11.29/11.37 c ---[1266]---> Adder-cost: 2523 maxlim: 26202 bits: 16/15 11.59/11.64 c ---[1264]---> Adder-cost: 1335 maxlim: 32797 bits: 17/16 11.59/11.69 c ---[1262]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 11.79/11.82 c ---[1260]---> Adder-cost: 1347 maxlim: 32797 bits: 17/16 11.79/11.87 c ---[1258]---> Sorter-cost: 5789 Base: 3 7 5 13 2 2 2 2 2 11.99/12.00 c ---[1256]---> Adder-cost: 573 maxlim: 128608 bits: 18/17 12.39/12.48 c ---[1254]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 12.59/12.61 c ---[1252]---> Adder-cost: 586 maxlim: 283744 bits: 20/19 12.99/13.06 c ---[1250]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 13.09/13.20 c ---[1248]---> Adder-cost: 587 maxlim: 114000 bits: 18/17 13.48/13.52 c ---[1246]---> Adder-cost: 1700 maxlim: 505245 bits: 20/19 13.78/13.87 c ---[1244]---> Adder-cost: 876 maxlim: 423656 bits: 20/19 14.29/14.39 c ---[1242]---> Adder-cost: 1840 maxlim: 500220 bits: 20/19 14.78/14.87 c ---[1240]---> Adder-cost: 1848 maxlim: 493570 bits: 20/19 15.08/15.15 c ---[1238]---> Adder-cost: 404 maxlim: 304256 bits: 20/19 15.49/15.58 c ---[1236]---> Adder-cost: 1334 maxlim: 491955 bits: 20/19 15.58/15.66 c ---[1234]---> Adder-cost: 584 maxlim: 260040 bits: 19/18 15.88/15.90 c ---[1232]---> Adder-cost: 540 maxlim: 345380 bits: 20/19 15.88/15.99 c ---[1230]---> Adder-cost: 606 maxlim: 234957 bits: 19/18 16.28/16.30 c ---[1228]---> Sorter-cost: 4977 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 16.38/16.41 c ---[1226]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 16.49/16.54 c ---[1224]---> Sorter-cost: 4813 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 16.59/16.65 c ---[1222]---> Adder-cost: 494 maxlim: 159512 bits: 19/18 16.78/16.86 c ---[1220]---> Adder-cost: 773 maxlim: 61601 bits: 17/16 16.88/16.98 c ---[1218]---> Adder-cost: 1764 maxlim: 505590 bits: 20/19 17.28/17.39 c ---[1216]---> Adder-cost: 730 maxlim: 212836 bits: 19/18 17.38/17.49 c ---[1214]---> Adder-cost: 1444 maxlim: 481430 bits: 20/19 17.69/17.75 c ---[1212]---> Adder-cost: 1546 maxlim: 252480 bits: 19/18 17.98/18.00 c ---[1210]---> Adder-cost: 1018 maxlim: 238458 bits: 19/18 18.18/18.28 c ---[1208]---> Adder-cost: 1864 maxlim: 494890 bits: 20/19 18.58/18.67 c ---[1206]---> Adder-cost: 558 maxlim: 122592 bits: 18/17 18.79/18.86 c ---[1204]---> Adder-cost: 362 maxlim: 183878 bits: 19/18 19.18/19.22 c ---[1202]---> Adder-cost: 1332 maxlim: 491955 bits: 20/19 19.28/19.30 c ---[1200]---> Sorter-cost: 5789 Base: 3 7 5 13 2 2 2 2 2 19.38/19.43 c ---[1198]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 19.48/19.56 c ---[1196]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 19.58/19.69 c ---[1194]---> Adder-cost: 610 maxlim: 349044 bits: 20/19 19.79/19.81 c ---[1192]---> Adder-cost: 596 maxlim: 349058 bits: 20/19 19.89/19.93 c ---[1190]---> Adder-cost: 556 maxlim: 349266 bits: 20/19 20.08/20.11 c ---[1188]---> Adder-cost: 572 maxlim: 348414 bits: 20/19 20.08/20.19 c ---[1186]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 20.28/20.32 c ---[1184]---> Adder-cost: 420 maxlim: 173129 bits: 19/18 20.38/20.49 c ---[1182]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 20.58/20.62 c ---[1180]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 20.68/20.75 c ---[1178]---> Adder-cost: 584 maxlim: 337126 bits: 20/19 20.89/20.97 c ---[1176]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 21.08/21.11 c ---[1174]---> Adder-cost: 606 maxlim: 347838 bits: 20/19 21.28/21.31 c ---[1172]---> Adder-cost: 554 maxlim: 349496 bits: 20/19 21.38/21.44 c ---[1170]---> Adder-cost: 797 maxlim: 87402 bits: 18/17 21.58/21.62 c ---[1168]---> Sorter-cost: 5757 Base: 3 7 5 13 2 2 2 2 2 21.68/21.75 c ---[1166]---> Adder-cost: 707 maxlim: 214365 bits: 19/18 22.18/22.22 c ---[1164]---> Adder-cost: 1198 maxlim: 52497 bits: 17/16 22.58/22.63 c ---[1162]---> Adder-cost: 963 maxlim: 80614 bits: 18/17 22.98/23.02 c ---[1160]---> Adder-cost: 529 maxlim: 127267 bits: 18/17 23.09/23.19 c ---[1158]---> Adder-cost: 606 maxlim: 312386 bits: 20/19 23.48/23.57 c ---[1156]---> Adder-cost: 684 maxlim: 310046 bits: 20/19 23.78/23.87 c ---[1154]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 23.98/24.00 c ---[1152]---> Adder-cost: 580 maxlim: 338010 bits: 20/19 24.08/24.18 c ---[1150]---> Adder-cost: 781 maxlim: 95885 bits: 18/17 24.48/24.56 c ---[1148]---> Adder-cost: 1796 maxlim: 485840 bits: 20/19 24.88/24.99 c ---[1146]---> Adder-cost: 1678 maxlim: 500291 bits: 20/19 25.18/25.23 c ---[1144]---> Sorter-cost: 1981 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.18/25.25 c ---[1142]---> Adder-cost: 170 maxlim: 262173 bits: 20/19 25.18/25.25 c ---[1140]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 25.29/25.39 c ---[1138]---> Adder-cost: 628 maxlim: 216381 bits: 19/18 25.58/25.62 c ---[1136]---> Sorter-cost: 4977 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 25.68/25.74 c ---[1134]---> Sorter-cost: 3024 Base: 3 7 5 13 2 2 2 2 2 25.78/25.82 c ---[1132]---> Adder-cost: 615 maxlim: 93911 bits: 18/17 26.18/26.23 c ---[1130]---> Adder-cost: 884 maxlim: 241030 bits: 19/18 26.39/26.42 c ---[1128]---> Adder-cost: 596 maxlim: 402996 bits: 20/19 26.88/26.98 c ---[1126]---> Adder-cost: 162 maxlim: 262173 bits: 20/19 26.88/26.98 c ---[1124]---> Adder-cost: 522 maxlim: 333876 bits: 20/19 27.08/27.10 c ---[1122]---> Adder-cost: 576 maxlim: 346724 bits: 20/19 27.28/27.34 c ---[1120]---> Adder-cost: 564 maxlim: 349284 bits: 20/19 27.49/27.51 c ---[1118]---> Adder-cost: 568 maxlim: 347300 bits: 20/19 27.59/27.65 c ---[1116]---> Adder-cost: 610 maxlim: 349122 bits: 20/19 27.68/27.79 c ---[1114]---> Adder-cost: 542 maxlim: 349392 bits: 20/19 27.98/28.00 c ---[1112]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 28.09/28.13 c ---[1110]---> Adder-cost: 580 maxlim: 336322 bits: 20/19 28.39/28.48 c ---[1108]---> Adder-cost: 424 maxlim: 168048 bits: 19/18 28.70/28.76 c ---[1106]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 28.79/28.89 c ---[1104]---> Adder-cost: 624 maxlim: 330998 bits: 20/19 28.99/29.07 c ---[1102]---> Adder-cost: 628 maxlim: 333248 bits: 20/19 29.19/29.25 c ---[1100]---> Adder-cost: 606 maxlim: 346870 bits: 20/19 29.29/29.37 c ---[1098]---> Sorter-cost: 5962 Base: 3 7 5 13 2 2 2 2 2 29.49/29.51 c ---[1096]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 29.59/29.64 c ---[1094]---> Adder-cost: 791 maxlim: 87402 bits: 18/17 29.79/29.82 c ---[1092]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 29.89/29.95 c ---[1090]---> Adder-cost: 753 maxlim: 175162 bits: 19/18 30.39/30.40 c ---[1088]---> Adder-cost: 1140 maxlim: 49548 bits: 17/16 30.69/30.75 c ---[1086]---> Adder-cost: 537 maxlim: 129030 bits: 18/17 31.19/31.21 c ---[1084]---> Adder-cost: 632 maxlim: 298778 bits: 20/19 31.29/31.36 c ---[1082]---> Adder-cost: 588 maxlim: 333076 bits: 20/19 31.49/31.57 c ---[1080]---> Adder-cost: 614 maxlim: 347516 bits: 20/19 31.69/31.70 c ---[1078]---> Adder-cost: 573 maxlim: 98299 bits: 18/17 32.29/32.31 c ---[1076]---> Adder-cost: 972 maxlim: 489475 bits: 20/19 32.49/32.53 c ---[1074]---> Adder-cost: 624 maxlim: 276690 bits: 20/19 32.79/32.81 c ---[1072]---> Sorter-cost: 4977 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 32.89/32.93 c ---[1070]---> Sorter-cost: 4977 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 32.99/33.04 c ---[1068]---> Sorter-cost: 4977 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 33.09/33.16 c ---[1066]---> Adder-cost: 791 maxlim: 91775 bits: 18/17 33.48/33.51 c ---[1064]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 33.48/33.51 c ---[1062]---> Adder-cost: 158 maxlim: 262173 bits: 20/19 33.48/33.52 c ---[1060]---> Adder-cost: 612 maxlim: 347460 bits: 20/19 33.68/33.71 c ---[1058]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 33.78/33.84 c ---[1056]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 33.88/33.98 c ---[1054]---> Adder-cost: 552 maxlim: 328614 bits: 20/19 33.98/34.05 c ---[1052]---> Adder-cost: 614 maxlim: 349138 bits: 20/19 34.09/34.18 c ---[1050]---> Adder-cost: 576 maxlim: 349090 bits: 20/19 34.28/34.34 c ---[1048]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 34.38/34.47 c ---[1046]---> Adder-cost: 570 maxlim: 348480 bits: 20/19 34.48/34.57 c ---[1044]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 34.68/34.70 c ---[1042]---> Adder-cost: 596 maxlim: 349058 bits: 20/19 34.78/34.82 c ---[1040]---> Adder-cost: 434 maxlim: 167097 bits: 19/18 34.88/34.97 c ---[1038]---> Adder-cost: 554 maxlim: 336200 bits: 20/19 35.19/35.25 c ---[1036]---> Adder-cost: 566 maxlim: 332054 bits: 20/19 35.29/35.39 c ---[1034]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 35.48/35.52 c ---[1032]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 35.58/35.65 c ---[1030]---> Adder-cost: 538 maxlim: 328842 bits: 20/19 35.68/35.76 c ---[1028]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 35.78/35.89 c ---[1026]---> Adder-cost: 795 maxlim: 87402 bits: 18/17 35.98/36.07 c ---[1024]---> Sorter-cost: 5799 Base: 3 7 5 13 2 2 2 2 2 36.18/36.20 c ---[1022]---> Adder-cost: 809 maxlim: 165344 bits: 19/18 36.68/36.73 c ---[1020]---> Adder-cost: 1550 maxlim: 42537 bits: 17/16 37.18/37.29 c ---[1018]---> Adder-cost: 1695 maxlim: 29273 bits: 16/15 37.58/37.61 c ---[1016]---> Adder-cost: 635 maxlim: 120446 bits: 18/17 37.98/38.04 c ---[1014]---> Adder-cost: 656 maxlim: 335372 bits: 20/19 38.18/38.22 c ---[1012]---> Adder-cost: 648 maxlim: 321054 bits: 20/19 38.28/38.37 c ---[1010]---> Adder-cost: 606 maxlim: 337774 bits: 20/19 38.68/38.75 c ---[1008]---> Adder-cost: 568 maxlim: 348848 bits: 20/19 38.78/38.83 c ---[1006]---> Adder-cost: 488 maxlim: 245848 bits: 19/18 38.78/38.87 c ---[1004]---> Sorter-cost: 3024 Base: 3 7 5 13 2 2 2 2 2 38.88/38.96 c ---[1002]---> Adder-cost: 943 maxlim: 60990 bits: 17/16 39.18/39.25 c ---[1000]---> Sorter-cost: 3500 Base: 3 3 3 3 2 2 2 2 2 2 2 2 2 39.38/39.42 c ---[ 998]---> Adder-cost: 366 maxlim: 267680 bits: 20/19 39.59/39.64 c ---[ 996]---> Sorter-cost: 4977 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 39.69/39.75 c ---[ 994]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 39.78/39.88 c ---[ 992]---> Adder-cost: 614 maxlim: 292188 bits: 20/19 40.18/40.25 c ---[ 990]---> Sorter-cost: 4977 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 40.28/40.36 c ---[ 988]---> Adder-cost: 538 maxlim: 252003 bits: 19/18 40.48/40.57 c ---[ 986]---> Adder-cost: 618 maxlim: 346990 bits: 20/19 40.69/40.73 c ---[ 984]---> Adder-cost: 450 maxlim: 173447 bits: 19/18 40.79/40.88 c ---[ 982]---> Adder-cost: 712 maxlim: 65189 bits: 17/16 40.88/40.95 c ---[ 980]---> Adder-cost: 750 maxlim: 233836 bits: 19/18 41.28/41.33 c ---[ 978]---> Adder-cost: 162 maxlim: 262173 bits: 20/19 41.28/41.33 c ---[ 976]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 41.38/41.46 c ---[ 974]---> Adder-cost: 596 maxlim: 332638 bits: 20/19 41.58/41.65 c ---[ 972]---> Adder-cost: 568 maxlim: 348704 bits: 20/19 41.68/41.74 c ---[ 970]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 41.79/41.87 c ---[ 968]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 41.98/42.00 c ---[ 966]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 42.08/42.14 c ---[ 964]---> Adder-cost: 496 maxlim: 348188 bits: 20/19 42.28/42.34 c ---[ 962]---> Adder-cost: 580 maxlim: 348614 bits: 20/19 42.38/42.43 c ---[ 960]---> Adder-cost: 448 maxlim: 165496 bits: 19/18 42.58/42.60 c ---[ 958]---> Adder-cost: 588 maxlim: 345186 bits: 20/19 42.68/42.72 c ---[ 956]---> Adder-cost: 588 maxlim: 346342 bits: 20/19 42.89/42.96 c ---[ 954]---> Adder-cost: 572 maxlim: 348388 bits: 20/19 42.99/43.04 c ---[ 952]---> Adder-cost: 620 maxlim: 313360 bits: 20/19 43.28/43.39 c ---[ 950]---> Adder-cost: 596 maxlim: 333836 bits: 20/19 43.48/43.57 c ---[ 948]---> Adder-cost: 604 maxlim: 313122 bits: 20/19 43.88/43.97 c ---[ 946]---> Adder-cost: 799 maxlim: 87402 bits: 18/17 44.09/44.15 c ---[ 944]---> Sorter-cost: 5799 Base: 3 7 5 13 2 2 2 2 2 44.18/44.28 c ---[ 942]---> Adder-cost: 833 maxlim: 209007 bits: 19/18 44.68/44.74 c ---[ 940]---> Adder-cost: 934 maxlim: 449532 bits: 20/19 44.88/44.93 c ---[ 938]---> Adder-cost: 1332 maxlim: 47698 bits: 17/16 45.28/45.36 c ---[ 936]---> Adder-cost: 896 maxlim: 449532 bits: 20/19 45.48/45.55 c ---[ 934]---> Adder-cost: 894 maxlim: 449532 bits: 20/19 45.68/45.74 c ---[ 932]---> Adder-cost: 521 maxlim: 127902 bits: 18/17 45.88/45.92 c ---[ 930]---> Adder-cost: 572 maxlim: 334386 bits: 20/19 46.08/46.11 c ---[ 928]---> Adder-cost: 628 maxlim: 293552 bits: 20/19 46.38/46.44 c ---[ 926]---> Adder-cost: 638 maxlim: 347892 bits: 20/19 46.58/46.66 c ---[ 924]---> Adder-cost: 644 maxlim: 347612 bits: 20/19 46.78/46.86 c ---[ 922]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 46.88/46.99 c ---[ 920]---> Adder-cost: 410 maxlim: 173050 bits: 19/18 47.08/47.13 c ---[ 918]---> Adder-cost: 782 maxlim: 68412 bits: 18/17 47.39/47.44 c ---[ 916]---> Adder-cost: 950 maxlim: 474040 bits: 20/19 47.68/47.79 c ---[ 914]---> Adder-cost: 372 maxlim: 324925 bits: 20/19 48.28/48.34 c ---[ 912]---> Adder-cost: 602 maxlim: 331412 bits: 20/19 48.58/48.63 c ---[ 910]---> Adder-cost: 630 maxlim: 220252 bits: 19/18 48.88/48.91 c ---[ 908]---> Sorter-cost: 4977 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 48.98/49.02 c ---[ 906]---> Sorter-cost: 4813 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 49.08/49.12 c ---[ 904]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 49.18/49.25 c ---[ 902]---> Sorter-cost: 3024 Base: 3 7 5 13 2 2 2 2 2 49.28/49.34 c ---[ 900]---> Adder-cost: 751 maxlim: 69250 bits: 18/17 49.68/49.74 c ---[ 898]---> Adder-cost: 676 maxlim: 124365 bits: 18/17 49.78/49.83 c ---[ 896]---> Adder-cost: 370 maxlim: 320671 bits: 20/19 50.08/50.15 c ---[ 894]---> Adder-cost: 962 maxlim: 449532 bits: 20/19 50.28/50.34 c ---[ 892]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 50.38/50.48 c ---[ 890]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 50.59/50.61 c ---[ 888]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 50.69/50.74 c ---[ 886]---> Adder-cost: 630 maxlim: 348044 bits: 20/19 50.88/50.99 c ---[ 884]---> Adder-cost: 624 maxlim: 334582 bits: 20/19 51.08/51.16 c ---[ 882]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 51.18/51.29 c ---[ 880]---> Adder-cost: 632 maxlim: 349074 bits: 20/19 51.38/51.41 c ---[ 878]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 51.48/51.54 c ---[ 876]---> Adder-cost: 616 maxlim: 348026 bits: 20/19 51.69/51.76 c ---[ 874]---> Adder-cost: 414 maxlim: 166568 bits: 19/18 51.79/51.88 c ---[ 872]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 51.98/52.01 c ---[ 870]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 52.08/52.14 c ---[ 868]---> Adder-cost: 566 maxlim: 348294 bits: 20/19 52.18/52.22 c ---[ 866]---> Adder-cost: 590 maxlim: 346374 bits: 20/19 52.38/52.49 c ---[ 864]---> Adder-cost: 568 maxlim: 336414 bits: 20/19 52.68/52.76 c ---[ 862]---> Adder-cost: 626 maxlim: 300470 bits: 20/19 53.08/53.13 c ---[ 860]---> Adder-cost: 799 maxlim: 87402 bits: 18/17 53.28/53.31 c ---[ 858]---> Sorter-cost: 5799 Base: 3 7 5 13 2 2 2 2 2 53.38/53.44 c ---[ 856]---> Adder-cost: 831 maxlim: 170535 bits: 19/18 54.18/54.24 c ---[ 854]---> Adder-cost: 1452 maxlim: 44952 bits: 17/16 54.48/54.50 c ---[ 852]---> Adder-cost: 461 maxlim: 128028 bits: 18/17 54.58/54.62 c ---[ 850]---> Adder-cost: 628 maxlim: 335508 bits: 20/19 54.68/54.78 c ---[ 848]---> Adder-cost: 592 maxlim: 334388 bits: 20/19 54.99/55.02 c ---[ 846]---> Adder-cost: 632 maxlim: 302462 bits: 20/19 55.48/55.56 c ---[ 844]---> Adder-cost: 446 maxlim: 348190 bits: 20/19 55.58/55.62 c ---[ 842]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 55.68/55.75 c ---[ 840]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 55.78/55.88 c ---[ 838]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 55.98/56.02 c ---[ 836]---> Sorter-cost: 3024 Base: 3 7 5 13 2 2 2 2 2 56.09/56.10 c ---[ 834]---> Adder-cost: 1058 maxlim: 57409 bits: 17/16 56.19/56.23 c ---[ 832]---> Adder-cost: 366 maxlim: 310874 bits: 20/19 56.58/56.64 c ---[ 830]---> Sorter-cost: 3603 Base: 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 56.78/56.83 c ---[ 828]---> Adder-cost: 628 maxlim: 334874 bits: 20/19 56.98/57.01 c ---[ 826]---> Adder-cost: 530 maxlim: 247839 bits: 19/18 57.08/57.13 c ---[ 824]---> Adder-cost: 626 maxlim: 192831 bits: 19/18 57.29/57.33 c ---[ 822]---> Adder-cost: 564 maxlim: 259089 bits: 19/18 57.38/57.43 c ---[ 820]---> Sorter-cost: 4813 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 57.48/57.53 c ---[ 818]---> Adder-cost: 572 maxlim: 332310 bits: 20/19 57.68/57.70 c ---[ 816]---> Adder-cost: 428 maxlim: 173383 bits: 19/18 57.78/57.89 c ---[ 814]---> Adder-cost: 695 maxlim: 63491 bits: 17/16 57.98/58.00 c ---[ 812]---> Adder-cost: 742 maxlim: 121824 bits: 18/17 58.18/58.22 c ---[ 810]---> Sorter-cost: 3430 Base: 3 3 2 2 2 2 2 2 2 2 2 2 2 2 58.39/58.48 c ---[ 808]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 58.58/58.61 c ---[ 806]---> Adder-cost: 566 maxlim: 332370 bits: 20/19 58.78/58.80 c ---[ 804]---> Adder-cost: 594 maxlim: 345310 bits: 20/19 58.88/58.92 c ---[ 802]---> Adder-cost: 620 maxlim: 347548 bits: 20/19 58.98/59.07 c ---[ 800]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 59.18/59.20 c ---[ 798]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 59.28/59.33 c ---[ 796]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 59.39/59.47 c ---[ 794]---> Adder-cost: 458 maxlim: 165679 bits: 19/18 59.68/59.74 c ---[ 792]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 59.78/59.87 c ---[ 790]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 59.98/60.00 c ---[ 788]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 60.08/60.13 c ---[ 786]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 60.18/60.27 c ---[ 784]---> Adder-cost: 644 maxlim: 334678 bits: 20/19 60.48/60.53 c ---[ 782]---> Adder-cost: 608 maxlim: 331014 bits: 20/19 60.68/60.74 c ---[ 780]---> Adder-cost: 787 maxlim: 87402 bits: 18/17 60.88/60.91 c ---[ 778]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 60.98/61.05 c ---[ 776]---> Adder-cost: 697 maxlim: 156932 bits: 19/18 61.18/61.25 c ---[ 774]---> Adder-cost: 1184 maxlim: 53695 bits: 17/16 61.58/61.62 c ---[ 772]---> Adder-cost: 557 maxlim: 128828 bits: 18/17 61.98/62.06 c ---[ 770]---> Adder-cost: 630 maxlim: 331248 bits: 20/19 62.38/62.42 c ---[ 768]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 62.48/62.56 c ---[ 766]---> Adder-cost: 652 maxlim: 321870 bits: 20/19 62.68/62.80 c ---[ 764]---> Adder-cost: 582 maxlim: 344890 bits: 20/19 62.88/62.90 c ---[ 762]---> Adder-cost: 596 maxlim: 347314 bits: 20/19 62.98/63.03 c ---[ 760]---> Adder-cost: 676 maxlim: 321310 bits: 20/19 63.18/63.24 c ---[ 758]---> Adder-cost: 985 maxlim: 68466 bits: 18/17 63.58/63.63 c ---[ 756]---> Adder-cost: 380 maxlim: 293530 bits: 20/19 63.88/63.93 c ---[ 754]---> Adder-cost: 634 maxlim: 333432 bits: 20/19 64.08/64.15 c ---[ 752]---> Adder-cost: 640 maxlim: 236458 bits: 19/18 64.38/64.44 c ---[ 750]---> Adder-cost: 660 maxlim: 243797 bits: 19/18 64.78/64.81 c ---[ 748]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 64.88/64.95 c ---[ 746]---> Sorter-cost: 3024 Base: 3 7 5 13 2 2 2 2 2 64.98/65.03 c ---[ 744]---> Adder-cost: 771 maxlim: 78435 bits: 18/17 65.38/65.46 c ---[ 742]---> Sorter-cost: 3405 Base: 2 7 2 2 2 2 3 2 2 2 2 2 2 65.48/65.55 c ---[ 740]---> Adder-cost: 572 maxlim: 348534 bits: 20/19 65.58/65.64 c ---[ 738]---> Adder-cost: 538 maxlim: 348368 bits: 20/19 65.68/65.72 c ---[ 736]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 65.78/65.86 c ---[ 734]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 65.87/65.99 c ---[ 732]---> Adder-cost: 532 maxlim: 348466 bits: 20/19 65.98/66.06 c ---[ 730]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 66.17/66.20 c ---[ 728]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 66.27/66.33 c ---[ 726]---> Adder-cost: 438 maxlim: 167745 bits: 19/18 66.37/66.42 c ---[ 724]---> Adder-cost: 600 maxlim: 335548 bits: 20/19 66.47/66.58 c ---[ 722]---> Adder-cost: 636 maxlim: 345860 bits: 20/19 66.67/66.73 c ---[ 720]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 66.77/66.87 c ---[ 718]---> Adder-cost: 592 maxlim: 347334 bits: 20/19 66.97/67.07 c ---[ 716]---> Adder-cost: 600 maxlim: 330968 bits: 20/19 67.18/67.22 c ---[ 714]---> Adder-cost: 618 maxlim: 304824 bits: 20/19 67.37/67.47 c ---[ 712]---> Adder-cost: 789 maxlim: 87402 bits: 18/17 67.57/67.64 c ---[ 710]---> Sorter-cost: 5799 Base: 3 7 5 13 2 2 2 2 2 67.67/67.77 c ---[ 708]---> Adder-cost: 773 maxlim: 176264 bits: 19/18 68.18/68.28 c ---[ 706]---> Adder-cost: 1226 maxlim: 52154 bits: 17/16 68.67/68.72 c ---[ 704]---> Adder-cost: 583 maxlim: 126922 bits: 18/17 68.97/69.03 c ---[ 702]---> Adder-cost: 552 maxlim: 332342 bits: 20/19 69.17/69.20 c ---[ 700]---> Adder-cost: 634 maxlim: 348044 bits: 20/19 69.38/69.45 c ---[ 698]---> Adder-cost: 566 maxlim: 296224 bits: 20/19 69.47/69.58 c ---[ 696]---> Adder-cost: 586 maxlim: 346546 bits: 20/19 69.67/69.78 c ---[ 694]---> Adder-cost: 564 maxlim: 348346 bits: 20/19 69.77/69.87 c ---[ 692]---> Adder-cost: 518 maxlim: 345120 bits: 20/19 69.87/69.98 c ---[ 690]---> Adder-cost: 390 maxlim: 172178 bits: 19/18 69.97/70.07 c ---[ 688]---> Adder-cost: 715 maxlim: 61867 bits: 17/16 70.07/70.16 c ---[ 686]---> Adder-cost: 510 maxlim: 354748 bits: 20/19 70.38/70.48 c ---[ 684]---> Sorter-cost: 3256 Base: 3 5 2 7 2 2 2 2 2 2 2 2 70.77/70.85 c ---[ 682]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 70.87/70.98 c ---[ 680]---> Adder-cost: 610 maxlim: 260881 bits: 19/18 71.07/71.19 c ---[ 678]---> Adder-cost: 584 maxlim: 182459 bits: 19/18 71.48/71.60 c ---[ 676]---> Adder-cost: 558 maxlim: 249052 bits: 19/18 71.67/71.73 c ---[ 674]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 71.77/71.86 c ---[ 672]---> Adder-cost: 426 maxlim: 172911 bits: 19/18 71.87/71.98 c ---[ 670]---> Adder-cost: 783 maxlim: 69896 bits: 18/17 72.17/72.29 c ---[ 668]---> Adder-cost: 482 maxlim: 120208 bits: 18/17 72.37/72.45 c ---[ 666]---> Adder-cost: 336 maxlim: 274432 bits: 20/19 72.68/72.77 c ---[ 664]---> Adder-cost: 600 maxlim: 347412 bits: 20/19 72.87/72.97 c ---[ 662]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 73.07/73.10 c ---[ 660]---> Adder-cost: 586 maxlim: 345232 bits: 20/19 73.17/73.23 c ---[ 658]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 73.27/73.36 c ---[ 656]---> Adder-cost: 624 maxlim: 347508 bits: 20/19 73.37/73.48 c ---[ 654]---> Adder-cost: 564 maxlim: 348728 bits: 20/19 73.57/73.60 c ---[ 652]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 73.68/73.74 c ---[ 650]---> Adder-cost: 460 maxlim: 166639 bits: 19/18 73.78/73.88 c ---[ 648]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 73.97/74.01 c ---[ 646]---> Adder-cost: 610 maxlim: 347388 bits: 20/19 74.07/74.19 c ---[ 644]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 74.27/74.33 c ---[ 642]---> Adder-cost: 672 maxlim: 325970 bits: 20/19 74.67/74.70 c ---[ 640]---> Adder-cost: 560 maxlim: 336584 bits: 20/19 74.88/74.91 c ---[ 638]---> Adder-cost: 624 maxlim: 305946 bits: 20/19 75.27/75.35 c ---[ 636]---> Adder-cost: 799 maxlim: 87402 bits: 18/17 75.47/75.53 c ---[ 634]---> Sorter-cost: 5799 Base: 3 7 5 13 2 2 2 2 2 75.57/75.66 c ---[ 632]---> Adder-cost: 853 maxlim: 188447 bits: 19/18 76.77/76.87 c ---[ 630]---> Adder-cost: 1230 maxlim: 51947 bits: 17/16 77.17/77.26 c ---[ 628]---> Adder-cost: 523 maxlim: 129608 bits: 18/17 77.37/77.44 c ---[ 626]---> Adder-cost: 592 maxlim: 345248 bits: 20/19 77.47/77.58 c ---[ 624]---> Adder-cost: 590 maxlim: 344888 bits: 20/19 77.57/77.67 c ---[ 622]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 77.77/77.81 c ---[ 620]---> Adder-cost: 608 maxlim: 299510 bits: 20/19 77.97/78.02 c ---[ 618]---> Adder-cost: 590 maxlim: 345808 bits: 20/19 78.18/78.22 c ---[ 616]---> Sorter-cost: 3024 Base: 3 7 5 13 2 2 2 2 2 78.27/78.30 c ---[ 614]---> Adder-cost: 826 maxlim: 67297 bits: 18/17 78.57/78.61 c ---[ 612]---> Adder-cost: 378 maxlim: 329948 bits: 20/19 79.07/79.19 c ---[ 610]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 79.28/79.33 c ---[ 608]---> Sorter-cost: 4977 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 79.37/79.44 c ---[ 606]---> Sorter-cost: 4813 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 79.47/79.54 c ---[ 604]---> Adder-cost: 614 maxlim: 208555 bits: 19/18 79.58/79.69 c ---[ 602]---> Adder-cost: 646 maxlim: 229520 bits: 19/18 80.08/80.12 c ---[ 600]---> Adder-cost: 444 maxlim: 165826 bits: 19/18 80.18/80.27 c ---[ 598]---> Adder-cost: 728 maxlim: 67877 bits: 18/17 80.39/80.47 c ---[ 596]---> Sorter-cost: 3520 Base: 3 3 3 3 2 2 2 2 2 2 2 2 2 2 80.58/80.63 c ---[ 594]---> Adder-cost: 636 maxlim: 347928 bits: 20/19 80.78/80.84 c ---[ 592]---> Adder-cost: 578 maxlim: 329336 bits: 20/19 80.98/81.09 c ---[ 590]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 81.18/81.22 c ---[ 588]---> Adder-cost: 584 maxlim: 348406 bits: 20/19 81.28/81.30 c ---[ 586]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 81.39/81.43 c ---[ 584]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 81.49/81.56 c ---[ 582]---> Adder-cost: 412 maxlim: 166298 bits: 19/18 81.68/81.71 c ---[ 580]---> Adder-cost: 602 maxlim: 338142 bits: 20/19 81.88/81.92 c ---[ 578]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 81.98/82.05 c ---[ 576]---> Adder-cost: 616 maxlim: 337566 bits: 20/19 82.28/82.37 c ---[ 574]---> Adder-cost: 626 maxlim: 347842 bits: 20/19 82.49/82.59 c ---[ 572]---> Adder-cost: 632 maxlim: 343756 bits: 20/19 82.88/82.92 c ---[ 570]---> Adder-cost: 614 maxlim: 337758 bits: 20/19 83.18/83.25 c ---[ 568]---> Adder-cost: 787 maxlim: 87402 bits: 18/17 83.38/83.42 c ---[ 566]---> Sorter-cost: 5799 Base: 3 7 5 13 2 2 2 2 2 83.48/83.55 c ---[ 564]---> Adder-cost: 807 maxlim: 167943 bits: 19/18 84.38/84.47 c ---[ 562]---> Adder-cost: 853 maxlim: 59298 bits: 17/16 84.79/84.83 c ---[ 560]---> Adder-cost: 503 maxlim: 127995 bits: 18/17 84.88/84.97 c ---[ 558]---> Adder-cost: 602 maxlim: 304434 bits: 20/19 85.18/85.21 c ---[ 556]---> Adder-cost: 608 maxlim: 335700 bits: 20/19 85.28/85.35 c ---[ 554]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 85.38/85.48 c ---[ 552]---> Adder-cost: 588 maxlim: 332242 bits: 20/19 85.58/85.64 c ---[ 550]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 85.68/85.77 c ---[ 548]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 85.89/85.90 c ---[ 546]---> Adder-cost: 973 maxlim: 67320 bits: 18/17 86.18/86.23 c ---[ 544]---> Adder-cost: 784 maxlim: 434352 bits: 20/19 86.58/86.64 c ---[ 542]---> Sorter-cost: 3126 Base: 2 2 2 2 2 3 2 2 2 3 2 2 2 2 2 86.68/86.74 c ---[ 540]---> Adder-cost: 662 maxlim: 319402 bits: 20/19 87.08/87.17 c ---[ 538]---> Adder-cost: 692 maxlim: 242521 bits: 19/18 87.48/87.52 c ---[ 536]---> Adder-cost: 558 maxlim: 210387 bits: 19/18 87.68/87.72 c ---[ 534]---> Adder-cost: 618 maxlim: 216266 bits: 19/18 87.88/87.98 c ---[ 532]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 88.09/88.11 c ---[ 530]---> Adder-cost: 580 maxlim: 346128 bits: 20/19 88.38/88.40 c ---[ 528]---> Adder-cost: 926 maxlim: 65444 bits: 17/16 88.68/88.70 c ---[ 526]---> Adder-cost: 586 maxlim: 408054 bits: 20/19 89.19/89.22 c ---[ 524]---> Adder-cost: 342 maxlim: 206795 bits: 19/18 89.28/89.37 c ---[ 522]---> Adder-cost: 668 maxlim: 326332 bits: 20/19 89.78/89.89 c ---[ 520]---> Adder-cost: 582 maxlim: 348400 bits: 20/19 89.88/89.96 c ---[ 518]---> Adder-cost: 572 maxlim: 332162 bits: 20/19 90.08/90.10 c ---[ 516]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 90.19/90.23 c ---[ 514]---> Adder-cost: 674 maxlim: 321974 bits: 20/19 90.38/90.46 c ---[ 512]---> Adder-cost: 596 maxlim: 332678 bits: 20/19 90.58/90.66 c ---[ 510]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 90.68/90.79 c ---[ 508]---> Adder-cost: 600 maxlim: 335808 bits: 20/19 90.88/90.91 c ---[ 506]---> Adder-cost: 552 maxlim: 348774 bits: 20/19 90.98/91.05 c ---[ 504]---> Adder-cost: 799 maxlim: 87402 bits: 18/17 91.18/91.22 c ---[ 502]---> Sorter-cost: 5799 Base: 3 7 5 13 2 2 2 2 2 91.29/91.36 c ---[ 500]---> Adder-cost: 759 maxlim: 151020 bits: 19/18 91.98/92.05 c ---[ 498]---> Sorter-cost: 5753 Base: 3 7 5 13 2 2 2 2 2 92.08/92.18 c ---[ 496]---> Adder-cost: 583 maxlim: 111911 bits: 18/17 92.58/92.64 c ---[ 494]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 92.68/92.77 c ---[ 492]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 92.88/92.91 c ---[ 490]---> Adder-cost: 549 maxlim: 114747 bits: 18/17 93.28/93.32 c ---[ 488]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 93.38/93.45 c ---[ 486]---> Adder-cost: 634 maxlim: 286668 bits: 20/19 93.98/94.08 c ---[ 484]---> Adder-cost: 444 maxlim: 167177 bits: 19/18 94.18/94.28 c ---[ 482]---> Adder-cost: 339 maxlim: 115739 bits: 18/17 94.28/94.36 c ---[ 480]---> Adder-cost: 324 maxlim: 263953 bits: 20/19 94.48/94.51 c ---[ 478]---> Adder-cost: 572 maxlim: 261848 bits: 19/18 94.58/94.65 c ---[ 476]---> Adder-cost: 610 maxlim: 269526 bits: 20/19 94.98/95.05 c ---[ 474]---> Sorter-cost: 4977 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 95.08/95.17 c ---[ 472]---> Sorter-cost: 4977 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 95.18/95.28 c ---[ 470]---> Adder-cost: 761 maxlim: 104062 bits: 18/17 95.38/95.48 c ---[ 468]---> Adder-cost: 316 maxlim: 262723 bits: 20/19 95.58/95.65 c ---[ 466]---> Sorter-cost: 5789 Base: 3 7 5 13 2 2 2 2 2 95.69/95.78 c ---[ 464]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 95.88/95.91 c ---[ 462]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 95.98/96.05 c ---[ 460]---> Adder-cost: 584 maxlim: 336908 bits: 20/19 96.28/96.32 c ---[ 458]---> Adder-cost: 604 maxlim: 349012 bits: 20/19 96.38/96.41 c ---[ 456]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 96.48/96.54 c ---[ 454]---> Adder-cost: 474 maxlim: 167373 bits: 19/18 96.58/96.67 c ---[ 452]---> Adder-cost: 670 maxlim: 325826 bits: 20/19 96.98/97.04 c ---[ 450]---> Adder-cost: 640 maxlim: 343732 bits: 20/19 97.28/97.38 c ---[ 448]---> Adder-cost: 588 maxlim: 336998 bits: 20/19 97.58/97.65 c ---[ 446]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 97.68/97.78 c ---[ 444]---> Adder-cost: 576 maxlim: 328592 bits: 20/19 97.78/97.87 c ---[ 442]---> Adder-cost: 580 maxlim: 332278 bits: 20/19 97.99/98.01 c ---[ 440]---> Adder-cost: 787 maxlim: 87402 bits: 18/17 98.08/98.18 c ---[ 438]---> Sorter-cost: 5757 Base: 3 7 5 13 2 2 2 2 2 98.28/98.32 c ---[ 436]---> Adder-cost: 825 maxlim: 187863 bits: 19/18 99.28/99.30 c ---[ 434]---> Adder-cost: 844 maxlim: 70144 bits: 18/17 99.68/99.76 c ---[ 432]---> Adder-cost: 1681 maxlim: 40057 bits: 17/16 100.18/100.21 c ---[ 430]---> Adder-cost: 583 maxlim: 125452 bits: 18/17 100.58/100.66 c ---[ 428]---> Adder-cost: 604 maxlim: 343980 bits: 20/19 100.88/100.99 c ---[ 426]---> Adder-cost: 734 maxlim: 323070 bits: 20/19 101.48/101.53 c ---[ 424]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 101.58/101.66 c ---[ 422]---> Adder-cost: 622 maxlim: 346906 bits: 20/19 101.78/101.87 c ---[ 420]---> Adder-cost: 594 maxlim: 349110 bits: 20/19 101.98/102.01 c ---[ 418]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 102.08/102.14 c ---[ 416]---> Adder-cost: 678 maxlim: 285636 bits: 20/19 102.58/102.62 c ---[ 414]---> Sorter-cost: 4813 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 102.68/102.73 c ---[ 412]---> Adder-cost: 574 maxlim: 261860 bits: 19/18 102.78/102.84 c ---[ 410]---> Adder-cost: 1438 maxlim: 55833 bits: 17/16 103.08/103.16 c ---[ 408]---> Adder-cost: 546 maxlim: 115662 bits: 18/17 103.18/103.27 c ---[ 406]---> Adder-cost: 640 maxlim: 238437 bits: 19/18 103.58/103.62 c ---[ 404]---> Sorter-cost: 3752 Base: 2 2 3 2 2 2 2 2 2 2 2 5 2 2 103.78/103.82 c ---[ 402]---> Adder-cost: 580 maxlim: 252207 bits: 19/18 104.08/104.12 c ---[ 400]---> Adder-cost: 614 maxlim: 327578 bits: 20/19 104.38/104.50 c ---[ 398]---> Adder-cost: 614 maxlim: 260233 bits: 19/18 104.58/104.66 c ---[ 396]---> Adder-cost: 582 maxlim: 259125 bits: 19/18 104.68/104.73 c ---[ 394]---> Adder-cost: 586 maxlim: 301160 bits: 20/19 104.98/105.07 c ---[ 392]---> Sorter-cost: 3024 Base: 3 7 5 13 2 2 2 2 2 105.08/105.16 c ---[ 390]---> Adder-cost: 805 maxlim: 73131 bits: 18/17 105.48/105.50 c ---[ 388]---> Sorter-cost: 3176 Base: 2 7 2 2 2 2 2 2 2 2 2 2 2 2 105.48/105.57 c ---[ 386]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 105.68/105.70 c ---[ 384]---> Adder-cost: 592 maxlim: 344904 bits: 20/19 105.78/105.80 c ---[ 382]---> Adder-cost: 550 maxlim: 329090 bits: 20/19 105.78/105.85 c ---[ 380]---> Adder-cost: 636 maxlim: 347612 bits: 20/19 105.98/106.05 c ---[ 378]---> Adder-cost: 446 maxlim: 165585 bits: 19/18 106.18/106.21 c ---[ 376]---> Adder-cost: 608 maxlim: 337742 bits: 20/19 106.48/106.56 c ---[ 374]---> Adder-cost: 602 maxlim: 347278 bits: 20/19 106.68/106.71 c ---[ 372]---> Adder-cost: 724 maxlim: 318354 bits: 20/19 107.07/107.17 c ---[ 370]---> Adder-cost: 610 maxlim: 348078 bits: 20/19 107.37/107.40 c ---[ 368]---> Adder-cost: 608 maxlim: 334976 bits: 20/19 107.57/107.62 c ---[ 366]---> Adder-cost: 656 maxlim: 334780 bits: 20/19 107.78/107.81 c ---[ 364]---> Adder-cost: 787 maxlim: 87402 bits: 18/17 107.88/107.99 c ---[ 362]---> Sorter-cost: 5799 Base: 3 7 5 13 2 2 2 2 2 108.07/108.12 c ---[ 360]---> Adder-cost: 707 maxlim: 157958 bits: 19/18 108.37/108.44 c ---[ 358]---> Sorter-cost: 5753 Base: 3 7 5 13 2 2 2 2 2 108.47/108.57 c ---[ 356]---> Adder-cost: 758 maxlim: 82698 bits: 18/17 108.67/108.74 c ---[ 354]---> Adder-cost: 909 maxlim: 58152 bits: 17/16 108.77/108.90 c ---[ 352]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 108.98/109.03 c ---[ 350]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 109.07/109.16 c ---[ 348]---> Adder-cost: 519 maxlim: 129087 bits: 18/17 109.27/109.35 c ---[ 346]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 109.37/109.49 c ---[ 344]---> Adder-cost: 622 maxlim: 347808 bits: 20/19 109.67/109.72 c ---[ 342]---> Adder-cost: 576 maxlim: 331936 bits: 20/19 109.77/109.85 c ---[ 340]---> Adder-cost: 590 maxlim: 208513 bits: 19/18 109.87/110.00 c ---[ 338]---> Adder-cost: 582 maxlim: 296200 bits: 20/19 110.08/110.12 c ---[ 336]---> Adder-cost: 914 maxlim: 81606 bits: 18/17 110.77/110.82 c ---[ 334]---> Adder-cost: 340 maxlim: 182590 bits: 19/18 111.08/111.15 c ---[ 332]---> Adder-cost: 590 maxlim: 250852 bits: 19/18 111.27/111.32 c ---[ 330]---> Adder-cost: 574 maxlim: 218130 bits: 19/18 111.37/111.41 c ---[ 328]---> Adder-cost: 648 maxlim: 333580 bits: 20/19 111.47/111.58 c ---[ 326]---> Adder-cost: 612 maxlim: 202938 bits: 19/18 111.77/111.86 c ---[ 324]---> Adder-cost: 548 maxlim: 311310 bits: 20/19 112.07/112.16 c ---[ 322]---> Adder-cost: 829 maxlim: 78915 bits: 18/17 112.37/112.45 c ---[ 320]---> Adder-cost: 376 maxlim: 343616 bits: 20/19 112.77/112.82 c ---[ 318]---> Sorter-cost: 5789 Base: 3 7 5 13 2 2 2 2 2 112.87/112.96 c ---[ 316]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 112.97/113.09 c ---[ 314]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 113.17/113.22 c ---[ 312]---> Adder-cost: 626 maxlim: 347996 bits: 20/19 113.38/113.45 c ---[ 310]---> Adder-cost: 586 maxlim: 337010 bits: 20/19 113.57/113.68 c ---[ 308]---> Adder-cost: 580 maxlim: 348878 bits: 20/19 113.67/113.77 c ---[ 306]---> Adder-cost: 434 maxlim: 167757 bits: 19/18 113.77/113.88 c ---[ 304]---> Adder-cost: 690 maxlim: 325196 bits: 20/19 114.17/114.23 c ---[ 302]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 114.27/114.37 c ---[ 300]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 114.38/114.50 c ---[ 298]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 114.57/114.63 c ---[ 296]---> Adder-cost: 574 maxlim: 335852 bits: 20/19 114.67/114.75 c ---[ 294]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 114.77/114.89 c ---[ 292]---> Adder-cost: 807 maxlim: 87402 bits: 18/17 114.97/115.06 c ---[ 290]---> Sorter-cost: 5757 Base: 3 7 5 13 2 2 2 2 2 115.07/115.19 c ---[ 288]---> Adder-cost: 781 maxlim: 176592 bits: 19/18 115.58/115.68 c ---[ 286]---> Adder-cost: 828 maxlim: 70032 bits: 18/17 115.97/116.02 c ---[ 284]---> Adder-cost: 551 maxlim: 124672 bits: 18/17 116.27/116.35 c ---[ 282]---> Adder-cost: 608 maxlim: 345620 bits: 20/19 116.37/116.43 c ---[ 280]---> Adder-cost: 648 maxlim: 316574 bits: 20/19 116.68/116.78 c ---[ 278]---> Adder-cost: 662 maxlim: 308342 bits: 20/19 116.97/117.00 c ---[ 276]---> Adder-cost: 554 maxlim: 262036 bits: 19/18 117.07/117.16 c ---[ 274]---> Adder-cost: 400 maxlim: 164405 bits: 19/18 117.17/117.23 c ---[ 272]---> Adder-cost: 787 maxlim: 85296 bits: 18/17 117.57/117.62 c ---[ 270]---> Adder-cost: 382 maxlim: 292042 bits: 20/19 117.87/117.92 c ---[ 268]---> Adder-cost: 566 maxlim: 328210 bits: 20/19 117.87/117.98 c ---[ 266]---> Adder-cost: 512 maxlim: 288820 bits: 20/19 118.07/118.13 c ---[ 264]---> Sorter-cost: 3024 Base: 3 7 5 13 2 2 2 2 2 118.17/118.22 c ---[ 262]---> Adder-cost: 451 maxlim: 119536 bits: 18/17 118.47/118.59 c ---[ 260]---> Adder-cost: 368 maxlim: 278884 bits: 20/19 118.88/118.96 c ---[ 258]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 119.07/119.10 c ---[ 256]---> Adder-cost: 626 maxlim: 347470 bits: 20/19 119.17/119.23 c ---[ 254]---> Adder-cost: 564 maxlim: 348744 bits: 20/19 119.27/119.35 c ---[ 252]---> Adder-cost: 522 maxlim: 348248 bits: 20/19 119.37/119.43 c ---[ 250]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 119.47/119.56 c ---[ 248]---> Adder-cost: 566 maxlim: 347162 bits: 20/19 119.67/119.72 c ---[ 246]---> Adder-cost: 556 maxlim: 348280 bits: 20/19 119.77/119.80 c ---[ 244]---> Sorter-cost: 4960 Base: 3 3 2 2 2 2 2 3 3 2 2 2 2 119.87/119.97 c ---[ 242]---> Adder-cost: 628 maxlim: 347410 bits: 20/19 120.17/120.20 c ---[ 240]---> Adder-cost: 528 maxlim: 348182 bits: 20/19 120.37/120.41 c ---[ 238]---> Adder-cost: 730 maxlim: 323008 bits: 20/19 120.77/120.88 c ---[ 236]---> Adder-cost: 576 maxlim: 348614 bits: 20/19 120.87/120.97 c ---[ 234]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 121.07/121.10 c ---[ 232]---> Adder-cost: 622 maxlim: 347966 bits: 20/19 121.27/121.36 c ---[ 230]---> Adder-cost: 757 maxlim: 87402 bits: 18/17 121.47/121.54 c ---[ 228]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 121.57/121.67 c ---[ 226]---> Adder-cost: 667 maxlim: 135778 bits: 19/18 122.07/122.15 c ---[ 224]---> Adder-cost: 1198 maxlim: 52639 bits: 17/16 122.67/122.70 c ---[ 222]---> Adder-cost: 551 maxlim: 128190 bits: 18/17 122.77/122.87 c ---[ 220]---> Adder-cost: 602 maxlim: 335564 bits: 20/19 122.97/123.03 c ---[ 218]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 123.07/123.17 c ---[ 216]---> Adder-cost: 590 maxlim: 333054 bits: 20/19 123.27/123.37 c ---[ 214]---> Adder-cost: 670 maxlim: 324174 bits: 20/19 123.87/123.90 c ---[ 212]---> Sorter-cost: 4813 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 123.97/124.00 c ---[ 210]---> Adder-cost: 566 maxlim: 336458 bits: 20/19 124.07/124.15 c ---[ 208]---> Adder-cost: 606 maxlim: 260856 bits: 19/18 124.27/124.40 c ---[ 206]---> Adder-cost: 438 maxlim: 167131 bits: 19/18 124.57/124.61 c ---[ 204]---> Adder-cost: 1112 maxlim: 53089 bits: 17/16 124.97/125.02 c ---[ 202]---> Adder-cost: 386 maxlim: 338235 bits: 20/19 125.27/125.37 c ---[ 200]---> Adder-cost: 640 maxlim: 333468 bits: 20/19 125.57/125.61 c ---[ 198]---> Adder-cost: 668 maxlim: 244225 bits: 19/18 125.87/125.98 c ---[ 196]---> Sorter-cost: 4813 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 125.97/126.08 c ---[ 194]---> Sorter-cost: 4813 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 126.07/126.19 c ---[ 192]---> Adder-cost: 570 maxlim: 259704 bits: 19/18 126.37/126.41 c ---[ 190]---> Adder-cost: 626 maxlim: 335646 bits: 20/19 126.47/126.60 c ---[ 188]---> Adder-cost: 572 maxlim: 210258 bits: 19/18 126.77/126.88 c ---[ 186]---> Adder-cost: 392 maxlim: 172035 bits: 19/18 127.07/127.15 c ---[ 184]---> Sorter-cost: 3024 Base: 3 7 5 13 2 2 2 2 2 127.17/127.23 c ---[ 182]---> Adder-cost: 1094 maxlim: 46573 bits: 17/16 127.47/127.54 c ---[ 180]---> Sorter-cost: 3949 Base: 2 5 2 2 2 2 2 2 2 2 2 2 2 2 2 127.67/127.79 c ---[ 178]---> Adder-cost: 586 maxlim: 349318 bits: 20/19 127.87/127.91 c ---[ 176]---> Adder-cost: 564 maxlim: 348468 bits: 20/19 127.87/127.99 c ---[ 174]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 128.07/128.12 c ---[ 172]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 128.17/128.26 c ---[ 170]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 128.27/128.39 c ---[ 168]---> Adder-cost: 574 maxlim: 349328 bits: 20/19 128.47/128.52 c ---[ 166]---> Adder-cost: 580 maxlim: 349410 bits: 20/19 128.67/128.70 c ---[ 164]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 128.77/128.84 c ---[ 162]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 128.87/128.97 c ---[ 160]---> Adder-cost: 614 maxlim: 348114 bits: 20/19 129.07/129.18 c ---[ 158]---> Adder-cost: 614 maxlim: 346936 bits: 20/19 129.27/129.39 c ---[ 156]---> Adder-cost: 602 maxlim: 349052 bits: 20/19 129.47/129.50 c ---[ 154]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 129.57/129.63 c ---[ 152]---> Adder-cost: 590 maxlim: 349164 bits: 20/19 129.67/129.73 c ---[ 150]---> Adder-cost: 584 maxlim: 299430 bits: 20/19 129.87/129.91 c ---[ 148]---> Adder-cost: 592 maxlim: 348754 bits: 20/19 129.97/130.04 c ---[ 146]---> Adder-cost: 578 maxlim: 348608 bits: 20/19 130.07/130.13 c ---[ 144]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 130.17/130.26 c ---[ 142]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 130.27/130.39 c ---[ 140]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 130.67/130.70 c ---[ 138]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 130.77/130.84 c ---[ 136]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 130.88/130.97 c ---[ 134]---> Adder-cost: 582 maxlim: 349410 bits: 20/19 131.07/131.16 c ---[ 132]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 131.17/131.29 c ---[ 130]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 131.37/131.42 c ---[ 128]---> Adder-cost: 580 maxlim: 348600 bits: 20/19 131.47/131.51 c ---[ 126]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 131.57/131.64 c ---[ 124]---> Adder-cost: 556 maxlim: 348382 bits: 20/19 131.67/131.72 c ---[ 122]---> Adder-cost: 594 maxlim: 348804 bits: 20/19 131.87/131.90 c ---[ 120]---> Adder-cost: 718 maxlim: 319226 bits: 20/19 132.27/132.36 c ---[ 118]---> Adder-cost: 658 maxlim: 347898 bits: 20/19 132.57/132.61 c ---[ 116]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 132.67/132.74 c ---[ 114]---> Adder-cost: 558 maxlim: 349396 bits: 20/19 132.87/132.96 c ---[ 112]---> Adder-cost: 564 maxlim: 348466 bits: 20/19 132.97/133.04 c ---[ 110]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 133.07/133.17 c ---[ 108]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 133.27/133.30 c ---[ 106]---> Adder-cost: 548 maxlim: 348354 bits: 20/19 133.27/133.39 c ---[ 104]---> Adder-cost: 564 maxlim: 348704 bits: 20/19 133.37/133.48 c ---[ 102]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 133.57/133.62 c ---[ 100]---> Adder-cost: 652 maxlim: 337692 bits: 20/19 133.77/133.89 c ---[ 98]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 133.97/134.02 c ---[ 96]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 134.07/134.16 c ---[ 94]---> Adder-cost: 578 maxlim: 348744 bits: 20/19 134.17/134.28 c ---[ 92]---> Adder-cost: 614 maxlim: 347758 bits: 20/19 134.37/134.41 c ---[ 90]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 134.47/134.54 c ---[ 88]---> Adder-cost: 604 maxlim: 347200 bits: 20/19 134.57/134.67 c ---[ 86]---> Adder-cost: 600 maxlim: 349060 bits: 20/19 134.67/134.79 c ---[ 84]---> Adder-cost: 586 maxlim: 345280 bits: 20/19 134.87/134.92 c ---[ 82]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 134.97/135.06 c ---[ 80]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 135.07/135.19 c ---[ 78]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 135.27/135.32 c ---[ 76]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 135.37/135.45 c ---[ 74]---> Adder-cost: 592 maxlim: 348834 bits: 20/19 135.47/135.56 c ---[ 72]---> Adder-cost: 552 maxlim: 349360 bits: 20/19 135.67/135.71 c ---[ 70]---> Adder-cost: 576 maxlim: 349118 bits: 20/19 135.77/135.87 c ---[ 68]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 135.97/136.00 c ---[ 66]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 136.07/136.13 c ---[ 64]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 136.17/136.27 c ---[ 62]---> Adder-cost: 616 maxlim: 348630 bits: 20/19 136.27/136.35 c ---[ 60]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 136.37/136.49 c ---[ 58]---> Adder-cost: 738 maxlim: 323004 bits: 20/19 136.97/137.00 c ---[ 56]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 137.07/137.13 c ---[ 54]---> Adder-cost: 606 maxlim: 348786 bits: 20/19 137.27/137.30 c ---[ 52]---> Adder-cost: 558 maxlim: 348256 bits: 20/19 137.27/137.38 c ---[ 50]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 137.47/137.51 c ---[ 48]---> Adder-cost: 560 maxlim: 349310 bits: 20/19 137.67/137.70 c ---[ 46]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 137.77/137.83 c ---[ 44]---> Adder-cost: 556 maxlim: 349438 bits: 20/19 137.97/138.02 c ---[ 42]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 138.07/138.15 c ---[ 40]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 138.17/138.28 c ---[ 38]---> Adder-cost: 630 maxlim: 348014 bits: 20/19 138.37/138.48 c ---[ 36]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 138.57/138.62 c ---[ 34]---> Adder-cost: 626 maxlim: 347664 bits: 20/19 138.67/138.79 c ---[ 32]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 138.87/138.92 c ---[ 30]---> Adder-cost: 638 maxlim: 320056 bits: 20/19 138.97/139.05 c ---[ 28]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 139.07/139.18 c ---[ 26]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 139.27/139.32 c ---[ 24]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 139.37/139.45 c ---[ 22]---> Adder-cost: 604 maxlim: 349148 bits: 20/19 139.57/139.61 c ---[ 20]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 139.67/139.75 c ---[ 18]---> Adder-cost: 510 maxlim: 349488 bits: 20/19 139.77/139.89 c ---[ 16]---> Adder-cost: 534 maxlim: 349248 bits: 20/19 139.97/140.04 c ---[ 14]---> Adder-cost: 578 maxlim: 348510 bits: 20/19 140.07/140.13 c ---[ 12]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 140.17/140.26 c ---[ 10]---> Adder-cost: 552 maxlim: 348324 bits: 20/19 140.27/140.34 c ---[ 8]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 140.37/140.48 c ---[ 6]---> Sorter-cost: 5801 Base: 3 7 5 13 2 2 2 2 2 140.57/140.61 c ---[ 4]---> Adder-cost: 656 maxlim: 321842 bits: 20/19 140.77/140.83 c ---[ 2]---> Adder-cost: 424 maxlim: 209736 bits: 19/18 140.87/140.92 c ---[ 0]---> Adder-cost: 424 maxlim: 209736 bits: 19/18 1800.04/1800.40 | Eliminated clauses: 16.48 Mb | 1800.04/1800.40 ============================[ Search Statistics ]============================== 1800.04/1800.40 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.04/1800.40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.04/1800.40 =============================================================================== 1800.04/1800.40 | 100 | 1004781 4975701 15037833 | 1824423 100 9 | 2.854 % | 1800.04/1800.40 | 250 | 1004778 4975701 15037833 | 2006866 247 11 | 2.854 % | 1800.04/1800.40 | 475 | 1004777 4975701 15037833 | 2207552 471 12 | 2.854 % | 1800.04/1800.40 | 812 | 1004774 4975701 15037833 | 2428307 805 12 | 2.854 % | 1800.04/1800.40 | 1318 | 1004770 4975701 15037833 | 2671138 1307 11 | 2.855 % | 1800.04/1800.40 | 2077 | 1004768 4975701 15037833 | 2938252 2064 11 | 2.855 % | 1800.04/1800.40 | 3216 | 1004767 4975701 15037833 | 3232077 3202 13 | 2.855 % | 1800.04/1800.40 | 4924 | 1004766 4975701 15037833 | 3555285 4909 14 | 2.855 % | 1800.04/1800.40 | 7486 | 1004765 4975701 15037833 | 3910814 7470 16 | 2.855 % | 1800.04/1800.40 | 11330 | 1004763 4975701 15037833 | 4301895 11312 18 | 2.855 % | 1800.04/1800.40 | 17096 | 1004756 4975701 15037833 | 4732085 17072 19 | 2.856 % | 1800.04/1800.40 | 25745 | 1004756 4975701 15037833 | 5205293 25721 20 | 2.856 % | 1800.04/1800.40 | 38719 | 1004746 4975701 15037833 | 5725823 38686 22 | 2.856 % | 1800.04/1800.40 | 58180 | 1004734 4975701 15037833 | 6298405 58142 24 | 2.857 % | 1800.04/1800.40 | 87372 | 1004733 4975701 15037833 | 6928245 87333 26 | 2.857 % | 1800.04/1800.40 | 131161 | 1004698 4975701 15037833 | 7621070 131115 27 | 2.860 % | 1800.04/1800.40 | 196845 | 1004647 4975701 15037833 | 8383177 196774 28 | 2.864 % | 1800.04/1800.40 | 295371 | 1004614 4975701 15037833 | 9221495 294991 27 | 2.866 % | 1800.04/1800.40 | 443160 | 1004580 4975701 15037833 | 10143644 442765 28 | 2.868 % | 1800.04/1800.40 | 664843 | 1004580 4975701 15037833 | 11158009 664448 30 | 2.868 % | 1800.04/1800.40 | 997368 | 1004485 4975701 15037833 | 12273810 996942 32 | 2.875 % | 1800.04/1800.40 | 1496156 | 1004426 4975701 15037833 | 13501191 1495660 31 | 2.879 % | 1800.04/1800.40 | 2244338 | 1004390 4975701 15037833 | 14851310 2243742 33 | 2.882 % | 1800.04/1800.40 | 3366612 | 1004280 4975701 15037833 | 16336441 3365976 35 | 2.890 % | 1800.04/1800.40 c 1800.04/1800.40 c *** TERMINATED *** 1800.04/1800.40 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4115277-1466526426/watcher-4115277-1466526426 -o /tmp/evaluation-result-4115277-1466526426/solver-4115277-1466526426 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466515278-7445 --watchdog 1960 minisatp HOME/instance-4115277-1466526426.opb pid=9895 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.13 2.06 2.01 3/176 9898 /proc/meminfo: memFree=30451932/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=8468 CPUtime=0 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 779 0 0 0 0 0 0 0 20 0 1 0 54692751 8671232 655 33554432000 4194304 5646918 140734409056720 140737175133992 4388221 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 2117 655 84 355 0 1758 0 [startup+0.100175 s] /proc/loadavg: 2.13 2.06 2.01 3/176 9898 /proc/meminfo: memFree=30451932/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=18392 CPUtime=0.08 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 3364 0 0 0 8 0 0 0 20 0 1 0 54692751 18833408 3056 33554432000 4194304 5646918 140734409056720 140737175133992 4817512 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 4598 3056 94 355 0 4239 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 18392 [startup+0.200315 s] /proc/loadavg: 2.13 2.06 2.01 3/176 9898 /proc/meminfo: memFree=30451932/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=23340 CPUtime=0.19 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 4293 0 0 0 18 1 0 0 20 0 1 0 54692751 23900160 3974 33554432000 4194304 5646918 140734409056720 140734409055976 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 5835 3974 97 355 0 5476 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23340 [startup+0.300326 s] /proc/loadavg: 2.13 2.06 2.01 3/176 9898 /proc/meminfo: memFree=30451932/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=27048 CPUtime=0.29 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 5448 0 0 0 28 1 0 0 20 0 1 0 54692751 27697152 4964 33554432000 4194304 5646918 140734409056720 140734409055976 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 6762 4964 97 355 0 6403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27048 [startup+0.700242 s] /proc/loadavg: 2.13 2.06 2.01 3/176 9898 /proc/meminfo: memFree=30451932/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=41136 CPUtime=0.69 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 8900 0 0 0 68 1 0 0 20 0 1 0 54692751 42123264 8416 33554432000 4194304 5646918 140734409056720 140734409055976 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 10284 8416 97 355 0 9925 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41136 [startup+1.50023 s] /proc/loadavg: 2.13 2.06 2.01 3/177 9899 /proc/meminfo: memFree=30409388/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=49720 CPUtime=1.49 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 11489 0 0 0 147 2 0 0 20 0 1 0 54692751 50913280 10625 33554432000 4194304 5646918 140734409056720 140734409055384 4824631 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 12430 10625 152 355 0 12071 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49720 [startup+3.10023 s] /proc/loadavg: 2.20 2.08 2.02 3/177 9899 /proc/meminfo: memFree=30408936/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=49720 CPUtime=3.09 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 11489 0 0 0 307 2 0 0 20 0 1 0 54692751 50913280 10625 33554432000 4194304 5646918 140734409056720 140734409055384 4817705 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 12430 10625 152 355 0 12071 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49720 [startup+6.30023 s] /proc/loadavg: 2.20 2.08 2.02 3/177 9899 /proc/meminfo: memFree=30407132/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=54396 CPUtime=6.29 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 12665 0 0 0 627 2 0 0 20 0 1 0 54692751 55701504 11801 33554432000 4194304 5646918 140734409056720 140734409055384 4831200 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 13599 11801 152 355 0 13240 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54396 [startup+12.7002 s] /proc/loadavg: 2.17 2.08 2.01 3/177 9899 /proc/meminfo: memFree=30383588/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=59888 CPUtime=12.69 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 13602 0 0 0 1267 2 0 0 20 0 1 0 54692751 61325312 13101 33554432000 4194304 5646918 140734409056720 140734409055384 4832125 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 14972 13101 152 355 0 14613 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59888 [startup+25.5003 s] /proc/loadavg: 2.14 2.07 2.01 3/177 9899 /proc/meminfo: memFree=30347128/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=63052 CPUtime=25.48 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 14432 0 0 0 2546 2 0 0 20 0 1 0 54692751 64565248 13931 33554432000 4194304 5646918 140734409056720 140734408987144 4823232 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 15763 13931 152 355 0 15404 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 63052 [startup+51.1003 s] /proc/loadavg: 2.09 2.07 2.01 3/177 9899 /proc/meminfo: memFree=30281236/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=78952 CPUtime=51.08 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 17255 0 0 0 5105 3 0 0 20 0 1 0 54692751 80846848 17480 33554432000 4194304 5646918 140734409056720 140734408990744 4476947 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 19738 17480 152 355 0 19379 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 78952 [startup+102.3 s] /proc/loadavg: 2.04 2.05 2.01 3/177 9955 /proc/meminfo: memFree=30878200/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=112624 CPUtime=102.28 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 22189 0 0 0 10224 4 0 0 20 0 1 0 54692751 115326976 24888 33554432000 4194304 5646918 140734409056720 140734409055384 4832129 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 28156 24888 152 355 0 27797 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 112624 [startup+162.3 s] /proc/loadavg: 2.07 2.06 2.01 3/177 9957 /proc/meminfo: memFree=30134868/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=850900 CPUtime=162.27 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 99092 0 0 0 16199 28 0 0 20 0 1 0 54692751 871321600 202110 33554432000 4194304 5646918 140734409056720 140734409054824 4403138 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 212725 202110 185 355 0 212366 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 850900 [startup+222.307 s] /proc/loadavg: 2.07 2.06 2.00 3/178 9961 /proc/meminfo: memFree=29995672/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=959084 CPUtime=222.26 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 104721 0 0 0 22195 31 0 0 20 0 1 0 54692751 982102016 227661 33554432000 4194304 5646918 140734409056720 140734409054856 4403472 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 239771 227661 185 355 0 239412 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 959084 [startup+282.3 s] /proc/loadavg: 2.11 2.06 2.01 3/177 9962 /proc/meminfo: memFree=29896272/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1118276 CPUtime=282.25 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 109528 0 0 0 28191 34 0 0 20 0 1 0 54692751 1145114624 246767 33554432000 4194304 5646918 140734409056720 140734409054824 4402751 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 279569 246767 185 355 0 279210 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 1118276 [startup+342.3 s] /proc/loadavg: 2.03 2.05 2.00 3/177 9963 /proc/meminfo: memFree=29765764/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1133772 CPUtime=342.24 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 111936 0 0 0 34189 35 0 0 20 0 1 0 54692751 1160982528 262185 33554432000 4194304 5646918 140734409056720 140734409054968 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 283443 262185 185 355 0 283084 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1133772 [startup+402.3 s] /proc/loadavg: 2.09 2.06 2.01 4/177 9964 /proc/meminfo: memFree=28073420/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1148340 CPUtime=402.22 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 114479 0 0 0 40186 36 0 0 20 0 1 0 54692751 1175900160 275968 33554432000 4194304 5646918 140734409056720 140734409054856 4402751 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 287085 275968 185 355 0 286726 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 1148340 [startup+462.3 s] /proc/loadavg: 2.03 2.04 2.00 3/177 9966 /proc/meminfo: memFree=27875716/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1372384 CPUtime=462.21 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 117212 0 0 0 46183 38 0 0 20 0 1 0 54692751 1405321216 284821 33554432000 4194304 5646918 140734409056720 140734409054856 4403472 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 343096 284821 185 355 0 342737 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 1372384 [startup+522.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 9967 /proc/meminfo: memFree=27795588/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1390940 CPUtime=522.2 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 119763 0 0 0 52182 38 0 0 20 0 1 0 54692751 1424322560 298929 33554432000 4194304 5646918 140734409056720 140734409054968 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 347735 298929 185 355 0 347376 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 1390940 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.00 4/177 9968 /proc/meminfo: memFree=27718896/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1399436 CPUtime=582.2 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 121674 0 0 0 58180 40 0 0 20 0 1 0 54692751 1433022464 314785 33554432000 4194304 5646918 140734409056720 140734409054856 4403435 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 349859 314785 185 355 0 349500 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 1399436 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.10 2.08 2.01 3/177 9977 /proc/meminfo: memFree=27496604/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1807224 CPUtime=882.09 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 130966 0 0 0 88161 48 0 0 20 0 1 0 54692751 1850597376 356646 33554432000 4194304 5646918 140734409056720 140734409055416 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 451806 356646 185 355 0 451447 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 1807224 [startup+942.3 s] /proc/loadavg: 2.08 2.08 2.01 3/177 9978 /proc/meminfo: memFree=27471624/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1807224 CPUtime=942.08 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 131136 0 0 0 94159 49 0 0 20 0 1 0 54692751 1850597376 360901 33554432000 4194304 5646918 140734409056720 140734409055416 4403495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 451806 360901 185 355 0 451447 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 1807224 [startup+1002.3 s] /proc/loadavg: 2.16 2.11 2.02 3/177 9979 /proc/meminfo: memFree=27445704/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1816336 CPUtime=1002.06 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 131755 0 0 0 100157 49 0 0 20 0 1 0 54692751 1859928064 366379 33554432000 4194304 5646918 140734409056720 140734409054824 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 454084 366379 185 355 0 453725 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 1816336 [startup+1062.3 s] /proc/loadavg: 2.12 2.10 2.02 3/177 9980 /proc/meminfo: memFree=27404356/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1816336 CPUtime=1062.05 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 132403 0 0 0 106155 50 0 0 20 0 1 0 54692751 1859928064 374181 33554432000 4194304 5646918 140734409056720 140734409054824 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 454084 374181 185 355 0 453725 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 1816336 [startup+1122.3 s] /proc/loadavg: 2.08 2.09 2.02 4/177 9982 /proc/meminfo: memFree=27376896/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1821188 CPUtime=1122.04 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 133553 0 0 0 112154 50 0 0 20 0 1 0 54692751 1864896512 379419 33554432000 4194304 5646918 140734409056720 140734409054856 4402778 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 455297 379419 185 355 0 454938 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 1821188 [startup+1182.3 s] /proc/loadavg: 2.06 2.09 2.02 3/177 9983 /proc/meminfo: memFree=27353720/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1828740 CPUtime=1182.04 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 135218 0 0 0 118152 52 0 0 20 0 1 0 54692751 1872629760 384661 33554432000 4194304 5646918 140734409056720 140734409054856 4402736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 457185 384661 185 355 0 456826 0 Current children cumulated CPU time (s) 1182.04 Current children cumulated vsize (KiB) 1828740 [startup+1242.3 s] /proc/loadavg: 2.07 2.08 2.02 3/177 9984 /proc/meminfo: memFree=27313228/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1835128 CPUtime=1242.02 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 136587 0 0 0 124150 52 0 0 20 0 1 0 54692751 1879171072 390629 33554432000 4194304 5646918 140734409056720 140734409054856 4402824 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 458782 390629 185 355 0 458423 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1835128 [startup+1302.3 s] /proc/loadavg: 2.02 2.07 2.02 3/177 9985 /proc/meminfo: memFree=27280916/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1841324 CPUtime=1302.02 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 137993 0 0 0 130149 53 0 0 20 0 1 0 54692751 1885515776 395612 33554432000 4194304 5646918 140734409056720 140734409054856 4403416 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 460331 395612 185 355 0 459972 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 1841324 [startup+1362.3 s] /proc/loadavg: 2.22 2.11 2.03 3/177 9986 /proc/meminfo: memFree=27242752/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1846868 CPUtime=1362 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 139264 0 0 0 136147 53 0 0 20 0 1 0 54692751 1891192832 402504 33554432000 4194304 5646918 140734409056720 140734409054856 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 461717 402504 185 355 0 461358 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 1846868 [startup+1422.3 s] /proc/loadavg: 2.12 2.10 2.03 3/178 9991 /proc/meminfo: memFree=27213244/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1853244 CPUtime=1422.01 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 140616 0 0 0 142146 55 0 0 20 0 1 0 54692751 1897721856 407433 33554432000 4194304 5646918 140734409056720 140734409054856 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 463311 407433 185 355 0 462952 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 1853244 [startup+1482.3 s] /proc/loadavg: 2.15 2.12 2.04 4/177 9992 /proc/meminfo: memFree=27182316/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1860164 CPUtime=1481.99 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 142136 0 0 0 148144 55 0 0 20 0 1 0 54692751 1904807936 414063 33554432000 4194304 5646918 140734409056720 140734409054856 4402751 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 465041 414063 185 355 0 464682 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 1860164 [startup+1542.31 s] /proc/loadavg: 2.22 2.14 2.05 4/177 9993 /proc/meminfo: memFree=27151344/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1869020 CPUtime=1541.99 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 143717 0 0 0 154143 56 0 0 20 0 1 0 54692751 1913876480 419221 33554432000 4194304 5646918 140734409056720 140734409054824 4402739 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 467255 419221 185 355 0 466896 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 1869020 [startup+1602.3 s] /proc/loadavg: 2.14 2.12 2.05 3/177 9994 /proc/meminfo: memFree=27125200/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1871980 CPUtime=1601.97 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 144587 0 0 0 160141 56 0 0 20 0 1 0 54692751 1916907520 424690 33554432000 4194304 5646918 140734409056720 140734409054856 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 467995 424690 185 355 0 467636 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 1871980 [startup+1662.3 s] /proc/loadavg: 2.09 2.11 2.05 3/177 9995 /proc/meminfo: memFree=27060948/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1905184 CPUtime=1661.96 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 146009 0 0 0 166138 58 0 0 20 0 1 0 54692751 1950908416 437865 33554432000 4194304 5646918 140734409056720 140734409055016 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 476296 437865 185 355 0 475937 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 1905184 [startup+1722.3 s] /proc/loadavg: 2.20 2.14 2.06 3/177 9997 /proc/meminfo: memFree=27025188/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1905184 CPUtime=1721.96 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 146094 0 0 0 172137 59 0 0 20 0 1 0 54692751 1950908416 444082 33554432000 4194304 5646918 140734409056720 140734409055016 4403497 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 476296 444082 185 355 0 475937 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 1905184 [startup+1782.3 s] /proc/loadavg: 2.16 2.14 2.06 3/177 9998 /proc/meminfo: memFree=26984936/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1905184 CPUtime=1781.94 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 146170 0 0 0 178135 59 0 0 20 0 1 0 54692751 1950908416 449779 33554432000 4194304 5646918 140734409056720 140734409055016 4402776 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 476296 449779 185 355 0 475937 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 1905184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.33 2.18 2.07 3/177 9999 /proc/meminfo: memFree=26965984/32872528 swapFree=527360/560064 [pid=9898] ppid=9895 vsize=1905184 CPUtime=1800.04 cores=1,3,5,7 /proc/9898/stat : 9898 (minisatp) R 9895 9898 7428 0 -1 4202496 146215 0 0 0 179945 59 0 0 20 0 1 0 54692751 1950908416 453912 33554432000 4194304 5646918 140734409056720 140734409055016 4402806 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/9898/statm: 476296 453912 185 355 0 475937 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1905184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9898 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.44 CPU time (s): 1800.09 CPU user time (s): 1799.45 CPU system time (s): 0.639902 CPU usage (%): 99.9806 Max. virtual memory (cumulated for all children) (KiB): 1905184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.45 system time used= 0.639902 maximum resident set size= 1815648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 146215 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 116 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.76128 second user time and 6.71798 second system time The end
Begin job on node106 at 2016-06-21 18:27:06 IDJOB=4115277 IDBENCH=1717 IDSOLVER=2555 FILE ID=node106/4115277-1466526426 RUNJOBID= node106-1466515278-7445 PBS_JOBID= 19942889 Free space on /tmp= 71696 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115277-1466526426/watcher-4115277-1466526426 -o /tmp/evaluation-result-4115277-1466526426/solver-4115277-1466526426 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466515278-7445 --watchdog 1960 minisatp HOME/instance-4115277-1466526426.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 867ebc446ef1d12fd0b7d8d0b9e71a77 RANDOM SEED=1537630602 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30452732 kB Buffers: 9044 kB Cached: 45920 kB SwapCached: 1812 kB Active: 1118440 kB Inactive: 32276 kB Active(anon): 1095644 kB Inactive(anon): 2716 kB Active(file): 22796 kB Inactive(file): 29560 kB Unevictable: 560064 kB Mlocked: 527360 kB SwapTotal: 67108856 kB SwapFree: 67096776 kB Dirty: 5136 kB Writeback: 0 kB AnonPages: 1698616 kB Mapped: 7768 kB Shmem: 0 kB Slab: 574536 kB SReclaimable: 18624 kB SUnreclaim: 555912 kB KernelStack: 1472 kB PageTables: 7244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2056208 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1091584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4115277-1466526426.opb Free space on /tmp at the end= 71672 MiB End job on node106 at 2016-06-21 18:57:07