Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1619.43 | 1619.86 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_1.opb |
MD5SUM | fac2f381943513d71e556a5764721ca3 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -26 |
Best CPU time to get the best result obtained on this benchmark | 6.21106 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -26 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1248 |
Sum of products size (including duplicates) | 2496 |
Number of different products | 624 |
Sum of products size | 1248 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875378-1245204244.opb. 0.00/0.00 c Instance file HOME/instance-1875378-1245204244.opb 0.00/0.00 c File size is 49316 bytes. 0.00/0.00 c Highest Coefficient sum: 18 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 724 | 0.00/0.00 c | Number Clauses: 724 | 0.00/0.00 c | Number Cardinality: 200 | 0.00/0.00 c | Number PB Constraints: 624 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: -99 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #2 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -98 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -97 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -96 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -95 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -94 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #7 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -93 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #8 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -92 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #9 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -91 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #10 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -90 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #11 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -89 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #12 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -88 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #13 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -87 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #14 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -86 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #15 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -85 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #16 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -84 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #17 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -83 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #18 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -82 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #19 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -81 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #20 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -80 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #21 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -79 0.00/0.04 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #22 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -78 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #23 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -77 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #24 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -76 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #25 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -75 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #26 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -74 0.00/0.05 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #27 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -73 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #28 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -72 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #29 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -71 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #30 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -70 0.00/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #31 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: -69 0.00/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #32 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: -68 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #33 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: -67 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #34 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: -66 0.00/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.07/0.07 c core #35 0.07/0.07 c Core size: 4 Core Weight: 1 Total Weight: -65 0.07/0.07 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #36 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: -64 0.07/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #37 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: -63 0.07/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #38 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: -62 0.07/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #39 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: -61 0.07/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.07/0.08 c core #40 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: -60 0.07/0.08 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #41 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: -59 0.07/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #42 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: -58 0.07/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #43 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: -57 0.07/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #44 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: -56 0.07/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.07/0.10 c core #45 0.07/0.10 c Core size: 4 Core Weight: 1 Total Weight: -55 0.07/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.07/0.10 c core #46 0.07/0.10 c Core size: 4 Core Weight: 1 Total Weight: -54 0.07/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.10/0.10 c core #47 0.10/0.10 c Core size: 9 Core Weight: 1 Total Weight: -53 0.10/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.10/0.10 c core #48 0.10/0.10 c Core size: 9 Core Weight: 1 Total Weight: -52 0.10/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.10/0.10 c core #49 0.10/0.10 c Core size: 9 Core Weight: 1 Total Weight: -51 0.10/0.10 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #50 0.10/0.11 c Core size: 14 Core Weight: 1 Total Weight: -50 0.10/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.10/0.11 c ============================[ Search Statistics ]============================== 0.10/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.11 c =============================================================================== 0.10/0.11 c | 0 | 210 1598 3298 | 5000 0 nan | 0.000 % | 0.10/0.11 c =============================================================================== 0.10/0.11 c core #51 0.10/0.11 c Core size: 23 Core Weight: 1 Total Weight: -49 0.10/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.10/0.11 c ============================[ Search Statistics ]============================== 0.10/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.11 c =============================================================================== 0.10/0.11 c | 0 | 218 1599 3314 | 5000 0 nan | 0.000 % | 0.10/0.11 c =============================================================================== 0.10/0.11 c core #52 0.10/0.11 c Core size: 45 Core Weight: 1 Total Weight: -48 0.10/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.10/0.11 c ============================[ Search Statistics ]============================== 0.10/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.11 c =============================================================================== 0.10/0.11 c | 0 | 234 1600 3346 | 5000 0 nan | 0.000 % | 0.10/0.11 c =============================================================================== 0.10/0.12 c core #53 0.10/0.12 c Core size: 21 Core Weight: 1 Total Weight: -47 0.10/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.10/0.12 c ============================[ Search Statistics ]============================== 0.10/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.12 c =============================================================================== 0.10/0.12 c | 0 | 242 1601 3362 | 5000 0 nan | 0.000 % | 0.10/0.12 c =============================================================================== 0.10/0.12 c core #54 0.10/0.12 c Core size: 17 Core Weight: 1 Total Weight: -46 0.10/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.10/0.12 c ============================[ Search Statistics ]============================== 0.10/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.12 c =============================================================================== 0.10/0.12 c | 0 | 248 1602 3374 | 5000 0 nan | 0.000 % | 0.10/0.12 c =============================================================================== 0.10/0.12 c core #55 0.10/0.12 c Core size: 87 Core Weight: 1 Total Weight: -45 0.10/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.10/0.12 c ============================[ Search Statistics ]============================== 0.10/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.12 c =============================================================================== 0.10/0.12 c | 0 | 280 1603 3438 | 5000 0 nan | 0.000 % | 0.10/0.12 c =============================================================================== 0.10/0.12 c core #56 0.10/0.12 c Core size: 20 Core Weight: 1 Total Weight: -44 0.10/0.12 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.10/0.13 c ============================[ Search Statistics ]============================== 0.10/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.13 c =============================================================================== 0.10/0.13 c | 0 | 288 1604 3454 | 5000 0 nan | 0.000 % | 0.10/0.13 c =============================================================================== 0.10/0.13 c core #57 0.10/0.13 c Core size: 49 Core Weight: 1 Total Weight: -43 0.10/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.10/0.13 c ============================[ Search Statistics ]============================== 0.10/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.13 c =============================================================================== 0.10/0.13 c | 0 | 306 1605 3490 | 5000 0 nan | 0.000 % | 0.10/0.13 c =============================================================================== 0.10/0.13 c core #58 0.10/0.13 c Core size: 61 Core Weight: 1 Total Weight: -42 0.10/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.10/0.13 c ============================[ Search Statistics ]============================== 0.10/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.13 c =============================================================================== 0.10/0.13 c | 0 | 328 1606 3534 | 5000 0 nan | 0.000 % | 0.10/0.13 c =============================================================================== 0.10/0.13 c core #59 0.10/0.13 c Core size: 120 Core Weight: 1 Total Weight: -41 0.10/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.10/0.14 c ============================[ Search Statistics ]============================== 0.10/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.14 c =============================================================================== 0.10/0.14 c | 0 | 366 1607 3610 | 5000 0 nan | 0.000 % | 0.10/0.14 c | 101 | 366 1607 3610 | 5500 101 15 | 63.030 % | 0.10/0.15 c | 251 | 366 1607 3610 | 6050 251 30 | 63.030 % | 0.10/0.15 c =============================================================================== 0.10/0.16 c core #60 0.10/0.16 c Core size: 176 Core Weight: 1 Total Weight: -40 0.10/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.10/0.16 c ============================[ Search Statistics ]============================== 0.10/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.16 c =============================================================================== 0.10/0.16 c | 0 | 410 1608 3698 | 5000 0 nan | 0.000 % | 0.10/0.16 c | 100 | 410 1608 3698 | 5500 100 24 | 60.348 % | 0.10/0.17 c | 250 | 410 1608 3698 | 6050 250 30 | 60.348 % | 0.10/0.18 c | 475 | 410 1608 3698 | 6655 475 29 | 60.348 % | 0.10/0.20 c | 812 | 410 1608 3698 | 7320 812 33 | 60.348 % | 0.19/0.23 c | 1319 | 410 1608 3698 | 8052 1319 42 | 60.348 % | 0.19/0.30 c | 2078 | 410 1608 3698 | 8857 2078 51 | 60.348 % | 0.39/0.44 c | 3220 | 410 1608 3698 | 9743 3220 65 | 60.348 % | 0.69/0.72 c =============================================================================== 0.69/0.75 c core #61 0.69/0.75 c Core size: 364 Core Weight: 1 Total Weight: -39 0.69/0.75 c Elapsed CPU time: 0.743886 s Remaining CPU time: 1799.26 s 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 478 1609 3834 | 5000 0 nan | 0.000 % | 0.69/0.76 c | 101 | 478 1609 3834 | 5500 101 40 | 56.624 % | 0.69/0.77 c | 252 | 478 1609 3834 | 6050 252 33 | 56.624 % | 0.69/0.78 c | 477 | 478 1609 3834 | 6655 477 37 | 56.624 % | 0.79/0.80 c | 815 | 478 1609 3834 | 7320 815 40 | 56.624 % | 0.79/0.84 c | 1321 | 478 1609 3834 | 8052 1321 58 | 56.624 % | 0.79/0.89 c =============================================================================== 0.89/0.90 c core #62 0.89/0.90 c Core size: 357 Core Weight: 1 Total Weight: -38 0.89/0.90 c Elapsed CPU time: 0.889864 s Remaining CPU time: 1799.11 s 0.89/0.90 c ============================[ Search Statistics ]============================== 0.89/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.90 c =============================================================================== 0.89/0.90 c | 0 | 546 1610 3970 | 5000 0 nan | 0.000 % | 0.89/0.91 c | 100 | 546 1610 3970 | 5500 100 39 | 53.333 % | 0.89/0.92 c | 255 | 546 1610 3970 | 6050 255 46 | 53.333 % | 0.89/0.93 c | 484 | 546 1610 3970 | 6655 484 53 | 53.333 % | 0.89/0.96 c | 823 | 546 1610 3970 | 7320 823 59 | 53.333 % | 0.99/1.01 c | 1331 | 546 1610 3970 | 8052 1331 71 | 53.333 % | 1.09/1.11 c | 2091 | 546 1610 3970 | 8857 2091 84 | 53.333 % | 1.29/1.31 c | 3234 | 546 1610 3970 | 9743 3234 98 | 53.333 % | 1.59/1.68 c | 4942 | 546 1610 3970 | 10717 4942 113 | 53.333 % | 2.19/2.29 c | 7506 | 546 1610 3970 | 11789 7506 110 | 53.333 % | 3.38/3.40 c | 11350 | 546 1610 3970 | 12968 11350 107 | 53.333 % | 5.09/5.12 c | 17116 | 546 1610 3970 | 14265 10288 99 | 53.333 % | 7.59/7.69 c | 25765 | 546 1610 3970 | 15692 11446 127 | 53.333 % | 13.88/13.90 c | 38739 | 546 1610 3970 | 17261 16200 209 | 53.333 % | 20.58/20.68 c =============================================================================== 21.48/21.54 c core #63 21.48/21.54 c Core size: 636 Core Weight: 1 Total Weight: -37 21.48/21.54 c Elapsed CPU time: 21.3298 s Remaining CPU time: 1778.67 s 21.59/21.60 c ============================[ Search Statistics ]============================== 21.59/21.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.59/21.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.59/21.60 c =============================================================================== 21.59/21.60 c | 0 | 636 1611 4150 | 5000 0 nan | 0.000 % | 21.59/21.62 c | 100 | 636 1611 4150 | 5500 100 80 | 49.524 % | 21.59/21.63 c | 250 | 636 1611 4150 | 6050 250 56 | 49.524 % | 21.59/21.64 c | 475 | 636 1611 4150 | 6655 475 45 | 49.524 % | 21.59/21.66 c | 814 | 636 1611 4150 | 7320 814 43 | 49.524 % | 21.68/21.70 c | 1322 | 636 1611 4150 | 8052 1322 45 | 49.524 % | 21.68/21.77 c | 2082 | 636 1611 4150 | 8857 2082 66 | 49.524 % | 21.78/21.89 c | 3223 | 636 1611 4150 | 9743 3223 75 | 49.524 % | 22.09/22.18 c | 4931 | 636 1611 4150 | 10717 4931 93 | 49.524 % | 22.79/22.85 c | 7493 | 636 1611 4150 | 11789 7493 114 | 49.524 % | 23.88/23.91 c | 11337 | 636 1611 4150 | 12968 11337 125 | 49.524 % | 25.49/25.56 c | 17105 | 636 1611 4150 | 14265 10238 123 | 49.524 % | 28.59/28.63 c | 25757 | 636 1611 4150 | 15692 11361 125 | 49.524 % | 33.98/34.04 c | 38734 | 636 1611 4150 | 17261 16092 124 | 49.524 % | 46.87/46.95 c | 58196 | 636 1611 4150 | 18987 17517 220 | 49.524 % | 75.57/75.62 c | 87390 | 636 1611 4150 | 20886 17118 300 | 49.524 % | 112.66/112.76 c | 131182 | 636 1611 4150 | 22974 17531 277 | 49.524 % | 188.34/188.41 c | 196869 | 636 1611 4150 | 25272 23789 305 | 49.524 % | 316.31/316.48 c | 295395 | 636 1611 4150 | 27799 16026 226 | 49.524 % | 436.67/436.81 c | 443188 | 636 1611 4150 | 30579 25601 213 | 49.524 % | 475.07/475.28 c =============================================================================== 486.26/486.46 c core #64 486.26/486.46 c Core size: 645 Core Weight: 1 Total Weight: -36 486.26/486.46 c Elapsed CPU time: 484.042 s Remaining CPU time: 1315.96 s 486.76/486.97 c ============================[ Search Statistics ]============================== 486.76/486.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 486.76/486.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 486.76/486.97 c =============================================================================== 486.76/486.97 c | 0 | 724 1612 4326 | 5000 0 nan | 0.000 % | 486.86/487.06 c | 101 | 724 1612 4326 | 5500 101 116 | 46.291 % | 486.86/487.08 c | 251 | 724 1612 4326 | 6050 251 87 | 46.291 % | 486.86/487.09 c | 476 | 724 1612 4326 | 6655 476 67 | 46.291 % | 486.97/487.12 c | 816 | 724 1612 4326 | 7320 816 71 | 46.291 % | 486.97/487.15 c | 1324 | 724 1612 4326 | 8052 1324 66 | 46.291 % | 487.06/487.23 c | 2086 | 724 1612 4326 | 8857 2086 74 | 46.291 % | 487.17/487.36 c | 3225 | 724 1612 4326 | 9743 3225 83 | 46.291 % | 487.46/487.67 c | 4935 | 724 1612 4326 | 10717 4935 101 | 46.291 % | 488.26/488.45 c | 7499 | 724 1612 4326 | 11789 7499 130 | 46.291 % | 490.36/490.51 c | 11343 | 724 1612 4326 | 12968 11343 155 | 46.291 % | 494.56/494.73 c | 17112 | 724 1612 4326 | 14265 10260 220 | 46.291 % | 500.56/500.78 c | 25763 | 724 1612 4326 | 15692 11422 209 | 46.291 % | 512.66/512.84 c | 38738 | 724 1612 4326 | 17261 16165 209 | 46.291 % | 525.95/526.11 c | 58199 | 724 1612 4326 | 18987 17550 203 | 46.291 % | 549.54/549.76 c | 87391 | 724 1612 4326 | 20886 17106 235 | 46.291 % | 599.74/599.94 c | 131180 | 724 1612 4326 | 22974 17638 246 | 46.291 % | 677.61/677.85 c | 196864 | 724 1612 4326 | 25272 12190 309 | 46.291 % | 757.09/757.32 c | 295391 | 724 1612 4326 | 27799 18553 148 | 46.291 % | 931.15/931.47 c | 443195 | 724 1612 4326 | 30579 18334 285 | 46.291 % | 1118.89/1119.28 c | 664881 | 724 1612 4326 | 33637 28426 225 | 46.291 % | 1574.27/1574.79 c | 997407 | 724 1612 4326 | 37001 22514 339 | 46.291 % |
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-1875378-1245204244/watcher-1875378-1245204244 -o /tmp/evaluation-result-1875378-1245204244/solver-1875378-1245204244 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875378-1245204244.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.95 1.01 1.00 3/65 3938 /proc/meminfo: memFree=1858912/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=2576 CPUtime=0 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 222 0 0 0 0 0 0 0 20 0 1 0 188022974 2637824 206 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 644 206 129 292 0 336 0 [startup+0.076966 s] /proc/loadavg: 0.95 1.01 1.00 3/65 3938 /proc/meminfo: memFree=1858912/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=4136 CPUtime=0.07 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 638 0 0 0 7 0 0 0 20 0 1 0 188022974 4235264 609 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 1034 612 134 292 0 739 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4136 [startup+0.103025 s] /proc/loadavg: 0.95 1.01 1.00 3/65 3938 /proc/meminfo: memFree=1858912/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=4680 CPUtime=0.1 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 767 0 0 0 10 0 0 0 20 0 1 0 188022974 4792320 738 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 1170 738 134 292 0 875 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4680 [startup+0.301995 s] /proc/loadavg: 0.95 1.01 1.00 3/65 3938 /proc/meminfo: memFree=1858912/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=6144 CPUtime=0.29 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 1127 0 0 0 29 0 0 0 22 0 1 0 188022974 6291456 1098 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 1536 1098 136 292 0 1241 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6144 [startup+0.701037 s] /proc/loadavg: 0.95 1.01 1.00 3/65 3938 /proc/meminfo: memFree=1858912/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=7860 CPUtime=0.69 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 1560 0 0 0 68 1 0 0 25 0 1 0 188022974 8048640 1531 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 1965 1531 136 292 0 1670 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7860 [startup+1.50113 s] /proc/loadavg: 0.95 1.01 1.00 2/66 3939 /proc/meminfo: memFree=1852824/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=9200 CPUtime=1.49 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 1903 0 0 0 147 2 0 0 25 0 1 0 188022974 9420800 1874 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 2300 1874 136 292 0 2005 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9200 [startup+3.10131 s] /proc/loadavg: 0.95 1.01 1.00 2/66 3939 /proc/meminfo: memFree=1850008/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=13292 CPUtime=3.09 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 2916 0 0 0 305 4 0 0 25 0 1 0 188022974 13611008 2887 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 3323 2887 136 292 0 3028 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13292 [startup+6.30167 s] /proc/loadavg: 0.96 1.01 1.00 2/66 3939 /proc/meminfo: memFree=1842592/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=20316 CPUtime=6.29 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 4669 0 0 0 621 8 0 0 25 0 1 0 188022974 20803584 4640 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 5079 4640 136 292 0 4784 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20316 [startup+12.7014 s] /proc/loadavg: 0.96 1.01 1.00 2/66 3939 /proc/meminfo: memFree=1826144/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=36700 CPUtime=12.68 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 8762 0 0 0 1254 14 0 0 25 0 1 0 188022974 37580800 8733 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 9175 8733 136 292 0 8880 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36700 [startup+25.5028 s] /proc/loadavg: 0.97 1.01 1.00 2/66 3939 /proc/meminfo: memFree=1801312/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=59448 CPUtime=25.49 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 14450 0 0 0 2524 25 0 0 25 0 1 0 188022974 60874752 14421 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 14862 14421 136 292 0 14567 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59448 [startup+51.1027 s] /proc/loadavg: 0.98 1.01 1.00 2/66 3939 /proc/meminfo: memFree=1763936/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=97740 CPUtime=51.08 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 24013 0 0 0 5067 41 0 0 25 0 1 0 188022974 100085760 23984 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 24435 23984 136 292 0 24140 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 97740 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=1685024/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=175940 CPUtime=102.26 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 43543 0 0 0 10158 68 0 0 25 0 1 0 188022974 180162560 43514 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 43985 43514 136 292 0 43690 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 175940 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=1610016/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=251676 CPUtime=162.24 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 62467 0 0 0 16133 91 0 0 25 0 1 0 188022974 257716224 62438 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 62919 62438 136 292 0 62624 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 251676 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=1532072/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=328560 CPUtime=222.23 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 81681 0 0 0 22109 114 0 0 25 0 1 0 188022974 336445440 81652 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 82140 81652 136 292 0 81845 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 328560 [startup+282.303 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=1460840/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=400824 CPUtime=282.22 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 99706 0 0 0 28085 137 0 0 25 0 1 0 188022974 410443776 99677 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 100206 99677 136 292 0 99911 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 400824 [startup+342.303 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=1375656/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=485448 CPUtime=342.2 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 120837 0 0 0 34054 166 0 0 25 0 1 0 188022974 497098752 120808 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 121362 120808 136 292 0 121067 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 485448 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=1302824/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=558244 CPUtime=402.18 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 139031 0 0 0 40019 199 0 0 25 0 1 0 188022974 571641856 139002 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 139561 139002 136 292 0 139266 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 558244 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=1241960/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=618400 CPUtime=462.17 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 154034 0 0 0 45995 222 0 0 25 0 1 0 188022974 633241600 154005 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 154600 154005 136 292 0 154305 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 618400 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=1204776/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=655932 CPUtime=522.15 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 163604 0 0 0 51973 242 0 0 25 0 1 0 188022974 671674368 163544 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 163983 163544 136 292 0 163688 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 655932 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=1148776/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=710828 CPUtime=582.14 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 177299 0 0 0 57950 264 0 0 25 0 1 0 188022974 727887872 177239 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 177707 177239 136 292 0 177412 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 710828 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=1084328/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=774804 CPUtime=642.13 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 193290 0 0 0 63925 288 0 0 25 0 1 0 188022974 793399296 193230 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 193701 193230 136 292 0 193406 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 774804 [startup+702.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=1020648/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=838908 CPUtime=702.11 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 209315 0 0 0 69900 311 0 0 25 0 1 0 188022974 859041792 209255 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 209727 209255 136 292 0 209432 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 838908 [startup+762.305 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=961832/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=897148 CPUtime=762.09 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 223854 0 0 0 75870 339 0 0 25 0 1 0 188022974 918679552 223794 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 224287 223794 136 292 0 223992 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 897148 [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=904552/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=955436 CPUtime=822.07 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 238374 0 0 0 81843 364 0 0 25 0 1 0 188022974 978366464 238314 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 238859 238314 136 292 0 238564 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 955436 [startup+882.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=825064/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1033940 CPUtime=882.06 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 257989 0 0 0 87819 387 0 0 25 0 1 0 188022974 1058754560 257929 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 258485 257929 136 292 0 258190 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1033940 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=761192/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1098556 CPUtime=942.04 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 274093 0 0 0 93793 411 0 0 25 0 1 0 188022974 1124921344 274033 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 274639 274033 136 292 0 274344 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1098556 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=684456/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1174604 CPUtime=1002.03 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 293106 0 0 0 99762 441 0 0 25 0 1 0 188022974 1202794496 293046 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 293651 293046 136 292 0 293356 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1174604 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=608424/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1250792 CPUtime=1062.01 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 312131 0 0 0 105730 471 0 0 25 0 1 0 188022974 1280811008 312071 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 312698 312071 136 292 0 312403 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1250792 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=538664/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1320208 CPUtime=1121.99 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 329456 0 0 0 111700 499 0 0 25 0 1 0 188022974 1351892992 329396 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 330052 329396 136 292 0 329757 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1320208 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=481640/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1378000 CPUtime=1181.98 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 343909 0 0 0 117675 523 0 0 25 0 1 0 188022974 1411072000 343849 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 344500 343849 136 292 0 344205 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1378000 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=410856/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1448072 CPUtime=1241.96 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 361370 0 0 0 123649 547 0 0 25 0 1 0 188022974 1482825728 361310 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 362018 361310 136 292 0 361723 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1448072 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=340200/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1518148 CPUtime=1301.95 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 378878 0 0 0 129625 570 0 0 25 0 1 0 188022974 1554583552 378818 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 379537 378818 136 292 0 379242 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1518148 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=269160/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1589676 CPUtime=1361.93 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 396754 0 0 0 135603 590 0 0 25 0 1 0 188022974 1627828224 396694 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 397419 396694 136 292 0 397124 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1589676 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=191272/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1666948 CPUtime=1421.92 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 416030 0 0 0 141576 616 0 0 25 0 1 0 188022974 1706954752 415970 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 416737 415970 136 292 0 416442 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1666948 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=138280/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1720256 CPUtime=1481.9 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 429362 0 0 0 147557 633 0 0 25 0 1 0 188022974 1761542144 429302 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 430064 429302 136 292 0 429769 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1720256 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=88808/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1769208 CPUtime=1541.88 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 441583 0 0 0 153540 648 0 0 25 0 1 0 188022974 1811668992 441523 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 442302 441523 136 292 0 442007 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1769208 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=27176/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1830936 CPUtime=1601.87 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 457013 0 0 0 159519 668 0 0 25 0 1 0 188022974 1874878464 456953 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 457734 456953 136 292 0 457439 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1830936 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1619.6 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=14952/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=1843204 CPUtime=1619.16 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4194304 460065 0 0 0 161244 672 0 0 25 0 1 0 188022974 1887440896 460005 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 460801 460005 136 292 0 460506 0 Current children cumulated CPU time (s) 1619.16 Current children cumulated vsize (KiB) 1843204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1619.8 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3939 /proc/meminfo: memFree=14952/2055920 swapFree=4182240/4192956 [pid=3938] ppid=3936 vsize=0 CPUtime=1619.35 /proc/3938/stat : 3938 (wbo) R 3936 3938 3893 0 -1 4195332 460065 0 0 0 161244 691 0 0 25 0 1 0 188022974 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/3938/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1619.35 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1619.86 CPU time (s): 1619.43 CPU user time (s): 1612.45 CPU system time (s): 6.98094 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1843204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1612.45 system time used= 6.98094 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460065 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= 2498 runsolver used 1.85672 second user time and 3.83042 second system time The end
Begin job on node85 at 2009-06-17 04:04:04 IDJOB=1875378 IDBENCH=48218 IDSOLVER=698 FILE ID=node85/1875378-1245204244 PBS_JOBID= 9368365 Free space on /tmp= 126844 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_1.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875378-1245204244/watcher-1875378-1245204244 -o /tmp/evaluation-result-1875378-1245204244/solver-1875378-1245204244 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875378-1245204244.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fac2f381943513d71e556a5764721ca3 RANDOM SEED=901752308 node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.213 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 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.213 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1859456 kB Buffers: 20168 kB Cached: 102920 kB SwapCached: 6384 kB Active: 71560 kB Inactive: 60808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859456 kB SwapTotal: 4192956 kB SwapFree: 4182240 kB Dirty: 2564 kB Writeback: 0 kB Mapped: 13672 kB Slab: 50104 kB Committed_AS: 77164 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875378-1245204244.opb Free space on /tmp at the end= 126844 MiB End job on node85 at 2009-06-17 04:31:06