Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | SAT (TO) | 63710256890 | 1800.02 | 1800.62 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mas74.opb |
MD5SUM | d879f5802b2059e72ece8e718d439f85 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 54886400640 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 52428797515 |
Optimality of the best value was proved | NO |
Number of variables | 240 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 239 |
Number of terms in the objective function | 240 |
Biggest coefficient in the objective function | 1934281311383406679529881600000 |
Number of bits for the biggest coefficient in the objective function | 101 |
Sum of the numbers in the objective function | 3868562622766813359059763201675 |
Number of bits of the sum of numbers in the objective function | 102 |
Biggest number in a constraint | 1208925819614629174706176000000000 |
Number of bits of the biggest number in a constraint | 110 |
Biggest sum of numbers in a constraint | 2417851639229258350773194212202779 |
Number of bits of the biggest sum of numbers | 111 |
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 PB/CT 0.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.06/0.06 c constraints 14/0 clauses 0/0 units 40 0.06/0.06 c vars 240 0.06/0.06 c objective 220 + 0 0.19/0.25 c 0.240963 15.7812 1 202 0.19/0.25 o 1759218604441597515 0.19/0.26 c 0.249962 16.1523 1 272 0.19/0.26 o 1759218604441594390 0.19/0.27 c 0.25996 16.1523 1 342 0.19/0.27 o 191124576664869390 0.19/0.28 c 0.268959 16.1523 1 409 0.19/0.28 o 10641906072863140 0.19/0.29 c 0.277957 16.1523 1 473 0.19/0.29 o 132657458463140 0.29/0.30 c 0.284956 16.1523 1 530 0.29/0.30 o 15207112063140 0.29/0.31 c 0.292955 16.1523 1 582 0.29/0.31 o 13422888013140 0.29/0.32 c 0.300954 16.1523 1 631 0.29/0.32 o 13422017600640 0.29/0.33 c 0.308953 16.1523 1 684 0.29/0.33 o 419444800640 0.29/0.33 c 0.316951 16.1523 1 726 0.29/0.33 o 419432000640 0.29/0.34 c 0.32595 16.1523 1 774 0.29/0.34 o 209715400640 0.29/0.35 c 0.333949 16.1523 1 819 0.29/0.35 o 157491800640 0.29/0.36 c 0.341948 16.1523 1 857 0.29/0.36 o 157287000640 0.29/0.37 c 0.349946 16.1523 1 887 0.29/0.37 o 157286800640 0.29/0.37 c 0.356945 16.1523 1 918 0.29/0.37 o 157286400640 0.69/0.74 c 0.695894 16.1523 114 1192 0.69/0.74 o 156876800640 0.69/0.75 c 0.703892 16.1523 115 1320 0.69/0.75 o 156601600640 0.69/0.76 c 0.711891 16.1523 115 1443 0.69/0.76 o 156598400640 0.69/0.77 c 0.72089 16.1523 115 1561 0.69/0.77 o 156598228765 0.69/0.78 c 0.731888 16.1523 116 1675 0.69/0.78 o 156598225640 0.69/0.79 c 0.747886 16.1523 119 1809 0.69/0.79 o 154009600640 0.79/0.80 c 0.755885 16.1523 120 1936 0.79/0.80 o 153702400640 0.79/0.81 c 0.764883 16.1523 120 2058 0.79/0.81 o 153670400640 0.79/0.82 c 0.771882 16.1523 120 2179 0.79/0.82 o 153667200640 0.79/0.83 c 0.780881 16.1523 120 2294 0.79/0.83 o 153667025640 1.29/1.33 c 1.24481 16.1523 249 2539 1.29/1.33 o 145817600640 1.29/1.34 c 1.25681 16.1523 250 2607 1.29/1.34 o 145184000640 1.29/1.35 c 1.26481 16.1523 250 2664 1.29/1.35 o 145183825640 1.39/1.40 c 1.3148 16.1523 261 2813 1.39/1.40 o 144179200640 1.39/1.45 c 1.36279 16.1523 282 2948 1.39/1.45 o 143827200640 1.39/1.47 c 1.37779 16.1523 287 3067 1.39/1.47 o 143824000640 1.39/1.49 c 1.39279 16.1523 290 3173 1.39/1.49 o 143823850640 1.49/1.50 c 1.40779 16.1523 294 3274 1.49/1.50 o 143823825640 1.49/1.57 c 1.47877 16.1523 314 3386 1.49/1.57 o 143462400640 1.59/1.68 c 1.57276 16.1523 341 3487 1.59/1.68 o 143430400640 1.69/1.70 c 1.59976 16.1523 351 3608 1.69/1.70 o 143427200640 1.69/1.75 c 1.64175 16.1523 371 3799 1.69/1.75 o 143427100640 1.69/1.76 c 1.65075 16.1523 371 3855 1.69/1.76 o 143427050640 1.69/1.77 c 1.65875 16.1523 371 3909 1.69/1.77 o 143427025640 10.89/10.94 c 10.3044 17.7812 1641 12666 10.89/10.94 o 143372813140 11.00/11.06 c 10.4174 17.7812 1760 13082 11.00/11.06 o 142540800640 11.00/11.07 c 10.4264 17.7812 1762 13243 11.00/11.07 o 142131200640 11.00/11.08 c 10.4344 17.7812 1763 13401 11.00/11.08 o 141952000640 11.09/11.10 c 10.4574 17.7812 1776 13565 11.09/11.10 o 137625600640 12.19/12.20 c 11.5172 17.9062 1959 16301 12.19/12.20 o 137131203765 12.29/12.31 c 11.6192 17.9062 2067 16741 12.29/12.31 o 137011203765 12.29/12.32 c 11.6282 17.9062 2067 16885 12.29/12.32 o 137011200640 12.29/12.32 c 11.6372 17.9062 2067 17039 12.29/12.32 o 136985603765 12.39/12.41 c 11.7202 17.9062 2173 17446 12.39/12.41 o 136806400640 13.79/13.89 c 13.161 18.2773 1476 21112 13.79/13.89 o 135987200640 13.89/13.90 c 13.169 18.2773 1476 21267 13.89/13.90 o 135897600640 13.89/13.92 c 13.18 18.4688 1476 21417 13.89/13.92 o 135896000640 13.89/13.93 c 13.188 18.4688 1476 21566 13.89/13.93 o 135894800640 13.89/13.93 c 13.194 18.4688 1476 21713 13.89/13.93 o 135894425640 28.38/28.45 c 27.1329 18.9766 2731 45989 28.38/28.45 o 134348800640 28.38/28.46 c 27.1449 18.9766 1366 46028 28.38/28.46 o 132915200640 28.38/28.47 c 27.1529 18.9766 1366 46063 28.38/28.47 o 132864006890 28.38/28.48 c 27.1609 18.9766 1366 46087 28.38/28.48 o 132864000640 28.38/28.49 c 27.1699 18.9766 1366 46121 28.38/28.49 o 132838400640 28.49/28.50 c 27.1789 18.9766 1366 46152 28.49/28.50 o 132835200640 28.49/28.51 c 27.1959 18.9766 1367 46191 28.49/28.51 o 132710400640 28.49/28.57 c 27.2469 18.9766 1375 46324 28.49/28.57 o 131072050640 28.49/28.58 c 27.2569 18.9766 1377 46452 28.49/28.58 o 124620800640 28.49/28.59 c 27.2659 18.9766 1377 46568 28.49/28.59 o 124572400640 28.49/28.60 c 27.2749 18.9766 1377 46676 28.49/28.60 o 124572313140 28.59/28.64 c 27.3118 18.9766 1395 46818 28.59/28.64 o 117555206890 28.59/28.65 c 27.3218 18.9766 1397 46940 28.59/28.65 o 117267200640 28.59/28.66 c 27.3308 18.9766 1397 47055 28.59/28.66 o 117265600640 28.59/28.67 c 27.3368 18.9766 1397 47168 28.59/28.67 o 117264400640 28.59/28.67 c 27.3448 18.9766 1397 47279 28.59/28.67 o 117264300640 28.59/28.68 c 27.3538 18.9766 1397 47389 28.59/28.68 o 117264250640 29.48/29.52 c 28.1387 18.9766 1608 47823 29.48/29.52 o 113049600640 29.48/29.53 c 28.1507 18.9766 1609 47865 29.48/29.53 o 113021356890 29.48/29.60 c 28.2107 18.9766 1620 47984 29.48/29.60 o 112633600640 29.59/29.63 c 28.2437 18.9766 1630 48106 29.59/29.63 o 112633350640 29.69/29.74 c 28.3457 18.9766 1696 48326 29.69/29.74 o 112025600640 29.69/29.76 c 28.3647 18.9766 1702 48441 29.69/29.76 o 112017438140 30.08/30.10 c 28.6746 18.9766 1775 48558 30.08/30.10 o 111104000640 30.08/30.11 c 28.6896 18.9766 1777 48596 30.08/30.11 o 111008688140 30.38/30.48 c 29.0276 18.9766 1890 48856 30.38/30.48 o 107520000640 30.38/30.49 c 29.0366 18.9766 1890 48919 30.38/30.49 o 107417600640 30.38/30.49 c 29.0456 18.9766 1890 48980 30.38/30.49 o 107392003765 30.48/30.50 c 29.0546 18.9766 1890 49037 30.48/30.50 o 107378800640 30.48/30.51 c 29.0626 18.9766 1890 49088 30.48/30.51 o 107378719390 30.69/30.77 c 29.3145 18.9766 1978 49246 30.69/30.77 o 107212800640 32.28/32.32 c 30.7703 18.9766 2597 50214 32.28/32.32 o 106905600640 32.58/32.63 c 31.0623 18.9766 1377 50365 32.58/32.63 o 105267200640 33.08/33.16 c 31.5692 18.9766 1605 50804 33.08/33.16 o 105164800640 33.18/33.27 c 31.6692 18.9766 1626 50870 33.18/33.27 o 105164600640 33.28/33.32 c 31.7112 18.9766 1631 50914 33.28/33.32 o 105164550640 33.38/33.47 c 31.8622 18.9766 1654 50996 33.38/33.47 o 104844800640 33.38/33.48 c 31.8762 18.9766 1655 51037 33.38/33.48 o 104839406890 33.89/33.96 c 32.3231 18.9766 1766 51313 33.89/33.96 o 101888000640 33.89/33.98 c 32.3371 18.9766 1767 51363 33.89/33.98 o 101862400640 33.89/33.99 c 32.3451 18.9766 1767 51411 33.89/33.99 o 101849600640 33.89/34.00 c 32.3531 18.9766 1767 51454 33.89/34.00 o 101845856890 33.99/34.02 c 32.3781 18.9766 1769 51510 33.99/34.02 o 99737600640 33.99/34.03 c 32.3891 18.9766 1770 51553 33.99/34.03 o 99673600640 33.99/34.04 c 32.3971 18.9766 1770 51592 33.99/34.04 o 99667200640 33.99/34.05 c 32.4061 18.9766 1770 51627 33.99/34.05 o 99666200640 33.99/34.06 c 32.4151 18.9766 1770 51658 33.99/34.06 o 99666163140 34.48/34.50 c 32.82 18.9766 1941 52104 34.48/34.50 o 96640000640 34.48/34.55 c 32.86 18.9766 1950 52173 34.48/34.55 o 96627200640 34.48/34.55 c 32.868 18.9766 1950 52228 34.48/34.55 o 96626700640 34.48/34.56 c 32.876 18.9766 1950 52278 34.48/34.56 o 96626669390 121.85/121.97 c 115.148 20.625 3156 101131 121.85/121.97 o 95643203765 121.96/122.04 c 115.217 20.625 1592 101197 121.96/122.04 o 95641600640 121.96/122.05 c 115.226 20.625 1592 101244 121.96/122.05 o 95550200640 121.96/122.06 c 115.234 20.625 1592 101283 121.96/122.06 o 95550188140 148.13/148.30 c 139.83 20.625 2047 116867 148.13/148.30 o 95545600640 148.23/148.32 c 139.853 20.625 2049 116898 148.23/148.32 o 95544400640 148.23/148.33 c 139.862 20.625 2049 116925 148.23/148.33 o 95544200640 148.23/148.34 c 139.871 20.625 2049 116950 148.23/148.34 o 95544125640 148.23/148.39 c 139.921 20.625 2055 116999 148.23/148.39 o 92928000640 148.34/148.41 c 139.941 20.625 2057 117038 148.34/148.41 o 92902400640 148.34/148.42 c 139.95 20.625 2057 117073 148.34/148.42 o 92889600640 148.34/148.43 c 139.959 20.625 2057 117106 148.34/148.43 o 92886400640 148.34/148.44 c 139.969 20.625 2057 117138 148.34/148.44 o 92884000640 148.34/148.45 c 139.977 20.625 2057 117166 148.34/148.45 o 92883900640 148.34/148.46 c 139.986 20.625 2057 117192 148.34/148.46 o 92883875640 176.93/177.07 c 166.961 21.1211 2729 134357 176.93/177.07 o 91852800640 177.22/177.36 c 167.238 21.1211 1469 134648 177.22/177.36 o 91827200640 177.22/177.38 c 167.247 21.1211 1470 134699 177.22/177.38 o 91823303765 177.22/177.38 c 167.256 21.1211 1470 134743 177.22/177.38 o 91823238140 189.62/189.75 c 178.922 21.1211 1675 142145 189.62/189.75 o 91648000640 189.62/189.76 c 178.934 21.1211 1676 142206 189.62/189.76 o 91644781890 196.73/196.80 c 185.581 21.1211 2267 146127 196.73/196.80 o 91340800640 196.73/196.82 c 185.597 21.1211 2268 146177 196.73/196.82 o 91193600640 196.73/196.83 c 185.605 21.1211 2268 146222 196.73/196.83 o 91190400640 196.73/196.84 c 185.614 21.1211 2268 146264 196.73/196.84 o 91190000640 196.73/196.85 c 185.622 21.1211 2268 146305 196.73/196.85 o 91189650640 196.73/196.86 c 185.631 21.1211 2268 146341 196.73/196.86 o 91189644390 311.28/311.43 c 293.343 21.7305 2313 208476 311.28/311.43 o 89702400640 313.78/313.98 c 295.732 21.7305 1659 209597 313.78/313.98 o 89446400640 313.88/314.03 c 295.78 21.7305 1667 209715 313.88/314.03 o 89427200640 313.88/314.04 c 295.794 21.7305 1669 209860 313.88/314.04 o 89425000640 313.88/314.05 c 295.802 21.7305 1669 209939 313.88/314.05 o 89424950640 617.79/618.07 c 581.346 22.832 1700 370003 617.79/618.07 o 89369600640 618.00/618.29 c 581.547 22.832 1824 370338 618.00/618.29 o 89360006890 618.09/618.31 c 581.569 22.832 1835 370429 618.09/618.31 o 89360000640 618.29/618.51 c 581.755 22.832 1948 370725 618.29/618.51 o 89359988140 621.49/621.70 c 584.775 22.832 1681 372988 621.49/621.70 o 88883203765 621.49/621.71 c 584.791 22.832 1682 373036 621.49/621.71 o 88483181890 622.08/622.36 c 585.4 22.832 1983 373976 622.08/622.36 o 87603200640 622.08/622.37 c 585.416 22.832 1985 374052 622.08/622.37 o 86848000640 622.08/622.39 c 585.429 22.832 1986 374110 622.08/622.39 o 86847991265 622.19/622.40 c 585.438 22.832 1987 374175 622.19/622.40 o 86847988140 633.98/634.22 c 596.559 22.832 1955 381735 633.98/634.22 o 85299200640 633.98/634.23 c 596.572 22.832 1956 381781 633.98/634.23 o 85248000640 633.98/634.24 c 596.581 22.832 1957 381823 633.98/634.24 o 85241600640 633.98/634.25 c 596.59 22.832 1957 381854 633.98/634.25 o 85241588140 634.09/634.32 c 596.648 22.832 1965 381911 634.09/634.32 o 85196800640 634.09/634.34 c 596.666 22.832 1967 381962 634.09/634.34 o 84172800640 634.09/634.35 c 596.675 22.832 1967 382004 634.09/634.35 o 84163200640 634.09/634.36 c 596.684 22.832 1967 382046 634.09/634.36 o 84160100640 634.09/634.36 c 596.692 22.832 1967 382081 634.09/634.36 o 84160050640 715.56/715.85 c 673.298 23.9609 2175 420442 715.56/715.85 o 83560800640 715.56/715.87 c 673.319 23.9609 2177 420481 715.56/715.87 o 83559200640 715.56/715.88 c 673.328 23.9609 2177 420516 715.56/715.88 o 83558400640 715.56/715.89 c 673.337 23.9609 2177 420558 715.56/715.89 o 83148800640 715.66/715.90 c 673.346 23.9609 2177 420600 715.66/715.90 o 82816000640 715.66/715.91 c 673.355 23.9609 2177 420637 715.66/715.91 o 82803200640 715.66/715.91 c 673.364 23.9609 2177 420668 715.66/715.91 o 82801500640 715.66/715.92 c 673.373 23.9609 2177 420697 715.66/715.92 o 82801450640 715.66/715.93 c 673.382 23.9609 2177 420725 715.66/715.93 o 82801425640 715.76/716.03 c 673.474 23.9609 2195 420870 715.76/716.03 o 81920000640 715.76/716.07 c 673.519 23.9609 2205 420980 715.76/716.07 o 81254403765 715.76/716.10 c 673.544 23.9609 2208 421016 715.76/716.10 o 81254400640 715.87/716.11 c 673.554 23.9609 2209 421055 715.87/716.11 o 81243200640 715.87/716.12 c 673.563 23.9609 2209 421089 715.87/716.12 o 81242500640 715.87/716.13 c 673.572 23.9609 2209 421121 715.87/716.13 o 81242469390 715.87/716.14 c 673.581 23.9609 2209 421150 715.87/716.14 o 81242456890 716.87/717.11 c 674.499 23.9609 2530 421777 716.87/717.11 o 79564800640 716.87/717.13 c 674.519 23.9609 2543 421930 716.87/717.13 o 79488000640 716.87/717.14 c 674.529 23.9609 2544 422057 716.87/717.14 o 79475450640 717.16/717.41 c 674.781 23.9609 2625 422301 717.16/717.41 o 79462400640 717.16/717.43 c 674.801 23.9609 2628 422379 717.16/717.43 o 79193600640 783.74/784.01 c 737.287 23.9609 1817 460285 783.74/784.01 o 78643325640 783.74/784.09 c 737.364 23.9609 1836 460364 783.74/784.09 o 78643200640 783.84/784.10 c 737.373 23.9609 1836 460421 783.84/784.10 o 77324806890 791.44/791.73 c 744.55 23.9609 2116 465207 791.44/791.73 o 77005100640 791.44/791.79 c 744.601 23.9609 2137 465336 791.44/791.79 o 75826800640 791.53/791.82 c 744.631 23.9609 2152 465449 791.53/791.82 o 75826406890 791.53/791.85 c 744.664 23.9609 2159 465550 791.53/791.85 o 75826400640 796.94/797.27 c 749.759 23.9609 2410 468736 796.94/797.27 o 72102450640 796.94/797.28 c 749.77 23.9609 2410 468787 796.94/797.28 o 71766200640 796.94/797.29 c 749.779 23.9609 2410 468830 796.94/797.29 o 71766150640 797.03/797.30 c 749.788 23.9609 2410 468872 797.03/797.30 o 71766125640 797.03/797.38 c 749.865 23.9609 2431 469058 797.03/797.38 o 69932800640 797.33/797.63 c 750.097 23.9609 2519 469281 797.33/797.63 o 69932000640 797.33/797.65 c 750.121 23.9609 2527 469405 797.33/797.65 o 69931800640 797.33/797.67 c 750.136 23.9609 2531 469526 797.33/797.67 o 69931725640 799.44/799.76 c 752.093 23.9609 1780 470650 799.44/799.76 o 67481600640 799.54/799.85 c 752.173 23.9609 1796 470730 799.54/799.85 o 67426819390 960.36/960.71 c 903.071 25.0781 2498 562927 960.36/960.71 o 64972800640 960.36/960.72 c 903.088 25.0781 2499 562972 960.36/960.72 o 64953600640 960.36/960.73 c 903.097 25.0781 2499 563011 960.36/960.73 o 64953300640 960.36/960.74 c 903.107 25.0781 2499 563048 960.36/960.74 o 64953225640 1097.22/1097.68 c 1031.65 25.0781 2747 646577 1097.22/1097.68 o 64729606890 1097.32/1097.70 c 1031.67 25.0781 1380 646700 1097.32/1097.70 o 64717600640 1097.32/1097.72 c 1031.68 25.0781 1384 646814 1097.32/1097.72 o 64716850640 1097.32/1097.72 c 1031.69 25.0781 1384 646918 1097.32/1097.73 o 64716800640 1097.32/1097.73 c 1031.7 25.0781 1384 647031 1097.32/1097.73 o 64529600640 1097.32/1097.74 c 1031.71 25.0781 1384 647137 1097.32/1097.74 o 64527850640 1097.32/1097.75 c 1031.72 25.0781 1384 647241 1097.32/1097.75 o 64527800640 1097.32/1097.76 c 1031.72 25.0781 1384 647342 1097.32/1097.76 o 64527794390 1097.62/1098.05 c 1031.99 25.0781 1448 647480 1097.62/1098.05 o 64102400640 1097.92/1098.34 c 1032.27 25.0781 1523 647656 1097.92/1098.34 o 64051200640 1097.92/1098.35 c 1032.27 25.0781 1523 647706 1097.92/1098.35 o 64006403765 1097.92/1098.36 c 1032.28 25.0781 1523 647755 1097.92/1098.36 o 64004800640 1097.92/1098.37 c 1032.29 25.0781 1523 647800 1097.92/1098.37 o 64003650640 1097.92/1098.38 c 1032.3 25.0781 1523 647841 1097.92/1098.38 o 64003625640 1097.92/1098.39 c 1032.31 25.0781 1523 647880 1097.92/1098.39 o 64003613140 1165.80/1166.29 c 1096.18 25.2422 1802 697151 1165.80/1166.29 o 63897600640 1165.90/1166.38 c 1096.28 25.2422 1818 697224 1165.90/1166.38 o 63718400640 1165.90/1166.39 c 1096.29 25.2422 1818 697261 1165.90/1166.39 o 63712406890 1165.99/1166.40 c 1096.29 25.2422 1818 697294 1165.99/1166.40 o 63712200640 1165.99/1166.41 c 1096.3 25.2422 1818 697325 1165.99/1166.41 o 63712000640 1165.99/1166.42 c 1096.31 25.2422 1818 697360 1165.99/1166.42 o 63710500640 1165.99/1166.43 c 1096.32 25.2422 1818 697391 1165.99/1166.43 o 63710456890 1165.99/1166.44 c 1096.33 25.2422 1818 697422 1165.99/1166.44 o 63710400640 1165.99/1166.45 c 1096.34 25.2422 1818 697450 1165.99/1166.45 o 63710263140 1165.99/1166.46 c 1096.35 25.2422 1818 697475 1165.99/1166.46 o 63710256890 1800.01/1800.61 s SATISFIABLE 1800.01/1800.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 x25 -x26 x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 x63 -x64 x65 x66 x67 -x68 x69 -x70 x71 -x72 -x73 -x74 x75 x76 x77 -x78 x79 x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 x185 x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240
OK 63710256890
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668752-1276563534/watcher-2668752-1276563534 -o /tmp/evaluation-result-2668752-1276563534/solver-2668752-1276563534 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668752-1276563534.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.02 1.00 3/106 31935 /proc/meminfo: memFree=1743468/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=2208 CPUtime=0 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 266 0 0 0 0 0 0 0 18 0 1 0 31955167 2260992 189 1992294400 134512640 136485738 4288769184 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31935/statm: 552 189 157 482 0 68 0 [startup+0.0642831 s] /proc/loadavg: 1.01 1.02 1.00 3/106 31935 /proc/meminfo: memFree=1743468/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=2340 CPUtime=0.06 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 307 0 0 0 6 0 0 0 20 0 1 0 31955167 2396160 230 1992294400 134512640 136485738 4288769184 18446744073709551615 135843936 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31935/statm: 585 230 157 482 0 101 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2340 [startup+0.101287 s] /proc/loadavg: 1.01 1.02 1.00 3/106 31935 /proc/meminfo: memFree=1743468/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=6408 CPUtime=0.09 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 1290 0 0 0 9 0 0 0 20 0 1 0 31955167 6561792 1213 1992294400 134512640 136485738 4288769184 18446744073709551615 134651003 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 1602 1213 197 482 0 1118 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6408 [startup+0.301308 s] /proc/loadavg: 1.01 1.02 1.00 3/106 31935 /proc/meminfo: memFree=1743468/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=16536 CPUtime=0.29 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 3760 0 0 0 28 1 0 0 20 0 1 0 31955167 16932864 3678 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 4134 3678 245 482 0 3650 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16536 [startup+0.701352 s] /proc/loadavg: 1.01 1.02 1.00 3/106 31935 /proc/meminfo: memFree=1743468/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=16536 CPUtime=0.69 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 3771 0 0 0 65 4 0 0 21 0 1 0 31955167 16932864 3679 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 4134 3679 245 482 0 3650 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16536 [startup+1.50044 s] /proc/loadavg: 1.01 1.02 1.00 2/107 31936 /proc/meminfo: memFree=1729696/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=16536 CPUtime=1.49 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 3807 0 0 0 140 9 0 0 23 0 1 0 31955167 16932864 3698 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 4134 3698 245 482 0 3650 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16536 [startup+3.10062 s] /proc/loadavg: 1.01 1.02 1.00 2/107 31936 /proc/meminfo: memFree=1729076/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=17304 CPUtime=3.09 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 3998 0 0 0 291 18 0 0 25 0 1 0 31955167 17719296 3882 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 4326 3882 246 482 0 3842 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17304 [startup+6.30097 s] /proc/loadavg: 1.01 1.02 1.00 2/107 31936 /proc/meminfo: memFree=1727960/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=17816 CPUtime=6.29 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 4123 0 0 0 593 36 0 0 25 0 1 0 31955167 18243584 4007 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 4454 4007 246 482 0 3970 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17816 [startup+12.7007 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31936 /proc/meminfo: memFree=1727464/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=18460 CPUtime=12.69 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 4318 0 0 0 1200 69 0 0 25 0 1 0 31955167 18903040 4192 1992294400 134512640 136485738 4288769184 18446744073709551615 135293384 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 4615 4192 246 482 0 4131 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18460 [startup+25.5011 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31936 /proc/meminfo: memFree=1726348/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=19428 CPUtime=25.48 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 4561 0 0 0 2430 118 0 0 25 0 1 0 31955167 19894272 4430 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 4857 4430 246 482 0 4373 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19428 [startup+51.1009 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31938 /proc/meminfo: memFree=1725976/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=19680 CPUtime=51.07 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 4666 0 0 0 4850 257 0 0 25 0 1 0 31955167 20152320 4484 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 4920 4484 246 482 0 4436 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19680 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 31938 /proc/meminfo: memFree=1724860/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=20720 CPUtime=102.27 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 4932 0 0 0 9667 560 0 0 25 0 1 0 31955167 21217280 4750 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 5180 4750 246 482 0 4696 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20720 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31949 /proc/meminfo: memFree=1723372/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=21624 CPUtime=162.22 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 5169 0 0 0 15300 922 0 0 25 0 1 0 31955167 22142976 4972 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 5406 4972 246 482 0 4922 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 21624 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31951 /proc/meminfo: memFree=1722876/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=22248 CPUtime=222.21 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 5326 0 0 0 20950 1271 0 0 25 0 1 0 31955167 22781952 5117 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 5562 5117 246 482 0 5078 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 22248 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31953 /proc/meminfo: memFree=1722876/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=22248 CPUtime=282.19 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 5326 0 0 0 26598 1621 0 0 25 0 1 0 31955167 22781952 5117 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 5562 5117 246 482 0 5078 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 22248 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31955 /proc/meminfo: memFree=1722876/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=22248 CPUtime=342.17 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 5331 0 0 0 32236 1981 0 0 25 0 1 0 31955167 22781952 5117 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 5562 5117 246 482 0 5078 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 22248 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31955 /proc/meminfo: memFree=1722008/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=23136 CPUtime=402.16 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 5547 0 0 0 37865 2351 0 0 25 0 1 0 31955167 23691264 5333 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 5784 5333 246 482 0 5300 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 23136 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31957 /proc/meminfo: memFree=1721636/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=23376 CPUtime=462.14 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 5624 0 0 0 43496 2718 0 0 25 0 1 0 31955167 23937024 5410 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 5844 5410 246 482 0 5360 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 23376 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31959 /proc/meminfo: memFree=1721636/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=23376 CPUtime=522.12 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 5624 0 0 0 49126 3086 0 0 25 0 1 0 31955167 23937024 5410 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 5844 5410 246 482 0 5360 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 23376 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31961 /proc/meminfo: memFree=1721636/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=23376 CPUtime=582.1 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 5624 0 0 0 54767 3443 0 0 25 0 1 0 31955167 23937024 5410 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 5844 5410 246 482 0 5360 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 23376 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31963 /proc/meminfo: memFree=1721636/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=23376 CPUtime=642.09 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 5650 0 0 0 60410 3799 0 0 25 0 1 0 31955167 23937024 5417 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 5844 5417 246 482 0 5360 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 23376 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31967 /proc/meminfo: memFree=1720396/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=24532 CPUtime=822.03 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 5975 0 0 0 77320 4883 0 0 25 0 1 0 31955167 25120768 5704 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6133 5704 246 482 0 5649 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 24532 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31969 /proc/meminfo: memFree=1720272/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=24532 CPUtime=882.02 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 5980 0 0 0 82958 5244 0 0 25 0 1 0 31955167 25120768 5709 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6133 5709 246 482 0 5649 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 24532 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31972 /proc/meminfo: memFree=1719032/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=25676 CPUtime=941.97 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6279 0 0 0 88581 5616 0 0 25 0 1 0 31955167 26292224 6008 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6419 6008 246 482 0 5935 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 25676 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31974 /proc/meminfo: memFree=1719032/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=25676 CPUtime=1001.96 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6283 0 0 0 94214 5982 0 0 25 0 1 0 31955167 26292224 6008 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6419 6008 246 482 0 5935 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 25676 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31976 /proc/meminfo: memFree=1718908/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=25676 CPUtime=1061.93 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6283 0 0 0 99847 6346 0 0 25 0 1 0 31955167 26292224 6008 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6419 6008 246 482 0 5935 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 25676 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31978 /proc/meminfo: memFree=1718784/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=25932 CPUtime=1121.91 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6354 0 0 0 105481 6710 0 0 25 0 1 0 31955167 26554368 6064 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6483 6064 246 482 0 5999 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 25932 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31980 /proc/meminfo: memFree=1718660/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=25844 CPUtime=1181.89 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6364 0 0 0 111122 7067 0 0 25 0 1 0 31955167 26464256 6051 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6461 6051 246 482 0 5977 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 25844 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31980 /proc/meminfo: memFree=1718536/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=25844 CPUtime=1241.87 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6364 0 0 0 116760 7427 0 0 25 0 1 0 31955167 26464256 6051 1992294400 134512640 136485738 4288769184 18446744073709551615 135293718 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6461 6051 246 482 0 5977 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 25844 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31982 /proc/meminfo: memFree=1718288/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=26232 CPUtime=1301.86 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6437 0 0 0 122400 7786 0 0 25 0 1 0 31955167 26861568 6124 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6558 6124 246 482 0 6074 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 26232 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31984 /proc/meminfo: memFree=1717916/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=26496 CPUtime=1361.83 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6523 0 0 0 128036 8147 0 0 25 0 1 0 31955167 27131904 6210 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6624 6210 246 482 0 6140 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 26496 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31986 /proc/meminfo: memFree=1717296/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=27164 CPUtime=1421.82 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6662 0 0 0 133678 8504 0 0 25 0 1 0 31955167 27815936 6349 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6791 6349 246 482 0 6307 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 27164 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31988 /proc/meminfo: memFree=1716924/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=27616 CPUtime=1481.79 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6775 0 0 0 139312 8867 0 0 25 0 1 0 31955167 28278784 6462 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6904 6462 246 482 0 6420 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 27616 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31990 /proc/meminfo: memFree=1716552/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=27872 CPUtime=1541.77 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6860 0 0 0 145016 9161 0 0 25 0 1 0 31955167 28540928 6547 1992294400 134512640 136485738 4288769184 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 6968 6547 246 482 0 6484 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 27872 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31990 /proc/meminfo: memFree=1716304/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=28124 CPUtime=1601.76 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6919 0 0 0 150726 9450 0 0 25 0 1 0 31955167 28798976 6606 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 7031 6606 246 482 0 6547 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 28124 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31992 /proc/meminfo: memFree=1716304/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=28124 CPUtime=1661.73 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6919 0 0 0 156439 9734 0 0 25 0 1 0 31955167 28798976 6606 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 7031 6606 246 482 0 6547 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 28124 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31994 /proc/meminfo: memFree=1716056/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=28224 CPUtime=1721.72 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6945 0 0 0 162173 9999 0 0 25 0 1 0 31955167 28901376 6632 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 7056 6632 246 482 0 6572 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 28224 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31996 /proc/meminfo: memFree=1715684/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=28480 CPUtime=1781.7 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 6999 0 0 0 167895 10275 0 0 25 0 1 0 31955167 29163520 6686 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 7120 6686 246 482 0 6636 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 28480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31996 /proc/meminfo: memFree=1715560/2059040 swapFree=4140228/4192956 [pid=31935] ppid=31933 vsize=28480 CPUtime=1800.01 /proc/31935/stat : 31935 (pbct) R 31933 31935 30593 0 -1 4202496 7014 0 0 0 169633 10368 0 0 25 0 1 0 31955167 29163520 6701 1992294400 134512640 136485738 4288769184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31935/statm: 7120 6701 246 482 0 6636 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 28480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.02 CPU user time (s): 1696.34 CPU system time (s): 103.686 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 28480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1696.34 system time used= 103.686 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7014 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= 1 involuntary context switches= 13303 runsolver used 3.21351 second user time and 8.28074 second system time The end
Begin job on node009 at 2010-06-15 02:58:54 IDJOB=2668752 IDBENCH=2495 IDSOLVER=1170 FILE ID=node009/2668752-1276563534 PBS_JOBID= 11173493 Free space on /tmp= 62452 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas74.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668752-1276563534/watcher-2668752-1276563534 -o /tmp/evaluation-result-2668752-1276563534/solver-2668752-1276563534 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668752-1276563534.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d879f5802b2059e72ece8e718d439f85 RANDOM SEED=1136085588 node009.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.199 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.39 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.199 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1743996 kB Buffers: 60396 kB Cached: 174940 kB SwapCached: 6120 kB Active: 83296 kB Inactive: 164784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1743996 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 2048 kB Writeback: 0 kB AnonPages: 11136 kB Mapped: 13044 kB Slab: 45200 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181644 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62448 MiB End job on node009 at 2010-06-15 03:28:57