Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1442.5 | 1442.99 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g15x15.opb |
MD5SUM | 28425c3b4907da9ba10ee31a4de63042 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 53 |
Best CPU time to get the best result obtained on this benchmark | 122.753 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 53 |
Optimality of the best value was proved | NO |
Number of variables | 225 |
Total number of constraints | 225 |
Number of constraints which are clauses | 225 |
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 | 3 |
Maximum length of a constraint | 5 |
Number of terms in the objective function | 225 |
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 | 225 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 225 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680549-1277454908.opb. 0.00/0.00 c Instance file HOME/instance-2680549-1277454908.opb 0.00/0.00 c File size is 11487 bytes. 0.00/0.00 c Highest Coefficient sum: 6 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: 225 | 0.00/0.00 c | Number Clauses: 225 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 225 225 1065 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 75 0.00/0.00 o 75 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 225 226 1290 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 71 0.00/0.00 o 71 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 225 227 1515 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 70 0.00/0.00 o 70 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 10 | 225 228 1740 | 5000 10 74 | 0.000 % | 0.00/0.01 c | 111 | 225 228 1740 | 5500 111 77 | 0.002 % | 0.00/0.01 c | 261 | 225 228 1740 | 6050 261 75 | 0.002 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 69 0.00/0.01 o 69 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 261 | 225 229 1965 | 5000 261 75 | 0.002 % | 0.00/0.02 c | 361 | 225 229 1965 | 5500 361 75 | 0.002 % | 0.00/0.02 c | 512 | 225 229 1965 | 6050 512 75 | 0.002 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 68 0.00/0.03 o 68 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 512 | 225 230 2190 | 5000 512 75 | 0.002 % | 0.00/0.03 c | 613 | 225 230 2190 | 5500 613 75 | 0.002 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 65 0.00/0.03 o 65 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 613 | 225 231 2415 | 5000 613 75 | 0.002 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 64 0.00/0.03 o 64 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 615 | 225 232 2640 | 5000 615 75 | 0.002 % | 0.00/0.04 c | 715 | 225 232 2640 | 5500 715 74 | 0.002 % | 0.00/0.04 c | 865 | 225 232 2640 | 6050 865 74 | 0.002 % | 0.00/0.06 c | 1092 | 225 232 2640 | 6655 1092 73 | 0.002 % | 0.07/0.07 c | 1429 | 225 232 2640 | 7320 1429 72 | 0.002 % | 0.09/0.11 c | 1935 | 225 232 2640 | 8052 1935 72 | 0.002 % | 0.09/0.15 c | 2694 | 225 232 2640 | 8857 2694 72 | 0.002 % | 0.20/0.23 c | 3834 | 225 232 2640 | 9743 3834 72 | 0.002 % | 0.29/0.35 c | 5543 | 225 232 2640 | 10717 5543 71 | 0.002 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: 63 0.29/0.36 o 63 0.29/0.36 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 5749 | 225 233 2865 | 5000 5749 71 | 0.002 % | 0.29/0.37 c | 5850 | 225 233 2865 | 5500 2976 71 | 0.002 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 62 0.29/0.37 o 62 0.29/0.37 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 5855 | 225 234 3090 | 5000 2981 71 | 0.002 % | 0.29/0.38 c | 5955 | 225 234 3090 | 5500 3081 71 | 0.002 % | 0.29/0.39 c | 6105 | 225 234 3090 | 6050 3231 71 | 0.002 % | 0.40/0.40 c | 6331 | 225 234 3090 | 6655 3457 70 | 0.002 % | 0.40/0.42 c | 6669 | 225 234 3090 | 7320 3795 70 | 0.002 % | 0.40/0.45 c | 7175 | 225 234 3090 | 8052 4301 70 | 0.002 % | 0.49/0.51 c | 7934 | 225 234 3090 | 8857 5060 70 | 0.002 % | 0.49/0.59 c | 9075 | 225 234 3090 | 9743 6201 70 | 0.002 % | 0.69/0.71 c | 10783 | 225 234 3090 | 10717 7909 69 | 0.002 % | 0.79/0.89 c | 13346 | 225 234 3090 | 11789 10472 69 | 0.002 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: 61 0.89/0.95 o 61 0.89/0.95 c Elapsed CPU time: 0.91786 s Remaining CPU time: 179.082 s 0.89/0.95 c =============================================================================== 0.89/0.95 c | 14111 | 225 235 3315 | 5000 11237 69 | 0.002 % | 0.89/0.99 c | 14211 | 225 235 3315 | 5500 2910 67 | 0.002 % | 0.89/1.00 c | 14361 | 225 235 3315 | 6050 3060 67 | 0.002 % | 1.00/1.01 c | 14586 | 225 235 3315 | 6655 3285 67 | 0.002 % | 1.00/1.03 c | 14923 | 225 235 3315 | 7320 3622 67 | 0.002 % | 1.00/1.06 c | 15429 | 225 235 3315 | 8052 4128 67 | 0.002 % | 1.10/1.11 c | 16188 | 225 235 3315 | 8857 4887 67 | 0.002 % | 1.10/1.19 c | 17328 | 225 235 3315 | 9743 6027 67 | 0.002 % | 1.29/1.33 c | 19037 | 225 235 3315 | 10717 7736 67 | 0.002 % | 1.49/1.54 c | 21599 | 225 235 3315 | 11789 10298 67 | 0.002 % | 1.89/1.99 c | 25443 | 225 235 3315 | 12968 8155 68 | 0.002 % | 2.39/2.46 c | 31209 | 225 235 3315 | 14265 7344 68 | 0.002 % | 3.49/3.56 c | 39858 | 225 235 3315 | 15692 8766 68 | 0.002 % | 4.89/4.93 c | 52832 | 225 235 3315 | 17261 13796 69 | 0.002 % | 8.69/8.73 c | 72295 | 225 235 3315 | 18987 15811 70 | 0.002 % | 13.09/13.19 c | 101489 | 225 235 3315 | 20886 16231 70 | 0.002 % | 22.48/22.52 c | 145279 | 225 235 3315 | 22974 17875 68 | 0.002 % | 31.58/31.65 c | 210964 | 225 235 3315 | 25272 22297 69 | 0.002 % | 59.57/59.68 c | 309490 | 225 235 3315 | 27799 21335 68 | 0.002 % | 87.16/87.28 c | 457280 | 225 235 3315 | 30579 19641 68 | 0.002 % | 152.94/153.07 c | 678964 | 225 235 3315 | 33637 28823 68 | 0.002 % | 182.44/182.57 c There are 0 assigned variables. 0 in cost function. 183.43/183.57 c core #1 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 4 Core Weight: 1 Total Weight: 1 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #2 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 2 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #3 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 3 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #4 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 4 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #5 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 5 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #6 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 6 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #7 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 7 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #8 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 8 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #9 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 9 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #10 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 10 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #11 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 11 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #12 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 12 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #13 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 13 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #14 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 14 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #15 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 15 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #16 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 16 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #17 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 17 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #18 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 18 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #19 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 19 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #20 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 20 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #21 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 21 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #22 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 22 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #23 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 23 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #24 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 24 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #25 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 25 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #26 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 26 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #27 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 27 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #28 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 28 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #29 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 29 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #30 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 30 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #31 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 31 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #32 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 32 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #33 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 33 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #34 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 34 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #35 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 35 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #36 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 36 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #37 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 37 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #38 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 38 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #39 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 6 Core Weight: 1 Total Weight: 39 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #40 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 40 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #41 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 41 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #42 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 42 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c core #43 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 5 Core Weight: 1 Total Weight: 43 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c ============================[ Search Statistics ]============================== 183.43/183.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.57 c =============================================================================== 183.43/183.57 c | 0 | 396 503 3909 | 5000 0 nan | 0.000 % | 183.43/183.57 c =============================================================================== 183.43/183.57 c core #44 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c Core size: 54 Core Weight: 1 Total Weight: 44 183.43/183.57 c 183.43/183.57 c 183.43/183.57 c ============================[ Search Statistics ]============================== 183.43/183.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.57 c =============================================================================== 183.43/183.57 c | 0 | 449 504 4006 | 5000 0 nan | 0.000 % | 183.43/183.58 c =============================================================================== 183.43/183.58 c core #45 183.43/183.58 c 183.43/183.58 c 183.43/183.58 c Core size: 84 Core Weight: 1 Total Weight: 45 183.43/183.58 c 183.43/183.58 c 183.43/183.58 c ============================[ Search Statistics ]============================== 183.43/183.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.58 c =============================================================================== 183.43/183.58 c | 0 | 526 505 4156 | 5000 0 nan | 0.000 % | 183.43/183.59 c | 102 | 526 505 4156 | 5500 102 18 | 2.593 % | 183.43/183.59 c | 252 | 526 505 4156 | 6050 252 17 | 2.593 % | 183.54/183.61 c | 479 | 526 505 4156 | 6655 479 19 | 2.593 % | 183.54/183.63 c | 817 | 526 505 4156 | 7320 817 23 | 2.593 % | 183.54/183.68 c | 1330 | 526 505 4156 | 8052 1330 26 | 2.593 % | 183.63/183.75 c | 2089 | 525 505 4156 | 8857 2069 27 | 2.778 % | 183.63/183.79 c =============================================================================== 183.73/183.82 c core #46 183.73/183.82 c 183.73/183.82 c 183.73/183.82 c Core size: 123 Core Weight: 1 Total Weight: 46 183.73/183.82 c 183.73/183.82 c 183.73/183.82 c ============================[ Search Statistics ]============================== 183.73/183.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.73/183.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.73/183.82 c =============================================================================== 183.73/183.82 c | 0 | 639 506 4379 | 5000 0 nan | 0.000 % | 183.73/183.83 c | 101 | 639 506 4379 | 5500 101 49 | 1.693 % | 183.73/183.84 c | 252 | 639 506 4379 | 6050 252 36 | 1.693 % | 183.73/183.86 c | 477 | 639 506 4379 | 6655 477 34 | 1.693 % | 183.73/183.89 c | 814 | 639 506 4379 | 7320 814 40 | 1.693 % | 183.83/183.94 c | 1321 | 639 506 4379 | 8052 1321 42 | 1.693 % | 183.93/184.02 c | 2081 | 639 506 4379 | 8857 2081 47 | 1.693 % | 184.03/184.14 c | 3222 | 635 506 4379 | 9743 3219 50 | 2.308 % | 184.23/184.35 c | 4930 | 635 506 4379 | 10717 4927 49 | 2.308 % | 184.64/184.73 c | 7497 | 627 506 4379 | 11789 7488 52 | 3.539 % | 185.53/185.62 c | 11346 | 627 506 4379 | 12968 11337 63 | 3.539 % | 187.03/187.15 c | 17112 | 627 506 4379 | 14265 10542 82 | 3.539 % | 187.33/187.43 c =============================================================================== 187.53/187.66 c core #47 187.53/187.66 c 187.53/187.66 c 187.53/187.66 c Core size: 173 Core Weight: 1 Total Weight: 47 187.53/187.66 c 187.53/187.66 c 187.53/187.66 c ============================[ Search Statistics ]============================== 187.53/187.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.53/187.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.53/187.66 c =============================================================================== 187.53/187.66 c | 0 | 815 507 4723 | 5000 0 nan | 0.000 % | 187.53/187.68 c | 103 | 815 507 4723 | 5500 103 64 | 0.367 % | 187.53/187.69 c | 254 | 815 507 4723 | 6050 254 69 | 0.367 % | 187.63/187.73 c | 479 | 815 507 4723 | 6655 479 70 | 0.367 % | 187.63/187.77 c | 819 | 815 507 4723 | 7320 819 72 | 0.367 % | 187.73/187.85 c | 1329 | 815 507 4723 | 8052 1329 75 | 0.367 % | 187.83/187.99 c | 2090 | 815 507 4723 | 8857 2090 83 | 0.367 % | 188.13/188.20 c | 3230 | 815 507 4723 | 9743 3230 85 | 0.367 % | 188.32/188.48 c | 4940 | 815 507 4723 | 10717 4940 84 | 0.367 % | 188.83/188.98 c | 7503 | 813 507 4723 | 11789 7502 86 | 0.611 % | 189.83/189.95 c | 11352 | 622 507 4723 | 12968 7115 113 | 23.961 % | 190.63/190.74 c =============================================================================== 190.73/190.84 c core #48 190.73/190.84 c 190.73/190.84 c 190.73/190.84 c Core size: 207 Core Weight: 1 Total Weight: 48 190.73/190.84 c 190.73/190.84 c 190.73/190.84 c ============================[ Search Statistics ]============================== 190.73/190.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.73/190.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.73/190.84 c =============================================================================== 190.73/190.84 c | 0 | 1021 508 5132 | 5000 0 nan | 0.000 % | 190.73/190.85 c | 101 | 1021 508 5132 | 5500 101 68 | 0.000 % | 190.73/190.87 c | 252 | 1021 508 5132 | 6050 252 71 | 0.000 % | 190.73/190.89 c | 477 | 1021 508 5132 | 6655 477 53 | 0.000 % | 190.83/190.93 c | 816 | 1021 508 5132 | 7320 816 80 | 0.000 % | 190.83/190.99 c | 1323 | 1021 508 5132 | 8052 1323 94 | 0.000 % | 191.03/191.14 c | 2084 | 1021 508 5132 | 8857 2084 114 | 0.000 % | 191.23/191.35 c | 3223 | 1021 508 5132 | 9743 3223 111 | 0.000 % | 191.53/191.65 c | 4931 | 1021 508 5132 | 10717 4931 112 | 0.000 % | 192.12/192.21 c | 7494 | 1021 508 5132 | 11789 7494 129 | 0.000 % | 193.54/193.62 c | 11338 | 1021 508 5132 | 12968 11338 142 | 0.000 % | 195.53/195.63 c | 17105 | 1021 508 5132 | 14265 10512 147 | 0.000 % | 200.03/200.11 c | 25755 | 1021 508 5132 | 15692 11923 146 | 0.000 % | 205.33/205.45 c | 38729 | 1021 508 5132 | 17261 8998 164 | 0.000 % | 207.43/207.54 c =============================================================================== 207.52/207.66 c core #49 207.52/207.66 c 207.52/207.66 c 207.52/207.66 c Core size: 203 Core Weight: 1 Total Weight: 49 207.52/207.66 c 207.52/207.66 c 207.52/207.66 c ============================[ Search Statistics ]============================== 207.52/207.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.52/207.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.52/207.66 c =============================================================================== 207.52/207.66 c | 0 | 1210 509 5510 | 5000 0 nan | 0.000 % | 207.52/207.69 c | 101 | 1210 509 5510 | 5500 101 135 | 0.000 % | 207.62/207.70 c | 252 | 1210 509 5510 | 6050 252 77 | 0.000 % | 207.62/207.74 c | 477 | 1210 509 5510 | 6655 477 109 | 0.000 % | 207.62/207.80 c | 814 | 1210 509 5510 | 7320 814 122 | 0.000 % | 207.73/207.85 c | 1320 | 1210 509 5510 | 8052 1320 98 | 0.000 % | 207.83/207.95 c | 2087 | 1210 509 5510 | 8857 2087 87 | 0.000 % | 208.03/208.12 c | 3228 | 1210 509 5510 | 9743 3228 72 | 0.000 % | 208.32/208.40 c | 4940 | 1210 509 5510 | 10717 4940 66 | 0.000 % | 208.72/208.86 c | 7503 | 1210 509 5510 | 11789 7503 64 | 0.000 % | 209.52/209.65 c | 11349 | 1210 509 5510 | 12968 11349 72 | 0.000 % | 211.03/211.14 c | 17117 | 1210 509 5510 | 14265 10472 99 | 0.000 % | 213.82/213.98 c | 25767 | 1210 509 5510 | 15692 11877 92 | 0.000 % | 219.02/219.13 c | 38745 | 1210 509 5510 | 17261 8880 82 | 0.000 % | 227.11/227.28 c | 58207 | 1210 509 5510 | 18987 10688 128 | 0.000 % | 245.81/245.96 c | 87400 | 1210 509 5510 | 20886 11003 141 | 0.000 % | 266.60/266.78 c | 131193 | 1210 509 5510 | 22974 12484 98 | 0.000 % | 307.69/307.80 c | 196882 | 1210 509 5510 | 25272 20220 123 | 0.000 % | 398.36/398.58 c | 295408 | 1210 509 5510 | 27799 16124 145 | 0.000 % | 495.32/495.52 c =============================================================================== 507.52/507.72 c core #50 507.52/507.72 c 507.52/507.72 c 507.52/507.72 c Core size: 227 Core Weight: 1 Total Weight: 50 507.52/507.72 c 507.52/507.72 c 507.52/507.72 c ============================[ Search Statistics ]============================== 507.52/507.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 507.52/507.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 507.52/507.72 c =============================================================================== 507.52/507.72 c | 0 | 1430 510 5950 | 5000 0 nan | 0.000 % | 507.62/507.83 c | 100 | 1430 510 5950 | 5500 100 81 | 0.000 % | 507.62/507.85 c | 250 | 1430 510 5950 | 6050 250 55 | 0.000 % | 507.72/507.92 c | 476 | 1430 510 5950 | 6655 476 79 | 0.000 % | 507.72/507.95 c | 814 | 1430 510 5950 | 7320 814 66 | 0.000 % | 507.82/508.03 c | 1321 | 1430 510 5950 | 8052 1321 114 | 0.000 % | 507.93/508.13 c | 2080 | 1430 510 5950 | 8857 2080 112 | 0.000 % | 508.12/508.36 c | 3221 | 1430 510 5950 | 9743 3221 125 | 0.000 % | 508.42/508.66 c | 4930 | 1430 510 5950 | 10717 4930 113 | 0.000 % | 509.02/509.29 c | 7494 | 1430 510 5950 | 11789 7494 129 | 0.000 % | 510.13/510.30 c | 11338 | 1430 510 5950 | 12968 11338 148 | 0.000 % | 512.72/512.97 c | 17108 | 1430 510 5950 | 14265 10274 250 | 0.000 % | 516.72/516.97 c | 25758 | 1430 510 5950 | 15692 11362 279 | 0.000 % | 523.62/523.87 c | 38736 | 1430 510 5950 | 17261 16212 285 | 0.000 % | 536.31/536.52 c | 58201 | 1430 510 5950 | 18987 9106 212 | 0.000 % | 550.50/550.72 c | 87393 | 1430 510 5950 | 20886 18866 171 | 0.000 % | 577.40/577.64 c | 131182 | 1430 510 5950 | 22974 20201 202 | 0.000 % | 632.08/632.34 c | 196868 | 1430 510 5950 | 25272 15295 277 | 0.000 % | 720.16/720.41 c | 295395 | 1430 510 5950 | 27799 22790 361 | 0.000 % | 905.00/905.37 c | 443187 | 1430 510 5950 | 30579 14557 347 | 0.000 % | 1191.59/1192.09 c | 664877 | 1430 510 5950 | 33637 20341 276 | 0.000 % |
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-2680549-1277454908/watcher-2680549-1277454908 -o /tmp/evaluation-result-2680549-1277454908/solver-2680549-1277454908 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680549-1277454908.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.91 3/106 19781 /proc/meminfo: memFree=1853960/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=2576 CPUtime=0 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 290 0 0 0 0 0 0 0 25 0 1 0 119142673 2637824 206 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 644 206 144 303 0 339 0 [startup+0.076711 s] /proc/loadavg: 1.00 1.00 0.91 3/106 19781 /proc/meminfo: memFree=1853960/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=3092 CPUtime=0.07 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 427 0 0 0 7 0 0 0 25 0 1 0 119142673 3166208 343 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 773 343 145 303 0 468 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3092 [startup+0.101715 s] /proc/loadavg: 1.00 1.00 0.91 3/106 19781 /proc/meminfo: memFree=1853960/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=3220 CPUtime=0.09 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 467 0 0 0 9 0 0 0 25 0 1 0 119142673 3297280 383 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 805 383 145 303 0 500 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3220 [startup+0.301751 s] /proc/loadavg: 1.00 1.00 0.91 3/106 19781 /proc/meminfo: memFree=1853960/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=4512 CPUtime=0.29 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 775 0 0 0 28 1 0 0 25 0 1 0 119142673 4620288 691 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 1128 692 145 303 0 823 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4512 [startup+0.701823 s] /proc/loadavg: 1.00 1.00 0.91 3/106 19781 /proc/meminfo: memFree=1853960/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=6696 CPUtime=0.69 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 1329 0 0 0 66 3 0 0 25 0 1 0 119142673 6856704 1245 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 1674 1245 145 303 0 1369 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6696 [startup+1.50097 s] /proc/loadavg: 1.00 1.00 0.91 2/107 19782 /proc/meminfo: memFree=1847876/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=10616 CPUtime=1.49 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 2313 0 0 0 143 6 0 0 25 0 1 0 119142673 10870784 2229 1992294400 134512640 135752675 4294733408 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 2654 2229 145 303 0 2349 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10616 [startup+3.10126 s] /proc/loadavg: 1.00 1.00 0.91 2/107 19782 /proc/meminfo: memFree=1843040/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=16572 CPUtime=3.09 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 3790 0 0 0 299 10 0 0 25 0 1 0 119142673 16969728 3706 1992294400 134512640 135752675 4294733408 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 4143 3706 145 303 0 3838 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16572 [startup+6.30084 s] /proc/loadavg: 1.00 1.00 0.91 2/107 19782 /proc/meminfo: memFree=1831632/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=26072 CPUtime=6.29 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 6167 0 0 0 613 16 0 0 25 0 1 0 119142673 26697728 6083 1992294400 134512640 135752675 4294733408 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 6518 6083 145 303 0 6213 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26072 [startup+12.701 s] /proc/loadavg: 1.00 1.00 0.91 2/107 19782 /proc/meminfo: memFree=1816752/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=40332 CPUtime=12.69 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 9715 0 0 0 1243 26 0 0 25 0 1 0 119142673 41299968 9631 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 10083 9631 145 303 0 9778 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40332 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.91 2/107 19782 /proc/meminfo: memFree=1788976/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=67408 CPUtime=25.48 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 16499 0 0 0 2502 46 0 0 25 0 1 0 119142673 69025792 16415 1992294400 134512640 135752675 4294733408 18446744073709551615 134612030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 16852 16415 145 303 0 16547 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67408 [startup+51.102 s] /proc/loadavg: 1.00 1.00 0.91 2/107 19784 /proc/meminfo: memFree=1746816/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=109496 CPUtime=51.08 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 26990 0 0 0 5029 79 0 0 25 0 1 0 119142673 112123904 26906 1992294400 134512640 135752675 4294733408 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 27374 26906 145 303 0 27069 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 109496 [startup+102.309 s] /proc/loadavg: 1.04 1.01 0.91 2/107 19784 /proc/meminfo: memFree=1663612/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=192020 CPUtime=102.26 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 47554 0 0 0 10082 144 0 0 25 0 1 0 119142673 196628480 47470 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 48005 47470 145 303 0 47700 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 192020 [startup+162.301 s] /proc/loadavg: 1.01 1.01 0.91 2/107 19786 /proc/meminfo: memFree=1581276/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=274860 CPUtime=162.23 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 68267 0 0 0 16007 216 0 0 25 0 1 0 119142673 281456640 68183 1992294400 134512640 135752675 4294733408 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 68715 68183 145 303 0 68410 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 274860 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 19788 /proc/meminfo: memFree=1505512/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=349620 CPUtime=222.22 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 87090 0 0 0 21918 304 0 0 25 0 1 0 119142673 358010880 86972 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 87405 86972 146 303 0 87100 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 349620 [startup+282.301 s] /proc/loadavg: 1.03 1.01 0.92 2/107 19793 /proc/meminfo: memFree=1390500/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=415432 CPUtime=282.2 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 103483 0 0 0 27864 356 0 0 25 0 1 0 119142673 425402368 103365 1992294400 134512640 135752675 4294733408 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 103858 103365 146 303 0 103553 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 415432 [startup+342.301 s] /proc/loadavg: 1.06 1.02 0.93 2/107 19795 /proc/meminfo: memFree=1330112/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=475548 CPUtime=342.18 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 118470 0 0 0 33824 394 0 0 25 0 1 0 119142673 486961152 118352 1992294400 134512640 135752675 4294733408 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 118887 118352 146 303 0 118582 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 475548 [startup+402.301 s] /proc/loadavg: 1.02 1.02 0.93 2/107 19795 /proc/meminfo: memFree=1277784/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=528388 CPUtime=402.16 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 131634 0 0 0 39788 428 0 0 25 0 1 0 119142673 541069312 131516 1992294400 134512640 135752675 4294733408 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 132097 131516 146 303 0 131792 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 528388 [startup+462.302 s] /proc/loadavg: 1.01 1.01 0.93 2/107 19797 /proc/meminfo: memFree=1222356/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=583352 CPUtime=462.13 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 145344 0 0 0 45752 461 0 0 25 0 1 0 119142673 597352448 145226 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 145838 145226 146 303 0 145533 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 583352 [startup+522.302 s] /proc/loadavg: 1.00 1.01 0.93 2/107 19799 /proc/meminfo: memFree=1163332/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=643192 CPUtime=522.11 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 160488 0 0 0 51707 504 0 0 25 0 1 0 119142673 658628608 160370 1992294400 134512640 135752675 4294733408 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 160798 160370 146 303 0 160493 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 643192 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 19801 /proc/meminfo: memFree=1078516/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=726768 CPUtime=582.09 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 181354 0 0 0 57640 569 0 0 25 0 1 0 119142673 744210432 181236 1992294400 134512640 135752675 4294733408 18446744073709551615 134639952 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 181692 181236 146 303 0 181387 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 726768 [startup+642.3 s] /proc/loadavg: 1.07 1.02 0.93 2/107 19803 /proc/meminfo: memFree=984152/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=820332 CPUtime=642.09 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 204715 0 0 0 63594 615 0 0 25 0 1 0 119142673 840019968 204597 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 205083 204597 146 303 0 204778 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 820332 [startup+702.3 s] /proc/loadavg: 1.02 1.01 0.93 2/107 19803 /proc/meminfo: memFree=884208/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=920876 CPUtime=702.05 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 229865 0 0 0 69544 661 0 0 25 0 1 0 119142673 942977024 229747 1992294400 134512640 135752675 4294733408 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 230219 229747 146 303 0 229914 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 920876 [startup+762.309 s] /proc/loadavg: 1.01 1.00 0.93 2/107 19805 /proc/meminfo: memFree=805468/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=998768 CPUtime=762.05 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 249289 0 0 0 75511 694 0 0 25 0 1 0 119142673 1022738432 249171 1992294400 134512640 135752675 4294733408 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 249692 249171 146 303 0 249387 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 998768 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 19807 /proc/meminfo: memFree=742476/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1063308 CPUtime=822.01 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 265412 0 0 0 81475 726 0 0 25 0 1 0 119142673 1088827392 265294 1992294400 134512640 135752675 4294733408 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 265827 265294 146 303 0 265522 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 1063308 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 19809 /proc/meminfo: memFree=654560/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1149584 CPUtime=882 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 286979 0 0 0 87434 766 0 0 25 0 1 0 119142673 1177174016 286861 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 287396 286861 146 303 0 287091 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1149584 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 19811 /proc/meminfo: memFree=578796/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1226116 CPUtime=941.98 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 306107 0 0 0 93396 802 0 0 25 0 1 0 119142673 1255542784 305989 1992294400 134512640 135752675 4294733408 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 306529 305989 146 303 0 306224 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 1226116 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 19811 /proc/meminfo: memFree=517664/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1286608 CPUtime=1001.96 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 321221 0 0 0 99363 833 0 0 25 0 1 0 119142673 1317486592 321103 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 321652 321103 146 303 0 321347 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1286608 [startup+1062.3 s] /proc/loadavg: 1.06 1.01 0.94 2/107 19813 /proc/meminfo: memFree=440288/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1364492 CPUtime=1061.94 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 340666 0 0 0 105328 866 0 0 25 0 1 0 119142673 1397239808 340548 1992294400 134512640 135752675 4294733408 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 341123 340548 146 303 0 340818 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1364492 [startup+1122.3 s] /proc/loadavg: 1.02 1.01 0.94 2/107 19815 /proc/meminfo: memFree=385356/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1418360 CPUtime=1121.92 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 354108 0 0 0 111298 894 0 0 25 0 1 0 119142673 1452400640 353990 1992294400 134512640 135752675 4294733408 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 354590 353990 146 303 0 354285 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1418360 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19817 /proc/meminfo: memFree=316660/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1488076 CPUtime=1181.89 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 371501 0 0 0 117258 931 0 0 25 0 1 0 119142673 1523789824 371383 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 372019 371383 146 303 0 371714 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1488076 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19819 /proc/meminfo: memFree=231844/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1571840 CPUtime=1241.88 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 392439 0 0 0 123218 970 0 0 25 0 1 0 119142673 1609564160 392321 1992294400 134512640 135752675 4294733408 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 392960 392321 146 303 0 392655 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1571840 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19819 /proc/meminfo: memFree=147648/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1655556 CPUtime=1301.87 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 413349 0 0 0 129182 1005 0 0 25 0 1 0 119142673 1695289344 413231 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 413889 413231 146 303 0 413584 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1655556 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19821 /proc/meminfo: memFree=57872/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1745932 CPUtime=1361.84 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 435916 0 0 0 135140 1044 0 0 25 0 1 0 119142673 1787834368 435798 1992294400 134512640 135752675 4294733408 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 436483 435798 146 303 0 436178 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1745932 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19823 /proc/meminfo: memFree=10460/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1814688 CPUtime=1421.83 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 453106 0 0 0 141108 1075 0 0 25 0 1 0 119142673 1858240512 452988 1992294400 134512640 135752675 4294733408 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 453672 452988 146 303 0 453367 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1814688 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1442.8 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19823 /proc/meminfo: memFree=9712/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=1843244 CPUtime=1442.32 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 460209 0 0 0 143142 1090 0 0 25 0 1 0 119142673 1887481856 460091 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19781/statm: 460811 460091 146 303 0 460506 0 Current children cumulated CPU time (s) 1442.32 Current children cumulated vsize (KiB) 1843244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1442.91 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19823 /proc/meminfo: memFree=9712/2059040 swapFree=4136184/4192956 [pid=19781] ppid=19779 vsize=0 CPUtime=1442.42 /proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4203524 460210 0 0 0 143142 1100 0 0 25 0 1 0 119142673 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/19781/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1442.42 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1442.99 CPU time (s): 1442.5 CPU user time (s): 1431.43 CPU system time (s): 11.0783 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 1843244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1431.43 system time used= 11.0783 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460210 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= 6 involuntary context switches= 3000 runsolver used 3.04054 second user time and 7.17891 second system time The end
Begin job on node027 at 2010-06-25 10:35:08 IDJOB=2680549 IDBENCH=2214 IDSOLVER=1190 FILE ID=node027/2680549-1277454908 PBS_JOBID= 11188137 Free space on /tmp= 62032 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680549-1277454908/watcher-2680549-1277454908 -o /tmp/evaluation-result-2680549-1277454908/solver-2680549-1277454908 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680549-1277454908.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042 RANDOM SEED=172133165 node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854240 kB Buffers: 33884 kB Cached: 77084 kB SwapCached: 9244 kB Active: 11840 kB Inactive: 112344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854240 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 2624 kB Writeback: 0 kB AnonPages: 11772 kB Mapped: 8412 kB Slab: 58400 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182200 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62028 MiB End job on node027 at 2010-06-25 10:59:13