Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1681.07 | 1681.48 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb |
MD5SUM | 2fd45123d8e20b24379108257151f007 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 515 |
Best CPU time to get the best result obtained on this benchmark | 1802.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 414 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 488873 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 488873 |
Number of bits of the biggest sum of numbers | 19 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655943-1276385202.opb. 0.00/0.00 c Instance file HOME/instance-2655943-1276385202.opb 0.00/0.00 c File size is 17233614 bytes. 2.60/2.64 c Highest Coefficient sum: 101 2.60/2.65 c ============================[ Problem Statistics ]============================= 2.60/2.65 c | | 2.60/2.65 c | Parsing time: 2.61 s | 2.60/2.65 c | Number Variables: 10000 | 2.60/2.65 c | Number Clauses: 656900 | 2.60/2.65 c | Number Cardinality: 0 | 2.60/2.65 c | Number PB Constraints: 0 | 6.09/6.13 c ============================[ Search Statistics ]============================== 6.09/6.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.13 c =============================================================================== 6.09/6.14 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.19/6.21 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.29/6.34 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.60/6.64 c =============================================================================== 6.60/6.64 c New solution: 7002 6.60/6.64 o 7002 6.60/6.64 c Elapsed CPU time: 6.53401 s Remaining CPU time: 173.466 s 6.60/6.64 c =============================================================================== 6.60/6.64 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.89/6.94 c =============================================================================== 6.89/6.94 c New solution: 6281 6.89/6.94 o 6281 6.89/6.94 c Elapsed CPU time: 6.82496 s Remaining CPU time: 173.175 s 6.89/6.94 c =============================================================================== 6.89/6.94 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 7.18/7.24 c =============================================================================== 7.18/7.24 c New solution: 6274 7.18/7.24 o 6274 7.18/7.24 c Elapsed CPU time: 7.12392 s Remaining CPU time: 172.876 s 7.18/7.24 c =============================================================================== 7.18/7.24 c | 309 | 10000 656903 1363400 | 218967 309 1187 | 0.000 % | 7.49/7.54 c =============================================================================== 7.49/7.54 c New solution: 6268 7.49/7.54 o 6268 7.49/7.54 c Elapsed CPU time: 7.41887 s Remaining CPU time: 172.581 s 7.49/7.54 c =============================================================================== 7.49/7.54 c | 321 | 10000 656904 1373400 | 218968 321 1172 | 0.000 % | 7.79/7.84 c =============================================================================== 7.79/7.84 c New solution: 6163 7.79/7.84 o 6163 7.79/7.84 c Elapsed CPU time: 7.71283 s Remaining CPU time: 172.287 s 7.79/7.84 c =============================================================================== 7.79/7.84 c | 327 | 10000 656905 1383400 | 218968 327 1157 | 0.000 % | 7.89/7.96 c | 427 | 10000 656905 1383400 | 240865 427 1067 | 0.000 % | 8.09/8.10 c | 581 | 10000 656905 1383400 | 264951 581 1229 | 0.000 % | 8.19/8.27 c | 807 | 10000 656905 1383400 | 291446 807 1258 | 0.000 % | 8.49/8.59 c | 1144 | 10000 656905 1383400 | 320591 1144 1120 | 0.000 % | 9.09/9.15 c | 1650 | 10000 656905 1383400 | 352650 1650 1026 | 0.000 % | 9.79/9.82 c | 2410 | 10000 656905 1383400 | 387915 2410 849 | 0.000 % | 10.48/10.53 c =============================================================================== 10.48/10.53 c New solution: 6141 10.48/10.53 o 6141 10.48/10.53 c Elapsed CPU time: 10.3784 s Remaining CPU time: 169.622 s 10.48/10.53 c =============================================================================== 10.48/10.53 c | 2757 | 10000 656906 1393400 | 218968 2757 851 | 0.000 % | 10.59/10.68 c | 2858 | 10000 656906 1393400 | 240865 2858 845 | 0.000 % | 10.90/10.93 c | 3009 | 10000 656906 1393400 | 264952 3009 842 | 0.000 % | 11.39/11.46 c =============================================================================== 11.39/11.46 c New solution: 6140 11.39/11.46 o 6140 11.39/11.46 c Elapsed CPU time: 11.3053 s Remaining CPU time: 168.695 s 11.39/11.46 c =============================================================================== 11.39/11.46 c | 3223 | 10000 656907 1403400 | 218969 3223 835 | 0.000 % | 11.79/11.81 c =============================================================================== 11.79/11.81 c New solution: 6122 11.79/11.81 o 6122 11.79/11.81 c Elapsed CPU time: 11.6482 s Remaining CPU time: 168.352 s 11.79/11.81 c =============================================================================== 11.79/11.81 c | 3279 | 10000 656908 1413400 | 218969 3279 840 | 0.000 % | 11.89/11.94 c | 3381 | 10000 656908 1413400 | 240866 3381 840 | 0.000 % | 12.10/12.18 c | 3532 | 10000 656908 1413400 | 264952 3532 838 | 0.000 % | 12.49/12.51 c | 3760 | 10000 656908 1413400 | 291448 3760 853 | 0.000 % | 12.88/12.92 c | 4097 | 10000 656908 1413400 | 320593 4097 857 | 0.000 % | 13.59/13.60 c | 4605 | 10000 656908 1413400 | 352652 4605 833 | 0.000 % | 14.59/14.66 c | 5364 | 10000 656908 1413400 | 387917 5364 814 | 0.000 % | 16.08/16.19 c | 6503 | 10000 656908 1413400 | 426709 6503 790 | 0.000 % | 16.50/16.50 c =============================================================================== 16.50/16.50 c New solution: 6117 16.50/16.50 o 6117 16.50/16.50 c Elapsed CPU time: 16.3125 s Remaining CPU time: 163.687 s 16.50/16.50 c =============================================================================== 16.50/16.50 c | 6508 | 10000 656909 1423400 | 218969 6508 789 | 0.000 % | 16.79/16.81 c =============================================================================== 16.79/16.81 c New solution: 6116 16.79/16.81 o 6116 16.79/16.81 c Elapsed CPU time: 16.6115 s Remaining CPU time: 163.389 s 16.79/16.81 c =============================================================================== 16.79/16.81 c | 6509 | 10000 656910 1433400 | 218970 6509 789 | 0.000 % | 17.18/17.21 c =============================================================================== 17.18/17.21 c New solution: 6115 17.18/17.21 o 6115 17.18/17.21 c Elapsed CPU time: 17.0144 s Remaining CPU time: 162.986 s 17.18/17.21 c =============================================================================== 17.18/17.21 c | 6578 | 10000 656911 1443400 | 218970 6578 789 | 0.000 % | 17.50/17.51 c =============================================================================== 17.50/17.51 c New solution: 6111 17.50/17.51 o 6111 17.50/17.51 c Elapsed CPU time: 17.3144 s Remaining CPU time: 162.686 s 17.50/17.51 c =============================================================================== 17.50/17.51 c | 6579 | 10000 656912 1453400 | 218970 6579 788 | 0.000 % | 17.79/17.86 c =============================================================================== 17.79/17.86 c New solution: 6075 17.79/17.86 o 6075 17.79/17.86 c Elapsed CPU time: 17.6563 s Remaining CPU time: 162.344 s 17.79/17.86 c =============================================================================== 17.79/17.86 c | 6602 | 10000 656913 1463400 | 218971 6602 788 | 0.000 % | 18.09/18.18 c =============================================================================== 18.09/18.18 c New solution: 6048 18.09/18.18 o 6048 18.09/18.18 c Elapsed CPU time: 17.9773 s Remaining CPU time: 162.023 s 18.09/18.18 c =============================================================================== 18.09/18.18 c | 6620 | 10000 656914 1473400 | 218971 6620 788 | 0.000 % | 18.48/18.51 c =============================================================================== 18.48/18.51 c New solution: 6018 18.48/18.51 o 6018 18.48/18.51 c Elapsed CPU time: 18.2982 s Remaining CPU time: 161.702 s 18.48/18.51 c =============================================================================== 18.48/18.51 c | 6636 | 10000 656915 1483400 | 218971 6636 788 | 0.000 % | 18.60/18.61 c | 6739 | 10000 656915 1483400 | 240868 6739 795 | 0.000 % | 18.79/18.80 c | 6890 | 10000 656915 1483400 | 264955 6890 813 | 0.000 % | 19.09/19.11 c =============================================================================== 19.09/19.11 c New solution: 5947 19.09/19.11 o 5947 19.09/19.11 c Elapsed CPU time: 18.8901 s Remaining CPU time: 161.11 s 19.09/19.11 c =============================================================================== 19.09/19.11 c | 6898 | 10000 656916 1493400 | 218972 6898 813 | 0.000 % | 19.48/19.59 c =============================================================================== 19.48/19.59 c New solution: 5946 19.48/19.59 o 5946 19.48/19.59 c Elapsed CPU time: 19.3741 s Remaining CPU time: 160.626 s 19.48/19.59 c =============================================================================== 19.48/19.59 c | 6983 | 10000 656917 1503400 | 218972 6983 811 | 0.000 % | 19.70/19.73 c | 7084 | 10000 656917 1503400 | 240869 7084 822 | 0.000 % | 19.89/19.96 c | 7234 | 10000 656917 1503400 | 264956 7234 834 | 0.000 % | 20.29/20.33 c | 7459 | 10000 656917 1503400 | 291452 7459 856 | 0.000 % | 20.89/20.91 c | 7797 | 10000 656917 1503400 | 320597 7797 875 | 0.000 % | 21.69/21.76 c | 8303 | 10000 656917 1503400 | 352657 8303 912 | 0.000 % | 22.09/22.18 c =============================================================================== 22.09/22.18 c New solution: 5943 22.09/22.18 o 5943 22.09/22.18 c Elapsed CPU time: 21.9377 s Remaining CPU time: 158.062 s 22.09/22.18 c =============================================================================== 22.09/22.18 c | 8367 | 10000 656918 1513400 | 218972 8367 910 | 0.000 % | 22.28/22.32 c | 8469 | 10000 656918 1513400 | 240869 8469 916 | 0.000 % | 22.59/22.64 c =============================================================================== 22.59/22.64 c New solution: 5590 22.59/22.64 o 5590 22.59/22.64 c Elapsed CPU time: 22.3886 s Remaining CPU time: 157.611 s 22.59/22.64 c =============================================================================== 22.59/22.64 c | 8474 | 10000 656919 1523400 | 218973 8474 916 | 0.000 % | 22.78/22.82 c | 8574 | 10000 656919 1523400 | 240870 8574 915 | 0.000 % | 23.10/23.14 c | 8724 | 10000 656919 1523400 | 264957 8724 911 | 0.000 % | 23.38/23.49 c | 8949 | 10000 656919 1523400 | 291453 8949 904 | 0.000 % | 24.19/24.25 c | 9288 | 10000 656919 1523400 | 320598 9288 892 | 0.000 % | 24.88/24.98 c | 9794 | 10000 656919 1523400 | 352658 9794 872 | 0.000 % | 26.78/26.88 c | 10554 | 10000 656919 1523400 | 387924 10554 855 | 0.000 % | 28.98/29.09 c | 11695 | 10000 656919 1523400 | 426716 11695 836 | 0.000 % | 33.09/33.10 c | 13404 | 10000 656919 1523400 | 469388 13404 814 | 0.000 % | 37.89/37.91 c | 15967 | 10000 656919 1523400 | 516326 15967 788 | 0.000 % | 38.18/38.21 c =============================================================================== 38.18/38.21 c New solution: 5536 38.18/38.21 o 5536 38.18/38.21 c Elapsed CPU time: 37.8732 s Remaining CPU time: 142.127 s 38.18/38.21 c =============================================================================== 38.18/38.21 c | 15967 | 10000 656920 1533400 | 218973 15967 788 | 0.000 % | 38.69/38.76 c =============================================================================== 38.69/38.76 c New solution: 5534 38.69/38.76 o 5534 38.69/38.76 c Elapsed CPU time: 38.4112 s Remaining CPU time: 141.589 s 38.69/38.76 c =============================================================================== 38.69/38.76 c | 16052 | 10000 656921 1543400 | 218973 16052 787 | 0.000 % | 38.98/39.03 c | 16152 | 10000 656921 1543400 | 240871 16152 787 | 0.000 % | 39.18/39.26 c | 16302 | 10000 656921 1543400 | 264958 16302 784 | 0.000 % | 39.59/39.68 c | 16528 | 10000 656921 1543400 | 291453 16528 779 | 0.000 % | 40.19/40.29 c | 16865 | 10000 656921 1543400 | 320599 16865 788 | 0.000 % | 41.18/41.27 c | 17371 | 10000 656921 1543400 | 352659 17371 793 | 0.000 % | 42.89/42.96 c | 18130 | 10000 656921 1543400 | 387925 18130 788 | 0.000 % | 45.58/45.66 c | 19269 | 10000 656921 1543400 | 426717 19269 769 | 0.000 % | 49.67/49.78 c | 20977 | 10000 656921 1543400 | 469389 20977 756 | 0.000 % | 53.48/53.56 c | 23540 | 10000 656921 1543400 | 516328 23540 732 | 0.000 % | 61.68/61.71 c | 27384 | 10000 656921 1543400 | 567961 27384 732 | 0.000 % | 71.77/71.82 c | 33150 | 10000 656921 1543400 | 624757 33150 734 | 0.000 % | 72.17/72.25 c =============================================================================== 72.17/72.25 c New solution: 5533 72.17/72.25 o 5533 72.17/72.25 c Elapsed CPU time: 71.7291 s Remaining CPU time: 108.271 s 72.17/72.25 c =============================================================================== 72.17/72.25 c | 33177 | 10000 656922 1553400 | 218974 33177 734 | 0.000 % | 72.67/72.76 c =============================================================================== 72.67/72.76 c New solution: 5523 72.67/72.76 o 5523 72.67/72.76 c Elapsed CPU time: 72.241 s Remaining CPU time: 107.759 s 72.67/72.76 c =============================================================================== 72.67/72.76 c | 33245 | 10000 656923 1563400 | 218974 33245 733 | 0.000 % | 72.97/73.08 c | 33346 | 10000 656923 1563400 | 240871 33346 733 | 0.000 % | 73.37/73.41 c | 33496 | 10000 656923 1563400 | 264958 33496 732 | 0.000 % | 74.07/74.16 c | 33721 | 10000 656923 1563400 | 291454 33721 730 | 0.000 % | 74.88/74.94 c | 34058 | 10000 656923 1563400 | 320600 34058 730 | 0.000 % | 76.27/76.32 c | 34564 | 10000 656923 1563400 | 352660 34564 727 | 0.000 % | 77.88/77.93 c | 35324 | 10000 656923 1563400 | 387926 35324 725 | 0.000 % | 81.57/81.63 c | 36465 | 10000 656923 1563400 | 426719 36465 725 | 0.000 % | 84.97/85.09 c | 38174 | 10000 656923 1563400 | 469390 38174 722 | 0.000 % | 91.18/91.26 c | 40737 | 10000 656923 1563400 | 516330 40737 734 | 0.000 % | 94.16/94.23 c =============================================================================== 94.16/94.23 c New solution: 5515 94.16/94.23 o 5515 94.16/94.23 c Elapsed CPU time: 93.5988 s Remaining CPU time: 86.4012 s 94.16/94.23 c =============================================================================== 94.16/94.23 c | 41753 | 10000 656924 1573400 | 218974 41753 732 | 0.000 % | 94.58/94.61 c | 41853 | 10000 656924 1573400 | 240872 41853 731 | 0.000 % | 94.87/94.95 c | 42003 | 10000 656924 1573400 | 264959 42003 731 | 0.000 % | 95.37/95.49 c | 42229 | 10000 656924 1573400 | 291455 42229 731 | 0.000 % | 96.07/96.15 c | 42566 | 10000 656924 1573400 | 320600 42566 729 | 0.000 % | 97.27/97.35 c | 43072 | 10000 656924 1573400 | 352660 43072 727 | 0.000 % | 99.36/99.44 c | 43831 | 10000 656924 1573400 | 387926 43831 725 | 0.000 % | 102.66/102.76 c | 44971 | 10000 656924 1573400 | 426719 44971 724 | 0.000 % | 107.37/107.47 c | 46679 | 10000 656924 1573400 | 469391 46679 725 | 0.000 % | 113.77/113.81 c | 49241 | 10000 656924 1573400 | 516330 49241 731 | 0.000 % | 120.76/120.85 c | 53085 | 10000 656924 1573400 | 567963 53085 729 | 0.000 % | 134.17/134.24 c | 58851 | 10000 656924 1573400 | 624760 58851 725 | 0.000 % | 155.95/156.05 c | 67504 | 10000 656924 1573400 | 687236 67504 706 | 0.000 % | 180.84/180.97 c There are 0 assigned variables. 0 in cost function. 231.43/231.50 c core #1 231.43/231.50 c core #2 231.43/231.50 c core #3 231.43/231.50 c core #4 231.43/231.50 c core #5 231.43/231.50 c core #6 231.43/231.50 c core #7 231.43/231.50 c core #8 231.43/231.50 c core #9 231.43/231.50 c core #10 231.43/231.50 c core #11 231.43/231.50 c core #12 231.43/231.50 c core #13 231.43/231.50 c core #14 231.43/231.50 c core #15 231.43/231.50 c core #16 231.43/231.50 c core #17 231.43/231.50 c core #18 231.43/231.50 c core #19 231.43/231.50 c core #20 231.43/231.50 c core #21 231.43/231.50 c core #22 231.43/231.50 c core #23 231.43/231.50 c core #24 231.43/231.50 c core #25 231.43/231.50 c core #26 231.43/231.50 c core #27 231.43/231.50 c core #28 231.43/231.50 c core #29 231.43/231.50 c core #30 231.43/231.50 c core #31 231.43/231.50 c core #32 231.43/231.50 c core #33 231.43/231.50 c core #34 231.43/231.50 c core #35 231.43/231.50 c core #36 231.43/231.50 c core #37 231.43/231.50 c core #38 231.43/231.50 c core #39 231.43/231.50 c core #40 231.43/231.50 c core #41 231.43/231.50 c core #42 231.43/231.50 c core #43 231.43/231.50 c core #44 231.43/231.50 c core #45 231.43/231.50 c core #46 231.43/231.50 c core #47 231.43/231.50 c core #48 231.43/231.50 c core #49 231.43/231.50 c core #50 231.43/231.50 c core #51 231.43/231.50 c core #52 231.43/231.50 c core #53 231.43/231.50 c core #54 231.43/231.50 c core #55 231.43/231.50 c core #56 231.43/231.50 c core #57 231.43/231.50 c core #58 231.43/231.50 c core #59 231.43/231.50 c core #60 231.43/231.50 c core #61 231.43/231.50 c core #62 231.43/231.50 c core #63 231.43/231.50 c core #64 231.43/231.50 c core #65 231.43/231.50 c core #66 231.43/231.50 c core #67 231.43/231.50 c core #68 231.43/231.50 c core #69 231.43/231.50 c core #70 231.43/231.50 c core #71 231.43/231.50 c core #72 231.43/231.50 c core #73 231.43/231.50 c core #74 231.43/231.50 c core #75 231.43/231.50 c core #76 231.43/231.50 c core #77 231.43/231.50 c core #78 231.43/231.50 c core #79 231.43/231.50 c core #80 231.43/231.50 c core #81 231.43/231.50 c core #82 231.43/231.50 c core #83 231.43/231.50 c core #84 231.43/231.50 c core #85 231.43/231.50 c core #86 231.43/231.50 c core #87 231.43/231.50 c core #88 231.43/231.50 c core #89 231.43/231.50 c core #90 231.43/231.50 c core #91 231.43/231.50 c core #92 231.43/231.50 c core #93 231.43/231.50 c core #94 231.43/231.50 c core #95 231.43/231.50 c core #96 231.43/231.50 c core #97 231.43/231.50 c core #98 231.43/231.50 c core #99 231.43/231.50 c core #100 231.43/231.50 c core #101 231.43/231.50 c core #102 231.43/231.50 c core #103 231.43/231.50 c core #104 231.43/231.50 c core #105 231.43/231.50 c core #106 231.43/231.50 c core #107 231.43/231.50 c core #108 231.43/231.50 c core #109 231.43/231.50 c core #110 231.43/231.50 c core #111 231.43/231.50 c core #112 231.43/231.50 c core #113 231.43/231.50 c core #114 231.43/231.50 c core #115 231.43/231.50 c core #116 231.43/231.50 c core #117 231.43/231.50 c core #118 231.43/231.50 c core #119 231.43/231.50 c core #120 231.43/231.50 c core #121 231.43/231.50 c core #122 231.43/231.50 c core #123 231.43/231.50 c core #124 231.43/231.50 c core #125 231.43/231.50 c core #126 231.43/231.50 c ============================[ Search Statistics ]============================== 231.43/231.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.43/231.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.43/231.50 c =============================================================================== 231.43/231.50 c | 0 | 26411 692729 49730 | 230909 0 nan | 0.000 % | 231.43/231.50 c =============================================================================== 231.84/231.93 c core #127 231.84/231.93 c ============================[ Search Statistics ]============================== 231.84/231.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.84/231.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.84/231.93 c =============================================================================== 231.84/231.93 c | 0 | 26813 693109 50247 | 231036 0 nan | 0.000 % | 231.95/232.01 c =============================================================================== 232.34/232.45 c core #128 232.34/232.45 c ============================[ Search Statistics ]============================== 232.34/232.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.34/232.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.34/232.45 c =============================================================================== 232.34/232.45 c | 0 | 28633 694768 52526 | 231589 0 nan | 0.000 % | 232.44/232.55 c =============================================================================== 232.84/232.99 c core #129 232.84/232.99 c ============================[ Search Statistics ]============================== 232.84/232.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.84/232.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.84/232.99 c =============================================================================== 232.84/232.99 c | 0 | 30270 696338 54521 | 232112 0 nan | 0.000 % | 233.43/233.54 c =============================================================================== 233.93/234.04 c core #130 233.93/234.04 c ============================[ Search Statistics ]============================== 233.93/234.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.93/234.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.93/234.04 c =============================================================================== 233.93/234.04 c | 0 | 35300 701108 61038 | 233702 0 nan | 0.000 % | 234.94/235.07 c =============================================================================== 235.44/235.56 c core #131 235.44/235.56 c ============================[ Search Statistics ]============================== 235.44/235.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.44/235.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.44/235.56 c =============================================================================== 235.44/235.56 c | 0 | 42063 707419 69796 | 235806 0 nan | 0.000 % | 235.64/235.71 c | 100 | 42063 707419 69796 | 259386 100 1363 | 18.285 % | 235.94/236.05 c | 250 | 42063 707419 69796 | 285325 250 1474 | 18.285 % | 236.44/236.51 c | 476 | 42062 707419 69796 | 313858 475 1591 | 18.287 % | 237.13/237.24 c | 813 | 42061 707419 69796 | 345244 811 1587 | 18.288 % | 238.33/238.41 c | 1319 | 42054 707419 69796 | 379768 1316 1929 | 18.304 % | 240.84/240.98 c =============================================================================== 241.43/241.51 c core #132 241.43/241.51 c ============================[ Search Statistics ]============================== 241.43/241.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.43/241.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.43/241.51 c =============================================================================== 241.43/241.51 c | 0 | 51928 716137 83628 | 238712 0 nan | 0.000 % | 241.63/241.70 c | 102 | 51928 716137 83628 | 262583 102 1087 | 15.199 % | 242.23/242.31 c | 254 | 51928 716137 83628 | 288841 254 1332 | 15.199 % | 243.04/243.11 c | 479 | 51927 716137 83628 | 317726 477 1204 | 15.200 % | 244.04/244.13 c | 816 | 51927 716137 83628 | 349498 814 1104 | 15.200 % | 245.83/245.95 c | 1327 | 51927 716137 83628 | 384448 1325 1276 | 15.200 % | 248.23/248.33 c | 2086 | 51927 716137 83628 | 422893 2084 1157 | 15.200 % | 252.53/252.63 c | 3225 | 51926 716137 83628 | 465182 3156 1338 | 15.202 % | 259.23/259.30 c | 4933 | 51924 716137 83628 | 511701 4854 1700 | 15.205 % | 268.12/268.26 c | 7497 | 51923 716137 83628 | 562871 7418 1595 | 15.207 % | 287.12/287.24 c | 11344 | 51923 716137 83628 | 619158 11242 1950 | 15.207 % | 301.42/301.52 c =============================================================================== 302.12/302.20 c core #133 302.12/302.20 c ============================[ Search Statistics ]============================== 302.12/302.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 302.12/302.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 302.12/302.20 c =============================================================================== 302.12/302.20 c | 0 | 62292 724964 98664 | 241654 0 nan | 0.000 % | 302.33/302.42 c | 101 | 62292 724964 98664 | 265820 101 1150 | 12.871 % | 302.82/302.93 c | 252 | 62292 724964 98664 | 292402 252 778 | 12.871 % | 304.02/304.17 c | 479 | 62292 724964 98664 | 321642 479 643 | 12.871 % | 305.21/305.30 c | 817 | 62292 724964 98664 | 353806 817 690 | 12.871 % | 306.82/306.97 c | 1324 | 62292 724964 98664 | 389187 1324 732 | 12.871 % | 309.72/309.89 c | 2084 | 62292 724964 98664 | 428105 2084 798 | 12.871 % | 315.72/315.83 c | 3223 | 62292 724964 98664 | 470916 3223 827 | 12.871 % | 327.11/327.23 c | 4931 | 62292 724964 98664 | 518008 4931 1237 | 12.871 % | 340.41/340.56 c | 7493 | 62292 724964 98664 | 569809 7493 1396 | 12.871 % | 358.30/358.41 c | 11341 | 62292 724964 98664 | 626789 11341 1469 | 12.871 % | 389.50/389.64 c | 17109 | 62291 724964 98664 | 689468 17103 1498 | 12.872 % | 446.98/447.19 c | 25759 | 62291 724964 98664 | 758415 25753 1682 | 12.872 % | 533.66/533.84 c | 38734 | 62291 724964 98664 | 834257 38728 1838 | 12.872 % | 699.92/700.17 c | 58195 | 62291 724964 98664 | 917683 58189 2191 | 12.872 % | 981.46/981.77 c | 87387 | 62291 724964 98664 | 1009451 87381 2624 | 12.872 % | 1429.34/1429.75 c | 131177 | 62290 724964 98664 | 1110396 131114 2660 | 12.874 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655943-1276385202/watcher-2655943-1276385202 -o /tmp/evaluation-result-2655943-1276385202/solver-2655943-1276385202 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655943-1276385202.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.00 1.00 1.00 3/107 13850 /proc/meminfo: memFree=1812448/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=20280 CPUtime=0 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 468 0 0 0 0 0 0 0 21 0 1 0 12176085 20766720 386 1992294400 134512640 135751879 4292632128 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 5070 386 141 303 0 557 0 [startup+0.0872669 s] /proc/loadavg: 1.00 1.00 1.00 3/107 13850 /proc/meminfo: memFree=1812448/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=21988 CPUtime=0.08 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 1017 0 0 0 8 0 0 0 21 0 1 0 12176085 22515712 935 1992294400 134512640 135751879 4292632128 18446744073709551615 134562131 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 5497 935 271 303 0 984 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 21988 [startup+0.101267 s] /proc/loadavg: 1.00 1.00 1.00 3/107 13850 /proc/meminfo: memFree=1812448/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=22356 CPUtime=0.1 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 1100 0 0 0 10 0 0 0 21 0 1 0 12176085 22892544 1018 1992294400 134512640 135751879 4292632128 18446744073709551615 134561054 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 5589 1018 294 303 0 1076 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 22356 [startup+0.301285 s] /proc/loadavg: 1.00 1.00 1.00 3/107 13850 /proc/meminfo: memFree=1812448/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=24964 CPUtime=0.29 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 2068 0 0 0 29 0 0 0 21 0 1 0 12176085 25563136 1986 1992294400 134512640 135751879 4292632128 18446744073709551615 134562459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 6241 1986 618 303 0 1728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24964 [startup+0.701321 s] /proc/loadavg: 1.00 1.00 1.00 3/107 13850 /proc/meminfo: memFree=1812448/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=29768 CPUtime=0.69 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 3897 0 0 0 69 0 0 0 22 0 1 0 12176085 30482432 3815 1992294400 134512640 135751879 4292632128 18446744073709551615 134574101 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 7442 3815 1254 303 0 2929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29768 [startup+1.50139 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13851 /proc/meminfo: memFree=1798800/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=39228 CPUtime=1.49 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 7484 0 0 0 148 1 0 0 25 0 1 0 12176085 40169472 7402 1992294400 134512640 135751879 4292632128 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 9807 7403 2537 303 0 5294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39228 [startup+3.10154 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13851 /proc/meminfo: memFree=1785904/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=71136 CPUtime=3.09 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 22124 0 0 0 301 8 0 0 25 0 1 0 12176085 72843264 16838 1992294400 134512640 135751879 4292632128 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 17784 16839 143 303 0 17479 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 71136 [startup+6.30182 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13851 /proc/meminfo: memFree=1734940/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=81064 CPUtime=6.29 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 24640 0 0 0 619 10 0 0 25 0 1 0 12176085 83009536 19354 1992294400 134512640 135751879 4292632128 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 20266 19354 147 303 0 19961 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81064 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13851 /proc/meminfo: memFree=1734940/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=81064 CPUtime=12.68 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 24640 0 0 0 1251 17 0 0 25 0 1 0 12176085 83009536 19354 1992294400 134512640 135751879 4292632128 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 20266 19354 147 303 0 19961 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 81064 [startup+25.5005 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13851 /proc/meminfo: memFree=1734940/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=81064 CPUtime=25.48 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 24640 0 0 0 2520 28 0 0 25 0 1 0 12176085 83009536 19354 1992294400 134512640 135751879 4292632128 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 20266 19354 147 303 0 19961 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81064 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13853 /proc/meminfo: memFree=1705304/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=111864 CPUtime=51.08 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 32321 0 0 0 5067 41 0 0 25 0 1 0 12176085 114548736 27035 1992294400 134512640 135751879 4292632128 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 27966 27035 147 303 0 27661 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 111864 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13853 /proc/meminfo: memFree=1637724/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=178592 CPUtime=102.27 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 49007 0 0 0 10162 65 0 0 25 0 1 0 12176085 182878208 43721 1992294400 134512640 135751879 4292632128 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 44648 43721 147 303 0 44343 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 178592 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13855 /proc/meminfo: memFree=1565556/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=251320 CPUtime=162.25 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 67189 0 0 0 16140 85 0 0 25 0 1 0 12176085 257351680 61903 1992294400 134512640 135751879 4292632128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 62830 61903 147 303 0 62525 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 251320 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13857 /proc/meminfo: memFree=1509508/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=305336 CPUtime=222.23 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 82373 0 0 0 22130 93 0 0 25 0 1 0 12176085 312664064 75540 1992294400 134512640 135751879 4292632128 18446744073709551615 135204400 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 76334 75540 150 303 0 76029 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 305336 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13859 /proc/meminfo: memFree=1509508/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=305336 CPUtime=282.22 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 82408 0 0 0 28118 104 0 0 25 0 1 0 12176085 312664064 75575 1992294400 134512640 135751879 4292632128 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 76334 75575 151 303 0 76029 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 305336 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13861 /proc/meminfo: memFree=1479996/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=337732 CPUtime=342.21 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 89840 0 0 0 34102 119 0 0 25 0 1 0 12176085 345837568 83007 1992294400 134512640 135751879 4292632128 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 84433 83007 151 303 0 84128 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 337732 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13861 /proc/meminfo: memFree=1479872/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=337732 CPUtime=402.2 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 89840 0 0 0 40092 128 0 0 25 0 1 0 12176085 345837568 83007 1992294400 134512640 135751879 4292632128 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 84433 83007 151 303 0 84128 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 337732 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13863 /proc/meminfo: memFree=1446020/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=371740 CPUtime=462.18 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 98313 0 0 0 46077 141 0 0 25 0 1 0 12176085 380661760 91480 1992294400 134512640 135751879 4292632128 18446744073709551615 134641971 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 92935 91480 151 303 0 92630 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 371740 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13865 /proc/meminfo: memFree=1363560/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=454968 CPUtime=522.16 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 119136 0 0 0 52056 160 0 0 25 0 1 0 12176085 465887232 112303 1992294400 134512640 135751879 4292632128 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 113742 112303 151 303 0 113437 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 454968 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13867 /proc/meminfo: memFree=1288416/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=529372 CPUtime=582.15 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 137703 0 0 0 58035 180 0 0 25 0 1 0 12176085 542076928 130870 1992294400 134512640 135751879 4292632128 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 132343 130870 151 303 0 132038 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 529372 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13869 /proc/meminfo: memFree=1198392/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=618580 CPUtime=642.14 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 160013 0 0 0 64017 197 0 0 25 0 1 0 12176085 633425920 153180 1992294400 134512640 135751879 4292632128 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 154645 153180 151 303 0 154340 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 618580 [startup+702.301 s] ################ # More data... # ################ [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13874 /proc/meminfo: memFree=1035952/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=780204 CPUtime=762.11 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 200419 0 0 0 75983 228 0 0 25 0 1 0 12176085 798928896 193586 1992294400 134512640 135751879 4292632128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 195051 193586 151 303 0 194746 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 780204 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13876 /proc/meminfo: memFree=962668/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=853988 CPUtime=822.09 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 218863 0 0 0 81967 242 0 0 25 0 1 0 12176085 874483712 212030 1992294400 134512640 135751879 4292632128 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 213497 212030 151 303 0 213192 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 853988 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13878 /proc/meminfo: memFree=867932/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=948092 CPUtime=882.07 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 242395 0 0 0 87950 257 0 0 25 0 1 0 12176085 970846208 235562 1992294400 134512640 135751879 4292632128 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 237023 235562 151 303 0 236718 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 948092 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13880 /proc/meminfo: memFree=783488/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1033020 CPUtime=942.06 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 263621 0 0 0 93935 271 0 0 25 0 1 0 12176085 1057812480 256788 1992294400 134512640 135751879 4292632128 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 258255 256788 151 303 0 257950 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 1033020 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13880 /proc/meminfo: memFree=703880/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1112020 CPUtime=1002.04 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 283367 0 0 0 99918 286 0 0 25 0 1 0 12176085 1138708480 276534 1992294400 134512640 135751879 4292632128 18446744073709551615 134607756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 278005 276534 151 303 0 277700 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1112020 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13882 /proc/meminfo: memFree=636672/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1180072 CPUtime=1062.03 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 300339 0 0 0 105902 301 0 0 25 0 1 0 12176085 1208393728 293506 1992294400 134512640 135751879 4292632128 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 295018 293506 151 303 0 294713 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1180072 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13884 /proc/meminfo: memFree=569712/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1246280 CPUtime=1122.02 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 316898 0 0 0 111888 314 0 0 25 0 1 0 12176085 1276190720 310065 1992294400 134512640 135751879 4292632128 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 311570 310065 151 303 0 311265 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1246280 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13886 /proc/meminfo: memFree=512920/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1302992 CPUtime=1182 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 331092 0 0 0 117876 324 0 0 25 0 1 0 12176085 1334263808 324259 1992294400 134512640 135751879 4292632128 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 325748 324259 151 303 0 325443 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1302992 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13888 /proc/meminfo: memFree=437528/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1377800 CPUtime=1241.99 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 349791 0 0 0 123863 336 0 0 25 0 1 0 12176085 1410867200 342958 1992294400 134512640 135751879 4292632128 18446744073709551615 134605954 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 344450 342958 151 303 0 344145 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1377800 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13888 /proc/meminfo: memFree=382596/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1432108 CPUtime=1301.98 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 363372 0 0 0 129850 348 0 0 25 0 1 0 12176085 1466478592 356539 1992294400 134512640 135751879 4292632128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 358027 356539 151 303 0 357722 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1432108 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13890 /proc/meminfo: memFree=318240/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1496836 CPUtime=1361.96 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 379559 0 0 0 135834 362 0 0 25 0 1 0 12176085 1532760064 372726 1992294400 134512640 135751879 4292632128 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 374209 372726 151 303 0 373904 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1496836 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13892 /proc/meminfo: memFree=250412/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1563960 CPUtime=1421.95 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 396354 0 0 0 141819 376 0 0 25 0 1 0 12176085 1601495040 389521 1992294400 134512640 135751879 4292632128 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 390990 389521 151 303 0 390685 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1563960 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13894 /proc/meminfo: memFree=187172/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1628464 CPUtime=1481.93 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 412467 0 0 0 147805 388 0 0 25 0 1 0 12176085 1667547136 405634 1992294400 134512640 135751879 4292632128 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 407116 405634 151 303 0 406811 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1628464 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13896 /proc/meminfo: memFree=114260/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1700292 CPUtime=1541.92 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 430393 0 0 0 153793 399 0 0 25 0 1 0 12176085 1741099008 423560 1992294400 134512640 135751879 4292632128 18446744073709551615 134607710 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 425073 423560 151 303 0 424768 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1700292 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13896 /proc/meminfo: memFree=47052/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1767736 CPUtime=1601.9 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 447245 0 0 0 159780 410 0 0 25 0 1 0 12176085 1810161664 440412 1992294400 134512640 135751879 4292632128 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 441934 440412 151 303 0 441629 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1767736 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13898 /proc/meminfo: memFree=10656/2059040 swapFree=4140124/4192956 [pid=13850] ppid=13848 vsize=1829656 CPUtime=1661.89 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 462706 0 0 0 165767 422 0 0 25 0 1 0 12176085 1873567744 455873 1992294400 134512640 135751879 4292632128 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 457414 455873 151 303 0 457109 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1829656 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1681.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13898 /proc/meminfo: memFree=9972/2059040 swapFree=4140104/4192956 [pid=13850] ppid=13848 vsize=1843212 CPUtime=1680.89 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4202496 466116 0 0 0 167663 426 0 0 25 0 1 0 12176085 1887449088 459283 1992294400 134512640 135751879 4292632128 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13850/statm: 460803 459283 151 303 0 460498 0 Current children cumulated CPU time (s) 1680.89 Current children cumulated vsize (KiB) 1843212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1681.41 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13898 /proc/meminfo: memFree=9972/2059040 swapFree=4140104/4192956 [pid=13850] ppid=13848 vsize=0 CPUtime=1680.99 /proc/13850/stat : 13850 (wbo1.4b) R 13848 13850 13469 0 -1 4203524 466116 0 0 0 167663 436 0 0 25 0 1 0 12176085 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/13850/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1680.99 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1681.48 CPU time (s): 1681.07 CPU user time (s): 1676.64 CPU system time (s): 4.43633 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 1843212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1676.64 system time used= 4.43633 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466116 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= 13 involuntary context switches= 3660 runsolver used 2.79257 second user time and 7.93579 second system time The end
Begin job on node025 at 2010-06-13 01:26:44 IDJOB=2655943 IDBENCH=1977 IDSOLVER=1161 FILE ID=node025/2655943-1276385202 PBS_JOBID= 11173240 Free space on /tmp= 62524 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655943-1276385202/watcher-2655943-1276385202 -o /tmp/evaluation-result-2655943-1276385202/solver-2655943-1276385202 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655943-1276385202.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2fd45123d8e20b24379108257151f007 RANDOM SEED=1626613611 node025.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.242 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.48 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.242 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: 1812976 kB Buffers: 38668 kB Cached: 115852 kB SwapCached: 6836 kB Active: 98492 kB Inactive: 69724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1812976 kB SwapTotal: 4192956 kB SwapFree: 4140124 kB Dirty: 19512 kB Writeback: 0 kB AnonPages: 11092 kB Mapped: 12804 kB Slab: 56052 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182700 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= 62520 MiB End job on node025 at 2010-06-13 01:54:47