Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1557.9 | 1558.4 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680581-1277451716.opb. 0.00/0.00 c Instance file HOME/instance-2680581-1277451716.opb 0.00/0.00 c File size is 17233660 bytes. 2.99/3.07 c Highest Coefficient sum: 101 2.99/3.08 c ============================[ Problem Statistics ]============================= 2.99/3.08 c | | 2.99/3.08 c | Parsing time: 3.04 s | 2.99/3.08 c | Number Variables: 10000 | 2.99/3.08 c | Number Clauses: 656900 | 2.99/3.08 c | Number Cardinality: 0 | 2.99/3.08 c | Number PB Constraints: 0 | 6.60/6.64 c ============================[ Search Statistics ]============================== 6.60/6.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.64 c =============================================================================== 6.60/6.64 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.69/6.71 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.78/6.84 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 7.09/7.15 c =============================================================================== 7.09/7.15 c New solution: 6835 7.09/7.15 o 6835 7.09/7.15 c Elapsed CPU time: 7.02493 s Remaining CPU time: 172.975 s 7.09/7.15 c =============================================================================== 7.09/7.15 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 7.38/7.46 c =============================================================================== 7.38/7.46 c New solution: 6825 7.38/7.46 o 6825 7.38/7.46 c Elapsed CPU time: 7.32789 s Remaining CPU time: 172.672 s 7.38/7.46 c =============================================================================== 7.38/7.46 c | 305 | 10000 656902 1353400 | 218967 305 1181 | 0.000 % | 7.48/7.54 c | 408 | 10000 656902 1353400 | 240864 408 1176 | 0.000 % | 7.78/7.84 c =============================================================================== 7.78/7.84 c New solution: 6783 7.78/7.84 o 6783 7.78/7.84 c Elapsed CPU time: 7.70383 s Remaining CPU time: 172.296 s 7.78/7.84 c =============================================================================== 7.78/7.84 c | 423 | 10000 656903 1363400 | 218967 423 1165 | 0.000 % | 7.89/7.96 c | 523 | 10000 656903 1363400 | 240864 523 1052 | 0.000 % | 7.98/8.08 c | 676 | 10000 656903 1363400 | 264950 676 1108 | 0.000 % | 8.18/8.28 c | 901 | 10000 656903 1363400 | 291445 901 1195 | 0.000 % | 8.58/8.68 c =============================================================================== 8.58/8.68 c New solution: 6754 8.58/8.68 o 6754 8.58/8.68 c Elapsed CPU time: 8.5167 s Remaining CPU time: 171.483 s 8.58/8.68 c =============================================================================== 8.58/8.68 c | 1031 | 10000 656904 1373400 | 218968 1031 1158 | 0.000 % | 8.99/9.01 c =============================================================================== 8.99/9.01 c New solution: 6720 8.99/9.01 o 6720 8.99/9.01 c Elapsed CPU time: 8.84165 s Remaining CPU time: 171.158 s 8.99/9.01 c =============================================================================== 8.99/9.01 c | 1083 | 10000 656905 1383400 | 218968 1083 1139 | 0.000 % | 9.08/9.17 c | 1183 | 10000 656905 1383400 | 240865 1183 1119 | 0.000 % | 9.29/9.32 c | 1334 | 10000 656905 1383400 | 264951 1334 1083 | 0.000 % | 9.49/9.55 c | 1559 | 10000 656905 1383400 | 291446 1559 1123 | 0.000 % | 9.79/9.90 c =============================================================================== 9.79/9.90 c New solution: 6715 9.79/9.90 o 6715 9.79/9.90 c Elapsed CPU time: 9.71852 s Remaining CPU time: 170.281 s 9.79/9.90 c =============================================================================== 9.79/9.90 c | 1613 | 10000 656906 1393400 | 218968 1613 1128 | 0.000 % | 9.98/10.01 c | 1713 | 10000 656906 1393400 | 240865 1713 1133 | 0.000 % | 10.08/10.19 c | 1864 | 10000 656906 1393400 | 264952 1864 1120 | 0.000 % | 10.28/10.39 c | 2089 | 10000 656906 1393400 | 291447 2089 1139 | 0.000 % | 10.68/10.74 c | 2426 | 10000 656906 1393400 | 320592 2426 1162 | 0.000 % | 10.99/11.04 c =============================================================================== 10.99/11.04 c New solution: 6713 10.99/11.04 o 6713 10.99/11.04 c Elapsed CPU time: 10.8404 s Remaining CPU time: 169.16 s 10.99/11.04 c =============================================================================== 10.99/11.04 c | 2431 | 10000 656907 1403400 | 218969 2431 1160 | 0.000 % | 11.08/11.17 c | 2532 | 10000 656907 1403400 | 240865 2532 1152 | 0.000 % | 11.38/11.48 c =============================================================================== 11.38/11.48 c New solution: 6268 11.38/11.48 o 6268 11.38/11.48 c Elapsed CPU time: 11.2683 s Remaining CPU time: 168.732 s 11.38/11.48 c =============================================================================== 11.38/11.48 c | 2544 | 10000 656908 1413400 | 218969 2544 1151 | 0.000 % | 11.58/11.62 c | 2647 | 10000 656908 1413400 | 240866 2647 1140 | 0.000 % | 11.77/11.84 c | 2798 | 10000 656908 1413400 | 264952 2798 1129 | 0.000 % | 12.18/12.23 c =============================================================================== 12.18/12.23 c New solution: 6267 12.18/12.23 o 6267 12.18/12.23 c Elapsed CPU time: 12.0112 s Remaining CPU time: 167.989 s 12.18/12.23 c =============================================================================== 12.18/12.23 c | 2893 | 10000 656909 1423400 | 218969 2893 1130 | 0.000 % | 12.37/12.48 c | 2993 | 10000 656909 1423400 | 240866 2993 1107 | 0.000 % | 12.58/12.68 c | 3145 | 10000 656909 1423400 | 264953 3145 1090 | 0.000 % | 12.98/13.01 c | 3370 | 10000 656909 1423400 | 291448 3370 1077 | 0.000 % | 13.37/13.41 c | 3708 | 10000 656909 1423400 | 320593 3708 1056 | 0.000 % | 13.97/14.01 c | 4214 | 10000 656909 1423400 | 352652 4214 1014 | 0.000 % | 15.28/15.39 c | 4974 | 10000 656909 1423400 | 387918 4974 962 | 0.000 % | 16.98/17.00 c | 6114 | 10000 656909 1423400 | 426709 6114 929 | 0.000 % | 18.68/18.78 c =============================================================================== 18.68/18.78 c New solution: 6263 18.68/18.78 o 6263 18.68/18.78 c Elapsed CPU time: 18.5172 s Remaining CPU time: 161.483 s 18.68/18.78 c =============================================================================== 18.68/18.78 c | 7121 | 10000 656910 1433400 | 218970 7121 894 | 0.000 % | 18.97/19.08 c =============================================================================== 18.97/19.08 c New solution: 6149 18.97/19.08 o 6149 18.97/19.08 c Elapsed CPU time: 18.8151 s Remaining CPU time: 161.185 s 18.97/19.08 c =============================================================================== 18.97/19.08 c | 7124 | 10000 656911 1443400 | 218970 7124 894 | 0.000 % | 19.27/19.38 c =============================================================================== 19.27/19.38 c New solution: 5619 19.27/19.38 o 5619 19.27/19.38 c Elapsed CPU time: 19.1111 s Remaining CPU time: 160.889 s 19.27/19.38 c =============================================================================== 19.27/19.38 c | 7125 | 10000 656912 1453400 | 218970 7125 893 | 0.000 % | 19.48/19.53 c | 7225 | 10000 656912 1453400 | 240867 7225 890 | 0.000 % | 19.68/19.75 c | 7376 | 10000 656912 1453400 | 264954 7376 882 | 0.000 % | 20.07/20.16 c | 7602 | 10000 656912 1453400 | 291449 7602 873 | 0.000 % | 20.57/20.66 c | 7939 | 10000 656912 1453400 | 320594 7939 868 | 0.000 % | 21.37/21.41 c | 8445 | 10000 656912 1453400 | 352654 8445 844 | 0.000 % | 22.57/22.63 c | 9206 | 10000 656912 1453400 | 387919 9206 810 | 0.000 % | 24.47/24.55 c | 10346 | 10000 656912 1453400 | 426711 10346 811 | 0.000 % | 27.07/27.12 c | 12055 | 10000 656912 1453400 | 469383 12055 763 | 0.000 % | 30.68/30.74 c | 14617 | 10000 656912 1453400 | 516321 14617 722 | 0.000 % | 36.66/36.73 c | 18465 | 10000 656912 1453400 | 567953 18465 663 | 0.000 % | 45.25/45.37 c | 24231 | 10000 656912 1453400 | 624748 24231 653 | 0.000 % | 61.15/61.25 c | 32882 | 10000 656912 1453400 | 687223 32882 625 | 0.000 % | 83.64/83.73 c | 45856 | 10000 656912 1453400 | 755946 45856 603 | 0.000 % | 84.04/84.12 c =============================================================================== 84.04/84.12 c New solution: 5609 84.04/84.12 o 5609 84.04/84.12 c Elapsed CPU time: 83.5693 s Remaining CPU time: 96.4307 s 84.04/84.12 c =============================================================================== 84.04/84.12 c | 45910 | 10000 656913 1463400 | 218971 45910 604 | 0.000 % | 84.24/84.30 c | 46011 | 10000 656913 1463400 | 240868 46011 604 | 0.000 % | 84.44/84.55 c | 46161 | 10000 656913 1463400 | 264954 46161 604 | 0.000 % | 84.84/84.93 c | 46388 | 10000 656913 1463400 | 291450 46388 604 | 0.000 % | 85.54/85.64 c | 46726 | 10000 656913 1463400 | 320595 46726 603 | 0.000 % | 86.85/86.95 c | 47232 | 10000 656913 1463400 | 352654 47232 606 | 0.000 % | 88.13/88.22 c | 47992 | 10000 656913 1463400 | 387920 47992 612 | 0.000 % | 91.14/91.23 c | 49132 | 10000 656913 1463400 | 426712 49132 615 | 0.000 % | 93.63/93.71 c | 50843 | 10000 656913 1463400 | 469383 50843 628 | 0.000 % | 97.43/97.52 c | 53409 | 10000 656913 1463400 | 516322 53409 628 | 0.000 % | 103.73/103.82 c | 57255 | 10000 656913 1463400 | 567954 57255 655 | 0.000 % | 112.33/112.42 c | 63021 | 10000 656913 1463400 | 624749 63021 642 | 0.000 % | 129.42/129.51 c | 71670 | 10000 656913 1463400 | 687224 71670 666 | 0.000 % | 152.42/152.51 c | 84645 | 10000 656913 1463400 | 755947 84645 664 | 0.000 % | 154.12/154.25 c =============================================================================== 154.12/154.25 c New solution: 5587 154.12/154.25 o 5587 154.12/154.25 c Elapsed CPU time: 153.34 s Remaining CPU time: 26.6603 s 154.12/154.25 c =============================================================================== 154.12/154.25 c | 85407 | 10000 656914 1473400 | 218971 85407 678 | 0.000 % | 154.31/154.47 c | 85507 | 10000 656914 1473400 | 240868 85507 678 | 0.000 % | 154.61/154.76 c | 85657 | 10000 656914 1473400 | 264955 85657 678 | 0.000 % | 155.02/155.16 c | 85882 | 10000 656914 1473400 | 291450 85882 678 | 0.000 % | 155.62/155.73 c | 86219 | 10000 656914 1473400 | 320595 86219 677 | 0.000 % | 156.42/156.50 c | 86728 | 10000 656914 1473400 | 352655 86728 678 | 0.000 % | 157.51/157.65 c | 87487 | 10000 656914 1473400 | 387921 87487 677 | 0.000 % | 159.51/159.60 c | 88628 | 10000 656914 1473400 | 426713 88628 675 | 0.000 % | 162.21/162.31 c | 90337 | 10000 656914 1473400 | 469384 90337 672 | 0.000 % | 167.02/167.15 c | 92899 | 10000 656914 1473400 | 516322 92899 668 | 0.000 % | 173.41/173.52 c | 96744 | 10000 656914 1473400 | 567955 96744 661 | 0.000 % | 180.90/181.05 c There are 0 assigned variables. 0 in cost function. 203.20/203.36 c core #1 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 1 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #2 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 2 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #3 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 3 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #4 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 4 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #5 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 5 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #6 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 6 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #7 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 7 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #8 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 8 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #9 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 9 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #10 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 10 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #11 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 11 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #12 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 12 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #13 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 301 Core Weight: 1 Total Weight: 13 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #14 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 3 Total Weight: 16 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #15 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 17 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #16 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 18 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #17 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 19 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #18 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 20 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #19 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 21 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #20 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 22 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #21 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 23 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #22 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 201 Core Weight: 1 Total Weight: 24 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #23 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 25 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #24 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 26 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #25 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 27 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #26 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 28 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #27 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 2 Total Weight: 30 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #28 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 201 Core Weight: 1 Total Weight: 31 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #29 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 6 Total Weight: 37 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #30 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 38 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #31 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 39 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #32 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 2 Total Weight: 41 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #33 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 42 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #34 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 43 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #35 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 44 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #36 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 45 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #37 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 46 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #38 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 47 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #39 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 48 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #40 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 49 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #41 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 50 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #42 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 51 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #43 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 52 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #44 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 53 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #45 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 54 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #46 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 2 Total Weight: 56 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #47 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 57 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #48 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 58 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #49 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 59 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #50 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 60 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #51 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 61 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #52 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 62 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #53 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 1101 Core Weight: 1 Total Weight: 63 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #54 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 64 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #55 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 65 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #56 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 66 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #57 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 67 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #58 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 1 Total Weight: 68 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c core #59 203.20/203.36 c 203.20/203.36 c 203.20/203.36 c Core size: 101 Core Weight: 3 Total Weight: 71 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #60 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 72 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #61 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 73 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #62 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 74 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #63 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 501 Core Weight: 1 Total Weight: 75 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #64 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 76 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #65 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 77 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #66 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 78 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #67 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 79 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #68 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 80 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #69 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 81 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #70 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 1101 Core Weight: 1 Total Weight: 82 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #71 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 83 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #72 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 84 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #73 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 85 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #74 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 86 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #75 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 2 Total Weight: 88 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #76 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 89 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #77 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 90 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #78 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 201 Core Weight: 1 Total Weight: 91 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #79 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 92 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #80 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 301 Core Weight: 1 Total Weight: 93 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #81 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 94 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #82 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 95 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #83 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 96 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #84 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 2 Total Weight: 98 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #85 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 2 Total Weight: 100 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #86 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 101 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #87 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 102 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #88 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 103 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #89 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 4 Total Weight: 107 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #90 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 108 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #91 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 2 Total Weight: 110 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #92 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 111 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #93 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 112 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #94 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 201 Core Weight: 1 Total Weight: 113 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #95 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 401 Core Weight: 1 Total Weight: 114 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #96 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 115 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #97 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 1001 Core Weight: 1 Total Weight: 116 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #98 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 2 Total Weight: 118 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #99 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 119 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #100 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 120 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #101 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 1901 Core Weight: 1 Total Weight: 121 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #102 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 122 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #103 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 123 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #104 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 124 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #105 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 125 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #106 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 6 Total Weight: 131 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #107 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 132 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #108 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 133 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #109 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 134 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #110 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 201 Core Weight: 2 Total Weight: 136 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #111 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 2 Total Weight: 138 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #112 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 139 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #113 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 101 Core Weight: 1 Total Weight: 140 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #114 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 200 Core Weight: 1 Total Weight: 141 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #115 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 1361 Core Weight: 1 Total Weight: 142 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #116 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 201 Core Weight: 2 Total Weight: 144 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c core #117 225.99/226.12 c 225.99/226.12 c 225.99/226.12 c Core size: 1649 Core Weight: 1 Total Weight: 145 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c core #118 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c Core size: 1259 Core Weight: 1 Total Weight: 146 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c core #119 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c Core size: 200 Core Weight: 1 Total Weight: 147 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c core #120 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c Core size: 101 Core Weight: 3 Total Weight: 150 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c core #121 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c Core size: 497 Core Weight: 1 Total Weight: 151 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c core #122 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c Core size: 101 Core Weight: 4 Total Weight: 155 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c core #123 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c Core size: 101 Core Weight: 1 Total Weight: 156 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c core #124 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c Core size: 398 Core Weight: 1 Total Weight: 157 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c core #125 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c Core size: 499 Core Weight: 1 Total Weight: 158 229.69/229.88 c 229.69/229.88 c 229.69/229.88 c ============================[ Search Statistics ]============================== 229.69/229.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.69/229.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.69/229.88 c =============================================================================== 229.69/229.88 c | 0 | 23854 690535 46930 | 230178 0 nan | 0.000 % | 229.69/229.89 c =============================================================================== 230.19/230.31 c core #126 230.19/230.31 c 230.19/230.31 c 230.19/230.31 c Core size: 700 Core Weight: 1 Total Weight: 159 230.19/230.31 c 230.19/230.31 c 230.19/230.31 c ============================[ Search Statistics ]============================== 230.19/230.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.19/230.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.19/230.31 c =============================================================================== 230.19/230.31 c | 0 | 24881 691208 47839 | 230402 0 nan | 0.000 % | 230.19/230.33 c =============================================================================== 230.59/230.75 c core #127 230.59/230.75 c 230.59/230.75 c 230.59/230.75 c Core size: 692 Core Weight: 1 Total Weight: 160 230.59/230.75 c 230.59/230.75 c 230.59/230.75 c ============================[ Search Statistics ]============================== 230.59/230.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.59/230.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.59/230.75 c =============================================================================== 230.59/230.75 c | 0 | 25568 691871 48682 | 230623 0 nan | 0.000 % | 230.68/230.89 c =============================================================================== 231.18/231.32 c core #128 231.18/231.32 c 231.18/231.32 c 231.18/231.32 c Core size: 2338 Core Weight: 1 Total Weight: 161 231.18/231.32 c 231.18/231.32 c 231.18/231.32 c ============================[ Search Statistics ]============================== 231.18/231.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.18/231.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.18/231.32 c =============================================================================== 231.18/231.32 c | 0 | 27915 694135 51445 | 231378 0 nan | 0.000 % | 231.18/231.36 c =============================================================================== 231.58/231.79 c core #129 231.58/231.79 c 231.58/231.79 c 231.58/231.79 c Core size: 1078 Core Weight: 1 Total Weight: 162 231.58/231.79 c 231.58/231.79 c 231.58/231.79 c ============================[ Search Statistics ]============================== 231.58/231.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.58/231.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.58/231.80 c =============================================================================== 231.58/231.80 c | 0 | 28993 695172 52746 | 231724 0 nan | 0.000 % | 231.89/232.02 c =============================================================================== 232.29/232.47 c core #130 232.29/232.47 c 232.29/232.47 c 232.29/232.47 c Core size: 2722 Core Weight: 1 Total Weight: 163 232.29/232.47 c 232.29/232.47 c 232.29/232.47 c ============================[ Search Statistics ]============================== 232.29/232.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.29/232.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.29/232.47 c =============================================================================== 232.29/232.47 c | 0 | 31739 697750 56288 | 232583 0 nan | 0.000 % | 232.48/232.64 c =============================================================================== 232.88/233.09 c core #131 232.88/233.09 c 232.88/233.09 c 232.88/233.09 c Core size: 2613 Core Weight: 1 Total Weight: 164 232.88/233.09 c 232.88/233.09 c 232.88/233.09 c ============================[ Search Statistics ]============================== 232.88/233.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.88/233.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.88/233.09 c =============================================================================== 232.88/233.09 c | 0 | 34474 700224 59932 | 233408 0 nan | 0.000 % | 233.09/233.24 c | 101 | 34474 700224 59932 | 256748 101 1491 | 21.605 % | 233.88/234.07 c =============================================================================== 234.38/234.55 c core #132 234.38/234.55 c 234.38/234.55 c 234.38/234.55 c Core size: 6135 Core Weight: 1 Total Weight: 165 234.38/234.55 c 234.38/234.55 c 234.38/234.55 c ============================[ Search Statistics ]============================== 234.38/234.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.38/234.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.38/234.55 c =============================================================================== 234.38/234.55 c | 0 | 40661 706009 67719 | 235336 0 nan | 0.000 % | 234.58/234.71 c | 101 | 40661 706009 67719 | 258869 101 1211 | 18.852 % | 234.97/235.18 c | 251 | 40661 706009 67719 | 284756 251 2008 | 18.852 % | 235.47/235.67 c | 480 | 40661 706009 67719 | 313232 480 2008 | 18.852 % | 236.58/236.70 c | 817 | 40658 706009 67719 | 344555 814 2481 | 18.858 % | 238.18/238.36 c =============================================================================== 238.68/238.88 c core #133 238.68/238.88 c 238.68/238.88 c 238.68/238.88 c Core size: 9281 Core Weight: 1 Total Weight: 166 238.68/238.88 c 238.68/238.88 c 238.68/238.88 c ============================[ Search Statistics ]============================== 238.68/238.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.68/238.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.68/238.88 c =============================================================================== 238.68/238.88 c | 0 | 50032 714511 80227 | 238170 0 nan | 0.000 % | 238.87/239.07 c | 100 | 50032 714511 80227 | 261987 100 1295 | 15.751 % | 239.47/239.66 c | 254 | 50032 714511 80227 | 288186 254 1513 | 15.751 % | 240.18/240.35 c | 480 | 50032 714511 80227 | 317004 480 1410 | 15.751 % | 241.08/241.26 c | 819 | 50032 714511 80227 | 348705 819 1183 | 15.751 % | 242.18/242.36 c | 1326 | 50032 714511 80227 | 383575 1326 1099 | 15.751 % | 244.08/244.28 c | 2085 | 50032 714511 80227 | 421933 2085 1136 | 15.751 % | 247.18/247.34 c | 3226 | 50032 714511 80227 | 464126 3226 1221 | 15.751 % | 252.28/252.47 c | 4935 | 50029 714511 80227 | 510539 4911 1682 | 15.756 % | 262.18/262.36 c | 7498 | 50028 714511 80227 | 561593 7474 2335 | 15.758 % | 277.57/277.76 c | 11342 | 50020 714511 80227 | 617752 4639 681 | 15.771 % | 285.57/285.70 c =============================================================================== 286.17/286.35 c core #134 286.17/286.35 c 286.17/286.35 c 286.17/286.35 c Core size: 10565 Core Weight: 1 Total Weight: 167 286.17/286.35 c 286.17/286.35 c 286.17/286.35 c ============================[ Search Statistics ]============================== 286.17/286.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 286.17/286.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 286.17/286.35 c =============================================================================== 286.17/286.35 c | 0 | 60688 723618 95169 | 241206 0 nan | 0.000 % | 286.36/286.57 c | 100 | 60688 723618 95169 | 265326 100 1556 | 13.231 % | 286.88/287.10 c | 252 | 60688 723618 95169 | 291859 252 1308 | 13.231 % | 287.67/287.81 c | 479 | 60688 723618 95169 | 321045 479 853 | 13.231 % | 289.17/289.39 c | 817 | 60688 723618 95169 | 353149 817 899 | 13.231 % | 291.96/292.14 c | 1327 | 60688 723618 95169 | 388464 1327 1091 | 13.231 % | 295.67/295.81 c | 2087 | 60688 723618 95169 | 427311 2087 1088 | 13.231 % | 300.56/300.78 c | 3228 | 60688 723618 95169 | 470042 3228 958 | 13.231 % | 307.26/307.44 c | 4936 | 60688 723618 95169 | 517046 4936 1082 | 13.231 % | 317.86/318.00 c | 7499 | 60688 723618 95169 | 568751 7499 1193 | 13.231 % | 337.76/337.97 c | 11344 | 60688 723618 95169 | 625626 11344 1310 | 13.231 % | 374.05/374.29 c | 17110 | 60688 723618 95169 | 688188 17110 1490 | 13.231 % | 436.03/436.25 c | 25763 | 60688 723618 95169 | 757007 25763 2078 | 13.231 % | 510.91/511.17 c | 38738 | 60688 723618 95169 | 832708 38738 1965 | 13.231 % | 648.17/648.41 c | 58201 | 60687 723618 95169 | 915979 58190 1988 | 13.232 % | 885.62/885.90 c | 87395 | 60686 723618 95169 | 1007577 87370 2300 | 13.234 % | 1314.20/1314.60 c | 131184 | 60686 723618 95169 | 1108335 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-2680581-1277451716/watcher-2680581-1277451716 -o /tmp/evaluation-result-2680581-1277451716/solver-2680581-1277451716 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680581-1277451716.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.00 0.00 0.00 3/106 20198 /proc/meminfo: memFree=937536/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=20420 CPUtime=0.01 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 533 0 0 0 1 0 0 0 17 0 1 0 120775583 20910080 452 1992294400 134512640 135752675 4292806880 18446744073709551615 134609916 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 5105 452 143 303 0 592 0 [startup+0.08298 s] /proc/loadavg: 0.00 0.00 0.00 3/106 20198 /proc/meminfo: memFree=937536/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=21852 CPUtime=0.07 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 961 0 0 0 7 0 0 0 17 0 1 0 120775583 22376448 880 1992294400 134512640 135752675 4292806880 18446744073709551615 135189343 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 5463 880 251 303 0 950 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 21852 [startup+0.100981 s] /proc/loadavg: 0.00 0.00 0.00 3/106 20198 /proc/meminfo: memFree=937536/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=22220 CPUtime=0.09 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 1051 0 0 0 9 0 0 0 17 0 1 0 120775583 22753280 970 1992294400 134512640 135752675 4292806880 18446744073709551615 135188634 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 5555 970 278 303 0 1042 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22220 [startup+0.301001 s] /proc/loadavg: 0.00 0.00 0.00 3/106 20198 /proc/meminfo: memFree=937536/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=24696 CPUtime=0.29 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 1933 0 0 0 29 0 0 0 18 0 1 0 120775583 25288704 1852 1992294400 134512640 135752675 4292806880 18446744073709551615 135188691 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 6174 1852 561 303 0 1661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24696 [startup+0.701037 s] /proc/loadavg: 0.00 0.00 0.00 3/106 20198 /proc/meminfo: memFree=937536/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=28576 CPUtime=0.69 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 3442 0 0 0 69 0 0 0 18 0 1 0 120775583 29261824 3361 1992294400 134512640 135752675 4292806880 18446744073709551615 135379946 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 7144 3361 1103 303 0 2631 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28576 [startup+1.50111 s] /proc/loadavg: 0.00 0.00 0.00 2/107 20199 /proc/meminfo: memFree=925624/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=36716 CPUtime=1.49 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 6453 0 0 0 148 1 0 0 19 0 1 0 120775583 37597184 6372 1992294400 134512640 135752675 4292806880 18446744073709551615 135225873 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 9179 6373 2179 303 0 4666 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36716 [startup+3.10127 s] /proc/loadavg: 0.00 0.00 0.00 2/107 20199 /proc/meminfo: memFree=914464/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=40508 CPUtime=3.09 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 14464 0 0 0 305 4 0 0 24 0 1 0 120775583 41480192 9179 1992294400 134512640 135752675 4292806880 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 10127 9180 140 303 0 9822 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40508 [startup+6.30057 s] /proc/loadavg: 0.08 0.02 0.01 2/107 20199 /proc/meminfo: memFree=859904/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=81060 CPUtime=6.29 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 24627 0 0 0 618 11 0 0 25 0 1 0 120775583 83005440 19342 1992294400 134512640 135752675 4292806880 18446744073709551615 135200902 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 20265 19342 141 303 0 19960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81060 [startup+12.7002 s] /proc/loadavg: 0.15 0.03 0.01 2/107 20199 /proc/meminfo: memFree=860028/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=81060 CPUtime=12.68 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 24637 0 0 0 1246 22 0 0 25 0 1 0 120775583 83005440 19352 1992294400 134512640 135752675 4292806880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 20265 19352 145 303 0 19960 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 81060 [startup+25.5014 s] /proc/loadavg: 0.34 0.08 0.02 2/107 20199 /proc/meminfo: memFree=860028/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=81060 CPUtime=25.48 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 24637 0 0 0 2519 29 0 0 25 0 1 0 120775583 83005440 19352 1992294400 134512640 135752675 4292806880 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 20265 19352 145 303 0 19960 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81060 [startup+51.1008 s] /proc/loadavg: 0.56 0.15 0.05 2/107 20199 /proc/meminfo: memFree=828284/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=114048 CPUtime=51.05 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 32876 0 0 0 5067 38 0 0 25 0 1 0 120775583 116785152 27591 1992294400 134512640 135752675 4292806880 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 28512 27591 145 303 0 28207 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 114048 [startup+102.309 s] /proc/loadavg: 0.81 0.28 0.10 2/107 20201 /proc/meminfo: memFree=748056/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=193348 CPUtime=102.23 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 52716 0 0 0 10162 61 0 0 25 0 1 0 120775583 197988352 47431 1992294400 134512640 135752675 4292806880 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 48337 47431 145 303 0 48032 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 193348 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/107 20203 /proc/meminfo: memFree=649724/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=292280 CPUtime=162.21 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 77429 0 0 0 16131 90 0 0 25 0 1 0 120775583 299294720 72144 1992294400 134512640 135752675 4292806880 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 73070 72144 145 303 0 72765 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 292280 [startup+222.301 s] /proc/loadavg: 0.97 0.51 0.20 2/107 20203 /proc/meminfo: memFree=606448/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=333424 CPUtime=222.19 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 89471 0 0 0 22120 99 0 0 25 0 1 0 120775583 341426176 82558 1992294400 134512640 135752675 4292806880 18446744073709551615 134548111 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 83356 82558 146 303 0 83051 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 333424 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/107 20205 /proc/meminfo: memFree=606448/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=333424 CPUtime=282.17 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 89503 0 0 0 28106 111 0 0 25 0 1 0 120775583 341426176 82590 1992294400 134512640 135752675 4292806880 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 83356 82590 146 303 0 83051 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 333424 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.29 2/107 20207 /proc/meminfo: memFree=606448/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=333424 CPUtime=342.15 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 89513 0 0 0 34094 121 0 0 25 0 1 0 120775583 341426176 82600 1992294400 134512640 135752675 4292806880 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 83356 82600 146 303 0 83051 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 333424 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.33 2/107 20209 /proc/meminfo: memFree=565528/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=375588 CPUtime=402.14 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 100063 0 0 0 40081 133 0 0 25 0 1 0 120775583 384602112 93150 1992294400 134512640 135752675 4292806880 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 93897 93150 146 303 0 93592 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 375588 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/107 20211 /proc/meminfo: memFree=464096/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=476148 CPUtime=462.12 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 125199 0 0 0 46060 152 0 0 25 0 1 0 120775583 487575552 118286 1992294400 134512640 135752675 4292806880 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 119037 118286 146 303 0 118732 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 476148 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/107 20211 /proc/meminfo: memFree=393168/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=547448 CPUtime=522.1 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 143030 0 0 0 52043 167 0 0 25 0 1 0 120775583 560586752 136117 1992294400 134512640 135752675 4292806880 18446744073709551615 134638143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 136862 136117 146 303 0 136557 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 547448 [startup+582.301 s] /proc/loadavg: 0.99 0.84 0.44 2/107 20213 /proc/meminfo: memFree=317900/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=622616 CPUtime=582.09 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 161787 0 0 0 58024 185 0 0 25 0 1 0 120775583 637558784 154874 1992294400 134512640 135752675 4292806880 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 155654 154874 146 303 0 155349 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 622616 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.47 2/107 20215 /proc/meminfo: memFree=248460/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=691064 CPUtime=642.08 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 178910 0 0 0 64007 201 0 0 25 0 1 0 120775583 707649536 171997 1992294400 134512640 135752675 4292806880 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 172766 171997 146 303 0 172461 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 691064 [startup+702.302 s] /proc/loadavg: 0.99 0.89 0.50 2/107 20217 /proc/meminfo: memFree=187204/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=752688 CPUtime=702.06 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 194299 0 0 0 69987 219 0 0 25 0 1 0 120775583 770752512 187386 1992294400 134512640 135752675 4292806880 18446744073709551615 134616082 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 188172 187386 146 303 0 187867 0 Current children cumulated CPU time (s) 702.06 Current children cumulated vsize (KiB) 752688 [startup+762.308 s] /proc/loadavg: 0.99 0.91 0.53 2/107 20219 /proc/meminfo: memFree=107844/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=831288 CPUtime=762.05 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 213973 0 0 0 75970 235 0 0 25 0 1 0 120775583 851238912 207060 1992294400 134512640 135752675 4292806880 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 207822 207060 146 303 0 207517 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 831288 [startup+822.301 s] /proc/loadavg: 0.99 0.92 0.56 2/107 20219 /proc/meminfo: memFree=10660/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=935912 CPUtime=822.03 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 240124 0 0 0 81950 253 0 0 25 0 1 0 120775583 958373888 233211 1992294400 134512640 135752675 4292806880 18446744073709551615 134611493 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 233978 233211 146 303 0 233673 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 935912 [startup+882.302 s] /proc/loadavg: 0.99 0.93 0.58 2/107 20221 /proc/meminfo: memFree=10584/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1026608 CPUtime=882.02 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 262792 0 0 0 87933 269 0 0 25 0 1 0 120775583 1051246592 255879 1992294400 134512640 135752675 4292806880 18446744073709551615 134605073 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 256652 255879 146 303 0 256347 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 1026608 [startup+942.301 s] /proc/loadavg: 0.99 0.94 0.61 2/107 20223 /proc/meminfo: memFree=10236/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1096228 CPUtime=942 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 280173 0 0 0 93916 284 0 0 25 0 1 0 120775583 1122537472 273260 1992294400 134512640 135752675 4292806880 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 274057 273260 146 303 0 273752 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 1096228 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/107 20225 /proc/meminfo: memFree=10216/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1170916 CPUtime=1001.99 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 298861 0 0 0 99899 300 0 0 25 0 1 0 120775583 1199017984 291948 1992294400 134512640 135752675 4292806880 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 292729 291948 146 303 0 292424 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1170916 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.65 2/107 20227 /proc/meminfo: memFree=10288/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1229584 CPUtime=1061.98 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 313515 0 0 0 105884 314 0 0 25 0 1 0 120775583 1259094016 306602 1992294400 134512640 135752675 4292806880 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 307396 306602 146 303 0 307091 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1229584 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/107 20227 /proc/meminfo: memFree=9708/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1318596 CPUtime=1121.96 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 335775 0 0 0 111865 331 0 0 25 0 1 0 120775583 1350242304 328862 1992294400 134512640 135752675 4292806880 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 329649 328862 146 303 0 329344 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1318596 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.68 2/107 20238 /proc/meminfo: memFree=9960/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1400244 CPUtime=1181.93 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 356193 0 0 0 117848 345 0 0 25 0 1 0 120775583 1433849856 349280 1992294400 134512640 135752675 4292806880 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 350061 349280 146 303 0 349756 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1400244 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/107 20240 /proc/meminfo: memFree=10464/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1494328 CPUtime=1241.92 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 379725 0 0 0 123834 358 0 0 25 0 1 0 120775583 1530191872 372812 1992294400 134512640 135752675 4292806880 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 373582 372812 146 303 0 373277 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1494328 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/107 20242 /proc/meminfo: memFree=10260/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1563680 CPUtime=1301.91 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 397068 0 0 0 129818 373 0 0 25 0 1 0 120775583 1601208320 390155 1992294400 134512640 135752675 4292806880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 390920 390155 146 303 0 390615 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1563680 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.73 2/107 20244 /proc/meminfo: memFree=10216/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1628216 CPUtime=1361.89 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 413183 0 0 0 135802 387 0 0 25 0 1 0 120775583 1667293184 406270 1992294400 134512640 135752675 4292806880 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 407054 406270 146 303 0 406749 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1628216 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.75 2/107 20244 /proc/meminfo: memFree=9652/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1698360 CPUtime=1421.88 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 430673 0 0 0 141790 398 0 0 25 0 1 0 120775583 1739120640 423760 1992294400 134512640 135752675 4292806880 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 424590 423760 146 303 0 424285 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1698360 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/107 20246 /proc/meminfo: memFree=10704/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1764092 CPUtime=1481.86 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 447108 0 0 0 147775 411 0 0 25 0 1 0 120775583 1806430208 440195 1992294400 134512640 135752675 4292806880 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 441023 440195 146 303 0 440718 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1764092 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/107 20248 /proc/meminfo: memFree=10652/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1823448 CPUtime=1541.84 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 461946 0 0 0 153762 422 0 0 25 0 1 0 120775583 1867210752 455033 1992294400 134512640 135752675 4292806880 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20198/statm: 455862 455033 146 303 0 455557 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1823448 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1558.2 s] /proc/loadavg: 0.99 0.97 0.77 2/107 20248 /proc/meminfo: memFree=9708/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=1843200 CPUtime=1557.7 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4202496 466895 0 0 0 155345 425 0 0 25 0 1 0 120775583 1887436800 459982 1992294400 134512640 135752675 4292806880 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20198/statm: 460800 459982 146 303 0 460495 0 Current children cumulated CPU time (s) 1557.7 Current children cumulated vsize (KiB) 1843200 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1558.31 s] /proc/loadavg: 0.99 0.97 0.77 2/107 20248 /proc/meminfo: memFree=9708/2059040 swapFree=4140248/4192956 [pid=20198] ppid=20196 vsize=0 CPUtime=1557.8 /proc/20198/stat : 20198 (wbo1.4b) R 20196 20198 20171 0 -1 4203524 466895 0 0 0 155345 435 0 0 25 0 1 0 120775583 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/20198/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1557.8 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1558.4 CPU time (s): 1557.9 CPU user time (s): 1553.46 CPU system time (s): 4.44132 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 1843200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1553.46 system time used= 4.44132 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466895 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= 2 involuntary context switches= 18537 runsolver used 2.6096 second user time and 7.37088 second system time The end
Begin job on node004 at 2010-06-25 09:41:57 IDJOB=2680581 IDBENCH=1972 IDSOLVER=1190 FILE ID=node004/2680581-1277451716 PBS_JOBID= 11188153 Free space on /tmp= 62320 MiB SOLVER NAME= wbo 1.4b (fixed) 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-2680581-1277451716/watcher-2680581-1277451716 -o /tmp/evaluation-result-2680581-1277451716/solver-2680581-1277451716 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680581-1277451716.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 093efae700664f798191c0b27cec34af RANDOM SEED=234233814 node004.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 938064 kB Buffers: 217472 kB Cached: 783444 kB SwapCached: 5776 kB Active: 465952 kB Inactive: 548432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 938064 kB SwapTotal: 4192956 kB SwapFree: 4140248 kB Dirty: 19728 kB Writeback: 0 kB AnonPages: 11924 kB Mapped: 11992 kB Slab: 84620 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181940 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= 62320 MiB End job on node004 at 2010-06-25 10:07:57