Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1548.14 | 1548.69 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
MD5SUM | 093efae700664f798191c0b27cec34af |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 419 |
Best CPU time to get the best result obtained on this benchmark | 1796.43 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 447 |
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 | 494527 |
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 | 494527 |
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-2655938-1276381239.opb. 0.00/0.00 c Instance file HOME/instance-2655938-1276381239.opb 0.00/0.00 c File size is 17233660 bytes. 2.59/2.61 c Highest Coefficient sum: 101 2.59/2.62 c ============================[ Problem Statistics ]============================= 2.59/2.62 c | | 2.59/2.62 c | Parsing time: 2.56 s | 2.59/2.62 c | Number Variables: 10000 | 2.59/2.62 c | Number Clauses: 656900 | 2.59/2.62 c | Number Cardinality: 0 | 2.59/2.62 c | Number PB Constraints: 0 | 6.09/6.11 c ============================[ Search Statistics ]============================== 6.09/6.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.11 c =============================================================================== 6.09/6.11 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.09/6.18 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.29/6.31 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.59/6.61 c =============================================================================== 6.59/6.61 c New solution: 6835 6.59/6.61 o 6835 6.59/6.61 c Elapsed CPU time: 6.48801 s Remaining CPU time: 173.512 s 6.59/6.61 c =============================================================================== 6.59/6.61 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.88/6.92 c =============================================================================== 6.88/6.92 c New solution: 6825 6.88/6.92 o 6825 6.88/6.92 c Elapsed CPU time: 6.79597 s Remaining CPU time: 173.204 s 6.88/6.92 c =============================================================================== 6.88/6.92 c | 305 | 10000 656902 1353400 | 218967 305 1181 | 0.000 % | 6.99/7.00 c | 408 | 10000 656902 1353400 | 240864 408 1176 | 0.000 % | 7.29/7.31 c =============================================================================== 7.29/7.31 c New solution: 6783 7.29/7.31 o 6783 7.29/7.31 c Elapsed CPU time: 7.17291 s Remaining CPU time: 172.827 s 7.29/7.31 c =============================================================================== 7.29/7.31 c | 423 | 10000 656903 1363400 | 218967 423 1165 | 0.000 % | 7.39/7.42 c | 523 | 10000 656903 1363400 | 240864 523 1052 | 0.000 % | 7.49/7.54 c | 676 | 10000 656903 1363400 | 264950 676 1108 | 0.000 % | 7.70/7.74 c | 901 | 10000 656903 1363400 | 291445 901 1195 | 0.000 % | 8.09/8.14 c =============================================================================== 8.09/8.14 c New solution: 6754 8.09/8.14 o 6754 8.09/8.14 c Elapsed CPU time: 7.99878 s Remaining CPU time: 172.001 s 8.09/8.14 c =============================================================================== 8.09/8.14 c | 1031 | 10000 656904 1373400 | 218968 1031 1158 | 0.000 % | 8.39/8.47 c =============================================================================== 8.39/8.47 c New solution: 6720 8.39/8.47 o 6720 8.39/8.47 c Elapsed CPU time: 8.32073 s Remaining CPU time: 171.679 s 8.39/8.47 c =============================================================================== 8.39/8.47 c | 1083 | 10000 656905 1383400 | 218968 1083 1139 | 0.000 % | 8.59/8.63 c | 1183 | 10000 656905 1383400 | 240865 1183 1119 | 0.000 % | 8.69/8.78 c | 1334 | 10000 656905 1383400 | 264951 1334 1083 | 0.000 % | 8.99/9.01 c | 1559 | 10000 656905 1383400 | 291446 1559 1123 | 0.000 % | 9.29/9.36 c =============================================================================== 9.29/9.36 c New solution: 6715 9.29/9.36 o 6715 9.29/9.36 c Elapsed CPU time: 9.1926 s Remaining CPU time: 170.807 s 9.29/9.36 c =============================================================================== 9.29/9.36 c | 1613 | 10000 656906 1393400 | 218968 1613 1128 | 0.000 % | 9.39/9.47 c | 1713 | 10000 656906 1393400 | 240865 1713 1133 | 0.000 % | 9.59/9.65 c | 1864 | 10000 656906 1393400 | 264952 1864 1120 | 0.000 % | 9.79/9.85 c | 2089 | 10000 656906 1393400 | 291447 2089 1139 | 0.000 % | 10.19/10.20 c | 2426 | 10000 656906 1393400 | 320592 2426 1162 | 0.000 % | 10.48/10.50 c =============================================================================== 10.48/10.50 c New solution: 6713 10.48/10.50 o 6713 10.48/10.50 c Elapsed CPU time: 10.3124 s Remaining CPU time: 169.688 s 10.48/10.50 c =============================================================================== 10.48/10.50 c | 2431 | 10000 656907 1403400 | 218969 2431 1160 | 0.000 % | 10.59/10.63 c | 2532 | 10000 656907 1403400 | 240865 2532 1152 | 0.000 % | 10.89/10.93 c =============================================================================== 10.89/10.93 c New solution: 6268 10.89/10.93 o 6268 10.89/10.93 c Elapsed CPU time: 10.7404 s Remaining CPU time: 169.26 s 10.89/10.93 c =============================================================================== 10.89/10.93 c | 2544 | 10000 656908 1413400 | 218969 2544 1151 | 0.000 % | 11.00/11.08 c | 2647 | 10000 656908 1413400 | 240866 2647 1140 | 0.000 % | 11.29/11.30 c | 2798 | 10000 656908 1413400 | 264952 2798 1129 | 0.000 % | 11.58/11.69 c =============================================================================== 11.58/11.69 c New solution: 6267 11.58/11.69 o 6267 11.58/11.69 c Elapsed CPU time: 11.4803 s Remaining CPU time: 168.52 s 11.58/11.69 c =============================================================================== 11.58/11.69 c | 2893 | 10000 656909 1423400 | 218969 2893 1130 | 0.000 % | 11.89/11.94 c | 2993 | 10000 656909 1423400 | 240866 2993 1107 | 0.000 % | 12.09/12.13 c | 3145 | 10000 656909 1423400 | 264953 3145 1090 | 0.000 % | 12.38/12.46 c | 3370 | 10000 656909 1423400 | 291448 3370 1077 | 0.000 % | 12.79/12.87 c | 3708 | 10000 656909 1423400 | 320593 3708 1056 | 0.000 % | 13.38/13.47 c | 4214 | 10000 656909 1423400 | 352652 4214 1014 | 0.000 % | 14.79/14.84 c | 4974 | 10000 656909 1423400 | 387918 4974 962 | 0.000 % | 16.39/16.46 c | 6114 | 10000 656909 1423400 | 426709 6114 929 | 0.000 % | 18.19/18.24 c =============================================================================== 18.19/18.24 c New solution: 6263 18.19/18.24 o 6263 18.19/18.24 c Elapsed CPU time: 17.9953 s Remaining CPU time: 162.005 s 18.19/18.24 c =============================================================================== 18.19/18.24 c | 7121 | 10000 656910 1433400 | 218970 7121 894 | 0.000 % | 18.48/18.54 c =============================================================================== 18.48/18.54 c New solution: 6149 18.48/18.54 o 6149 18.48/18.54 c Elapsed CPU time: 18.2932 s Remaining CPU time: 161.707 s 18.48/18.54 c =============================================================================== 18.48/18.54 c | 7124 | 10000 656911 1443400 | 218970 7124 894 | 0.000 % | 18.78/18.84 c =============================================================================== 18.78/18.84 c New solution: 5619 18.78/18.84 o 5619 18.78/18.84 c Elapsed CPU time: 18.5902 s Remaining CPU time: 161.41 s 18.78/18.84 c =============================================================================== 18.78/18.84 c | 7125 | 10000 656912 1453400 | 218970 7125 893 | 0.000 % | 18.88/18.98 c | 7225 | 10000 656912 1453400 | 240867 7225 890 | 0.000 % | 19.18/19.21 c | 7376 | 10000 656912 1453400 | 264954 7376 882 | 0.000 % | 19.59/19.61 c | 7602 | 10000 656912 1453400 | 291449 7602 873 | 0.000 % | 20.08/20.10 c | 7939 | 10000 656912 1453400 | 320594 7939 868 | 0.000 % | 20.79/20.85 c | 8445 | 10000 656912 1453400 | 352654 8445 844 | 0.000 % | 21.99/22.05 c | 9206 | 10000 656912 1453400 | 387919 9206 810 | 0.000 % | 23.88/23.98 c | 10346 | 10000 656912 1453400 | 426711 10346 811 | 0.000 % | 26.48/26.55 c | 12055 | 10000 656912 1453400 | 469383 12055 763 | 0.000 % | 30.08/30.17 c | 14617 | 10000 656912 1453400 | 516321 14617 722 | 0.000 % | 36.17/36.24 c | 18465 | 10000 656912 1453400 | 567953 18465 663 | 0.000 % | 44.86/44.90 c | 24231 | 10000 656912 1453400 | 624748 24231 653 | 0.000 % | 60.66/60.77 c | 32882 | 10000 656912 1453400 | 687223 32882 625 | 0.000 % | 83.24/83.31 c | 45856 | 10000 656912 1453400 | 755946 45856 603 | 0.000 % | 83.54/83.69 c =============================================================================== 83.54/83.69 c New solution: 5609 83.54/83.69 o 5609 83.54/83.69 c Elapsed CPU time: 83.1564 s Remaining CPU time: 96.8436 s 83.54/83.69 c =============================================================================== 83.54/83.69 c | 45910 | 10000 656913 1463400 | 218971 45910 604 | 0.000 % | 83.74/83.87 c | 46011 | 10000 656913 1463400 | 240868 46011 604 | 0.000 % | 84.04/84.12 c | 46161 | 10000 656913 1463400 | 264954 46161 604 | 0.000 % | 84.44/84.50 c | 46388 | 10000 656913 1463400 | 291450 46388 604 | 0.000 % | 85.14/85.21 c | 46726 | 10000 656913 1463400 | 320595 46726 603 | 0.000 % | 86.43/86.52 c | 47232 | 10000 656913 1463400 | 352654 47232 606 | 0.000 % | 87.74/87.84 c | 47992 | 10000 656913 1463400 | 387920 47992 612 | 0.000 % | 90.73/90.84 c | 49132 | 10000 656913 1463400 | 426712 49132 615 | 0.000 % | 93.23/93.32 c | 50843 | 10000 656913 1463400 | 469383 50843 628 | 0.000 % | 97.04/97.13 c | 53409 | 10000 656913 1463400 | 516322 53409 628 | 0.000 % | 103.34/103.42 c | 57255 | 10000 656913 1463400 | 567954 57255 655 | 0.000 % | 111.93/112.01 c | 63021 | 10000 656913 1463400 | 624749 63021 642 | 0.000 % | 128.92/129.04 c | 71670 | 10000 656913 1463400 | 687224 71670 666 | 0.000 % | 151.82/152.00 c | 84645 | 10000 656913 1463400 | 755947 84645 664 | 0.000 % | 153.61/153.74 c =============================================================================== 153.61/153.74 c New solution: 5587 153.61/153.74 o 5587 153.61/153.74 c Elapsed CPU time: 152.849 s Remaining CPU time: 27.1512 s 153.61/153.74 c =============================================================================== 153.61/153.74 c | 85407 | 10000 656914 1473400 | 218971 85407 678 | 0.000 % | 153.83/153.95 c | 85507 | 10000 656914 1473400 | 240868 85507 678 | 0.000 % | 154.12/154.24 c | 85657 | 10000 656914 1473400 | 264955 85657 678 | 0.000 % | 154.52/154.64 c | 85882 | 10000 656914 1473400 | 291450 85882 678 | 0.000 % | 155.12/155.21 c | 86219 | 10000 656914 1473400 | 320595 86219 677 | 0.000 % | 155.82/155.97 c | 86728 | 10000 656914 1473400 | 352655 86728 678 | 0.000 % | 157.01/157.13 c | 87487 | 10000 656914 1473400 | 387921 87487 677 | 0.000 % | 158.91/159.07 c | 88628 | 10000 656914 1473400 | 426713 88628 675 | 0.000 % | 161.62/161.78 c | 90337 | 10000 656914 1473400 | 469384 90337 672 | 0.000 % | 166.51/166.62 c | 92899 | 10000 656914 1473400 | 516322 92899 668 | 0.000 % | 172.81/172.98 c | 96744 | 10000 656914 1473400 | 567955 96744 661 | 0.000 % | 180.91/181.02 c There are 0 assigned variables. 0 in cost function. 229.19/229.32 c core #1 229.19/229.32 c core #2 229.19/229.32 c core #3 229.19/229.32 c core #4 229.19/229.32 c core #5 229.19/229.32 c core #6 229.19/229.32 c core #7 229.19/229.32 c core #8 229.19/229.32 c core #9 229.19/229.32 c core #10 229.19/229.32 c core #11 229.19/229.32 c core #12 229.19/229.32 c core #13 229.19/229.32 c core #14 229.19/229.32 c core #15 229.19/229.32 c core #16 229.19/229.32 c core #17 229.19/229.32 c core #18 229.19/229.32 c core #19 229.19/229.32 c core #20 229.19/229.32 c core #21 229.19/229.32 c core #22 229.19/229.32 c core #23 229.19/229.32 c core #24 229.19/229.32 c core #25 229.19/229.32 c core #26 229.19/229.32 c core #27 229.19/229.32 c core #28 229.19/229.32 c core #29 229.19/229.32 c core #30 229.19/229.32 c core #31 229.19/229.32 c core #32 229.19/229.32 c core #33 229.19/229.32 c core #34 229.19/229.32 c core #35 229.19/229.32 c core #36 229.19/229.32 c core #37 229.19/229.32 c core #38 229.19/229.32 c core #39 229.19/229.32 c core #40 229.19/229.32 c core #41 229.19/229.32 c core #42 229.19/229.32 c core #43 229.19/229.32 c core #44 229.19/229.32 c core #45 229.19/229.32 c core #46 229.19/229.32 c core #47 229.19/229.32 c core #48 229.19/229.32 c core #49 229.19/229.32 c core #50 229.19/229.32 c core #51 229.19/229.32 c core #52 229.19/229.32 c core #53 229.19/229.32 c core #54 229.19/229.32 c core #55 229.19/229.32 c core #56 229.19/229.32 c core #57 229.19/229.32 c core #58 229.19/229.32 c core #59 229.19/229.32 c core #60 229.19/229.32 c core #61 229.19/229.32 c core #62 229.19/229.32 c core #63 229.19/229.32 c core #64 229.19/229.32 c core #65 229.19/229.32 c core #66 229.19/229.32 c core #67 229.19/229.32 c core #68 229.19/229.32 c core #69 229.19/229.32 c core #70 229.19/229.32 c core #71 229.19/229.32 c core #72 229.19/229.32 c core #73 229.19/229.32 c core #74 229.19/229.32 c core #75 229.19/229.32 c core #76 229.19/229.32 c core #77 229.19/229.32 c core #78 229.19/229.32 c core #79 229.19/229.32 c core #80 229.19/229.32 c core #81 229.19/229.32 c core #82 229.19/229.32 c core #83 229.19/229.32 c core #84 229.19/229.32 c core #85 229.19/229.32 c core #86 229.19/229.32 c core #87 229.19/229.32 c core #88 229.19/229.32 c core #89 229.19/229.32 c core #90 229.19/229.32 c core #91 229.19/229.32 c core #92 229.19/229.32 c core #93 229.19/229.32 c core #94 229.19/229.32 c core #95 229.19/229.32 c core #96 229.19/229.32 c core #97 229.19/229.32 c core #98 229.19/229.32 c core #99 229.19/229.32 c core #100 229.19/229.32 c core #101 229.19/229.32 c core #102 229.19/229.32 c core #103 229.19/229.32 c core #104 229.19/229.32 c core #105 229.19/229.32 c core #106 229.19/229.32 c core #107 229.19/229.32 c core #108 229.19/229.32 c core #109 229.19/229.32 c core #110 229.19/229.32 c core #111 229.19/229.32 c core #112 229.19/229.32 c core #113 229.19/229.32 c core #114 229.19/229.32 c core #115 229.19/229.32 c core #116 229.19/229.32 c core #117 229.19/229.32 c core #118 229.19/229.32 c core #119 229.19/229.32 c core #120 229.19/229.32 c core #121 229.19/229.32 c core #122 229.19/229.32 c core #123 229.19/229.32 c core #124 229.19/229.32 c core #125 229.19/229.32 c ============================[ Search Statistics ]============================== 229.19/229.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.19/229.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.19/229.32 c =============================================================================== 229.19/229.32 c | 0 | 23854 690536 46930 | 230178 0 nan | 0.000 % | 229.19/229.34 c =============================================================================== 229.59/229.72 c core #126 229.59/229.72 c ============================[ Search Statistics ]============================== 229.59/229.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.59/229.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.59/229.72 c =============================================================================== 229.59/229.72 c | 0 | 24881 691209 47839 | 230403 0 nan | 0.000 % | 229.59/229.74 c =============================================================================== 229.99/230.16 c core #127 229.99/230.16 c ============================[ Search Statistics ]============================== 229.99/230.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.99/230.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.99/230.16 c =============================================================================== 229.99/230.16 c | 0 | 25568 691872 48682 | 230624 0 nan | 0.000 % | 230.09/230.29 c =============================================================================== 230.49/230.68 c core #128 230.49/230.68 c ============================[ Search Statistics ]============================== 230.49/230.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.49/230.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.49/230.68 c =============================================================================== 230.49/230.68 c | 0 | 27915 694136 51445 | 231378 0 nan | 0.000 % | 230.59/230.72 c =============================================================================== 230.99/231.16 c core #129 230.99/231.16 c ============================[ Search Statistics ]============================== 230.99/231.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.99/231.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.99/231.16 c =============================================================================== 230.99/231.16 c | 0 | 28993 695173 52746 | 231724 0 nan | 0.000 % | 231.19/231.39 c =============================================================================== 231.69/231.82 c core #130 231.69/231.82 c ============================[ Search Statistics ]============================== 231.69/231.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.69/231.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.69/231.82 c =============================================================================== 231.69/231.82 c | 0 | 31739 697751 56288 | 232583 0 nan | 0.000 % | 231.90/232.01 c =============================================================================== 232.29/232.46 c core #131 232.29/232.46 c ============================[ Search Statistics ]============================== 232.29/232.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.29/232.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.29/232.46 c =============================================================================== 232.29/232.46 c | 0 | 34474 700225 59932 | 233408 0 nan | 0.000 % | 232.49/232.61 c | 101 | 34474 700225 59932 | 256749 101 1491 | 21.605 % | 233.29/233.44 c =============================================================================== 233.69/233.88 c core #132 233.69/233.88 c ============================[ Search Statistics ]============================== 233.69/233.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.69/233.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.69/233.88 c =============================================================================== 233.69/233.88 c | 0 | 40661 706010 67719 | 235336 0 nan | 0.000 % | 233.89/234.04 c | 101 | 40661 706010 67719 | 258870 101 1211 | 18.852 % | 234.39/234.51 c | 251 | 40661 706010 67719 | 284757 251 2008 | 18.852 % | 234.89/235.00 c | 480 | 40661 706010 67719 | 313233 480 2008 | 18.852 % | 235.89/236.03 c | 817 | 40658 706010 67719 | 344556 814 2481 | 18.858 % | 237.58/237.70 c =============================================================================== 237.98/238.19 c core #133 237.98/238.19 c ============================[ Search Statistics ]============================== 237.98/238.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.98/238.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.98/238.19 c =============================================================================== 237.98/238.19 c | 0 | 50032 714512 80227 | 238170 0 nan | 0.000 % | 238.18/238.38 c | 100 | 50032 714512 80227 | 261987 100 1295 | 15.751 % | 238.78/238.96 c | 254 | 50032 714512 80227 | 288186 254 1513 | 15.751 % | 239.48/239.65 c | 480 | 50032 714512 80227 | 317005 480 1410 | 15.751 % | 240.39/240.55 c | 819 | 50032 714512 80227 | 348705 819 1183 | 15.751 % | 241.49/241.64 c | 1326 | 50032 714512 80227 | 383576 1326 1099 | 15.751 % | 243.38/243.55 c | 2085 | 50032 714512 80227 | 421933 2085 1136 | 15.751 % | 246.38/246.59 c | 3226 | 50032 714512 80227 | 464127 3226 1221 | 15.751 % | 251.48/251.68 c | 4935 | 50029 714512 80227 | 510539 4911 1682 | 15.756 % | 261.28/261.49 c | 7498 | 50028 714512 80227 | 561593 7474 2335 | 15.758 % | 276.58/276.76 c | 11342 | 50020 714512 80227 | 617753 4639 681 | 15.771 % | 284.47/284.66 c =============================================================================== 285.17/285.32 c core #134 285.17/285.32 c ============================[ Search Statistics ]============================== 285.17/285.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 285.17/285.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 285.17/285.32 c =============================================================================== 285.17/285.32 c | 0 | 60688 723619 95169 | 241206 0 nan | 0.000 % | 285.37/285.54 c | 100 | 60688 723619 95169 | 265326 100 1556 | 13.231 % | 285.87/286.06 c | 252 | 60688 723619 95169 | 291859 252 1308 | 13.231 % | 286.58/286.77 c | 479 | 60688 723619 95169 | 321045 479 853 | 13.231 % | 288.17/288.35 c | 817 | 60688 723619 95169 | 353150 817 899 | 13.231 % | 290.87/291.09 c | 1327 | 60688 723619 95169 | 388465 1327 1091 | 13.231 % | 294.58/294.75 c | 2087 | 60688 723619 95169 | 427311 2087 1088 | 13.231 % | 299.56/299.70 c | 3228 | 60688 723619 95169 | 470042 3228 958 | 13.231 % | 306.16/306.34 c | 4936 | 60688 723619 95169 | 517047 4936 1082 | 13.231 % | 316.67/316.85 c | 7499 | 60688 723619 95169 | 568751 7499 1193 | 13.231 % | 336.55/336.73 c | 11344 | 60688 723619 95169 | 625627 11344 1310 | 13.231 % | 372.75/372.92 c | 17110 | 60688 723619 95169 | 688189 17110 1490 | 13.231 % | 434.33/434.55 c | 25763 | 60688 723619 95169 | 757008 25763 2078 | 13.231 % | 508.89/509.10 c | 38738 | 60688 723619 95169 | 832709 38738 1965 | 13.231 % | 645.46/645.75 c | 58201 | 60687 723619 95169 | 915980 58190 1988 | 13.232 % | 881.78/882.14 c | 87395 | 60686 723619 95169 | 1007578 87370 2300 | 13.234 % | 1308.62/1309.16 c | 131184 | 60686 723619 95169 | 1108336 131159 2580 | 13.234 % |
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-2655938-1276381239/watcher-2655938-1276381239 -o /tmp/evaluation-result-2655938-1276381239/solver-2655938-1276381239 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655938-1276381239.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: 0.93 1.02 1.02 3/106 12862 /proc/meminfo: memFree=1804112/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=20272 CPUtime=0 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 475 0 0 0 0 0 0 0 21 0 1 0 11775888 20758528 394 1992294400 134512640 135751879 4290486704 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 5068 394 143 303 0 555 0 [startup+0.022377 s] /proc/loadavg: 0.93 1.02 1.02 3/106 12862 /proc/meminfo: memFree=1804112/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=21168 CPUtime=0.01 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 677 0 0 0 1 0 0 0 21 0 1 0 11775888 21676032 596 1992294400 134512640 135751879 4290486704 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 5292 596 163 303 0 779 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 21168 [startup+0.10139 s] /proc/loadavg: 0.93 1.02 1.02 3/106 12862 /proc/meminfo: memFree=1804112/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=22352 CPUtime=0.09 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 1108 0 0 0 9 0 0 0 21 0 1 0 11775888 22888448 1027 1992294400 134512640 135751879 4290486704 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 5588 1027 296 303 0 1075 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22352 [startup+0.300426 s] /proc/loadavg: 0.93 1.02 1.02 3/106 12862 /proc/meminfo: memFree=1804112/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=24960 CPUtime=0.29 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 2079 0 0 0 28 1 0 0 21 0 1 0 11775888 25559040 1998 1992294400 134512640 135751879 4290486704 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 6240 1999 622 303 0 1727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24960 [startup+0.700499 s] /proc/loadavg: 0.93 1.02 1.02 3/106 12862 /proc/meminfo: memFree=1804112/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=29764 CPUtime=0.69 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 3923 0 0 0 67 2 0 0 22 0 1 0 11775888 30478336 3842 1992294400 134512640 135751879 4290486704 18446744073709551615 134559777 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 7441 3842 1264 303 0 2928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29764 [startup+1.50164 s] /proc/loadavg: 0.93 1.02 1.02 2/107 12863 /proc/meminfo: memFree=1790340/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=39356 CPUtime=1.49 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 7557 0 0 0 146 3 0 0 25 0 1 0 11775888 40300544 7476 1992294400 134512640 135751879 4290486704 18446744073709551615 135225264 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 9839 7476 2563 303 0 5326 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39356 [startup+3.10194 s] /proc/loadavg: 0.93 1.02 1.02 2/107 12863 /proc/meminfo: memFree=1777196/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=72980 CPUtime=3.09 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 22584 0 0 0 300 9 0 0 18 0 1 0 11775888 74731520 17299 1992294400 134512640 135751879 4290486704 18446744073709551615 134581204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 18245 17300 143 303 0 17940 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72980 [startup+6.30152 s] /proc/loadavg: 1.01 1.03 1.03 2/107 12863 /proc/meminfo: memFree=1726480/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=81060 CPUtime=6.29 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 24639 0 0 0 617 12 0 0 18 0 1 0 11775888 83005440 19354 1992294400 134512640 135751879 4290486704 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 20265 19354 147 303 0 19960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81060 [startup+12.7017 s] /proc/loadavg: 1.01 1.03 1.03 2/107 12863 /proc/meminfo: memFree=1726728/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=81060 CPUtime=12.69 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 24639 0 0 0 1247 22 0 0 25 0 1 0 11775888 83005440 19354 1992294400 134512640 135751879 4290486704 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 20265 19354 147 303 0 19960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81060 [startup+25.501 s] /proc/loadavg: 1.01 1.03 1.03 2/107 12863 /proc/meminfo: memFree=1726728/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=81060 CPUtime=25.48 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 24639 0 0 0 2521 27 0 0 25 0 1 0 11775888 83005440 19354 1992294400 134512640 135751879 4290486704 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 20265 19354 147 303 0 19960 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81060 [startup+51.1007 s] /proc/loadavg: 1.00 1.03 1.02 2/107 12863 /proc/meminfo: memFree=1694116/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=114760 CPUtime=51.06 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 33033 0 0 0 5067 39 0 0 25 0 1 0 11775888 117514240 27748 1992294400 134512640 135751879 4290486704 18446744073709551615 134606351 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 28690 27748 147 303 0 28385 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 114760 [startup+102.309 s] /proc/loadavg: 1.00 1.02 1.02 2/107 12865 /proc/meminfo: memFree=1613764/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=194296 CPUtime=102.24 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 52935 0 0 0 10166 58 0 0 25 0 1 0 11775888 198959104 47650 1992294400 134512640 135751879 4290486704 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 48574 47650 147 303 0 48269 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 194296 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.01 2/107 12867 /proc/meminfo: memFree=1515556/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=292796 CPUtime=162.21 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 77567 0 0 0 16134 87 0 0 25 0 1 0 11775888 299823104 72282 1992294400 134512640 135751879 4290486704 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 73199 72282 147 303 0 72894 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 292796 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.01 2/107 12869 /proc/meminfo: memFree=1472156/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=334488 CPUtime=222.19 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 89683 0 0 0 22123 96 0 0 25 0 1 0 11775888 342515712 82829 1992294400 134512640 135751879 4290486704 18446744073709551615 135201623 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 83622 82829 150 303 0 83317 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 334488 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12869 /proc/meminfo: memFree=1472156/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=334488 CPUtime=282.17 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 89715 0 0 0 28109 108 0 0 25 0 1 0 11775888 342515712 82861 1992294400 134512640 135751879 4290486704 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 83622 82861 151 303 0 83317 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 334488 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12871 /proc/meminfo: memFree=1472156/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=334488 CPUtime=342.15 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 89725 0 0 0 34096 119 0 0 25 0 1 0 11775888 342515712 82871 1992294400 134512640 135751879 4290486704 18446744073709551615 134642011 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 83622 82871 151 303 0 83317 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 334488 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12873 /proc/meminfo: memFree=1425036/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=383384 CPUtime=402.13 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 101950 0 0 0 40080 133 0 0 25 0 1 0 11775888 392585216 95096 1992294400 134512640 135751879 4290486704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 95846 95096 151 303 0 95541 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 383384 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12875 /proc/meminfo: memFree=1324100/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=482948 CPUtime=462.11 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 126823 0 0 0 46061 150 0 0 25 0 1 0 11775888 494538752 119969 1992294400 134512640 135751879 4290486704 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 120737 119969 151 303 0 120432 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 482948 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12877 /proc/meminfo: memFree=1252552/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=555080 CPUtime=522.09 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 144881 0 0 0 52042 167 0 0 25 0 1 0 11775888 568401920 138027 1992294400 134512640 135751879 4290486704 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 138770 138027 151 303 0 138465 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 555080 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12877 /proc/meminfo: memFree=1175796/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=630756 CPUtime=582.07 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 163784 0 0 0 58024 183 0 0 25 0 1 0 11775888 645894144 156930 1992294400 134512640 135751879 4290486704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 157689 156930 151 303 0 157384 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 630756 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12879 /proc/meminfo: memFree=1107968/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=697896 CPUtime=642.06 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 180590 0 0 0 64007 199 0 0 25 0 1 0 11775888 714645504 173736 1992294400 134512640 135751879 4290486704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 174474 173736 151 303 0 174169 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 697896 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12881 /proc/meminfo: memFree=1045224/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=761248 CPUtime=702.03 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 196387 0 0 0 69988 215 0 0 25 0 1 0 11775888 779517952 189533 1992294400 134512640 135751879 4290486704 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 190312 189533 151 303 0 190007 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 761248 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12883 /proc/meminfo: memFree=965740/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=839828 CPUtime=762.02 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 216048 0 0 0 75973 229 0 0 25 0 1 0 11775888 859983872 209194 1992294400 134512640 135751879 4290486704 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 209957 209194 151 303 0 209652 0 Current children cumulated CPU time (s) 762.02 Current children cumulated vsize (KiB) 839828 [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12885 /proc/meminfo: memFree=858728/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=947688 CPUtime=821.99 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 242992 0 0 0 81951 248 0 0 25 0 1 0 11775888 970432512 236138 1992294400 134512640 135751879 4290486704 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 236922 236138 151 303 0 236617 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 947688 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12885 /proc/meminfo: memFree=765604/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=1039420 CPUtime=881.97 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 265942 0 0 0 87931 266 0 0 25 0 1 0 11775888 1064366080 259088 1992294400 134512640 135751879 4290486704 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 259855 259088 151 303 0 259550 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 1039420 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12887 /proc/meminfo: memFree=700008/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=1106904 CPUtime=941.95 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 282796 0 0 0 93914 281 0 0 25 0 1 0 11775888 1133469696 275942 1992294400 134512640 135751879 4290486704 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 276726 275942 151 303 0 276421 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1106904 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12889 /proc/meminfo: memFree=625484/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=1179660 CPUtime=1001.93 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 300964 0 0 0 99898 295 0 0 25 0 1 0 11775888 1207971840 294110 1992294400 134512640 135751879 4290486704 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 294915 294110 151 303 0 294610 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 1179660 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12891 /proc/meminfo: memFree=565344/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=1240592 CPUtime=1061.91 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 316226 0 0 0 105881 310 0 0 25 0 1 0 11775888 1270366208 309372 1992294400 134512640 135751879 4290486704 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 310148 309372 151 303 0 309843 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 1240592 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12896 /proc/meminfo: memFree=475320/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=1328896 CPUtime=1121.89 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 338287 0 0 0 111865 324 0 0 25 0 1 0 11775888 1360789504 331433 1992294400 134512640 135751879 4290486704 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 332224 331433 151 303 0 331919 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1328896 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12896 /proc/meminfo: memFree=391372/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=1414376 CPUtime=1181.87 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 359689 0 0 0 117850 337 0 0 25 0 1 0 11775888 1448321024 352835 1992294400 134512640 135751879 4290486704 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 353594 352835 151 303 0 353289 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1414376 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12898 /proc/meminfo: memFree=296636/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=1507328 CPUtime=1241.85 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 382920 0 0 0 123834 351 0 0 25 0 1 0 11775888 1543503872 376066 1992294400 134512640 135751879 4290486704 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 376832 376066 151 303 0 376527 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1507328 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12900 /proc/meminfo: memFree=227940/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=1575448 CPUtime=1301.83 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 399942 0 0 0 129819 364 0 0 25 0 1 0 11775888 1613258752 393088 1992294400 134512640 135751879 4290486704 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 393862 393088 151 303 0 393557 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1575448 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12902 /proc/meminfo: memFree=163088/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=1640868 CPUtime=1361.81 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 416301 0 0 0 135803 378 0 0 25 0 1 0 11775888 1680248832 409447 1992294400 134512640 135751879 4290486704 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 410217 409447 151 303 0 409912 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1640868 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12904 /proc/meminfo: memFree=95136/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=1708252 CPUtime=1421.79 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 433104 0 0 0 141789 390 0 0 25 0 1 0 11775888 1749250048 426250 1992294400 134512640 135751879 4290486704 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 427063 426250 151 303 0 426758 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1708252 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12904 /proc/meminfo: memFree=26936/2059040 swapFree=4177492/4192956 [pid=12862] ppid=12860 vsize=1776880 CPUtime=1481.76 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 450243 0 0 0 147774 402 0 0 25 0 1 0 11775888 1819525120 443389 1992294400 134512640 135751879 4290486704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 444220 443389 151 303 0 443915 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 1776880 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12906 /proc/meminfo: memFree=10600/2059040 swapFree=4164928/4192956 [pid=12862] ppid=12860 vsize=1836816 CPUtime=1541.75 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 465249 0 0 0 153762 413 0 0 25 0 1 0 11775888 1880899584 458395 1992294400 134512640 135751879 4290486704 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 459204 458395 151 303 0 458899 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1836816 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1548.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12906 /proc/meminfo: memFree=10636/2059040 swapFree=4164928/4192956 [pid=12862] ppid=12860 vsize=1843212 CPUtime=1547.96 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4202496 466827 0 0 0 154382 414 0 0 25 0 1 0 11775888 1887449088 459973 1992294400 134512640 135751879 4290486704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12862/statm: 460803 459973 151 303 0 460498 0 Current children cumulated CPU time (s) 1547.96 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+1548.61 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12906 /proc/meminfo: memFree=10636/2059040 swapFree=4164928/4192956 [pid=12862] ppid=12860 vsize=0 CPUtime=1548.05 /proc/12862/stat : 12862 (wbo1.4b) R 12860 12862 12837 0 -1 4203524 466827 0 0 0 154382 423 0 0 25 0 1 0 11775888 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/12862/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1548.05 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1548.69 CPU time (s): 1548.14 CPU user time (s): 1543.82 CPU system time (s): 4.31534 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (KiB): 1843212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1543.82 system time used= 4.31534 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466827 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= 9 involuntary context switches= 19738 runsolver used 2.6476 second user time and 7.29089 second system time The end
Begin job on node027 at 2010-06-13 00:20:40 IDJOB=2655938 IDBENCH=1972 IDSOLVER=1161 FILE ID=node027/2655938-1276381239 PBS_JOBID= 11173249 Free space on /tmp= 62432 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655938-1276381239/watcher-2655938-1276381239 -o /tmp/evaluation-result-2655938-1276381239/solver-2655938-1276381239 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655938-1276381239.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 093efae700664f798191c0b27cec34af RANDOM SEED=855052204 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1804640 kB Buffers: 27676 kB Cached: 115236 kB SwapCached: 68 kB Active: 129820 kB Inactive: 56928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1804640 kB SwapTotal: 4192956 kB SwapFree: 4177492 kB Dirty: 19636 kB Writeback: 12 kB AnonPages: 43776 kB Mapped: 15304 kB Slab: 45892 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181760 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62428 MiB End job on node027 at 2010-06-13 00:46:31