Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | OPT | 1228810444800 | 1169.32 | 1169.61 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-glass4.opb |
MD5SUM | 9d32bc57adc83bca41f939562e4ccfd8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1228810444800 |
Best CPU time to get the best result obtained on this benchmark | 24.7712 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1228810444800 |
Optimality of the best value was proved | YES |
Number of variables | 780 |
Total number of constraints | 405 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 101 |
Number of terms in the objective function | 478 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 1073761158741413 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 71583145981965762560 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 303620978593259231065 |
Number of bits of the biggest sum of numbers | 69 |
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.09/0.10 c constraints 401/0 clauses 0/0 units 4 0.09/0.10 c vars 780 0.09/0.10 c objective 478 + 0 2.79/2.80 c 2.67759 113.406 110 3698 2.79/2.80 o 536876253252047 2.99/3.00 c 2.87256 115.738 133 4343 2.99/3.00 o 402658540631419 3.29/3.40 c 3.2605 115.738 177 5505 3.29/3.40 o 297800765032471 3.69/3.73 c 3.59145 115.738 208 6313 3.69/3.73 o 291509259353598 3.79/3.89 c 3.74543 115.738 210 6695 3.79/3.89 o 289412074065312 3.99/4.04 c 3.89941 115.867 212 7060 3.99/4.04 o 288887815316728 4.19/4.24 c 4.09638 115.867 227 7452 4.19/4.24 o 288363515938833 4.39/4.45 c 4.30835 115.867 250 7852 4.39/4.45 o 288363506929085 4.69/4.76 c 4.6083 115.867 283 8354 4.69/4.76 o 288101365129301 5.09/5.10 c 4.94925 115.867 319 9215 5.09/5.10 o 288094742499952 5.19/5.27 c 5.11322 115.867 328 9571 5.19/5.27 o 288094723315322 5.49/5.55 c 5.39118 115.867 363 10007 5.49/5.55 o 287872020318533 5.69/5.73 c 5.57215 115.867 369 10378 5.69/5.73 o 287839252279802 5.89/5.94 c 5.78612 115.867 372 10896 5.89/5.94 o 287314954176648 6.09/6.10 c 5.9401 115.867 375 11232 6.09/6.10 o 287048722701148 6.19/6.25 c 6.08607 115.867 375 11576 6.19/6.25 o 287042067194082 6.29/6.40 c 6.23305 115.867 376 11885 6.29/6.40 o 287041682677761 6.50/6.54 c 6.38203 115.867 377 12214 6.50/6.54 o 287041534565052 6.69/6.71 c 6.546 115.867 387 12566 6.69/6.71 o 287041023810171 6.79/6.87 c 6.70698 115.867 391 12917 6.79/6.87 o 287040492952823 6.99/7.02 c 6.85596 115.867 391 13268 6.99/7.02 o 287040490962019 7.19/7.20 c 7.03493 115.867 393 13665 7.19/7.20 o 287040490940090 7.28/7.35 c 7.18291 115.867 393 13994 7.28/7.35 o 287040490421459 7.49/7.50 c 7.33389 115.867 395 14371 7.49/7.50 o 287020010894651 7.60/7.70 c 7.52785 115.867 421 14780 7.60/7.70 o 286907370104401 7.89/7.96 c 7.79082 115.996 433 15467 7.89/7.96 o 286493644879531 8.18/8.21 c 8.03678 115.996 472 16087 8.18/8.21 o 286462928796749 8.49/8.58 c 8.39872 115.996 543 16992 8.49/8.58 o 286047547808327 8.69/8.75 c 8.5617 115.996 545 17474 8.69/8.75 o 286047456814372 8.99/9.02 c 8.83166 115.996 576 18032 8.99/9.02 o 286039745439230 9.18/9.27 c 9.08462 115.996 591 18443 9.18/9.27 o 286037280721800 9.39/9.43 c 9.23559 115.996 593 18772 9.39/9.43 o 286037275855533 9.49/9.58 c 9.38457 115.996 593 19093 9.49/9.58 o 286037262663740 9.99/10.01 c 9.81051 115.996 686 19593 9.99/10.01 o 286037262586464 10.19/10.25 c 10.0455 116.125 712 20316 10.19/10.25 o 276828781434386 10.49/10.52 c 10.3144 116.125 737 20942 10.49/10.52 o 276828767860881 10.69/10.70 c 10.4934 116.125 744 21313 10.69/10.70 o 272634470724473 10.79/10.85 c 10.6434 116.125 746 21691 10.79/10.85 o 272634468293083 11.00/11.01 c 10.7944 116.125 748 22001 11.00/11.01 o 272634468118314 11.09/11.17 c 10.9573 116.125 755 22397 11.09/11.17 o 272634463876719 11.28/11.34 c 11.1273 116.125 758 22836 11.28/11.34 o 270537327126390 11.49/11.51 c 11.2873 116.125 759 23226 11.49/11.51 o 270537326742264 11.59/11.68 c 11.4593 116.125 768 23642 11.59/11.68 o 270537316243120 11.79/11.84 c 11.6192 116.125 770 24070 11.79/11.84 o 270537262865971 11.89/11.99 c 11.7722 116.125 771 24474 11.89/11.99 o 270537252886221 12.10/12.16 c 11.9382 116.125 773 24775 12.10/12.16 o 270537252886209 12.29/12.31 c 12.0892 116.125 773 25136 12.29/12.31 o 269496868229866 12.39/12.46 c 12.2401 116.125 773 25473 12.39/12.46 o 269496868228807 12.58/12.61 c 12.3881 116.125 773 25823 12.58/12.61 o 269496868212689 12.68/12.77 c 12.5421 116.125 774 26176 12.68/12.77 o 269496356225815 12.89/12.94 c 12.7051 116.125 775 26522 12.89/12.94 o 269486633137392 13.10/13.12 c 12.89 116.125 788 26904 13.10/13.12 o 269486473848751 16.19/16.28 c 16.0086 116.383 1521 28945 16.19/16.28 o 269482521087266 16.50/16.57 c 16.3005 116.383 1547 29560 16.50/16.57 o 269456046236446 16.79/16.84 c 16.5625 116.383 1592 30114 16.79/16.84 o 269357727707948 17.08/17.10 c 16.8194 116.383 1623 30753 17.08/17.10 o 269324973478732 17.29/17.39 c 17.1094 116.383 1704 31333 17.29/17.39 o 269304922032178 17.60/17.62 c 17.3384 116.383 1729 31667 17.60/17.62 o 269304512458505 18.09/18.15 c 17.8543 116.383 1807 32317 18.09/18.15 o 269304511563942 18.39/18.41 c 18.1192 116.383 1830 32865 18.39/18.41 o 269275875266284 18.49/18.59 c 18.2962 116.383 1838 33380 18.49/18.59 o 269226489115220 18.78/18.80 c 18.5052 116.383 1848 33890 18.78/18.80 o 269062645566152 19.29/19.38 c 19.0731 116.512 1961 34588 19.29/19.38 o 81790270876578 19.49/19.55 c 19.2421 116.512 1966 35000 19.49/19.55 o 81067350698523 19.69/19.72 c 19.412 116.512 1782 35434 19.69/19.72 o 81067343268035 19.79/19.87 c 19.559 116.512 1782 35812 19.79/19.87 o 81067342968390 20.08/20.13 c 19.823 116.512 1804 36328 20.08/20.13 o 81065301183634 20.29/20.33 c 20.018 116.512 1816 36882 20.29/20.33 o 16777263850111 20.39/20.48 c 20.1679 116.512 1819 37257 20.39/20.48 o 16777263828481 20.59/20.63 c 20.3139 116.512 1821 37616 20.59/20.63 o 16777263828323 20.99/21.05 c 20.7308 116.512 250 38192 20.99/21.05 o 16777263784870 21.29/21.33 c 21.0098 116.512 315 38864 21.29/21.33 o 6291482555726 21.69/21.75 c 21.4127 116.512 388 39570 21.69/21.75 o 4718611710196 21.89/21.91 c 21.5707 116.512 397 40011 21.89/21.91 o 4653079578822 22.38/22.41 c 22.0706 116.512 475 40482 22.38/22.41 o 4653075498952 22.58/22.60 c 22.2556 116.512 412 40816 22.58/22.60 o 4653075497140 22.68/22.74 c 22.3936 116.512 424 41149 22.68/22.75 o 2621459255542 22.89/22.97 c 22.6196 116.512 439 41529 22.89/22.97 o 2621458313520 23.10/23.10 c 22.7505 116.512 439 41790 23.10/23.10 o 2621458311565 23.19/23.24 c 22.8805 116.512 431 42069 23.19/23.24 o 2621458309980 23.38/23.43 c 23.0695 116.512 445 42382 23.38/23.43 o 2621458049363 23.79/23.86 c 23.4964 116.512 496 43205 23.79/23.86 o 2572305035082 25.48/25.58 c 25.2022 116.512 874 44897 25.48/25.58 o 2490258831387 25.69/25.71 c 25.3311 116.512 873 45129 25.69/25.71 o 2490258831374 25.79/25.86 c 25.4731 116.512 879 45424 25.79/25.86 o 2488339614909 25.98/26.04 c 25.6451 116.512 887 45720 25.98/26.04 o 2486819611724 26.40/26.47 c 26.075 116.512 986 46290 26.40/26.47 o 2486818874908 30.98/31.04 c 30.5784 116.641 2576 50471 30.98/31.04 o 2080784484042 31.68/31.77 c 31.3022 116.641 2871 51530 31.68/31.77 o 1933326436646 32.99/33.09 c 32.595 116.77 3350 53504 32.99/33.09 o 1830861442354 41.79/41.81 c 41.1937 117.801 6702 61760 41.79/41.81 o 1811469665605 41.98/42.06 c 41.4437 117.801 6739 62142 41.98/42.07 o 1810701658128 54.89/54.90 c 54.1088 118.961 11352 74583 54.89/54.90 o 1785869836464 75.97/76.02 c 74.9716 120.512 18027 90561 75.97/76.02 o 1775123257267 137.47/137.54 c 135.862 122.336 20096 123695 137.47/137.54 o 1771118551902 174.76/174.87 c 172.819 122.68 14660 140978 174.76/174.87 o 1768481979506 174.95/175.04 c 172.99 122.68 14671 141241 174.95/175.04 o 1768477977605 178.34/178.50 c 176.397 122.68 15860 143399 178.34/178.50 o 1765390898590 200.44/200.57 c 198.252 122.68 22486 155763 200.44/200.57 o 1763343881138 210.74/210.80 c 208.377 122.68 26132 164469 210.74/210.80 o 1763343081449 211.15/211.21 c 208.779 122.68 25507 165084 211.15/211.21 o 1763342388538 233.54/233.68 c 231.019 122.68 16990 177971 233.54/233.68 o 1751053113177 263.83/263.97 c 260.987 122.938 26778 198224 263.83/263.97 o 1748495608888 264.03/264.14 c 261.158 122.938 26790 198501 264.03/264.14 o 1748279851362 278.63/278.78 c 275.624 122.938 17158 207646 278.63/278.78 o 1747981045176 307.92/308.03 c 304.568 123.066 26723 225434 307.92/308.03 o 1747976416633 308.02/308.18 c 304.714 123.066 26724 225604 308.02/308.18 o 1747968416658 308.21/308.37 c 304.901 123.066 26738 225790 308.21/308.37 o 1747968347650 322.12/322.20 c 318.587 123.066 16121 234801 322.12/322.20 o 1572846451810 329.11/329.26 c 325.566 123.066 18620 240597 329.11/329.26 o 1569290254194 349.50/349.63 c 345.699 123.066 23243 254020 349.50/349.63 o 1569037737643 349.72/349.81 c 345.874 123.066 23246 254257 349.72/349.81 o 1569037681600 505.17/505.32 c 499.979 124.742 13110 316079 505.17/505.32 o 1568908270390 505.27/505.46 c 500.115 124.742 13113 316258 505.27/505.46 o 1568844319520 505.56/505.77 c 500.421 124.742 13151 316585 505.56/505.77 o 1568844316255 505.77/505.91 c 500.562 124.742 13155 316781 505.77/505.91 o 1568844315769 505.88/506.05 c 500.694 124.742 13157 316961 505.88/506.05 o 1568792307238 505.97/506.18 c 500.827 124.742 13158 317139 505.97/506.18 o 1568790348197 577.26/577.46 c 571.337 124.742 17195 354458 577.26/577.46 o 1568777726871 651.72/651.90 c 644.962 124.742 25328 397051 651.72/651.90 o 1557111297329 652.04/652.26 c 645.322 124.742 25370 397435 652.04/652.26 o 1557105448115 713.51/713.74 c 706.171 124.742 28841 431213 713.51/713.74 o 1557018206411 819.98/820.22 c 811.592 124.742 27808 484305 819.98/820.22 o 1557017289320 1084.92/1085.23 c 1073.83 124.742 17076 625749 1084.92/1085.23 o 1538060226112 1109.52/1109.83 c 1098.19 124.742 24143 637841 1109.52/1109.83 o 1538059835797 1113.71/1114.06 c 1102.39 124.742 24978 639961 1113.71/1114.06 o 1537034825668 1113.92/1114.27 c 1102.6 124.742 24995 640256 1113.92/1114.27 o 1298446750508 1114.11/1114.48 c 1102.81 124.742 25006 640576 1114.11/1114.49 o 1294858670793 1125.61/1125.90 c 1114.12 124.742 22675 645908 1125.61/1125.90 o 1277962813052 1125.71/1126.09 c 1114.31 124.742 18238 646136 1125.71/1126.09 o 1262600815640 1141.11/1141.43 c 1129.48 124.742 19700 652903 1141.11/1141.43 o 1257479803984 1141.21/1141.58 c 1129.62 124.742 19383 653050 1141.21/1141.58 o 1257479803860 1141.41/1141.77 c 1129.82 124.742 19391 653294 1141.41/1141.77 o 1256458785412 1141.61/1141.91 c 1129.96 124.742 19394 653495 1141.61/1141.91 o 1255690783951 1141.70/1142.07 c 1130.12 124.742 19399 653687 1141.70/1142.07 o 1255629787546 1141.90/1142.20 c 1130.25 124.742 19400 653850 1141.90/1142.20 o 1255562793888 1142.00/1142.34 c 1130.38 124.742 19402 654032 1142.00/1142.34 o 1255562790063 1142.10/1142.49 c 1130.52 124.742 19406 654198 1142.10/1142.49 o 1255562790061 1143.01/1143.33 c 1131.36 124.742 19523 654597 1143.01/1143.33 o 1235210518532 1143.10/1143.46 c 1131.5 124.742 19524 654782 1143.10/1143.46 o 1235210517673 1143.30/1143.60 c 1131.63 124.742 19535 654931 1143.30/1143.60 o 1234951519833 1143.40/1143.73 c 1131.76 124.742 19537 655087 1143.40/1143.73 o 1233674515593 1143.50/1143.86 c 1131.89 124.742 19537 655223 1143.50/1143.86 o 1233674514851 1143.61/1143.99 c 1132.02 124.742 19537 655375 1143.61/1143.99 o 1233450515013 1143.81/1144.12 c 1132.14 124.742 19537 655511 1143.81/1144.12 o 1233434515064 1143.91/1144.24 c 1132.27 124.742 19537 655638 1143.91/1144.24 o 1233430515960 1144.00/1144.37 c 1132.39 124.742 19537 655765 1144.00/1144.37 o 1233426514819 1144.20/1144.50 c 1132.52 124.742 19538 655892 1144.20/1144.50 o 1233422514815 1144.30/1144.69 c 1132.7 124.742 19544 656068 1144.30/1144.69 o 1233034514075 1144.51/1144.82 c 1132.84 124.742 19546 656188 1144.51/1144.82 o 1233034513941 1144.61/1144.97 c 1132.99 124.742 19555 656305 1144.61/1144.97 o 1233034513939 1148.80/1149.19 c 1137.17 124.742 20053 657973 1148.80/1149.19 o 1232138475270 1150.00/1150.37 c 1138.34 124.742 20273 658462 1150.00/1150.37 o 1232138467437 1150.21/1150.50 c 1138.47 124.742 20273 658581 1150.21/1150.50 o 1232138467196 1152.00/1152.37 c 1140.33 124.742 20586 659261 1152.00/1152.37 o 1232076472779 1153.41/1153.79 c 1141.73 124.742 20844 659791 1153.41/1153.79 o 1231619471934 1153.61/1153.92 c 1141.86 124.742 20846 659898 1153.61/1153.92 o 1231619471813 1153.70/1154.05 c 1141.99 124.742 20846 660022 1153.70/1154.05 o 1231618471803 1153.90/1154.20 c 1142.14 124.742 20850 660137 1153.90/1154.20 o 1231618471801 1154.00/1154.33 c 1142.27 124.742 20852 660242 1154.00/1154.33 o 1231618471800 1154.11/1154.48 c 1142.41 124.742 20854 660369 1154.11/1154.48 o 1231618471752 1154.31/1154.61 c 1142.54 124.742 20854 660488 1154.31/1154.61 o 1231618471726 1154.41/1154.73 c 1142.67 124.742 20854 660602 1154.41/1154.73 o 1231618471724 1154.51/1154.87 c 1142.8 124.742 20855 660719 1154.51/1154.87 o 1231618471722 1156.10/1156.41 c 1144.33 124.742 21133 661254 1156.10/1156.41 o 1231612469449 1156.20/1156.55 c 1144.47 124.742 21135 661374 1156.20/1156.55 o 1231611469463 1156.30/1156.69 c 1144.6 124.742 21136 661502 1156.30/1156.69 o 1231611469386 1156.60/1156.93 c 1144.84 124.742 21144 661708 1156.60/1156.93 o 1231610469414 1156.70/1157.08 c 1145 124.742 21148 661869 1156.70/1157.08 o 1231116467639 1156.91/1157.27 c 1145.18 124.742 21160 662011 1156.91/1157.27 o 1231116467637 1157.70/1158.05 c 1145.95 124.742 21298 662598 1157.70/1158.05 o 1229770449736 1157.80/1158.18 c 1146.08 124.742 21298 662730 1157.80/1158.18 o 1229770449688 1158.01/1158.32 c 1146.22 124.742 21299 662877 1158.01/1158.32 o 1229754449709 1160.00/1160.31 c 1148.19 124.742 21653 663566 1160.00/1160.31 o 1229718448577 1160.11/1160.44 c 1148.32 124.742 21653 663710 1160.11/1160.44 o 1229718448561 1161.10/1161.47 c 1149.34 124.742 21807 664170 1161.10/1161.47 o 1229714447839 1161.20/1161.60 c 1149.47 124.742 21808 664272 1161.20/1161.60 o 1229714447832 1161.60/1161.92 c 1149.79 124.742 21845 664490 1161.60/1161.92 o 1228874445328 1161.80/1162.15 c 1150.02 124.742 21859 664626 1161.80/1162.15 o 1228873445458 1162.00/1162.34 c 1150.21 124.742 21866 664817 1162.00/1162.34 o 1228846445259 1162.20/1162.50 c 1150.38 124.742 21869 664888 1162.20/1162.50 o 1228843445259 1162.31/1162.69 c 1150.55 124.742 21878 664968 1162.31/1162.69 o 1228842445266 1162.70/1163.01 c 1150.88 124.742 21931 665161 1162.70/1163.01 o 1228842445264 1163.90/1164.28 c 1152.14 124.742 22133 665693 1163.90/1164.28 o 1228839445245 1164.10/1164.42 c 1152.27 124.742 22134 665760 1164.10/1164.42 o 1228838445242 1164.20/1164.55 c 1152.41 124.742 22136 665822 1164.20/1164.55 o 1228838445239 1164.40/1164.70 c 1152.56 124.742 22139 665892 1164.40/1164.70 o 1228838445238 1164.80/1165.11 c 1152.96 124.742 22185 666017 1164.80/1165.11 o 1228838445234 1164.90/1165.25 c 1153.11 124.742 22188 666082 1164.90/1165.25 o 1228837445230 1165.10/1165.47 c 1153.32 124.742 22209 666173 1165.10/1165.47 o 1228836445047 1165.60/1165.94 c 1153.79 124.742 22275 666336 1165.60/1165.94 o 1228834445096 1166.00/1166.35 c 1154.19 124.742 22303 666485 1166.00/1166.35 o 1228834445033 1166.20/1166.56 c 1154.4 124.742 22325 666564 1166.20/1166.56 o 1228834445032 1166.60/1166.90 c 1154.73 124.742 22355 666742 1166.60/1166.90 o 1228816444888 1166.80/1167.16 c 1154.99 124.742 22365 666801 1166.80/1167.16 o 1228816444876 1167.00/1167.31 c 1155.14 124.742 22367 666858 1167.00/1167.31 o 1228815444864 1167.10/1167.44 c 1155.27 124.742 22368 666901 1167.10/1167.44 o 1228815444863 1167.20/1167.57 c 1155.4 124.742 22369 666945 1167.20/1167.57 o 1228815444855 1167.40/1167.73 c 1155.57 124.742 22374 667008 1167.40/1167.73 o 1228814444860 1167.60/1167.96 c 1155.79 124.742 22387 667143 1167.60/1167.96 o 1228813444808 1167.81/1168.14 c 1155.97 124.742 22393 667203 1167.81/1168.14 o 1228812444806 1167.91/1168.29 c 1156.12 124.742 22395 667249 1167.91/1168.29 o 1228812444805 1168.10/1168.42 c 1156.25 124.742 22395 667291 1168.10/1168.42 o 1228812444803 1168.20/1168.54 c 1156.37 124.742 22396 667334 1168.20/1168.55 o 1228811444803 1168.40/1168.79 c 1156.62 124.742 22401 667400 1168.40/1168.79 o 1228810444800 1168.70/1169.04 c 1156.86 124.742 22404 667409 1168.70/1169.04 s OPTIMUM FOUND 1168.70/1169.04 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 x16 -x17 x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 x75 x76 -x77 x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 x284 x285 x286 -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 x414 -x415 x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 x433 -x434 x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 x475 x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780
OK 1228810444800
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668713-1276535204/watcher-2668713-1276535204 -o /tmp/evaluation-result-2668713-1276535204/solver-2668713-1276535204 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668713-1276535204.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.59 1.22 1.21 3/106 29937 /proc/meminfo: memFree=1826548/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=2340 CPUtime=0 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 289 0 0 0 0 0 0 0 18 0 1 0 29124263 2396160 211 1992294400 134512640 136485738 4287617040 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29937/statm: 585 212 156 482 0 101 0 [startup+0.0784409 s] /proc/loadavg: 1.59 1.22 1.21 3/106 29937 /proc/meminfo: memFree=1826548/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=3792 CPUtime=0.07 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 675 0 0 0 7 0 0 0 20 0 1 0 29124263 3883008 597 1992294400 134512640 136485738 4287617040 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29937/statm: 948 597 157 482 0 464 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3792 [startup+0.101443 s] /proc/loadavg: 1.59 1.22 1.21 3/106 29937 /proc/meminfo: memFree=1826548/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=4320 CPUtime=0.09 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 801 0 0 0 9 0 0 0 20 0 1 0 29124263 4423680 723 1992294400 134512640 136485738 4287617040 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29937/statm: 1080 723 157 482 0 596 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4320 [startup+0.301461 s] /proc/loadavg: 1.59 1.22 1.21 3/106 29937 /proc/meminfo: memFree=1826548/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=17036 CPUtime=0.29 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 3932 0 0 0 28 1 0 0 20 0 1 0 29124263 17444864 3821 1992294400 134512640 136485738 4287617040 18446744073709551615 135849989 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 4259 3821 197 482 0 3775 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17036 [startup+0.7015 s] /proc/loadavg: 1.59 1.22 1.21 3/106 29937 /proc/meminfo: memFree=1826548/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=38100 CPUtime=0.69 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 9550 0 0 0 66 3 0 0 20 0 1 0 29124263 39014400 9033 1992294400 134512640 136485738 4287617040 18446744073709551615 134802740 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 9525 9034 197 482 0 9041 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38100 [startup+1.50157 s] /proc/loadavg: 1.54 1.21 1.21 2/107 29938 /proc/meminfo: memFree=1775576/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=103796 CPUtime=1.49 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 26939 0 0 0 139 10 0 0 23 0 1 0 29124263 106287104 24983 1992294400 134512640 136485738 4287617040 18446744073709551615 134875426 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 25949 24983 210 482 0 25465 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 103796 [startup+3.10073 s] /proc/loadavg: 1.54 1.21 1.21 2/107 29938 /proc/meminfo: memFree=1715932/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=118512 CPUtime=3.09 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 30570 0 0 0 296 13 0 0 25 0 1 0 29124263 121356288 28012 1992294400 134512640 136485738 4287617040 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 29628 28012 246 482 0 29144 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 118512 [startup+6.30103 s] /proc/loadavg: 1.54 1.21 1.21 2/107 29938 /proc/meminfo: memFree=1714196/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=118644 CPUtime=6.29 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 30608 0 0 0 613 16 0 0 25 0 1 0 29124263 121491456 28036 1992294400 134512640 136485738 4287617040 18446744073709551615 135179602 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 29661 28036 246 482 0 29177 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 118644 [startup+12.7006 s] /proc/loadavg: 1.46 1.20 1.20 2/107 29938 /proc/meminfo: memFree=1714072/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=118908 CPUtime=12.68 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 30704 0 0 0 1246 22 0 0 25 0 1 0 29124263 121761792 28099 1992294400 134512640 136485738 4287617040 18446744073709551615 135046990 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 29727 28099 246 482 0 29243 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 118908 [startup+25.5009 s] /proc/loadavg: 1.39 1.20 1.20 2/107 29940 /proc/meminfo: memFree=1714072/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=119304 CPUtime=25.48 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 30826 0 0 0 2511 37 0 0 25 0 1 0 29124263 122167296 28188 1992294400 134512640 136485738 4287617040 18446744073709551615 135291156 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 29826 28188 246 482 0 29342 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 119304 [startup+51.1013 s] /proc/loadavg: 1.25 1.18 1.19 2/107 29940 /proc/meminfo: memFree=1711964/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=121152 CPUtime=51.07 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 31321 0 0 0 5035 72 0 0 25 0 1 0 29124263 124059648 28673 1992294400 134512640 136485738 4287617040 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 30288 28673 246 482 0 29804 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 121152 [startup+102.309 s] /proc/loadavg: 1.10 1.15 1.18 2/107 29942 /proc/meminfo: memFree=1708368/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=124740 CPUtime=102.28 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32204 0 0 0 10101 127 0 0 25 0 1 0 29124263 127733760 29554 1992294400 134512640 136485738 4287617040 18446744073709551615 134880448 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31185 29554 246 482 0 30701 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 124740 [startup+162.301 s] /proc/loadavg: 1.03 1.12 1.17 2/107 29942 /proc/meminfo: memFree=1707500/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=125620 CPUtime=162.25 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32402 0 0 0 16035 190 0 0 25 0 1 0 29124263 128634880 29751 1992294400 134512640 136485738 4287617040 18446744073709551615 135848665 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31405 29751 246 482 0 30921 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 125620 [startup+222.302 s] /proc/loadavg: 1.01 1.09 1.15 2/107 29944 /proc/meminfo: memFree=1707376/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=125620 CPUtime=222.23 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32422 0 0 0 21976 247 0 0 25 0 1 0 29124263 128634880 29765 1992294400 134512640 136485738 4287617040 18446744073709551615 135293384 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31405 29765 246 482 0 30921 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 125620 [startup+282.301 s] /proc/loadavg: 1.00 1.07 1.14 2/107 29946 /proc/meminfo: memFree=1707004/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=125884 CPUtime=282.22 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32500 0 0 0 27909 313 0 0 25 0 1 0 29124263 128905216 29839 1992294400 134512640 136485738 4287617040 18446744073709551615 134992433 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31471 29839 246 482 0 30987 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 125884 [startup+342.301 s] /proc/loadavg: 1.00 1.06 1.13 2/107 29948 /proc/meminfo: memFree=1706880/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=126016 CPUtime=342.21 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32526 0 0 0 33845 376 0 0 25 0 1 0 29124263 129040384 29860 1992294400 134512640 136485738 4287617040 18446744073709551615 134880498 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31504 29860 246 482 0 31020 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 126016 [startup+402.302 s] /proc/loadavg: 1.00 1.05 1.12 2/107 29950 /proc/meminfo: memFree=1706756/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=126016 CPUtime=402.19 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32528 0 0 0 39782 437 0 0 25 0 1 0 29124263 129040384 29860 1992294400 134512640 136485738 4287617040 18446744073709551615 135050697 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31504 29860 246 482 0 31020 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 126016 [startup+462.301 s] /proc/loadavg: 1.00 1.03 1.11 2/107 29953 /proc/meminfo: memFree=1706012/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=126280 CPUtime=462.18 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32589 0 0 0 45724 494 0 0 25 0 1 0 29124263 129310720 29921 1992294400 134512640 136485738 4287617040 18446744073709551615 135044875 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31570 29921 246 482 0 31086 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 126280 [startup+522.301 s] /proc/loadavg: 1.00 1.03 1.10 2/107 29955 /proc/meminfo: memFree=1704524/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=522.16 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32975 0 0 0 51677 539 0 0 25 0 1 0 29124263 130797568 30301 1992294400 134512640 136485738 4287617040 18446744073709551615 135256102 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30301 246 482 0 31449 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 127732 [startup+582.302 s] /proc/loadavg: 1.00 1.02 1.09 2/107 29957 /proc/meminfo: memFree=1704524/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=582.14 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32980 0 0 0 57612 602 0 0 25 0 1 0 29124263 130797568 30305 1992294400 134512640 136485738 4287617040 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30305 246 482 0 31449 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 127732 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.08 2/107 29959 /proc/meminfo: memFree=1704524/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=642.14 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32980 0 0 0 63546 668 0 0 25 0 1 0 29124263 130797568 30305 1992294400 134512640 136485738 4287617040 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30305 246 482 0 31449 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 127732 [startup+702.301 s] /proc/loadavg: 1.00 1.01 1.08 2/107 29961 /proc/meminfo: memFree=1704524/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=702.12 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32982 0 0 0 69485 727 0 0 25 0 1 0 29124263 130797568 30305 1992294400 134512640 136485738 4287617040 18446744073709551615 135839892 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30305 246 482 0 31449 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 127732 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.07 2/107 29961 /proc/meminfo: memFree=1704524/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=762.11 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32983 0 0 0 75427 784 0 0 25 0 1 0 29124263 130797568 30305 1992294400 134512640 136485738 4287617040 18446744073709551615 135260401 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30305 246 482 0 31449 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 127732 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.06 2/107 29963 /proc/meminfo: memFree=1704524/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=822.08 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32984 0 0 0 81364 844 0 0 25 0 1 0 29124263 130797568 30305 1992294400 134512640 136485738 4287617040 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30305 246 482 0 31449 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 127732 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.06 2/107 29965 /proc/meminfo: memFree=1704524/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=882.07 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32984 0 0 0 87302 905 0 0 25 0 1 0 29124263 130797568 30305 1992294400 134512640 136485738 4287617040 18446744073709551615 135293365 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30305 246 482 0 31449 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 127732 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.05 2/107 29967 /proc/meminfo: memFree=1704400/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=942.05 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32984 0 0 0 93239 966 0 0 25 0 1 0 29124263 130797568 30305 1992294400 134512640 136485738 4287617040 18446744073709551615 135179167 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30305 246 482 0 31449 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 127732 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.05 2/107 29969 /proc/meminfo: memFree=1704400/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=1002.04 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32984 0 0 0 99175 1029 0 0 25 0 1 0 29124263 130797568 30305 1992294400 134512640 136485738 4287617040 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30305 246 482 0 31449 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 127732 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 29969 /proc/meminfo: memFree=1704276/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=1062.03 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32984 0 0 0 105113 1090 0 0 25 0 1 0 29124263 130797568 30305 1992294400 134512640 136485738 4287617040 18446744073709551615 135047563 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30305 246 482 0 31449 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 127732 [startup+1122.3 s] /proc/loadavg: 1.07 1.02 1.04 2/107 29971 /proc/meminfo: memFree=1704276/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=1122.01 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32989 0 0 0 111055 1146 0 0 25 0 1 0 29124263 130797568 30305 1992294400 134512640 136485738 4287617040 18446744073709551615 135860656 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30305 246 482 0 31449 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 127732 Solver just ended. Dumping a history of the last processes samples [startup+1126.3 s] /proc/loadavg: 1.06 1.02 1.04 2/107 29971 /proc/meminfo: memFree=1704152/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=1126.02 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 32998 0 0 0 111451 1151 0 0 25 0 1 0 29124263 130797568 30312 1992294400 134512640 136485738 4287617040 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30312 246 482 0 31449 0 Current children cumulated CPU time (s) 1126.02 Current children cumulated vsize (KiB) 127732 [startup+1151.9 s] /proc/loadavg: 1.04 1.01 1.04 2/107 29973 /proc/meminfo: memFree=1704152/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=1151.6 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 33024 0 0 0 113985 1175 0 0 25 0 1 0 29124263 130797568 30314 1992294400 134512640 136485738 4287617040 18446744073709551615 135173241 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30314 246 482 0 31449 0 Current children cumulated CPU time (s) 1151.6 Current children cumulated vsize (KiB) 127732 [startup+1158.31 s] /proc/loadavg: 1.04 1.01 1.04 2/107 29973 /proc/meminfo: memFree=1704152/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=1158.01 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 33042 0 0 0 114620 1181 0 0 25 0 1 0 29124263 130797568 30314 1992294400 134512640 136485738 4287617040 18446744073709551615 134913870 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30314 246 482 0 31449 0 Current children cumulated CPU time (s) 1158.01 Current children cumulated vsize (KiB) 127732 [startup+1164.7 s] /proc/loadavg: 1.03 1.01 1.04 2/107 29973 /proc/meminfo: memFree=1704152/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=1164.4 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 33056 0 0 0 115255 1185 0 0 25 0 1 0 29124263 130797568 30314 1992294400 134512640 136485738 4287617040 18446744073709551615 135044875 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30314 246 482 0 31449 0 Current children cumulated CPU time (s) 1164.4 Current children cumulated vsize (KiB) 127732 [startup+1167.9 s] /proc/loadavg: 1.11 1.03 1.04 2/107 29973 /proc/meminfo: memFree=1704152/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=1167.6 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 33069 0 0 0 115572 1188 0 0 25 0 1 0 29124263 130797568 30314 1992294400 134512640 136485738 4287617040 18446744073709551615 135725429 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30314 246 482 0 31449 0 Current children cumulated CPU time (s) 1167.6 Current children cumulated vsize (KiB) 127732 [startup+1168.7 s] /proc/loadavg: 1.11 1.03 1.04 2/107 29973 /proc/meminfo: memFree=1704152/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=127732 CPUtime=1168.4 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 33075 0 0 0 115652 1188 0 0 25 0 1 0 29124263 130797568 30315 1992294400 134512640 136485738 4287617040 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 31933 30315 246 482 0 31449 0 Current children cumulated CPU time (s) 1168.4 Current children cumulated vsize (KiB) 127732 [startup+1169.1 s] /proc/loadavg: 1.11 1.03 1.04 2/107 29973 /proc/meminfo: memFree=1704152/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=123840 CPUtime=1168.8 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 33081 0 0 0 115692 1188 0 0 25 0 1 0 29124263 126812160 29662 1992294400 134512640 136485738 4287617040 18446744073709551615 135856849 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 30960 29662 250 482 0 30476 0 Current children cumulated CPU time (s) 1168.8 Current children cumulated vsize (KiB) 123840 [startup+1169.5 s] /proc/loadavg: 1.11 1.03 1.04 2/107 29973 /proc/meminfo: memFree=1708244/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=117700 CPUtime=1169.2 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202496 33081 0 0 0 115732 1188 0 0 25 0 1 0 29124263 120524800 28389 1992294400 134512640 136485738 4287617040 18446744073709551615 135839991 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29937/statm: 29425 28389 250 482 0 28941 0 Current children cumulated CPU time (s) 1169.2 Current children cumulated vsize (KiB) 117700 [startup+1169.6 s] /proc/loadavg: 1.11 1.03 1.04 2/107 29973 /proc/meminfo: memFree=1708244/2059040 swapFree=4140388/4192956 [pid=29937] ppid=29935 vsize=0 CPUtime=1169.3 /proc/29937/stat : 29937 (pbct) R 29935 29937 29679 0 -1 4202500 33082 0 0 0 115742 1188 0 0 25 0 1 0 29124263 0 0 1992294400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/29937/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1169.3 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1169.61 CPU time (s): 1169.32 CPU user time (s): 1157.42 CPU system time (s): 11.9002 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 127732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1157.42 system time used= 11.9002 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33082 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= 3809 runsolver used 2.00869 second user time and 5.45717 second system time The end
Begin job on node004 at 2010-06-14 19:06:44 IDJOB=2668713 IDBENCH=2347 IDSOLVER=1170 FILE ID=node004/2668713-1276535204 PBS_JOBID= 11173462 Free space on /tmp= 62548 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668713-1276535204/watcher-2668713-1276535204 -o /tmp/evaluation-result-2668713-1276535204/solver-2668713-1276535204 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668713-1276535204.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9d32bc57adc83bca41f939562e4ccfd8 RANDOM SEED=362365234 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1827076 kB Buffers: 41608 kB Cached: 110052 kB SwapCached: 5996 kB Active: 79992 kB Inactive: 84568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1827076 kB SwapTotal: 4192956 kB SwapFree: 4140388 kB Dirty: 2568 kB Writeback: 8 kB AnonPages: 11316 kB Mapped: 13008 kB Slab: 45732 kB PageTables: 3952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180736 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= 62548 MiB End job on node004 at 2010-06-14 19:26:14