Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 486571008 | 1800.07 | 1800.51 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-egout.opb |
MD5SUM | 8eddbca1ad45a201e8c2c397b62f33c3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 471047168 |
Best CPU time to get the best result obtained on this benchmark | 482.969 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 471047168 |
Optimality of the best value was proved | YES |
Number of variables | 1705 |
Total number of constraints | 98 |
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 | 98 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 1615 |
Biggest coefficient in the objective function | 545997717504 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 15186728411329 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 545997717504 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 15186728411329 |
Number of bits of the biggest sum of numbers | 44 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/354280-1176703775/instance-354280-1176703775.opb 0.00/0.00 c File size is 86822 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Highest Coefficient sum: 1.51867e+13 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.014 s 0.00/0.01 c Var: 1705 Constr: 141 7/0/134 Lit: 8305 Watch. Lit: 3024 0.00/0.01 c Obj. Vars: 1615 (94.7214 % of total variables) 0.00/0.03 c Pre-processing Time: 0.031 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 581 88 5026 57 3435 10052 0 0 0.03 0.00/0.03 o 620837888 0.033 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 3 581 92 5664 61 4594 11180 4 88 0.03 0.00/0.04 o 592697344 0.039 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 17 581 107 6432 60 5108 11180 19 435 0.04 0.09/0.15 c 119 581 209 8848 42 5213 12299 121 2051 0.06 0.09/0.15 c 369 581 459 28724 62 5886 13529 371 2580 0.14 0.09/0.15 o 565625722 0.147 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 378 581 469 29507 62 6239 11180 381 2554 0.15 0.79/0.86 c 479 581 570 38925 68 6621 12299 482 2603 0.18 0.79/0.86 c 730 581 821 95444 116 6909 13529 733 2056 0.35 0.79/0.86 c 1205 581 1296 165269 127 7926 14882 1208 2239 0.54 0.79/0.86 c 2018 581 2109 258844 122 9578 16371 2021 2371 0.85 0.79/0.86 o 537743424 0.856 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 2026 581 2118 259853 122 9820 11180 2030 2364 0.86 0.99/1.01 c 2126 581 2218 272232 122 9947 12299 2130 2388 0.89 0.99/1.01 c 2378 581 2470 309101 125 10616 13529 2382 2368 1.00 0.99/1.01 o 530339840 1.009 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 2379 581 2472 309800 125 11044 11180 2384 2355 1.01 0.99/1.01 o 514512896 1.013 2.10/2.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.14 c 2380 581 2474 310382 125 11557 11180 2386 2347 1.01 2.10/2.14 c 2481 581 2575 321003 124 11551 12299 2487 2318 1.07 2.10/2.14 c 2731 581 2825 355560 125 12148 13529 2737 2332 1.17 2.10/2.14 c 3206 581 3300 417625 126 13004 14882 3212 2283 1.40 2.10/2.14 c 4020 581 4114 564721 137 14620 16371 4026 2085 1.93 2.10/2.14 o 511391707 2.138 2.79/2.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.89 c 4369 581 4464 616454 138 15754 11180 4376 2043 2.14 2.79/2.89 c 4469 581 4564 632039 138 15987 12299 4476 2033 2.20 2.79/2.89 c 4721 581 4816 670222 139 16491 13529 4728 1978 2.39 2.79/2.89 c 5196 581 5291 741529 140 17305 14882 5203 1977 2.63 2.79/2.89 o 510923776 2.886 4.49/4.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.52 c 5590 581 5686 785421 138 18591 11180 5598 1936 2.89 4.49/4.52 c 5691 581 5787 797120 137 18778 12299 5699 1914 2.97 4.49/4.52 c 5941 581 6037 824024 136 19284 13529 5949 1857 3.20 4.49/4.52 c 6417 581 6513 871245 133 20286 14882 6425 1806 3.55 4.49/4.52 c 7231 581 7327 1035138 141 21779 16371 7239 1621 4.46 4.49/4.52 o 507576320 4.518 24.88/24.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.88/24.91 c 7286 581 7383 1039489 140 22432 11180 7295 1612 4.52 24.88/24.91 c 7386 581 7483 1048902 140 22595 12299 7395 1604 4.60 24.88/24.91 c 7637 581 7734 1064988 137 23035 13529 7646 1587 4.81 24.88/24.91 c 8116 581 8213 1136118 138 24169 14882 8125 1541 5.26 24.88/24.91 c 8929 581 9026 1289890 142 25783 16371 8938 1528 5.84 24.88/24.91 c 10249 581 10346 1480442 143 28212 18009 10258 1411 7.26 24.88/24.91 c 12330 581 12427 1815716 146 32621 19810 12339 1355 9.10 24.88/24.91 c 15554 581 15651 2278848 145 39018 21792 15563 1272 12.22 24.88/24.91 c 20490 581 20587 2699615 131 48893 23972 20499 1189 17.23 24.88/24.91 c 27997 581 13801 1866053 135 31999 26370 13713 1153 24.27 24.88/24.91 o 505533440 24.908 39.08/39.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.08/39.13 c 28986 581 14791 1953342 132 34353 11180 14703 1163 24.91 39.08/39.13 c 29087 581 5805 964129 166 16001 12299 5717 1159 25.09 39.08/39.13 c 29339 581 6057 985118 162 16477 13529 5969 1163 25.21 39.08/39.13 c 29814 581 6532 1024299 156 17474 14882 6444 1175 25.36 39.08/39.13 c 30627 581 7345 1153983 157 19087 16371 7257 1187 25.80 39.08/39.13 c 31949 581 8667 1355916 156 21737 18009 8579 1199 26.64 39.08/39.13 c 34030 581 10748 1562671 145 25824 19810 10660 1245 27.31 39.08/39.13 c 37254 581 13972 1920619 137 32357 21792 13884 1300 28.65 39.08/39.13 c 42190 581 18908 2500192 132 42254 23972 18820 1344 31.39 39.08/39.13 c 49696 581 12316 1208400 98 29022 26370 12228 1331 37.33 39.08/39.13 o 499240960 39.123 41.88/41.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.88/41.93 c 53313 581 15934 1483283 93 36801 11180 15846 1362 39.12 41.88/41.93 c 53416 581 5809 430112 74 15995 12299 5721 1348 39.62 41.88/41.93 c 53667 581 6060 462388 76 16544 13529 5972 1351 39.72 41.88/41.93 c 54143 581 6536 517356 79 17494 14882 6448 1355 39.93 41.88/41.93 c 54957 581 7350 583275 79 19069 16371 7262 1361 40.38 41.88/41.93 c 56277 581 8670 718015 82 21746 18009 8582 1376 40.88 41.88/41.93 c 58360 581 10753 858314 79 25919 19810 10665 1393 41.87 41.88/41.93 o 492997632 41.926 44.08/44.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 44.08/44.14 c 58430 581 10824 864252 79 26438 11180 10736 1393 41.93 44.08/44.14 c 58530 581 10924 871487 79 26728 12299 10836 1393 42.01 44.08/44.14 c 58780 581 11174 902648 80 27307 13529 11086 1392 42.20 44.08/44.14 c 59255 581 11649 948102 81 28198 14882 11561 1396 42.44 44.08/44.14 c 60071 581 12465 1008081 80 29787 16371 12377 1400 42.89 44.08/44.14 c 61391 581 13785 1139691 82 32491 18009 13697 1394 44.01 44.08/44.14 o 486571008 44.135 1799.95/1800.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.47 c 61532 581 13927 1157529 83 33269 11180 13839 1394 44.14 1799.95/1800.47 c 61632 581 5786 452724 78 15959 12299 5698 1390 44.33 1799.95/1800.47 c 61884 581 6038 505378 83 16466 13529 5950 1392 44.45 1799.95/1800.47 c 62359 581 6513 564113 86 17390 14882 6425 1393 44.75 1799.95/1800.47 c 63175 581 7329 628805 85 19037 16371 7241 1397 45.22 1799.95/1800.47 c 64495 581 8649 808528 93 21673 18009 8561 1413 45.63 1799.95/1800.47 c 66577 581 10731 1144544 106 25796 19810 10643 1415 47.05 1799.95/1800.47 c 69800 581 13954 1756746 125 32224 21792 13866 1414 49.35 1799.95/1800.47 c 74739 581 18893 2399884 127 42216 23972 18805 1402 53.27 1799.95/1800.47 c 82245 581 12063 1801990 149 28526 26370 11975 1393 59.01 1799.95/1800.47 c 93606 581 23424 3155132 134 51264 29008 23336 1415 66.13 1799.95/1800.47 c 110751 581 21643 3192923 147 47637 31909 21555 1336 82.88 1799.95/1800.47 c 136571 581 25551 2410378 94 55459 35100 25463 1213 112.58 1799.95/1800.47 c 175404 581 14389 1870845 130 33130 38611 14301 1165 150.50 1799.95/1800.47 c 233756 581 15421 2748008 178 35192 42473 15333 887 263.34 1799.95/1800.47 c 321388 581 38145 6355256 166 80638 46721 38057 474 676.73 1799.95/1800.47 c 452940 581 23489 4102298 174 51308 51394 23401 506 893.69 1799.95/1800.47 c 650372 581 14961 3858583 257 34281 56534 14873 514 1263.64 1799.95/1800.47 c Resources Exceeded 1799.95/1800.47 v x1651 -x1652 -x1654 -x1653 -x1655 -x1657 x1656 -x1658 x1659 x1660 -x1661 x1662 x1664 x1665 x1666 -x1667 x1668 -x1669 x1670 1799.95/1800.47 v x1671 -x1672 -x1673 x1663 x1674 x1675 -x1681 -x1680 -x1679 -x1676 x1677 x1678 x1682 x1684 -x1683 x1685 -x1686 x1687 -x1691 1799.95/1800.47 v x1692 x1690 -x1689 -x1688 x1693 x1694 -x1697 -x1695 -x1696 x1698 x1699 x1700 -x1701 x1703 x1702 -x1704 x1705 -x1 -x2 -x3 1799.95/1800.47 v -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 1799.95/1800.47 v -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 1799.95/1800.47 v -x57 -x58 -x59 -x60 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 1799.95/1800.47 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 1799.95/1800.47 v -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x121 -x122 -x123 -x124 -x125 -x126 1799.95/1800.47 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1799.95/1800.47 v -x148 -x149 -x150 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1799.95/1800.47 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 1799.95/1800.47 v -x160 x161 x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 1799.95/1800.47 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1799.95/1800.47 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1799.95/1800.47 v x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1799.95/1800.47 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1799.95/1800.47 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1799.95/1800.47 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1799.95/1800.47 v -x337 -x338 -x339 -x340 x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1799.95/1800.47 v -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1799.95/1800.47 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 1799.95/1800.47 v -x460 -x461 x462 x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 1799.95/1800.47 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 1799.95/1800.47 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 1799.95/1800.47 v x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 1799.95/1800.47 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 1799.95/1800.47 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 1799.95/1800.47 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 1799.95/1800.47 v -x607 -x608 -x609 -x610 x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1799.95/1800.47 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 1799.95/1800.47 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 1799.95/1800.47 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 1799.95/1800.47 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1799.95/1800.47 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 1799.95/1800.47 v x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 1799.95/1800.47 v -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 1799.95/1800.47 v -x745 -x746 -x747 -x748 -x749 -x750 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 1799.95/1800.47 v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x871 -x872 -x873 -x874 -x875 -x876 1799.95/1800.47 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 1799.95/1800.47 v -x898 -x899 -x900 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 1799.95/1800.47 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 1799.95/1800.47 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 1799.95/1800.47 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 1799.95/1800.47 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 x822 1799.95/1800.47 v x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x931 -x932 -x933 1799.95/1800.47 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1799.95/1800.47 v -x955 -x956 -x957 -x958 -x959 -x960 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 x1002 -x1003 -x1004 1799.95/1800.47 v x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x961 -x962 1799.95/1800.47 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 1799.95/1800.47 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1799.95/1800.47 v -x1032 x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1799.95/1800.47 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1799.95/1800.47 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 1799.95/1800.47 v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 1799.95/1800.47 v -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 1799.95/1800.47 v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1799.95/1800.47 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 1799.95/1800.47 v x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 1799.95/1800.47 v -x1260 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 1799.95/1800.47 v -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1141 -x1142 -x1143 -x1144 1799.95/1800.47 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1799.95/1800.47 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 1799.95/1800.47 v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1799.95/1800.47 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 1799.95/1800.47 v -x1273 x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1799.95/1800.47 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 x1304 -x1305 x1306 -x1307 -x1308 1799.95/1800.47 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 1799.95/1800.47 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 1799.95/1800.47 v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 1799.95/1800.47 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1799.95/1800.47 v -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 1799.95/1800.47 v x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1471 1799.95/1800.47 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1799.95/1800.47 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1799.95/1800.47 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1799.95/1800.47 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1799.95/1800.47 v -x1571 -x1572 -x1573 x1574 x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1799.95/1800.47 v -x1589 -x1590 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 x1542 -x1543 -x1544 x1545 x1546 1799.95/1800.47 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1591 -x1592 -x1593 1799.95/1800.47 v -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 1799.95/1800.47 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 1799.95/1800.47 v -x1628 -x1629 -x1630 -x1631 x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 1799.95/1800.47 v -x1646 -x1647 -x1648 -x1649 -x1650 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 x433 -x434 x435 1799.95/1800.47 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x1381 -x1382 -x1383 -x1384 -x1385 1799.95/1800.47 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 1799.95/1800.47 v -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1799.95/1800.47 v -x1450 -x1451 x1452 x1453 x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1799.95/1800.47 v -x1468 -x1469 -x1470 1799.95/1800.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.47 c 78 864471 27399 933254 43979 13226571 43891 480 1800.03 1799.95/1800.47 c Objective: 486571008 1799.95/1800.47 s SATISFIABLE 1799.95/1800.47 c Total time: 1800.03 s
OK 486571008
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-354280-1176703775 -o ROOT/results/node48/solver-354280-1176703775 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354280-1176703775/instance-354280-1176703775.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.04 1.00 3/64 9682 /proc/meminfo: memFree=1657912/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=11824 CPUtime=0 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 25222809 12107776 333 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 2956 334 281 324 0 2003 0 [startup+0.0830851 s] /proc/loadavg: 1.04 1.04 1.00 3/64 9682 /proc/meminfo: memFree=1657912/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=4604 CPUtime=0.07 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 566 0 0 0 7 0 0 0 18 0 1 0 25222809 4714496 512 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 1151 512 312 324 0 220 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4604 [startup+0.101087 s] /proc/loadavg: 1.04 1.04 1.00 3/64 9682 /proc/meminfo: memFree=1657912/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=4604 CPUtime=0.09 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 574 0 0 0 9 0 0 0 18 0 1 0 25222809 4714496 520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 1151 520 312 324 0 220 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4604 [startup+0.301105 s] /proc/loadavg: 1.04 1.04 1.00 3/64 9682 /proc/meminfo: memFree=1657912/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=5376 CPUtime=0.29 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 781 0 0 0 29 0 0 0 19 0 1 0 25222809 5505024 727 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 1344 727 313 324 0 413 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5376 [startup+0.701143 s] /proc/loadavg: 1.04 1.04 1.00 3/64 9682 /proc/meminfo: memFree=1657912/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=7184 CPUtime=0.69 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 1224 0 0 0 68 1 0 0 22 0 1 0 25222809 7356416 1170 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 1796 1170 313 324 0 865 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7184 [startup+1.50122 s] /proc/loadavg: 1.03 1.04 1.00 2/65 9683 /proc/meminfo: memFree=1653040/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=10428 CPUtime=1.49 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 2025 0 0 0 148 1 0 0 25 0 1 0 25222809 10678272 1971 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 2607 1971 313 324 0 1676 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10428 [startup+3.10136 s] /proc/loadavg: 1.03 1.04 1.00 2/65 9683 /proc/meminfo: memFree=1648816/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=15448 CPUtime=3.09 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 3285 0 0 0 306 3 0 0 25 0 1 0 25222809 15818752 3231 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 3862 3231 313 324 0 2931 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15448 [startup+6.30166 s] /proc/loadavg: 1.03 1.04 1.00 2/65 9683 /proc/meminfo: memFree=1641072/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=22560 CPUtime=6.29 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 5085 0 0 0 624 5 0 0 25 0 1 0 25222809 23101440 5031 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 5640 5031 313 324 0 4709 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22560 [startup+12.7013 s] /proc/loadavg: 1.03 1.04 1.00 2/65 9683 /proc/meminfo: memFree=1626608/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=36076 CPUtime=12.69 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 8464 0 0 0 1262 7 0 0 25 0 1 0 25222809 36941824 8410 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 9019 8410 313 324 0 8088 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36076 [startup+25.5014 s] /proc/loadavg: 1.02 1.04 1.00 2/65 9683 /proc/meminfo: memFree=1609144/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=52048 CPUtime=25.48 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 12451 0 0 0 2539 9 0 0 25 0 1 0 25222809 53297152 12397 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 13012 12397 313 324 0 12081 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52048 [startup+51.1018 s] /proc/loadavg: 1.01 1.03 1.00 2/65 9683 /proc/meminfo: memFree=1609208/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=51880 CPUtime=51.08 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 12451 0 0 0 5094 14 0 0 25 0 1 0 25222809 53125120 12362 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 12970 12362 313 324 0 12039 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 51880 [startup+102.306 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9683 /proc/meminfo: memFree=1597944/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=63400 CPUtime=102.27 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 15332 0 0 0 10204 23 0 0 25 0 1 0 25222809 64921600 15243 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 15850 15243 313 324 0 14919 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 63400 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9683 /proc/meminfo: memFree=1597880/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=63404 CPUtime=162.25 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 15335 0 0 0 16195 30 0 0 25 0 1 0 25222809 64925696 15244 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 15851 15244 313 324 0 14920 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 63404 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9683 /proc/meminfo: memFree=1568248/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=92968 CPUtime=222.23 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 22754 0 0 0 22182 41 0 0 25 0 1 0 25222809 95199232 22623 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 23242 22623 313 324 0 22311 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 92968 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9683 /proc/meminfo: memFree=1560056/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=101052 CPUtime=282.22 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 24826 0 0 0 28173 49 0 0 25 0 1 0 25222809 103477248 24655 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 25263 24655 313 324 0 24332 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 101052 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1557688/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=103768 CPUtime=342.21 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 25484 0 0 0 34168 53 0 0 25 0 1 0 25222809 106258432 25313 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 25942 25313 313 324 0 25011 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 103768 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1556280/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=104928 CPUtime=402.19 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 25808 0 0 0 40163 56 0 0 25 0 1 0 25222809 107446272 25594 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 26232 25594 313 324 0 25301 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 104928 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1556280/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=104928 CPUtime=462.17 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 25808 0 0 0 46159 58 0 0 25 0 1 0 25222809 107446272 25594 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 26232 25594 313 324 0 25301 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 104928 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1556344/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=104928 CPUtime=522.16 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 25808 0 0 0 52156 60 0 0 25 0 1 0 25222809 107446272 25594 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 26232 25594 313 324 0 25301 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 104928 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1556472/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=104612 CPUtime=582.15 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 25808 0 0 0 58153 62 0 0 25 0 1 0 25222809 107122688 25545 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 26153 25545 313 324 0 25222 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 104612 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1556472/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=104612 CPUtime=642.14 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 25808 0 0 0 64149 65 0 0 25 0 1 0 25222809 107122688 25545 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 26153 25545 313 324 0 25222 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 104612 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1534328/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=126720 CPUtime=882.07 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 31504 0 0 0 88123 84 0 0 25 0 1 0 25222809 129761280 31050 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 31680 31050 313 324 0 30749 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 126720 [startup+942.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 9683 /proc/meminfo: memFree=1519672/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=141392 CPUtime=942.06 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 35216 0 0 0 94116 90 0 0 25 0 1 0 25222809 144785408 34710 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 35348 34710 313 324 0 34417 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 141392 [startup+1002.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 9683 /proc/meminfo: memFree=1486328/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=174796 CPUtime=1002.04 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 43619 0 0 0 100106 98 0 0 25 0 1 0 25222809 178991104 43061 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 43699 43061 313 324 0 42768 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 174796 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1486392/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=174796 CPUtime=1062.03 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 43619 0 0 0 106101 102 0 0 25 0 1 0 25222809 178991104 43061 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 43699 43061 313 324 0 42768 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 174796 [startup+1122.3 s] /proc/loadavg: 1.08 1.02 1.01 2/65 9683 /proc/meminfo: memFree=1486392/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=174756 CPUtime=1122.02 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 43619 0 0 0 112097 105 0 0 25 0 1 0 25222809 178950144 43061 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134573546 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 43689 43061 313 324 0 42758 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 174756 [startup+1182.3 s] /proc/loadavg: 1.10 1.03 1.00 2/65 9683 /proc/meminfo: memFree=1486136/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=174884 CPUtime=1182 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 43704 0 0 0 118091 109 0 0 25 0 1 0 25222809 179081216 43094 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 43721 43094 313 324 0 42790 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 174884 [startup+1242.3 s] /proc/loadavg: 1.13 1.05 1.01 2/65 9683 /proc/meminfo: memFree=1486136/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=174884 CPUtime=1241.99 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 43704 0 0 0 124086 113 0 0 25 0 1 0 25222809 179081216 43094 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 43721 43094 313 324 0 42790 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 174884 [startup+1302.3 s] /proc/loadavg: 1.11 1.05 1.01 2/65 9683 /proc/meminfo: memFree=1482040/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=178988 CPUtime=1301.98 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 44785 0 0 0 130081 117 0 0 25 0 1 0 25222809 183283712 44123 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 44747 44123 313 324 0 43816 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 178988 [startup+1362.3 s] /proc/loadavg: 1.04 1.04 1.00 2/65 9683 /proc/meminfo: memFree=1467832/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=193120 CPUtime=1361.96 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 48376 0 0 0 136073 123 0 0 25 0 1 0 25222809 197754880 47657 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 48280 47657 313 324 0 47349 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 193120 [startup+1422.31 s] /proc/loadavg: 1.01 1.03 1.00 2/65 9683 /proc/meminfo: memFree=1467896/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=193120 CPUtime=1421.95 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 48376 0 0 0 142068 127 0 0 25 0 1 0 25222809 197754880 47657 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 48280 47657 313 324 0 47349 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 193120 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9683 /proc/meminfo: memFree=1431032/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=229888 CPUtime=1481.92 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 57610 0 0 0 148058 134 0 0 25 0 1 0 25222809 235405312 56834 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 57472 56834 313 324 0 56541 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 229888 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9683 /proc/meminfo: memFree=1431096/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=229888 CPUtime=1541.91 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 57610 0 0 0 154053 138 0 0 25 0 1 0 25222809 235405312 56834 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 57472 56834 313 324 0 56541 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 229888 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9683 /proc/meminfo: memFree=1430456/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=230408 CPUtime=1601.9 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 57812 0 0 0 160049 141 0 0 25 0 1 0 25222809 235937792 56979 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 57602 56979 313 324 0 56671 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 230408 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9683 /proc/meminfo: memFree=1430456/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=230408 CPUtime=1661.88 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 57812 0 0 0 166041 147 0 0 25 0 1 0 25222809 235937792 56979 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 57602 56979 313 324 0 56671 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 230408 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1429112/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=231816 CPUtime=1721.87 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 58213 0 0 0 172038 149 0 0 25 0 1 0 25222809 237379584 57323 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 57954 57323 313 324 0 57023 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 231816 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1429112/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=231816 CPUtime=1781.85 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194304 58213 0 0 0 178034 151 0 0 25 0 1 0 25222809 237379584 57323 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 57954 57323 313 324 0 57023 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 231816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1619064/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=0 CPUtime=1800.05 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194308 58214 0 0 0 179850 155 0 0 17 0 1 0 25222809 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9683 /proc/meminfo: memFree=1619064/2055920 swapFree=4184696/4192956 [pid=9682] ppid=9680 vsize=0 CPUtime=1800.05 /proc/9682/stat : 9682 (bsolo3.0.16) R 9680 9682 8603 0 -1 4194308 58214 0 0 0 179850 155 0 0 17 0 1 0 25222809 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9682/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1798.5 CPU system time (s): 1.56176 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 231816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.5 system time used= 1.56176 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58214 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= 14 involuntary context switches= 2804 runsolver used 1.35479 second user time and 3.57046 second system time The end
Begin job on node48 on Mon Apr 16 06:09:35 UTC 2007 IDJOB= 354280 IDBENCH= 2468 IDSOLVER= 163 FILE ID= node48/354280-1176703775 PBS_JOBID= 4560036 Free space on /tmp= 66545 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-egout.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354280-1176703775/instance-354280-1176703775.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-354280-1176703775 -o ROOT/results/node48/solver-354280-1176703775 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354280-1176703775/instance-354280-1176703775.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 8eddbca1ad45a201e8c2c397b62f33c3 RANDOM SEED= 701052572 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1658384 kB Buffers: 50432 kB Cached: 261192 kB SwapCached: 2672 kB Active: 123516 kB Inactive: 200716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1658384 kB SwapTotal: 4192956 kB SwapFree: 4184696 kB Dirty: 4472 kB Writeback: 0 kB Mapped: 18440 kB Slab: 59328 kB Committed_AS: 913536 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66545 MiB End job on node48 on Mon Apr 16 06:39:37 UTC 2007