Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1061.52 | 1061.88 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a2.opb |
MD5SUM | d9e9e5fece70ebbc4c28befed36e7afc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 139 |
Best CPU time to get the best result obtained on this benchmark | 5.9251 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 139 |
Optimality of the best value was proved | NO |
Number of variables | 360 |
Total number of constraints | 980 |
Number of constraints which are clauses | 980 |
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 | 8 |
Number of terms in the objective function | 360 |
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 | 360 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 360 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656017-1276418075.opb. 0.00/0.00 c Instance file HOME/instance-2656017-1276418075.opb 0.00/0.00 c File size is 28467 bytes. 0.00/0.00 c Highest Coefficient sum: 9 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 360 | 0.00/0.00 c | Number Clauses: 980 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 360 980 2412 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 157 0.00/0.01 o 157 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 10 | 360 981 2772 | 5000 10 9 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 155 0.00/0.01 o 155 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 13 | 360 982 3132 | 5000 13 9 | 0.000 % | 0.00/0.01 c | 114 | 360 982 3132 | 5500 114 133 | 0.001 % | 0.00/0.02 c | 265 | 360 982 3132 | 6050 265 150 | 0.016 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 154 0.00/0.02 o 154 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 269 | 360 983 3492 | 5000 269 150 | 0.016 % | 0.00/0.03 c | 370 | 360 983 3492 | 5500 370 151 | 0.013 % | 0.00/0.04 c | 520 | 360 983 3492 | 6050 520 154 | 0.013 % | 0.00/0.06 c | 746 | 360 983 3492 | 6655 746 156 | 0.018 % | 0.00/0.08 c | 1083 | 360 983 3492 | 7320 1083 158 | 0.021 % | 0.09/0.12 c | 1590 | 360 983 3492 | 8052 1590 159 | 0.013 % | 0.09/0.18 c | 2350 | 360 983 3492 | 8857 2350 160 | 0.013 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 153 0.19/0.26 o 153 0.19/0.26 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 3321 | 360 984 3852 | 5000 3321 161 | 0.013 % | 0.19/0.27 c | 3422 | 360 984 3852 | 5500 3422 161 | 0.001 % | 0.19/0.28 c | 3572 | 360 984 3852 | 6050 3572 161 | 0.018 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 151 0.19/0.28 o 151 0.19/0.28 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 3572 | 360 985 4212 | 5000 3572 161 | 0.018 % | 0.19/0.29 c | 3673 | 360 985 4212 | 5500 3673 161 | 0.021 % | 0.29/0.30 c | 3823 | 360 985 4212 | 6050 3823 161 | 0.015 % | 0.29/0.32 c | 4048 | 360 985 4212 | 6655 4048 161 | 0.013 % | 0.29/0.35 c | 4385 | 360 985 4212 | 7320 4385 161 | 0.015 % | 0.29/0.39 c | 4892 | 360 985 4212 | 8052 4892 160 | 0.013 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 149 0.29/0.39 o 149 0.29/0.39 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 4894 | 360 986 4572 | 5000 4894 160 | 0.013 % | 0.39/0.40 c | 4994 | 360 986 4572 | 5500 4994 160 | 0.016 % | 0.39/0.42 c | 5144 | 360 986 4572 | 6050 5144 160 | 0.018 % | 0.39/0.43 c | 5370 | 360 986 4572 | 6655 5370 160 | 0.015 % | 0.39/0.46 c | 5708 | 360 986 4572 | 7320 5708 160 | 0.016 % | 0.49/0.51 c | 6214 | 360 986 4572 | 8052 6214 159 | 0.016 % | 0.49/0.58 c | 6974 | 360 986 4572 | 8857 6974 159 | 0.016 % | 0.59/0.69 c | 8113 | 360 986 4572 | 9743 8113 159 | 0.009 % | 0.79/0.87 c | 9821 | 360 986 4572 | 10717 9821 159 | 0.015 % | 1.10/1.15 c | 12383 | 360 986 4572 | 11789 6867 157 | 0.001 % | 1.49/1.50 c | 16228 | 360 986 4572 | 12968 10712 156 | 0.018 % | 2.20/2.23 c | 21994 | 360 986 4572 | 14265 9824 155 | 0.001 % | 3.30/3.39 c | 30646 | 360 986 4572 | 15692 11203 154 | 0.001 % | 5.09/5.14 c | 43620 | 360 986 4572 | 17261 8184 154 | 0.010 % | 7.88/7.93 c | 63081 | 360 986 4572 | 18987 10069 157 | 0.018 % | 13.20/13.29 c | 92273 | 360 986 4572 | 20886 10286 155 | 0.001 % | 19.69/19.73 c | 136063 | 360 986 4572 | 22974 11693 153 | 0.001 % | 32.89/32.95 c | 201748 | 360 986 4572 | 25272 15096 156 | 0.005 % | 56.37/56.43 c | 300274 | 360 986 4572 | 27799 25548 158 | 0.001 % | 99.06/99.16 c | 448064 | 360 986 4572 | 30579 19588 158 | 0.021 % | 146.74/146.86 c | 669747 | 360 986 4572 | 33637 23351 158 | 0.001 % | 182.73/182.89 c There are 0 assigned variables. 0 in cost function. 183.93/184.05 c core #1 183.93/184.05 c core #2 183.93/184.05 c core #3 183.93/184.05 c core #4 183.93/184.05 c core #5 183.93/184.05 c core #6 183.93/184.05 c core #7 183.93/184.05 c core #8 183.93/184.05 c core #9 183.93/184.05 c core #10 183.93/184.05 c core #11 183.93/184.05 c core #12 183.93/184.05 c core #13 183.93/184.05 c core #14 183.93/184.05 c core #15 183.93/184.05 c core #16 183.93/184.05 c core #17 183.93/184.05 c core #18 183.93/184.05 c core #19 183.93/184.05 c core #20 183.93/184.05 c core #21 183.93/184.05 c core #22 183.93/184.05 c core #23 183.93/184.05 c core #24 183.93/184.05 c core #25 183.93/184.05 c core #26 183.93/184.05 c core #27 183.93/184.05 c core #28 183.93/184.05 c core #29 183.93/184.05 c core #30 183.93/184.05 c core #31 183.93/184.05 c core #32 183.93/184.05 c core #33 183.93/184.05 c core #34 183.93/184.05 c core #35 183.93/184.05 c core #36 183.93/184.05 c core #37 183.93/184.05 c core #38 183.93/184.05 c core #39 183.93/184.05 c core #40 183.93/184.05 c core #41 183.93/184.05 c core #42 183.93/184.05 c core #43 183.93/184.05 c core #44 183.93/184.05 c core #45 183.93/184.05 c core #46 183.93/184.05 c core #47 183.93/184.05 c core #48 183.93/184.05 c core #49 183.93/184.05 c core #50 183.93/184.05 c core #51 183.93/184.05 c core #52 183.93/184.05 c core #53 183.93/184.05 c core #54 183.93/184.05 c core #55 183.93/184.05 c core #56 183.93/184.05 c core #57 183.93/184.05 c core #58 183.93/184.05 c core #59 183.93/184.05 c core #60 183.93/184.05 c core #61 183.93/184.05 c core #62 183.93/184.05 c core #63 183.93/184.05 c core #64 183.93/184.05 c core #65 183.93/184.05 c core #66 183.93/184.05 c core #67 183.93/184.05 c core #68 183.93/184.05 c core #69 183.93/184.05 c core #70 183.93/184.05 c core #71 183.93/184.05 c core #72 183.93/184.05 c core #73 183.93/184.05 c core #74 183.93/184.05 c core #75 183.93/184.05 c core #76 183.93/184.05 c core #77 183.93/184.05 c core #78 183.93/184.05 c core #79 183.93/184.05 c core #80 183.93/184.05 c core #81 183.93/184.05 c core #82 183.93/184.05 c core #83 183.93/184.05 c core #84 183.93/184.05 c core #85 183.93/184.05 c core #86 183.93/184.05 c core #87 183.93/184.05 c core #88 183.93/184.05 c core #89 183.93/184.05 c core #90 183.93/184.05 c core #91 183.93/184.05 c core #92 183.93/184.05 c core #93 183.93/184.05 c ============================[ Search Statistics ]============================== 183.93/184.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.05 c =============================================================================== 183.93/184.05 c | 0 | 720 1441 6014 | 5000 0 nan | 0.000 % | 183.93/184.05 c =============================================================================== 183.93/184.05 c core #94 183.93/184.05 c ============================[ Search Statistics ]============================== 183.93/184.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.05 c =============================================================================== 183.93/184.05 c | 0 | 726 1442 6026 | 5000 0 nan | 0.000 % | 183.93/184.05 c =============================================================================== 183.93/184.06 c core #95 183.93/184.06 c ============================[ Search Statistics ]============================== 183.93/184.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.06 c =============================================================================== 183.93/184.06 c | 0 | 732 1443 6038 | 5000 0 nan | 0.000 % | 183.93/184.06 c =============================================================================== 183.93/184.06 c core #96 183.93/184.06 c ============================[ Search Statistics ]============================== 183.93/184.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.06 c =============================================================================== 183.93/184.06 c | 0 | 741 1444 6056 | 5000 0 nan | 0.000 % | 183.93/184.07 c =============================================================================== 183.93/184.07 c core #97 183.93/184.07 c ============================[ Search Statistics ]============================== 183.93/184.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.07 c =============================================================================== 183.93/184.07 c | 0 | 752 1445 6078 | 5000 0 nan | 0.000 % | 183.93/184.07 c =============================================================================== 183.93/184.08 c core #98 183.93/184.08 c ============================[ Search Statistics ]============================== 183.93/184.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.08 c =============================================================================== 183.93/184.08 c | 0 | 759 1446 6092 | 5000 0 nan | 0.000 % | 183.93/184.08 c =============================================================================== 183.93/184.08 c core #99 183.93/184.08 c ============================[ Search Statistics ]============================== 183.93/184.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.08 c =============================================================================== 183.93/184.08 c | 0 | 770 1447 6114 | 5000 0 nan | 0.000 % | 183.93/184.08 c =============================================================================== 183.93/184.09 c core #100 183.93/184.09 c ============================[ Search Statistics ]============================== 183.93/184.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.09 c =============================================================================== 183.93/184.09 c | 0 | 777 1448 6128 | 5000 0 nan | 0.000 % | 183.93/184.09 c =============================================================================== 183.93/184.09 c core #101 183.93/184.09 c ============================[ Search Statistics ]============================== 183.93/184.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.09 c =============================================================================== 183.93/184.09 c | 0 | 787 1449 6148 | 5000 0 nan | 0.000 % | 183.93/184.10 c =============================================================================== 184.03/184.10 c core #102 184.03/184.10 c ============================[ Search Statistics ]============================== 184.03/184.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.10 c =============================================================================== 184.03/184.10 c | 0 | 801 1450 6176 | 5000 0 nan | 0.000 % | 184.03/184.10 c =============================================================================== 184.03/184.11 c core #103 184.03/184.11 c ============================[ Search Statistics ]============================== 184.03/184.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.11 c =============================================================================== 184.03/184.11 c | 0 | 831 1451 6236 | 5000 0 nan | 0.000 % | 184.03/184.11 c =============================================================================== 184.03/184.11 c core #104 184.03/184.11 c ============================[ Search Statistics ]============================== 184.03/184.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.11 c =============================================================================== 184.03/184.11 c | 0 | 838 1452 6250 | 5000 0 nan | 0.000 % | 184.03/184.12 c =============================================================================== 184.03/184.12 c core #105 184.03/184.12 c ============================[ Search Statistics ]============================== 184.03/184.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.12 c =============================================================================== 184.03/184.12 c | 0 | 844 1453 6262 | 5000 0 nan | 0.000 % | 184.03/184.12 c =============================================================================== 184.03/184.13 c core #106 184.03/184.13 c ============================[ Search Statistics ]============================== 184.03/184.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.13 c =============================================================================== 184.03/184.13 c | 0 | 851 1454 6276 | 5000 0 nan | 0.000 % | 184.03/184.13 c =============================================================================== 184.03/184.13 c core #107 184.03/184.13 c ============================[ Search Statistics ]============================== 184.03/184.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.13 c =============================================================================== 184.03/184.13 c | 0 | 861 1455 6296 | 5000 0 nan | 0.000 % | 184.03/184.14 c =============================================================================== 184.03/184.14 c core #108 184.03/184.14 c ============================[ Search Statistics ]============================== 184.03/184.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.14 c =============================================================================== 184.03/184.14 c | 0 | 868 1456 6310 | 5000 0 nan | 0.000 % | 184.03/184.14 c =============================================================================== 184.03/184.15 c core #109 184.03/184.15 c ============================[ Search Statistics ]============================== 184.03/184.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.15 c =============================================================================== 184.03/184.15 c | 0 | 885 1457 6344 | 5000 0 nan | 0.000 % | 184.03/184.15 c =============================================================================== 184.03/184.15 c core #110 184.03/184.15 c ============================[ Search Statistics ]============================== 184.03/184.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.15 c =============================================================================== 184.03/184.15 c | 0 | 908 1458 6390 | 5000 0 nan | 0.000 % | 184.03/184.16 c =============================================================================== 184.03/184.16 c core #111 184.03/184.16 c ============================[ Search Statistics ]============================== 184.03/184.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.16 c =============================================================================== 184.03/184.16 c | 0 | 927 1459 6428 | 5000 0 nan | 0.000 % | 184.03/184.16 c =============================================================================== 184.03/184.17 c core #112 184.03/184.17 c ============================[ Search Statistics ]============================== 184.03/184.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.17 c =============================================================================== 184.03/184.17 c | 0 | 940 1460 6454 | 5000 0 nan | 0.000 % | 184.03/184.17 c =============================================================================== 184.03/184.18 c core #113 184.03/184.18 c ============================[ Search Statistics ]============================== 184.03/184.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.18 c =============================================================================== 184.03/184.18 c | 0 | 946 1461 6466 | 5000 0 nan | 0.000 % | 184.03/184.18 c =============================================================================== 184.03/184.19 c core #114 184.03/184.19 c ============================[ Search Statistics ]============================== 184.03/184.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.19 c =============================================================================== 184.03/184.19 c | 0 | 987 1462 6548 | 5000 0 nan | 0.000 % | 184.03/184.20 c | 101 | 987 1462 6548 | 5500 101 11 | 0.002 % | 184.13/184.20 c =============================================================================== 184.13/184.20 c core #115 184.13/184.20 c ============================[ Search Statistics ]============================== 184.13/184.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.20 c =============================================================================== 184.13/184.20 c | 0 | 1012 1464 6600 | 5000 0 nan | 0.000 % | 184.13/184.21 c =============================================================================== 184.13/184.21 c core #116 184.13/184.21 c ============================[ Search Statistics ]============================== 184.13/184.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.21 c =============================================================================== 184.13/184.21 c | 0 | 1038 1465 6652 | 5000 0 nan | 0.000 % | 184.13/184.22 c =============================================================================== 184.13/184.22 c core #117 184.13/184.22 c ============================[ Search Statistics ]============================== 184.13/184.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.22 c =============================================================================== 184.13/184.22 c | 0 | 1061 1466 6698 | 5000 0 nan | 0.000 % | 184.13/184.22 c =============================================================================== 184.13/184.23 c core #118 184.13/184.23 c ============================[ Search Statistics ]============================== 184.13/184.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.23 c =============================================================================== 184.13/184.23 c | 0 | 1067 1467 6710 | 5000 0 nan | 0.000 % | 184.13/184.23 c =============================================================================== 184.13/184.24 c core #119 184.13/184.24 c ============================[ Search Statistics ]============================== 184.13/184.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.24 c =============================================================================== 184.13/184.24 c | 0 | 1079 1468 6734 | 5000 0 nan | 0.000 % | 184.13/184.24 c =============================================================================== 184.13/184.24 c core #120 184.13/184.24 c ============================[ Search Statistics ]============================== 184.13/184.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.24 c =============================================================================== 184.13/184.24 c | 0 | 1101 1470 6780 | 5000 0 nan | 0.000 % | 184.13/184.25 c | 101 | 1101 1470 6780 | 5500 101 16 | 0.002 % | 184.13/184.26 c | 252 | 1099 1470 6780 | 6050 220 15 | 0.182 % | 184.13/184.27 c =============================================================================== 184.13/184.28 c core #121 184.13/184.28 c ============================[ Search Statistics ]============================== 184.13/184.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.28 c =============================================================================== 184.13/184.28 c | 0 | 1138 1471 6854 | 5000 0 nan | 0.000 % | 184.13/184.29 c | 104 | 1138 1471 6854 | 5500 104 24 | 0.001 % | 184.13/184.29 c | 255 | 1138 1471 6854 | 6050 255 24 | 0.001 % | 184.23/184.31 c | 483 | 1138 1471 6854 | 6655 483 22 | 0.002 % | 184.23/184.33 c | 822 | 1138 1471 6854 | 7320 822 22 | 0.001 % | 184.23/184.36 c | 1331 | 1138 1471 6854 | 8052 1331 22 | 0.001 % | 184.33/184.42 c | 2090 | 1136 1471 6854 | 8857 2039 23 | 0.177 % | 184.43/184.54 c | 3230 | 1134 1471 6854 | 9743 3124 23 | 0.353 % | 184.63/184.79 c =============================================================================== 184.73/184.86 c core #122 184.73/184.86 c ============================[ Search Statistics ]============================== 184.73/184.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.73/184.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.73/184.86 c =============================================================================== 184.73/184.86 c | 0 | 1172 1472 6922 | 5000 0 nan | 0.000 % | 184.73/184.88 c | 104 | 1172 1472 6922 | 5500 104 26 | 0.001 % | 184.73/184.89 c | 254 | 1172 1472 6922 | 6050 254 25 | 0.000 % | 184.83/184.91 c | 479 | 1172 1472 6922 | 6655 479 24 | 0.000 % | 184.83/184.94 c | 817 | 1170 1472 6922 | 7320 816 23 | 0.171 % | 184.83/184.98 c =============================================================================== 184.92/185.00 c core #123 184.92/185.00 c ============================[ Search Statistics ]============================== 184.92/185.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.92/185.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.92/185.00 c =============================================================================== 184.92/185.00 c | 0 | 1220 1473 7018 | 5000 0 nan | 0.000 % | 184.92/185.01 c | 104 | 1220 1473 7018 | 5500 104 41 | 0.001 % | 184.92/185.02 c | 254 | 1220 1473 7018 | 6050 254 34 | 0.000 % | 184.92/185.03 c | 480 | 1220 1473 7018 | 6655 480 31 | 0.002 % | 184.92/185.05 c | 817 | 1220 1473 7018 | 7320 817 30 | 0.002 % | 185.03/185.11 c | 1325 | 1220 1473 7018 | 8052 1325 31 | 0.002 % | 185.13/185.21 c | 2084 | 1220 1473 7018 | 8857 2084 31 | 0.002 % | 185.22/185.33 c | 3223 | 1220 1473 7018 | 9743 3223 35 | 0.000 % | 185.43/185.55 c | 4931 | 1220 1473 7018 | 10717 4931 34 | 0.000 % | 185.93/186.02 c | 7493 | 1218 1473 7018 | 11789 4378 35 | 0.165 % | 186.13/186.20 c =============================================================================== 186.13/186.25 c core #124 186.13/186.25 c ============================[ Search Statistics ]============================== 186.13/186.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.25 c =============================================================================== 186.13/186.25 c | 0 | 1264 1475 7109 | 5000 0 nan | 0.000 % | 186.13/186.27 c | 100 | 1264 1475 7109 | 5500 100 19 | 0.001 % | 186.13/186.27 c | 250 | 1264 1475 7109 | 6050 250 20 | 0.000 % | 186.13/186.29 c | 475 | 1264 1475 7109 | 6655 475 18 | 0.002 % | 186.23/186.30 c =============================================================================== 186.23/186.31 c core #125 186.23/186.31 c ============================[ Search Statistics ]============================== 186.23/186.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.31 c =============================================================================== 186.23/186.31 c | 0 | 1298 1477 7180 | 5000 0 nan | 0.000 % | 186.23/186.32 c =============================================================================== 186.23/186.32 c core #126 186.23/186.32 c ============================[ Search Statistics ]============================== 186.23/186.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.32 c =============================================================================== 186.23/186.32 c | 0 | 1324 1478 7232 | 5000 0 nan | 0.000 % | 186.23/186.33 c | 101 | 1324 1478 7232 | 5500 101 18 | 0.001 % | 186.23/186.34 c | 251 | 1324 1478 7232 | 6050 251 19 | 0.000 % | 186.23/186.36 c | 477 | 1324 1478 7232 | 6655 477 19 | 0.000 % | 186.23/186.38 c =============================================================================== 186.23/186.39 c core #127 186.23/186.39 c ============================[ Search Statistics ]============================== 186.23/186.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.39 c =============================================================================== 186.23/186.39 c | 0 | 1355 1482 7300 | 5000 0 nan | 0.000 % | 186.32/186.40 c | 102 | 1355 1482 7300 | 5500 102 27 | 0.001 % | 186.32/186.41 c | 255 | 1355 1482 7300 | 6050 255 21 | 0.000 % | 186.32/186.42 c | 480 | 1355 1482 7300 | 6655 480 19 | 0.000 % | 186.32/186.44 c | 820 | 1355 1482 7300 | 7320 820 21 | 0.000 % | 186.32/186.46 c | 1327 | 1355 1482 7300 | 8052 1327 21 | 0.001 % | 186.43/186.51 c | 2087 | 1351 1482 7300 | 8857 2085 22 | 0.297 % | 186.53/186.61 c | 3226 | 1330 1482 7300 | 9743 2993 23 | 1.845 % | 186.62/186.77 c | 4935 | 1328 1482 7300 | 10717 4702 24 | 2.140 % | 186.83/187.00 c =============================================================================== 186.94/187.02 c core #128 186.94/187.02 c ============================[ Search Statistics ]============================== 186.94/187.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.94/187.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.94/187.02 c =============================================================================== 186.94/187.02 c | 0 | 1427 1484 7446 | 5000 0 nan | 0.000 % | 186.94/187.04 c | 105 | 1427 1484 7446 | 5500 105 38 | 0.001 % | 186.94/187.05 c | 255 | 1427 1484 7446 | 6050 255 31 | 0.000 % | 186.94/187.07 c | 481 | 1427 1484 7446 | 6655 481 29 | 0.000 % | 186.94/187.09 c | 819 | 1427 1484 7446 | 7320 819 27 | 0.001 % | 187.03/187.13 c | 1325 | 1427 1484 7446 | 8052 1325 29 | 0.000 % | 187.13/187.20 c | 2085 | 1427 1484 7446 | 8857 2085 28 | 0.000 % | 187.23/187.31 c | 3224 | 1427 1484 7446 | 9743 3224 30 | 0.000 % | 187.43/187.52 c | 4938 | 1427 1484 7446 | 10717 4938 32 | 0.000 % | 187.73/187.89 c | 7500 | 1427 1484 7446 | 11789 7500 47 | 0.001 % | 188.33/188.49 c | 11344 | 1427 1484 7446 | 12968 11344 72 | 0.002 % | 189.43/189.50 c | 17110 | 1427 1484 7446 | 14265 10430 122 | 0.000 % | 190.92/191.05 c | 25760 | 1427 1484 7446 | 15692 11745 119 | 0.001 % | 193.62/193.74 c | 38735 | 1427 1484 7446 | 17261 8626 114 | 0.002 % | 197.43/197.55 c | 58196 | 1427 1484 7446 | 18987 10445 98 | 0.000 % | 204.32/204.42 c | 87388 | 1427 1484 7446 | 20886 10648 111 | 0.001 % | 212.62/212.72 c | 131179 | 1427 1484 7446 | 22974 11797 121 | 0.000 % | 228.22/228.36 c | 196863 | 1427 1484 7446 | 25272 14565 116 | 0.001 % | 245.60/245.76 c =============================================================================== 245.91/246.02 c core #129 245.91/246.02 c ============================[ Search Statistics ]============================== 245.91/246.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 245.91/246.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 245.91/246.02 c =============================================================================== 245.91/246.02 c | 0 | 1460 1496 7537 | 5000 0 nan | 0.000 % | 245.91/246.05 c | 100 | 1460 1496 7537 | 5500 100 36 | 0.001 % | 245.91/246.07 c | 250 | 1460 1496 7537 | 6050 250 35 | 0.000 % | 245.91/246.09 c | 477 | 1460 1496 7537 | 6655 477 33 | 0.000 % | 246.01/246.13 c | 815 | 1460 1496 7537 | 7320 815 31 | 0.000 % | 246.01/246.17 c | 1323 | 1460 1496 7537 | 8052 1323 30 | 0.000 % | 246.10/246.22 c | 2082 | 1460 1496 7537 | 8857 2082 30 | 0.000 % | 246.22/246.32 c | 3222 | 1460 1496 7537 | 9743 3222 31 | 0.001 % | 246.41/246.54 c | 4930 | 1460 1496 7537 | 10717 4930 31 | 0.000 % | 246.70/246.84 c | 7493 | 1456 1496 7537 | 11789 7331 34 | 0.275 % | 247.42/247.55 c | 11344 | 1454 1496 7537 | 12968 11182 36 | 0.411 % | 248.91/249.04 c =============================================================================== 249.21/249.30 c core #130 249.21/249.30 c ============================[ Search Statistics ]============================== 249.21/249.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 249.21/249.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 249.21/249.30 c =============================================================================== 249.21/249.30 c | 0 | 1521 1498 7662 | 5000 0 nan | 0.000 % | 249.21/249.32 c | 100 | 1521 1498 7662 | 5500 100 48 | 0.001 % | 249.21/249.33 c | 250 | 1521 1498 7662 | 6050 250 41 | 0.000 % | 249.21/249.34 c | 476 | 1521 1498 7662 | 6655 476 39 | 0.000 % | 249.21/249.36 c | 813 | 1521 1498 7662 | 7320 813 33 | 0.000 % | 249.21/249.39 c | 1320 | 1521 1498 7662 | 8052 1320 31 | 0.001 % | 249.31/249.45 c | 2081 | 1521 1498 7662 | 8857 2081 38 | 0.000 % | 249.40/249.55 c | 3225 | 1521 1498 7662 | 9743 3225 38 | 0.000 % | 249.51/249.70 c | 4935 | 1521 1498 7662 | 10717 4935 35 | 0.000 % | 250.01/250.12 c | 7497 | 1521 1498 7662 | 11789 7497 48 | 0.001 % | 250.41/250.52 c | 11341 | 1521 1498 7662 | 12968 11341 42 | 0.001 % | 251.60/251.78 c | 17110 | 1521 1498 7662 | 14265 10526 45 | 0.001 % | 253.61/253.79 c | 25760 | 1519 1498 7662 | 15692 11603 55 | 0.132 % | 257.21/257.39 c | 38735 | 1519 1498 7662 | 17261 8720 61 | 0.132 % | 262.00/262.15 c | 58198 | 1519 1498 7662 | 18987 10743 52 | 0.132 % | 270.40/270.56 c | 87402 | 1519 1498 7662 | 20886 11222 66 | 0.132 % | 286.29/286.43 c | 131193 | 1516 1498 7662 | 22974 11974 61 | 0.397 % | 315.09/315.28 c | 196882 | 1515 1498 7662 | 25272 19681 73 | 0.396 % | 360.07/360.27 c | 295408 | 1515 1498 7662 | 27799 16065 70 | 0.395 % | 454.14/454.33 c | 443201 | 1515 1498 7662 | 30579 15901 66 | 0.395 % | 517.31/517.59 c =============================================================================== 528.51/528.74 c core #131 528.51/528.74 c ============================[ Search Statistics ]============================== 528.51/528.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 528.51/528.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 528.51/528.74 c =============================================================================== 528.51/528.74 c | 0 | 1605 1516 7866 | 5000 0 nan | 0.000 % | 528.61/528.80 c | 101 | 1605 1516 7866 | 5500 101 35 | 0.001 % | 528.61/528.81 c | 252 | 1605 1516 7866 | 6050 252 36 | 0.000 % | 528.61/528.83 c | 478 | 1605 1516 7866 | 6655 478 32 | 0.000 % | 528.61/528.86 c | 815 | 1605 1516 7866 | 7320 815 31 | 0.001 % | 528.72/528.94 c | 1321 | 1605 1516 7866 | 8052 1321 31 | 0.000 % | 528.82/529.04 c | 2081 | 1605 1516 7866 | 8857 2081 31 | 0.000 % | 528.92/529.14 c | 3221 | 1605 1516 7866 | 9743 3221 31 | 0.000 % | 529.11/529.30 c | 4935 | 1605 1516 7866 | 10717 4935 32 | 0.000 % | 529.41/529.68 c | 7503 | 1605 1516 7866 | 11789 7503 32 | 0.001 % | 530.22/530.40 c | 11347 | 1605 1516 7866 | 12968 11347 32 | 0.001 % | 531.71/531.99 c | 17113 | 1605 1516 7866 | 14265 10603 33 | 0.000 % | 534.61/534.85 c | 25763 | 1603 1516 7866 | 15692 11455 32 | 0.125 % | 537.21/537.42 c | 38737 | 1601 1516 7866 | 17261 8410 25 | 0.250 % | 539.20/539.45 c =============================================================================== 539.60/539.81 c core #132 539.60/539.81 c ============================[ Search Statistics ]============================== 539.60/539.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 539.60/539.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 539.60/539.81 c =============================================================================== 539.60/539.81 c | 0 | 1655 1521 7974 | 5000 0 nan | 0.000 % | 539.60/539.84 c | 100 | 1655 1521 7974 | 5500 100 23 | 0.001 % | 539.60/539.85 c | 250 | 1655 1521 7974 | 6050 250 26 | 0.000 % | 539.60/539.86 c | 477 | 1655 1521 7974 | 6655 477 25 | 0.000 % | 539.60/539.88 c | 815 | 1655 1521 7974 | 7320 815 24 | 0.000 % | 539.71/539.92 c | 1322 | 1655 1521 7974 | 8052 1322 25 | 0.000 % | 539.81/540.03 c | 2081 | 1655 1521 7974 | 8857 2081 52 | 0.001 % | 539.92/540.19 c | 3220 | 1655 1521 7974 | 9743 3220 73 | 0.001 % | 540.21/540.45 c | 4928 | 1655 1521 7974 | 10717 4928 87 | 0.001 % | 540.61/540.84 c | 7490 | 1655 1521 7974 | 11789 7490 93 | 0.000 % | 541.21/541.46 c | 11334 | 1655 1521 7974 | 12968 11334 100 | 0.000 % | 542.21/542.45 c | 17102 | 1655 1521 7974 | 14265 10423 108 | 0.000 % | 543.71/543.90 c | 25752 | 1655 1521 7974 | 15692 11624 99 | 0.001 % | 546.21/546.42 c | 38726 | 1655 1521 7974 | 17261 8535 96 | 0.000 % | 550.21/550.46 c | 58188 | 1655 1521 7974 | 18987 10360 124 | 0.001 % | 556.31/556.53 c | 87381 | 1655 1521 7974 | 20886 10515 99 | 0.001 % | 567.30/567.53 c | 131171 | 1655 1521 7974 | 22974 11757 121 | 0.001 % | 583.29/583.57 c | 196857 | 1655 1521 7974 | 25272 14977 116 | 0.001 % | 607.08/607.36 c | 295384 | 1655 1521 7974 | 27799 25056 140 | 0.001 % | 648.57/648.85 c | 443173 | 1655 1521 7974 | 30579 18822 133 | 0.000 % | 709.75/710.02 c | 664856 | 1655 1521 7974 | 33637 23182 115 | 0.000 % | 795.82/796.15 c | 997381 | 1655 1521 7974 | 37001 13362 128 | 0.001 % | 932.78/933.11 c | 1496171 | 1655 1521 7974 | 40701 17325 101 | 0.001 % |
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-2656017-1276418075/watcher-2656017-1276418075 -o /tmp/evaluation-result-2656017-1276418075/solver-2656017-1276418075 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656017-1276418075.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.18 1.05 1.01 3/106 21309 /proc/meminfo: memFree=1759552/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=2708 CPUtime=0 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 326 0 0 0 0 0 0 0 23 0 1 0 17410919 2772992 237 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 677 237 144 303 0 372 0 [startup+0.0989739 s] /proc/loadavg: 1.18 1.05 1.01 3/106 21309 /proc/meminfo: memFree=1759552/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=3608 CPUtime=0.09 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 545 0 0 0 9 0 0 0 23 0 1 0 17410919 3694592 456 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 902 456 147 303 0 597 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3608 [startup+0.100975 s] /proc/loadavg: 1.18 1.05 1.01 3/106 21309 /proc/meminfo: memFree=1759552/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=3608 CPUtime=0.09 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 551 0 0 0 9 0 0 0 23 0 1 0 17410919 3694592 462 1992294400 134512640 135751879 4291137088 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 902 462 147 303 0 597 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3608 [startup+0.301012 s] /proc/loadavg: 1.18 1.05 1.01 3/106 21309 /proc/meminfo: memFree=1759552/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=5416 CPUtime=0.29 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 1015 0 0 0 28 1 0 0 23 0 1 0 17410919 5545984 926 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 1354 926 147 303 0 1049 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5416 [startup+0.701086 s] /proc/loadavg: 1.18 1.05 1.01 3/106 21309 /proc/meminfo: memFree=1759552/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=8748 CPUtime=0.69 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 1835 0 0 0 67 2 0 0 25 0 1 0 17410919 8957952 1746 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 2187 1746 147 303 0 1882 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8748 [startup+1.50123 s] /proc/loadavg: 1.18 1.05 1.01 2/107 21310 /proc/meminfo: memFree=1750740/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=14512 CPUtime=1.49 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 3285 0 0 0 144 5 0 0 25 0 1 0 17410919 14860288 3196 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 3628 3196 148 303 0 3323 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14512 [startup+3.10053 s] /proc/loadavg: 1.18 1.05 1.01 2/107 21310 /proc/meminfo: memFree=1743424/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=23652 CPUtime=3.09 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 5584 0 0 0 300 9 0 0 25 0 1 0 17410919 24219648 5495 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 5913 5495 148 303 0 5608 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23652 [startup+6.30112 s] /proc/loadavg: 1.16 1.04 1.01 2/107 21310 /proc/meminfo: memFree=1725320/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=40988 CPUtime=6.29 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 9912 0 0 0 611 18 0 0 25 0 1 0 17410919 41971712 9823 1992294400 134512640 135751879 4291137088 18446744073709551615 134616869 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 10247 9823 148 303 0 9942 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40988 [startup+12.7013 s] /proc/loadavg: 1.15 1.04 1.01 2/107 21310 /proc/meminfo: memFree=1695196/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=67876 CPUtime=12.68 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 16620 0 0 0 1240 28 0 0 25 0 1 0 17410919 69505024 16531 1992294400 134512640 135751879 4291137088 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 16969 16531 148 303 0 16664 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 67876 [startup+25.5007 s] /proc/loadavg: 1.11 1.04 1.01 2/107 21310 /proc/meminfo: memFree=1638900/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=123316 CPUtime=25.49 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 30484 0 0 0 2493 56 0 0 25 0 1 0 17410919 126275584 30395 1992294400 134512640 135751879 4291137088 18446744073709551615 134606283 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 30829 30395 148 303 0 30524 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 123316 [startup+51.1014 s] /proc/loadavg: 1.07 1.04 1.01 2/107 21310 /proc/meminfo: memFree=1560408/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=202672 CPUtime=51.07 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 50290 0 0 0 5011 96 0 0 25 0 1 0 17410919 207536128 50201 1992294400 134512640 135751879 4291137088 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 50668 50201 148 303 0 50363 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 202672 [startup+102.309 s] /proc/loadavg: 1.03 1.03 1.00 2/107 21312 /proc/meminfo: memFree=1421280/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=340064 CPUtime=102.26 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 84591 0 0 0 10065 161 0 0 25 0 1 0 17410919 348225536 84502 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 85016 84502 148 303 0 84711 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 340064 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 21314 /proc/meminfo: memFree=1238752/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=522968 CPUtime=162.24 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 130301 0 0 0 15971 253 0 0 25 0 1 0 17410919 535519232 130212 1992294400 134512640 135751879 4291137088 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 130742 130212 148 303 0 130437 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 522968 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 21314 /proc/meminfo: memFree=1121200/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=639276 CPUtime=222.22 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 159506 0 0 0 21882 340 0 0 25 0 1 0 17410919 654618624 159383 1992294400 134512640 135751879 4291137088 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 159819 159383 151 303 0 159514 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 639276 [startup+282.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21316 /proc/meminfo: memFree=1049776/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=710652 CPUtime=282.2 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 177331 0 0 0 27800 420 0 0 25 0 1 0 17410919 727707648 177208 1992294400 134512640 135751879 4291137088 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 177663 177208 151 303 0 177358 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 710652 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21318 /proc/meminfo: memFree=1004268/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=755604 CPUtime=342.17 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 188531 0 0 0 33743 474 0 0 25 0 1 0 17410919 773738496 188408 1992294400 134512640 135751879 4291137088 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 188901 188408 151 303 0 188596 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 755604 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21320 /proc/meminfo: memFree=966448/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=793740 CPUtime=402.15 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 198050 0 0 0 39699 516 0 0 25 0 1 0 17410919 812789760 197927 1992294400 134512640 135751879 4291137088 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 198435 197927 151 303 0 198130 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 793740 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21322 /proc/meminfo: memFree=931976/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=828056 CPUtime=462.13 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 206603 0 0 0 45656 557 0 0 25 0 1 0 17410919 847929344 206480 1992294400 134512640 135751879 4291137088 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 207014 206480 151 303 0 206709 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 828056 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21322 /proc/meminfo: memFree=899240/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=862348 CPUtime=522.11 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 215137 0 0 0 51617 594 0 0 25 0 1 0 17410919 883044352 215014 1992294400 134512640 135751879 4291137088 18446744073709551615 134516340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 215587 215014 151 303 0 215282 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 862348 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21324 /proc/meminfo: memFree=819632/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=940368 CPUtime=582.09 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 234768 0 0 0 57543 666 0 0 25 0 1 0 17410919 962936832 234645 1992294400 134512640 135751879 4291137088 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 235092 234645 151 303 0 234787 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 940368 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21326 /proc/meminfo: memFree=690548/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=1068268 CPUtime=642.08 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 266686 0 0 0 63465 743 0 0 25 0 1 0 17410919 1093906432 266563 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 267067 266563 151 303 0 266762 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 1068268 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21328 /proc/meminfo: memFree=582420/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=1176792 CPUtime=702.05 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 293803 0 0 0 69394 811 0 0 25 0 1 0 17410919 1205035008 293680 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 294198 293680 151 303 0 293893 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 1176792 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21330 /proc/meminfo: memFree=463380/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=1295120 CPUtime=762.04 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 323373 0 0 0 75317 887 0 0 25 0 1 0 17410919 1326202880 323250 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 323780 323250 151 303 0 323475 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 1295120 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21330 /proc/meminfo: memFree=346324/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=1413624 CPUtime=822.02 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 352976 0 0 0 81243 959 0 0 25 0 1 0 17410919 1447550976 352853 1992294400 134512640 135751879 4291137088 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 353406 352853 151 303 0 353101 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 1413624 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21332 /proc/meminfo: memFree=233484/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=1524888 CPUtime=881.99 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 380783 0 0 0 87170 1029 0 0 25 0 1 0 17410919 1561485312 380660 1992294400 134512640 135751879 4291137088 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 381222 380660 151 303 0 380917 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 1524888 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21334 /proc/meminfo: memFree=127092/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=1632296 CPUtime=941.97 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 407594 0 0 0 93103 1094 0 0 25 0 1 0 17410919 1671471104 407471 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 408074 407471 151 303 0 407769 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1632296 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21336 /proc/meminfo: memFree=19212/2059040 swapFree=4176852/4192956 [pid=21309] ppid=21307 vsize=1738940 CPUtime=1001.95 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 434229 0 0 0 99036 1159 0 0 25 0 1 0 17410919 1780674560 434106 1992294400 134512640 135751879 4291137088 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 434735 434106 151 303 0 434430 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 1738940 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1061.7 s] /proc/loadavg: 1.03 1.01 1.00 2/107 21338 /proc/meminfo: memFree=9232/2059040 swapFree=4140476/4192956 [pid=21309] ppid=21307 vsize=1843424 CPUtime=1061.34 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4202496 460321 0 0 0 104906 1228 0 0 25 0 1 0 17410919 1887666176 460198 1992294400 134512640 135751879 4291137088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21309/statm: 460856 460198 151 303 0 460551 0 Current children cumulated CPU time (s) 1061.34 Current children cumulated vsize (KiB) 1843424 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1061.81 s] /proc/loadavg: 1.03 1.01 1.00 2/107 21338 /proc/meminfo: memFree=9232/2059040 swapFree=4140476/4192956 [pid=21309] ppid=21307 vsize=0 CPUtime=1061.44 /proc/21309/stat : 21309 (wbo1.4b) R 21307 21309 20916 0 -1 4203524 460321 0 0 0 104906 1238 0 0 25 0 1 0 17410919 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/21309/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1061.44 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1061.88 CPU time (s): 1061.52 CPU user time (s): 1049.06 CPU system time (s): 12.4571 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 1843424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1049.06 system time used= 12.4571 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460321 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= 16 involuntary context switches= 1946 runsolver used 1.85972 second user time and 4.93125 second system time The end
Begin job on node007 at 2010-06-13 10:34:35 IDJOB=2656017 IDBENCH=2060 IDSOLVER=1161 FILE ID=node007/2656017-1276418075 PBS_JOBID= 11173295 Free space on /tmp= 62456 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656017-1276418075/watcher-2656017-1276418075 -o /tmp/evaluation-result-2656017-1276418075/solver-2656017-1276418075 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656017-1276418075.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d9e9e5fece70ebbc4c28befed36e7afc RANDOM SEED=120179499 node007.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.264 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1759956 kB Buffers: 45496 kB Cached: 143664 kB SwapCached: 136 kB Active: 124256 kB Inactive: 108344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1759956 kB SwapTotal: 4192956 kB SwapFree: 4176852 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 43368 kB Mapped: 15336 kB Slab: 44768 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181932 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= 62452 MiB End job on node007 at 2010-06-13 10:52:18