Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.12 | 1800.57 |
Name | /OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_15_errors.opb |
MD5SUM | b155444c97f18a8f3025da7494a3d01e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 31 |
Best CPU time to get the best result obtained on this benchmark | 1798.05 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 584 |
Total number of constraints | 427 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 33 |
Number of constraints which are nor clauses,nor cardinality constraints | 394 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 34 |
Number of terms in the objective function | 182 |
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 | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 19 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 182 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2406 |
Sum of products size (including duplicates) | 10572 |
Number of different products | 2406 |
Sum of products size | 10572 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702803-1278580256.opb. 0.00/0.00 c Instance file HOME/instance-2702803-1278580256.opb 0.00/0.00 c File size is 307008 bytes. 0.00/0.05 c Highest Coefficient sum: 53 0.00/0.05 c ============================[ Problem Statistics ]============================= 0.00/0.05 c | | 0.00/0.05 c | Parsing time: 0.05 s | 0.00/0.05 c | Number Variables: 2990 | 0.00/0.05 c | Number Clauses: 2742 | 0.00/0.05 c | Number Cardinality: 501 | 0.00/0.05 c | Number PB Constraints: 2406 | 0.06/0.08 c ============================[ Search Statistics ]============================== 0.06/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.08 c =============================================================================== 0.06/0.08 c | 0 | 2274 5671 33371 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 100 | 2274 5671 33371 | 5500 100 27 | 23.946 % | 0.09/0.16 c | 253 | 2274 5671 33371 | 6050 253 82 | 23.947 % | 0.19/0.21 c | 480 | 2274 5671 33371 | 6655 480 71 | 23.947 % | 0.19/0.25 c | 818 | 2274 5671 33371 | 7320 818 56 | 23.947 % | 0.19/0.30 c | 1324 | 2274 5671 33371 | 8052 1324 42 | 23.947 % | 0.29/0.38 c | 2084 | 2274 5671 33371 | 8857 2084 32 | 23.947 % | 0.49/0.54 c | 3223 | 2274 5671 33371 | 9743 3223 29 | 23.947 % | 0.69/0.71 c | 4932 | 2274 5671 33371 | 10717 4932 23 | 23.947 % | 1.10/1.15 c | 7495 | 2274 5671 33371 | 11789 7495 24 | 23.947 % | 1.89/1.96 c =============================================================================== 1.89/1.96 c New solution: 48 1.89/1.96 o 48 1.89/1.96 c Elapsed CPU time: 1.9417 s Remaining CPU time: 178.058 s 1.89/1.96 c =============================================================================== 1.89/1.96 c | 10854 | 2274 5672 33553 | 5000 10854 39 | 23.947 % | 1.99/2.02 c | 10954 | 2274 5672 33553 | 5500 5527 55 | 23.947 % | 1.99/2.06 c | 11105 | 2274 5672 33553 | 6050 5678 55 | 23.947 % | 2.10/2.13 c | 11330 | 2274 5672 33553 | 6655 5903 57 | 23.947 % | 2.10/2.20 c | 11667 | 2274 5672 33553 | 7320 6240 56 | 23.947 % | 2.20/2.24 c | 12175 | 2274 5672 33553 | 8052 6748 53 | 23.947 % | 2.20/2.28 c | 12934 | 2274 5672 33553 | 8857 7507 50 | 23.947 % | 2.60/2.60 c | 14075 | 2274 5672 33553 | 9743 8648 51 | 23.947 % | 2.69/2.79 c | 15783 | 2274 5672 33553 | 10717 10356 47 | 23.947 % | 2.99/3.09 c | 18345 | 2274 5672 33553 | 11789 7175 28 | 23.947 % | 3.79/3.81 c | 22191 | 2274 5672 33553 | 12968 11021 43 | 23.947 % | 6.19/6.22 c | 27957 | 2274 5672 33553 | 14265 9799 62 | 23.947 % | 6.99/7.03 c | 36607 | 2274 5672 33553 | 15692 10928 16 | 23.947 % | 10.90/10.97 c | 49583 | 2274 5672 33553 | 17261 14897 56 | 23.947 % | 15.78/15.81 c | 69044 | 2274 5672 33553 | 18987 16287 33 | 23.947 % | 20.89/20.98 c | 98236 | 2274 5672 33553 | 20886 15848 13 | 23.947 % | 26.09/26.10 c =============================================================================== 26.09/26.10 c New solution: 47 26.09/26.10 o 47 26.09/26.10 c Elapsed CPU time: 25.8241 s Remaining CPU time: 154.176 s 26.09/26.10 c =============================================================================== 26.09/26.10 c | 113201 | 2274 5673 33735 | 5000 18413 61 | 23.947 % | 26.09/26.16 c | 113301 | 2274 5673 33735 | 5500 4704 102 | 23.947 % | 26.09/26.19 c | 113451 | 2274 5673 33735 | 6050 4854 100 | 23.947 % | 26.19/26.22 c | 113677 | 2274 5673 33735 | 6655 5080 96 | 23.947 % | 26.19/26.26 c | 114014 | 2274 5673 33735 | 7320 5417 91 | 23.947 % | 26.39/26.44 c | 114520 | 2274 5673 33735 | 8052 5923 91 | 23.947 % | 26.39/26.50 c | 115279 | 2274 5673 33735 | 8857 6682 83 | 23.947 % | 26.58/26.60 c | 116418 | 2274 5673 33735 | 9743 7821 74 | 23.947 % | 26.98/27.05 c | 118127 | 2274 5673 33735 | 10717 9530 77 | 23.947 % | 27.58/27.65 c | 120690 | 2274 5673 33735 | 11789 6341 47 | 23.947 % | 28.38/28.41 c | 124534 | 2274 5673 33735 | 12968 10185 42 | 23.947 % | 28.98/29.07 c | 130300 | 2274 5673 33735 | 14265 9083 20 | 23.947 % | 30.98/31.01 c | 138952 | 2274 5673 33735 | 15692 9871 76 | 23.947 % | 33.48/33.50 c | 151928 | 2274 5673 33735 | 17261 14595 38 | 23.947 % | 37.78/37.88 c | 171391 | 2274 5673 33735 | 18987 16027 45 | 23.947 % | 45.58/45.67 c | 200583 | 2274 5673 33735 | 20886 15547 26 | 23.947 % | 52.69/52.80 c | 244375 | 2274 5673 33735 | 22974 15989 13 | 23.947 % | 53.37/53.49 c =============================================================================== 53.37/53.49 c New solution: 46 53.37/53.49 o 46 53.37/53.49 c Elapsed CPU time: 52.896 s Remaining CPU time: 127.104 s 53.37/53.49 c =============================================================================== 53.37/53.49 c | 246525 | 2274 5674 33917 | 5000 18139 23 | 23.947 % | 53.67/53.74 c | 246628 | 2274 5674 33917 | 5500 4638 54 | 23.947 % | 53.67/53.75 c | 246778 | 2274 5674 33917 | 6050 4788 53 | 23.947 % | 53.67/53.78 c | 247003 | 2274 5674 33917 | 6655 5013 51 | 23.947 % | 53.79/53.81 c | 247340 | 2274 5674 33917 | 7320 5350 48 | 23.947 % | 53.79/53.86 c | 247846 | 2274 5674 33917 | 8052 5856 46 | 23.947 % | 53.98/54.03 c | 248605 | 2274 5674 33917 | 8857 6615 48 | 23.947 % | 54.48/54.50 c | 249746 | 2274 5674 33917 | 9743 7756 59 | 23.947 % | 55.28/55.32 c | 251454 | 2274 5674 33917 | 10717 9464 74 | 23.947 % | 56.58/56.69 c | 254017 | 2274 5674 33917 | 11789 12027 94 | 23.947 % | 58.87/58.94 c | 257864 | 2274 5674 33917 | 12968 9262 171 | 23.947 % | 62.47/62.53 c | 263630 | 2274 5674 33917 | 14265 8017 153 | 23.947 % | 68.18/68.28 c | 272279 | 2274 5674 33917 | 15692 8735 166 | 23.947 % | 76.67/76.76 c | 285253 | 2274 5674 33917 | 17261 13277 160 | 23.947 % | 92.87/92.99 c | 304714 | 2274 5674 33917 | 18987 14124 179 | 23.947 % | 119.77/119.86 c | 333906 | 2274 5674 33917 | 20886 13282 160 | 23.947 % | 141.87/141.95 c | 377695 | 2274 5674 33917 | 22974 13523 31 | 23.947 % | 155.05/155.11 c =============================================================================== 155.05/155.11 c New solution: 44 155.05/155.11 o 44 155.05/155.11 c Elapsed CPU time: 153.843 s Remaining CPU time: 26.1574 s 155.05/155.11 c =============================================================================== 155.05/155.11 c | 401288 | 2274 5675 34099 | 5000 23016 94 | 23.947 % | 155.15/155.24 c | 401389 | 2274 5675 34099 | 5500 2978 85 | 23.947 % | 155.15/155.26 c | 401540 | 2274 5675 34099 | 6050 3129 81 | 23.947 % | 155.15/155.28 c | 401765 | 2274 5675 34099 | 6655 3354 77 | 23.947 % | 155.26/155.31 c | 402102 | 2274 5675 34099 | 7320 3691 71 | 23.947 % | 155.26/155.38 c | 402609 | 2274 5675 34099 | 8052 4198 66 | 23.947 % | 155.35/155.46 c | 403368 | 2274 5675 34099 | 8857 4957 58 | 23.947 % | 155.75/155.80 c | 404508 | 2274 5675 34099 | 9743 6097 65 | 23.947 % | 155.86/155.94 c | 406217 | 2274 5675 34099 | 10717 7806 56 | 23.947 % | 156.55/156.67 c | 408780 | 2274 5675 34099 | 11789 10369 60 | 23.947 % | 157.25/157.32 c | 412625 | 2274 5675 34099 | 12968 7889 45 | 23.947 % | 158.05/158.15 c | 418392 | 2274 5675 34099 | 14265 13656 34 | 23.947 % | 160.45/160.57 c | 427046 | 2274 5675 34099 | 15692 14045 74 | 23.947 % | 161.95/162.06 c | 440020 | 2274 5675 34099 | 17261 10554 15 | 23.947 % | 164.85/164.96 c | 459481 | 2274 5675 34099 | 18987 11982 21 | 23.947 % | 170.55/170.63 c | 488673 | 2274 5675 34099 | 20886 11529 17 | 23.947 % | 181.45/181.59 c There are 716 assigned variables. 0 in cost function. 181.94/182.03 c core #1 181.94/182.03 c 181.94/182.03 c 181.94/182.03 c Core size: 16 Core Weight: 1 Total Weight: 1 181.94/182.03 c 181.94/182.03 c 181.94/182.03 c ============================[ Search Statistics ]============================== 181.94/182.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.03 c =============================================================================== 181.94/182.03 c | 0 | 2108 5232 28268 | 5000 0 nan | 0.000 % | 181.94/182.03 c =============================================================================== 181.94/182.05 c core #2 181.94/182.05 c 181.94/182.05 c 181.94/182.05 c Core size: 31 Core Weight: 1 Total Weight: 2 181.94/182.05 c 181.94/182.05 c 181.94/182.05 c ============================[ Search Statistics ]============================== 181.94/182.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.05 c =============================================================================== 181.94/182.05 c | 0 | 2138 5233 28317 | 5000 0 nan | 0.000 % | 181.94/182.07 c | 102 | 2138 5233 28317 | 5500 102 15 | 35.565 % | 181.94/182.07 c =============================================================================== 182.05/182.10 c core #3 182.05/182.10 c 182.05/182.10 c 182.05/182.10 c Core size: 41 Core Weight: 1 Total Weight: 3 182.05/182.10 c 182.05/182.10 c 182.05/182.10 c ============================[ Search Statistics ]============================== 182.05/182.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.05/182.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.05/182.10 c =============================================================================== 182.05/182.10 c | 0 | 2183 5234 28394 | 5000 0 nan | 0.000 % | 182.05/182.12 c | 103 | 2183 5234 28394 | 5500 103 20 | 28.403 % | 182.05/182.14 c | 253 | 2183 5234 28394 | 6050 253 16 | 28.403 % | 182.05/182.17 c | 481 | 2183 5234 28394 | 6655 481 16 | 28.403 % | 182.15/182.23 c | 819 | 2183 5234 28394 | 7320 819 17 | 28.403 % | 182.25/182.31 c | 1325 | 2182 5234 28394 | 8052 1271 17 | 28.440 % | 182.25/182.38 c =============================================================================== 182.35/182.41 c core #4 182.35/182.41 c 182.35/182.41 c 182.35/182.41 c Core size: 54 Core Weight: 1 Total Weight: 4 182.35/182.41 c 182.35/182.41 c 182.35/182.41 c ============================[ Search Statistics ]============================== 182.35/182.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.35/182.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.35/182.41 c =============================================================================== 182.35/182.41 c | 0 | 2239 5235 28676 | 5000 0 nan | 0.000 % | 182.35/182.43 c | 103 | 2239 5235 28676 | 5500 103 26 | 27.611 % | 182.35/182.44 c | 254 | 2239 5235 28676 | 6050 254 18 | 27.611 % | 182.35/182.47 c | 480 | 2239 5235 28676 | 6655 480 18 | 27.611 % | 182.45/182.51 c | 817 | 2239 5235 28676 | 7320 817 16 | 27.611 % | 182.55/182.61 c | 1324 | 2239 5235 28676 | 8052 1324 19 | 27.611 % | 182.64/182.75 c | 2083 | 2239 5235 28676 | 8857 2083 20 | 27.611 % | 182.85/182.98 c | 3224 | 2239 5235 28676 | 9743 3224 20 | 27.611 % | 183.04/183.13 c | 4932 | 2239 5235 28676 | 10717 4932 21 | 27.611 % | 183.34/183.42 c | 7494 | 2239 5235 28676 | 11789 7494 21 | 27.611 % | 183.84/183.95 c | 11338 | 2239 5235 28676 | 12968 11338 21 | 27.611 % | 184.94/185.02 c | 17104 | 2239 5235 28676 | 14265 10169 22 | 27.611 % | 187.25/187.38 c | 25753 | 2239 5235 28676 | 15692 11233 22 | 27.611 % | 191.44/191.54 c | 38727 | 2239 5235 28676 | 17261 15911 22 | 27.611 % | 197.95/198.07 c | 58190 | 2239 5235 28676 | 18987 17196 20 | 27.611 % | 211.24/211.37 c | 87382 | 2239 5235 28676 | 20886 16159 22 | 27.611 % | 225.04/225.14 c | 131171 | 2239 5235 28676 | 22974 15515 22 | 27.611 % | 240.34/240.41 c =============================================================================== 240.53/240.68 c core #5 240.53/240.68 c 240.53/240.68 c 240.53/240.68 c Core size: 70 Core Weight: 1 Total Weight: 5 240.53/240.68 c 240.53/240.68 c 240.53/240.68 c ============================[ Search Statistics ]============================== 240.53/240.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.53/240.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.53/240.68 c =============================================================================== 240.53/240.68 c | 0 | 2314 5239 29364 | 5000 0 nan | 0.000 % | 240.63/240.74 c | 101 | 2314 5239 29364 | 5500 101 31 | 26.610 % | 240.63/240.76 c | 251 | 2314 5239 29364 | 6050 251 22 | 26.610 % | 240.63/240.78 c | 476 | 2314 5239 29364 | 6655 476 21 | 26.610 % | 240.74/240.81 c | 813 | 2314 5239 29364 | 7320 813 18 | 26.610 % | 240.74/240.86 c | 1320 | 2314 5239 29364 | 8052 1320 16 | 26.610 % | 240.93/241.02 c | 2079 | 2314 5239 29364 | 8857 2079 19 | 26.610 % | 241.03/241.19 c | 3218 | 2314 5239 29364 | 9743 3218 21 | 26.610 % | 241.44/241.50 c | 4926 | 2314 5239 29364 | 10717 4926 21 | 26.610 % | 241.73/241.89 c | 7489 | 2314 5239 29364 | 11789 7489 21 | 26.610 % | 242.53/242.61 c | 11333 | 2314 5239 29364 | 12968 11333 21 | 26.610 % | 243.33/243.42 c | 17100 | 2314 5239 29364 | 14265 10166 22 | 26.610 % | 245.42/245.51 c | 25749 | 2314 5239 29364 | 15692 11237 26 | 26.610 % | 248.13/248.22 c | 38723 | 2314 5239 29364 | 17261 15919 24 | 26.610 % | 252.73/252.87 c | 58186 | 2314 5239 29364 | 18987 17243 20 | 26.610 % | 260.82/260.91 c | 87378 | 2314 5239 29364 | 20886 16594 24 | 26.610 % | 271.03/271.14 c | 131167 | 2314 5239 29364 | 22974 16148 21 | 26.610 % | 291.43/291.57 c | 196852 | 2314 5239 29364 | 25272 16413 26 | 26.610 % | 321.71/321.87 c | 295380 | 2314 5239 29364 | 27799 23242 24 | 26.610 % | 374.79/374.98 c | 443169 | 2313 5239 29364 | 30579 16144 23 | 26.641 % | 460.98/461.10 c | 664852 | 2313 5239 29364 | 33637 13358 23 | 26.641 % | 600.95/601.17 c | 997377 | 2312 5239 29364 | 37001 33292 23 | 26.673 % | 797.09/797.33 c =============================================================================== 799.49/799.76 c core #6 799.49/799.76 c 799.49/799.76 c 799.49/799.76 c Core size: 87 Core Weight: 1 Total Weight: 6 799.49/799.76 c 799.49/799.76 c 799.49/799.76 c ============================[ Search Statistics ]============================== 799.49/799.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 799.49/799.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 799.49/799.76 c =============================================================================== 799.49/799.76 c | 0 | 2418 5243 29555 | 5000 0 nan | 0.000 % | 799.59/799.82 c | 100 | 2418 5243 29555 | 5500 100 34 | 25.209 % | 799.59/799.87 c | 251 | 2418 5243 29555 | 6050 251 28 | 25.209 % | 799.69/799.90 c | 477 | 2418 5243 29555 | 6655 477 24 | 25.209 % | 799.69/799.98 c | 814 | 2418 5243 29555 | 7320 814 23 | 25.209 % | 799.89/800.11 c | 1320 | 2418 5243 29555 | 8052 1320 24 | 25.209 % | 800.09/800.32 c | 2080 | 2418 5243 29555 | 8857 2080 23 | 25.209 % | 800.19/800.49 c | 3219 | 2418 5243 29555 | 9743 3219 22 | 25.209 % | 800.49/800.71 c | 4927 | 2418 5243 29555 | 10717 4927 22 | 25.209 % | 800.79/801.09 c | 7489 | 2418 5243 29555 | 11789 7489 20 | 25.209 % | 801.60/801.90 c | 11333 | 2418 5243 29555 | 12968 11333 21 | 25.209 % | 802.89/803.16 c | 17099 | 2418 5243 29555 | 14265 10006 22 | 25.209 % | 804.78/805.04 c | 25748 | 2418 5243 29555 | 15692 11084 21 | 25.209 % | 808.69/808.91 c | 38722 | 2418 5243 29555 | 17261 15777 23 | 25.209 % | 814.79/815.02 c | 58183 | 2418 5243 29555 | 18987 17109 22 | 25.209 % | 823.99/824.29 c | 87375 | 2418 5243 29555 | 20886 16517 23 | 25.209 % | 837.48/837.77 c | 131164 | 2418 5243 29555 | 22974 16508 21 | 25.209 % | 858.67/858.98 c | 196848 | 2418 5243 29555 | 25272 17865 23 | 25.209 % | 891.67/891.90 c | 295374 | 2418 5243 29555 | 27799 25465 26 | 25.209 % | 944.66/944.99 c | 443165 | 2418 5243 29555 | 30579 15526 23 | 25.209 % | 1020.54/1020.89 c | 664848 | 2417 5243 29555 | 33637 20445 22 | 25.240 % | 1153.40/1153.79 c | 997374 | 2417 5243 29555 | 37001 27022 23 | 25.240 % | 1388.95/1389.36 c | 1496162 | 2416 5243 29555 | 40701 29287 24 | 25.271 % | 1506.21/1506.62 c =============================================================================== 1512.31/1512.79 c core #7 1512.31/1512.79 c 1512.31/1512.79 c 1512.31/1512.79 c Core size: 101 Core Weight: 1 Total Weight: 7 1512.31/1512.79 c 1512.31/1512.79 c 1512.31/1512.79 c ============================[ Search Statistics ]============================== 1512.31/1512.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1512.31/1512.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1512.31/1512.79 c =============================================================================== 1512.31/1512.79 c | 0 | 2520 5255 29772 | 5000 0 nan | 0.000 % | 1512.41/1512.84 c | 103 | 2520 5255 29772 | 5500 103 42 | 24.211 % | 1512.41/1512.86 c | 254 | 2520 5255 29772 | 6050 254 26 | 24.211 % | 1512.41/1512.89 c | 480 | 2520 5255 29772 | 6655 480 23 | 24.211 % | 1512.51/1512.94 c | 819 | 2520 5255 29772 | 7320 819 20 | 24.211 % | 1512.61/1513.08 c | 1325 | 2520 5255 29772 | 8052 1325 21 | 24.211 % | 1512.91/1513.36 c | 2084 | 2520 5255 29772 | 8857 2084 23 | 24.211 % | 1513.12/1513.51 c | 3223 | 2520 5255 29772 | 9743 3223 20 | 24.211 % | 1513.22/1513.67 c | 4931 | 2520 5255 29772 | 10717 4931 18 | 24.211 % | 1513.51/1513.93 c | 7494 | 2520 5255 29772 | 11789 7494 16 | 24.211 % | 1514.11/1514.58 c | 11338 | 2520 5255 29772 | 12968 11338 17 | 24.211 % | 1515.42/1515.84 c | 17107 | 2520 5255 29772 | 14265 10191 21 | 24.211 % | 1517.61/1518.01 c | 25757 | 2520 5255 29772 | 15692 11276 18 | 24.211 % | 1520.92/1521.38 c | 38731 | 2520 5255 29772 | 17261 15851 22 | 24.211 % | 1525.91/1526.32 c | 58193 | 2520 5255 29772 | 18987 16841 23 | 24.211 % | 1534.90/1535.33 c | 87385 | 2520 5255 29772 | 20886 15989 15 | 24.211 % | 1551.50/1551.91 c | 131175 | 2520 5255 29772 | 22974 15747 20 | 24.211 % | 1577.39/1577.85 c | 196861 | 2520 5255 29772 | 25272 17347 23 | 24.211 % | 1613.79/1614.23 c | 295387 | 2520 5255 29772 | 27799 24994 26 | 24.211 % | 1658.78/1659.21 c | 443176 | 2520 5255 29772 | 30579 15783 22 | 24.211 % | 1736.66/1737.15 c | 664865 | 2520 5255 29772 | 33637 13165 27 | 24.211 % |
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-2702803-1278580256/watcher-2702803-1278580256 -o /tmp/evaluation-result-2702803-1278580256/solver-2702803-1278580256 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702803-1278580256.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.02 1.00 3/105 31861 /proc/meminfo: memFree=1798576/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=3428 CPUtime=0 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 1 0 26234129 3510272 336 1992294400 134512640 135752675 4289025584 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 857 337 139 303 0 477 0 [startup+0.072591 s] /proc/loadavg: 1.00 1.02 1.00 3/105 31861 /proc/meminfo: memFree=1798576/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=4348 CPUtime=0.06 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 803 0 0 0 6 0 0 0 25 0 1 0 26234129 4452352 647 1992294400 134512640 135752675 4289025584 18446744073709551615 135010815 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 1087 647 142 303 0 782 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4348 [startup+0.101595 s] /proc/loadavg: 1.00 1.02 1.00 3/105 31861 /proc/meminfo: memFree=1798576/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=4480 CPUtime=0.09 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 810 0 0 0 9 0 0 0 25 0 1 0 26234129 4587520 654 1992294400 134512640 135752675 4289025584 18446744073709551615 134519017 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 1120 654 144 303 0 815 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4480 [startup+0.301615 s] /proc/loadavg: 1.00 1.02 1.00 3/105 31861 /proc/meminfo: memFree=1798576/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=4480 CPUtime=0.29 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 815 0 0 0 29 0 0 0 25 0 1 0 26234129 4587520 659 1992294400 134512640 135752675 4289025584 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 1120 659 145 303 0 815 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4480 [startup+0.701654 s] /proc/loadavg: 1.00 1.02 1.00 3/105 31861 /proc/meminfo: memFree=1798576/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=4872 CPUtime=0.69 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 938 0 0 0 68 1 0 0 25 0 1 0 26234129 4988928 782 1992294400 134512640 135752675 4289025584 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 1218 782 145 303 0 913 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4872 [startup+1.50173 s] /proc/loadavg: 1.00 1.02 1.00 2/106 31862 /proc/meminfo: memFree=1796088/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=5928 CPUtime=1.49 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 1191 0 0 0 147 2 0 0 25 0 1 0 26234129 6070272 1035 1992294400 134512640 135752675 4289025584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 1482 1035 145 303 0 1177 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5928 [startup+3.1009 s] /proc/loadavg: 1.00 1.02 1.00 2/106 31862 /proc/meminfo: memFree=1793980/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=8288 CPUtime=3.09 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 1793 0 0 0 306 3 0 0 25 0 1 0 26234129 8486912 1637 1992294400 134512640 135752675 4289025584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 2072 1637 145 303 0 1767 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8288 [startup+6.30122 s] /proc/loadavg: 1.08 1.04 1.01 2/106 31862 /proc/meminfo: memFree=1790012/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=11824 CPUtime=6.29 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 2649 0 0 0 623 6 0 0 25 0 1 0 26234129 12107776 2493 1992294400 134512640 135752675 4289025584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 2956 2493 145 303 0 2651 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11824 [startup+12.7009 s] /proc/loadavg: 1.07 1.03 1.00 2/106 31862 /proc/meminfo: memFree=1782572/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=19020 CPUtime=12.68 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 4463 0 0 0 1255 13 0 0 25 0 1 0 26234129 19476480 4307 1992294400 134512640 135752675 4289025584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 4755 4307 145 303 0 4450 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19020 [startup+25.5011 s] /proc/loadavg: 1.06 1.03 1.00 2/106 31864 /proc/meminfo: memFree=1771164/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=30176 CPUtime=25.49 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 7228 0 0 0 2523 26 0 0 25 0 1 0 26234129 30900224 7072 1992294400 134512640 135752675 4289025584 18446744073709551615 134611636 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 7544 7072 145 303 0 7239 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30176 [startup+51.1017 s] /proc/loadavg: 1.04 1.03 1.00 2/106 31864 /proc/meminfo: memFree=1745620/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=55780 CPUtime=51.08 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 13623 0 0 0 5051 57 0 0 25 0 1 0 26234129 57118720 13467 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 13945 13467 145 303 0 13640 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 55780 [startup+102.309 s] /proc/loadavg: 1.06 1.04 1.00 2/106 31866 /proc/meminfo: memFree=1688704/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=112044 CPUtime=102.27 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 27693 0 0 0 10140 87 0 0 25 0 1 0 26234129 114733056 27537 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 28011 27537 145 303 0 27706 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 112044 [startup+162.301 s] /proc/loadavg: 1.06 1.04 1.00 2/106 31866 /proc/meminfo: memFree=1629308/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=171916 CPUtime=162.25 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 42657 0 0 0 16091 134 0 0 25 0 1 0 26234129 176041984 42501 1992294400 134512640 135752675 4289025584 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 42979 42501 145 303 0 42674 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 171916 [startup+222.301 s] /proc/loadavg: 1.05 1.05 1.00 2/106 31868 /proc/meminfo: memFree=1610212/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=190064 CPUtime=222.24 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 47243 0 0 0 22041 183 0 0 25 0 1 0 26234129 194625536 47087 1992294400 134512640 135752675 4289025584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 47516 47087 146 303 0 47211 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 190064 [startup+282.301 s] /proc/loadavg: 1.13 1.07 1.01 2/106 31870 /proc/meminfo: memFree=1589876/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=210684 CPUtime=282.22 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 52381 0 0 0 27986 236 0 0 25 0 1 0 26234129 215740416 52225 1992294400 134512640 135752675 4289025584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 52671 52225 146 303 0 52366 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 210684 [startup+342.301 s] /proc/loadavg: 1.12 1.07 1.00 2/106 31872 /proc/meminfo: memFree=1570160/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=230196 CPUtime=342.2 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 57210 0 0 0 33939 281 0 0 25 0 1 0 26234129 235720704 57054 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 57549 57054 146 303 0 57244 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 230196 [startup+402.301 s] /proc/loadavg: 1.17 1.08 1.01 2/106 31874 /proc/meminfo: memFree=1544120/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=256312 CPUtime=402.19 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 63727 0 0 0 39891 328 0 0 25 0 1 0 26234129 262463488 63571 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 64078 63571 146 303 0 63773 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 256312 [startup+462.301 s] /proc/loadavg: 1.06 1.07 1.00 2/106 31874 /proc/meminfo: memFree=1518824/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=281588 CPUtime=462.18 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 70050 0 0 0 45846 372 0 0 25 0 1 0 26234129 288346112 69894 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 70397 69894 146 303 0 70092 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 281588 [startup+522.301 s] /proc/loadavg: 1.02 1.05 1.00 2/106 31876 /proc/meminfo: memFree=1493900/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=306580 CPUtime=522.16 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 76296 0 0 0 51807 409 0 0 25 0 1 0 26234129 313937920 76140 1992294400 134512640 135752675 4289025584 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 76645 76140 146 303 0 76340 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 306580 [startup+582.301 s] /proc/loadavg: 1.01 1.04 1.00 2/106 31881 /proc/meminfo: memFree=1470836/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=329604 CPUtime=582.14 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 82020 0 0 0 57767 447 0 0 25 0 1 0 26234129 337514496 81864 1992294400 134512640 135752675 4289025584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 82401 81864 146 303 0 82096 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 329604 [startup+642.301 s] /proc/loadavg: 1.00 1.03 1.00 2/106 31883 /proc/meminfo: memFree=1448268/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=351484 CPUtime=642.14 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 87492 0 0 0 63730 484 0 0 25 0 1 0 26234129 359919616 87336 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 87871 87336 146 303 0 87566 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 351484 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 31889 /proc/meminfo: memFree=1371636/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=427796 CPUtime=882.07 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 106696 0 0 0 87561 646 0 0 25 0 1 0 26234129 438063104 106502 1992294400 134512640 135752675 4289025584 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 106949 106502 146 303 0 106644 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 427796 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31891 /proc/meminfo: memFree=1352788/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=446744 CPUtime=942.05 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 111418 0 0 0 93515 690 0 0 25 0 1 0 26234129 457465856 111224 1992294400 134512640 135752675 4289025584 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 111686 111224 146 303 0 111381 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 446744 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31893 /proc/meminfo: memFree=1333444/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=465828 CPUtime=1002.04 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 116199 0 0 0 99465 739 0 0 25 0 1 0 26234129 477007872 116005 1992294400 134512640 135752675 4289025584 18446744073709551615 134605070 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 116457 116005 146 303 0 116152 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 465828 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31893 /proc/meminfo: memFree=1315464/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=484088 CPUtime=1062.02 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 120753 0 0 0 105422 780 0 0 25 0 1 0 26234129 495706112 120559 1992294400 134512640 135752675 4289025584 18446744073709551615 134605286 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 121022 120559 146 303 0 120717 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 484088 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31895 /proc/meminfo: memFree=1297360/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=501944 CPUtime=1122.01 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 125229 0 0 0 111380 821 0 0 25 0 1 0 26234129 513990656 125035 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 125486 125035 146 303 0 125181 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 501944 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31897 /proc/meminfo: memFree=1278512/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=520688 CPUtime=1181.99 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 129906 0 0 0 117339 860 0 0 25 0 1 0 26234129 533184512 129712 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 130172 129712 146 303 0 129867 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 520688 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31899 /proc/meminfo: memFree=1257804/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=541184 CPUtime=1241.98 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 135016 0 0 0 123302 896 0 0 25 0 1 0 26234129 554172416 134822 1992294400 134512640 135752675 4289025584 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 135296 134822 146 303 0 134991 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 541184 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31901 /proc/meminfo: memFree=1238584/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=560212 CPUtime=1301.97 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 139763 0 0 0 129269 928 0 0 25 0 1 0 26234129 573657088 139569 1992294400 134512640 135752675 4289025584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 140053 139569 146 303 0 139748 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 560212 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31901 /proc/meminfo: memFree=1216140/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=582916 CPUtime=1361.95 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 145443 0 0 0 135231 964 0 0 25 0 1 0 26234129 596905984 145249 1992294400 134512640 135752675 4289025584 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 145729 145249 146 303 0 145424 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 582916 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31903 /proc/meminfo: memFree=1194688/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=604192 CPUtime=1421.94 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 150739 0 0 0 141195 999 0 0 25 0 1 0 26234129 618692608 150545 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 151048 150545 146 303 0 150743 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 604192 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31905 /proc/meminfo: memFree=1175592/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=623728 CPUtime=1481.92 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 155623 0 0 0 147159 1033 0 0 25 0 1 0 26234129 638697472 155429 1992294400 134512640 135752675 4289025584 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 155932 155429 146 303 0 155627 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 623728 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31907 /proc/meminfo: memFree=1148560/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=650016 CPUtime=1541.9 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 162252 0 0 0 153117 1073 0 0 25 0 1 0 26234129 665616384 162017 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 162504 162017 146 303 0 162199 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 650016 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31909 /proc/meminfo: memFree=1148312/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=650016 CPUtime=1601.89 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 162301 0 0 0 159079 1110 0 0 25 0 1 0 26234129 665616384 162066 1992294400 134512640 135752675 4289025584 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 162504 162066 146 303 0 162199 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 650016 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31909 /proc/meminfo: memFree=1131820/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=666660 CPUtime=1661.87 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 166437 0 0 0 165032 1155 0 0 25 0 1 0 26234129 682659840 166202 1992294400 134512640 135752675 4289025584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 166665 166202 146 303 0 166360 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 666660 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31911 /proc/meminfo: memFree=1113096/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=685452 CPUtime=1721.86 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 171122 0 0 0 170983 1203 0 0 25 0 1 0 26234129 701902848 170887 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 171363 170887 146 303 0 171058 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 685452 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31913 /proc/meminfo: memFree=1093628/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=704628 CPUtime=1781.84 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 175893 0 0 0 176942 1242 0 0 25 0 1 0 26234129 721539072 175658 1992294400 134512640 135752675 4289025584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 176157 175658 146 303 0 175852 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 704628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31913 /proc/meminfo: memFree=1090032/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=708244 CPUtime=1800.05 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 176793 0 0 0 178753 1252 0 0 25 0 1 0 26234129 725241856 176558 1992294400 134512640 135752675 4289025584 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 177061 176558 146 303 0 176756 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 708244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31913 /proc/meminfo: memFree=1090032/2059040 swapFree=4139444/4192956 [pid=31861] ppid=31859 vsize=708244 CPUtime=1800.05 /proc/31861/stat : 31861 (wbo1.4b) R 31859 31861 30700 0 -1 4202496 176793 0 0 0 178753 1252 0 0 25 0 1 0 26234129 725241856 176558 1992294400 134512640 135752675 4289025584 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31861/statm: 177061 176558 146 303 0 176756 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 708244 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.57 CPU time (s): 1800.12 CPU user time (s): 1787.53 CPU system time (s): 12.5861 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 708244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.53 system time used= 12.5861 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 176793 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= 8 involuntary context switches= 21737 runsolver used 3.07453 second user time and 8.41272 second system time The end
Begin job on node084 at 2010-07-08 11:10:56 IDJOB=2702803 IDBENCH=72485 IDSOLVER=1190 FILE ID=node084/2702803-1278580256 PBS_JOBID= 11240064 Free space on /tmp= 62500 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_15_errors.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702803-1278580256/watcher-2702803-1278580256 -o /tmp/evaluation-result-2702803-1278580256/solver-2702803-1278580256 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702803-1278580256.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b155444c97f18a8f3025da7494a3d01e RANDOM SEED=234435313 node084.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.215 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.43 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.215 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 : 5999.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1799732 kB Buffers: 19540 kB Cached: 152632 kB SwapCached: 6248 kB Active: 109392 kB Inactive: 76592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1799732 kB SwapTotal: 4192956 kB SwapFree: 4139444 kB Dirty: 2800 kB Writeback: 0 kB AnonPages: 12112 kB Mapped: 11992 kB Slab: 51520 kB PageTables: 4204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183288 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702803-1278580256.opb Free space on /tmp at the end= 62496 MiB End job on node084 at 2010-07-08 11:40:59