Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.15 | 1800.58 |
Name | /OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_10_errors.opb |
MD5SUM | b561a61efc46169e6f19abce33721598 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 235.663 |
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 | 18 |
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-2702799-1278580241.opb. 0.00/0.00 c Instance file HOME/instance-2702799-1278580241.opb 0.00/0.00 c File size is 307008 bytes. 0.04/0.05 c Highest Coefficient sum: 52 0.04/0.05 c ============================[ Problem Statistics ]============================= 0.04/0.05 c | | 0.04/0.05 c | Parsing time: 0.06 s | 0.04/0.05 c | Number Variables: 2990 | 0.04/0.05 c | Number Clauses: 2742 | 0.04/0.05 c | Number Cardinality: 501 | 0.04/0.05 c | Number PB Constraints: 2406 | 0.04/0.09 c ============================[ Search Statistics ]============================== 0.04/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.09 c =============================================================================== 0.04/0.09 c | 0 | 2274 5671 33371 | 5000 0 nan | 0.000 % | 0.09/0.11 c | 104 | 2274 5671 33371 | 5500 104 27 | 23.946 % | 0.09/0.17 c | 254 | 2274 5671 33371 | 6050 254 48 | 23.947 % | 0.19/0.28 c | 479 | 2274 5671 33371 | 6655 479 74 | 23.947 % | 0.29/0.36 c | 817 | 2274 5671 33371 | 7320 817 65 | 23.947 % | 0.49/0.57 c | 1326 | 2274 5671 33371 | 8052 1326 80 | 23.947 % | 0.89/0.90 c | 2085 | 2274 5671 33371 | 8857 2085 102 | 23.947 % | 1.39/1.45 c | 3224 | 2274 5671 33371 | 9743 3224 107 | 23.947 % | 2.29/2.35 c | 4933 | 2274 5671 33371 | 10717 4933 121 | 23.947 % | 3.79/3.88 c | 7495 | 2274 5671 33371 | 11789 7495 128 | 23.947 % | 5.99/6.02 c | 11340 | 2274 5671 33371 | 12968 11340 107 | 23.947 % | 8.99/9.01 c | 17106 | 2274 5671 33371 | 14265 10181 58 | 23.947 % | 9.98/10.09 c | 25759 | 2274 5671 33371 | 15692 11313 20 | 23.947 % | 14.09/14.17 c =============================================================================== 14.09/14.17 c New solution: 52 14.09/14.17 o 52 14.09/14.17 c Elapsed CPU time: 14.0589 s Remaining CPU time: 165.941 s 14.09/14.17 c =============================================================================== 14.09/14.17 c | 37521 | 2274 5672 33553 | 5000 14172 47 | 23.947 % | 14.19/14.23 c | 37621 | 2274 5672 33553 | 5500 3643 53 | 23.947 % | 14.19/14.25 c | 37772 | 2274 5672 33553 | 6050 3794 51 | 23.947 % | 14.19/14.27 c | 37998 | 2274 5672 33553 | 6655 4020 49 | 23.947 % | 14.29/14.31 c | 38335 | 2274 5672 33553 | 7320 4357 47 | 23.947 % | 14.48/14.55 c | 38841 | 2274 5672 33553 | 8052 4863 53 | 23.947 % | 14.69/14.73 c | 39603 | 2274 5672 33553 | 8857 5625 51 | 23.947 % | 14.79/14.84 c | 40743 | 2274 5672 33553 | 9743 6765 45 | 23.947 % | 14.88/14.90 c =============================================================================== 14.88/14.90 c New solution: 44 14.88/14.90 o 44 14.88/14.90 c Elapsed CPU time: 14.7768 s Remaining CPU time: 165.223 s 14.88/14.90 c =============================================================================== 14.88/14.90 c | 41044 | 2274 5673 33735 | 5000 7066 45 | 23.947 % | 14.88/14.93 c | 41145 | 2274 5673 33735 | 5500 3634 36 | 23.947 % | 14.88/14.95 c | 41295 | 2274 5673 33735 | 6050 3784 36 | 23.947 % | 14.88/14.96 c | 41520 | 2274 5673 33735 | 6655 4009 35 | 23.947 % | 14.88/14.99 c | 41857 | 2274 5673 33735 | 7320 4346 34 | 23.947 % | 15.19/15.24 c | 42364 | 2274 5673 33735 | 8052 4853 42 | 23.947 % | 15.30/15.32 c | 43123 | 2274 5673 33735 | 8857 5612 39 | 23.947 % | 15.68/15.74 c | 44262 | 2274 5673 33735 | 9743 6751 49 | 23.947 % | 15.99/16.01 c | 45970 | 2274 5673 33735 | 10717 8459 44 | 23.947 % | 16.28/16.37 c | 48532 | 2274 5673 33735 | 11789 11021 41 | 23.947 % | 16.88/16.97 c | 52378 | 2274 5673 33735 | 12968 8580 25 | 23.947 % | 18.49/18.57 c | 58144 | 2274 5673 33735 | 14265 14346 50 | 23.947 % | 20.18/20.27 c | 66794 | 2274 5673 33735 | 15692 15286 46 | 23.947 % | 22.59/22.62 c | 79768 | 2274 5673 33735 | 17261 11805 15 | 23.947 % | 27.98/28.09 c | 99232 | 2274 5673 33735 | 18987 13128 59 | 23.947 % | 44.78/44.88 c | 128426 | 2274 5673 33735 | 20886 10914 89 | 23.947 % | 53.17/53.25 c | 172215 | 2274 5673 33735 | 22974 10959 19 | 23.947 % | 76.07/76.17 c | 237900 | 2274 5673 33735 | 25272 12824 19 | 23.947 % | 111.16/111.23 c =============================================================================== 111.16/111.23 c New solution: 43 111.16/111.23 o 43 111.16/111.23 c Elapsed CPU time: 110.284 s Remaining CPU time: 69.7158 s 111.16/111.23 c =============================================================================== 111.16/111.23 c | 283445 | 2274 5674 33917 | 5000 26352 93 | 23.947 % | 111.26/111.39 c | 283545 | 2274 5674 33917 | 5500 2898 84 | 23.947 % | 111.36/111.44 c | 283695 | 2274 5674 33917 | 6050 3048 82 | 23.947 % | 111.46/111.51 c | 283922 | 2274 5674 33917 | 6655 3275 83 | 23.947 % | 111.46/111.59 c | 284260 | 2274 5674 33917 | 7320 3613 77 | 23.947 % | 111.56/111.65 c | 284766 | 2274 5674 33917 | 8052 4119 70 | 23.947 % | 111.66/111.74 c | 285525 | 2274 5674 33917 | 8857 4878 61 | 23.947 % | 111.76/111.87 c | 286664 | 2274 5674 33917 | 9743 6017 54 | 23.947 % | 111.96/112.00 c | 288372 | 2274 5674 33917 | 10717 7725 45 | 23.947 % | 112.76/112.85 c | 290935 | 2274 5674 33917 | 11789 10288 62 | 23.947 % | 113.56/113.63 c | 294779 | 2274 5674 33917 | 12968 7827 53 | 23.947 % | 115.46/115.59 c | 300547 | 2274 5674 33917 | 14265 13595 74 | 23.947 % | 120.36/120.40 c | 309196 | 2274 5674 33917 | 15692 14683 72 | 23.947 % | 125.56/125.65 c | 322170 | 2274 5674 33917 | 17261 9784 93 | 23.947 % | 130.56/130.60 c | 341632 | 2274 5674 33917 | 18987 11216 24 | 23.947 % | 135.06/135.12 c | 370826 | 2274 5674 33917 | 20886 10784 14 | 23.947 % | 165.55/165.60 c =============================================================================== 165.55/165.60 c New solution: 42 165.55/165.60 o 42 165.55/165.60 c Elapsed CPU time: 164.216 s Remaining CPU time: 15.784 s 165.55/165.60 c =============================================================================== 165.55/165.60 c | 411152 | 2274 5675 34099 | 5000 18417 116 | 23.947 % | 165.64/165.71 c | 411252 | 2274 5675 34099 | 5500 4705 114 | 23.947 % | 165.64/165.76 c | 411403 | 2274 5675 34099 | 6050 4856 112 | 23.947 % | 165.75/165.87 c | 411628 | 2274 5675 34099 | 6655 5081 113 | 23.947 % | 165.96/166.03 c | 411966 | 2274 5675 34099 | 7320 5419 113 | 23.947 % | 166.15/166.27 c | 412472 | 2274 5675 34099 | 8052 5925 114 | 23.947 % | 166.64/166.73 c | 413231 | 2274 5675 34099 | 8857 6684 119 | 23.947 % | 166.95/167.07 c | 414373 | 2274 5675 34099 | 9743 7826 108 | 23.947 % | 167.65/167.75 c | 416085 | 2274 5675 34099 | 10717 9538 104 | 23.947 % | 168.35/168.43 c | 418647 | 2274 5675 34099 | 11789 12100 88 | 23.947 % | 169.85/169.91 c | 422492 | 2274 5675 34099 | 12968 8991 64 | 23.947 % | 172.05/172.13 c | 428258 | 2274 5675 34099 | 14265 7869 60 | 23.947 % | 172.85/172.99 c | 436907 | 2274 5675 34099 | 15692 8992 15 | 23.947 % | 177.94/178.08 c | 449882 | 2274 5675 34099 | 17261 13051 85 | 23.947 % | 181.45/181.56 c There are 716 assigned variables. 0 in cost function. 181.84/181.97 c core #1 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 10 Core Weight: 1 Total Weight: 1 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c ============================[ Search Statistics ]============================== 181.84/181.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.97 c =============================================================================== 181.84/181.97 c | 0 | 2102 5234 28264 | 5000 0 nan | 0.000 % | 181.84/181.97 c =============================================================================== 181.84/181.99 c core #2 181.84/181.99 c 181.84/181.99 c 181.84/181.99 c Core size: 20 Core Weight: 1 Total Weight: 2 181.84/181.99 c 181.84/181.99 c 181.84/181.99 c ============================[ Search Statistics ]============================== 181.84/181.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.99 c =============================================================================== 181.84/181.99 c | 0 | 2121 5235 28295 | 5000 0 nan | 0.000 % | 181.94/182.00 c =============================================================================== 181.94/182.03 c core #3 181.94/182.03 c 181.94/182.03 c 181.94/182.03 c Core size: 23 Core Weight: 1 Total Weight: 3 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 | 2143 5236 28334 | 5000 0 nan | 0.000 % | 181.94/182.04 c | 103 | 2143 5236 28334 | 5500 103 11 | 29.134 % | 181.94/182.08 c | 253 | 1940 5236 28334 | 6050 2 10 | 37.004 % | 181.94/182.08 c =============================================================================== 182.04/182.10 c core #4 182.04/182.10 c 182.04/182.10 c 182.04/182.10 c Core size: 38 Core Weight: 1 Total Weight: 4 182.04/182.10 c 182.04/182.10 c 182.04/182.10 c ============================[ Search Statistics ]============================== 182.04/182.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.10 c =============================================================================== 182.04/182.10 c | 0 | 2177 5237 28393 | 5000 0 nan | 0.000 % | 182.04/182.12 c | 100 | 2177 5237 28393 | 5500 100 16 | 28.600 % | 182.04/182.14 c | 251 | 2177 5237 28393 | 6050 251 14 | 28.600 % | 182.04/182.17 c | 476 | 2177 5237 28393 | 6655 476 13 | 28.600 % | 182.14/182.23 c | 813 | 2175 5237 28393 | 7320 657 14 | 29.518 % | 182.14/182.29 c =============================================================================== 182.24/182.32 c core #5 182.24/182.32 c 182.24/182.32 c 182.24/182.32 c Core size: 49 Core Weight: 1 Total Weight: 5 182.24/182.32 c 182.24/182.32 c 182.24/182.32 c ============================[ Search Statistics ]============================== 182.24/182.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.24/182.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.24/182.32 c =============================================================================== 182.24/182.32 c | 0 | 2233 5238 28490 | 5000 0 nan | 0.000 % | 182.24/182.33 c | 100 | 2233 5238 28490 | 5500 100 20 | 27.735 % | 182.24/182.35 c | 250 | 2233 5238 28490 | 6050 250 17 | 27.735 % | 182.24/182.38 c | 476 | 2233 5238 28490 | 6655 476 21 | 27.735 % | 182.34/182.41 c | 813 | 2233 5238 28490 | 7320 813 20 | 27.735 % | 182.34/182.46 c | 1319 | 2233 5238 28490 | 8052 1319 20 | 27.735 % | 182.45/182.55 c | 2078 | 2233 5238 28490 | 8857 2078 20 | 27.735 % | 182.55/182.69 c | 3218 | 2233 5238 28490 | 9743 3218 21 | 27.735 % | 182.84/182.93 c | 4926 | 2233 5238 28490 | 10717 4926 21 | 27.735 % | 183.24/183.34 c | 7488 | 2233 5238 28490 | 11789 7488 21 | 27.735 % | 184.05/184.10 c | 11332 | 2233 5238 28490 | 12968 11332 21 | 27.735 % | 185.35/185.44 c | 17098 | 2233 5238 28490 | 14265 10164 20 | 27.735 % | 187.44/187.51 c | 25747 | 2233 5238 28490 | 15692 11229 21 | 27.735 % | 191.54/191.66 c | 38721 | 2233 5238 28490 | 17261 15904 23 | 27.735 % | 198.44/198.56 c | 58182 | 2233 5238 28490 | 18987 17190 22 | 27.735 % | 208.44/208.50 c | 87374 | 2233 5238 28490 | 20886 16539 23 | 27.735 % | 220.64/220.79 c | 131163 | 2233 5238 28490 | 22974 15893 24 | 27.735 % | 238.73/238.87 c | 196848 | 2227 5238 28490 | 25272 17893 24 | 27.929 % | 262.33/262.42 c =============================================================================== 262.63/262.73 c core #6 262.63/262.73 c 262.63/262.73 c 262.63/262.73 c Core size: 61 Core Weight: 1 Total Weight: 6 262.63/262.73 c 262.63/262.73 c 262.63/262.73 c ============================[ Search Statistics ]============================== 262.63/262.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 262.63/262.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 262.63/262.73 c =============================================================================== 262.63/262.73 c | 0 | 2311 5242 29361 | 5000 0 nan | 0.000 % | 262.63/262.79 c | 100 | 2311 5242 29361 | 5500 100 22 | 26.588 % | 262.73/262.80 c | 251 | 2311 5242 29361 | 6050 251 17 | 26.589 % | 262.73/262.85 c | 476 | 2311 5242 29361 | 6655 476 19 | 26.588 % | 262.83/262.92 c | 813 | 2311 5242 29361 | 7320 813 21 | 26.588 % | 262.92/263.01 c | 1319 | 2311 5242 29361 | 8052 1319 22 | 26.588 % | 263.02/263.12 c | 2078 | 2311 5242 29361 | 8857 2078 22 | 26.588 % | 263.13/263.28 c | 3218 | 2311 5242 29361 | 9743 3218 22 | 26.588 % | 263.53/263.62 c | 4927 | 2311 5242 29361 | 10717 4927 23 | 26.588 % | 264.12/264.27 c | 7489 | 2311 5242 29361 | 11789 7489 23 | 26.588 % | 264.93/265.08 c | 11334 | 2311 5242 29361 | 12968 11334 23 | 26.588 % | 266.23/266.36 c | 17101 | 2311 5242 29361 | 14265 10175 22 | 26.588 % | 268.33/268.46 c | 25750 | 2311 5242 29361 | 15692 11251 22 | 26.588 % | 272.02/272.18 c | 38724 | 2311 5242 29361 | 17261 15928 22 | 26.588 % | 278.62/278.74 c | 58185 | 2311 5242 29361 | 18987 17006 23 | 26.588 % | 288.82/288.96 c | 87377 | 2310 5242 29361 | 20886 5611 22 | 26.620 % | 304.52/304.68 c | 131167 | 2304 5242 29361 | 22974 8067 22 | 26.811 % | 329.21/329.35 c | 196854 | 2297 5242 29361 | 25272 2498 23 | 27.033 % | 331.41/331.57 c =============================================================================== 332.41/332.54 c core #7 332.41/332.54 c 332.41/332.54 c 332.41/332.54 c Core size: 87 Core Weight: 1 Total Weight: 7 332.41/332.54 c 332.41/332.54 c 332.41/332.54 c ============================[ Search Statistics ]============================== 332.41/332.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 332.41/332.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 332.41/332.54 c =============================================================================== 332.41/332.54 c | 0 | 2412 5247 29546 | 5000 0 nan | 0.000 % | 332.51/332.60 c | 100 | 2412 5247 29546 | 5500 100 24 | 25.140 % | 332.51/332.65 c | 250 | 2412 5247 29546 | 6050 250 22 | 25.140 % | 332.51/332.70 c | 475 | 2412 5247 29546 | 6655 475 24 | 25.140 % | 332.60/332.77 c | 812 | 2412 5247 29546 | 7320 812 25 | 25.140 % | 332.70/332.86 c | 1318 | 2412 5247 29546 | 8052 1318 26 | 25.140 % | 332.91/333.02 c | 2077 | 2412 5247 29546 | 8857 2077 27 | 25.140 % | 333.21/333.35 c | 3216 | 2412 5247 29546 | 9743 3216 26 | 25.140 % | 333.41/333.59 c | 4925 | 2412 5247 29546 | 10717 4925 25 | 25.140 % | 334.10/334.24 c | 7487 | 2412 5247 29546 | 11789 7487 25 | 25.140 % | 335.60/335.70 c | 11332 | 2412 5247 29546 | 12968 11332 25 | 25.140 % | 337.62/337.73 c | 17098 | 2412 5247 29546 | 14265 9921 26 | 25.140 % | 340.61/340.79 c | 25747 | 2412 5247 29546 | 15692 11006 26 | 25.140 % | 345.90/346.07 c | 38721 | 2412 5247 29546 | 17261 15697 26 | 25.140 % | 353.31/353.40 c | 58183 | 2412 5247 29546 | 18987 17015 26 | 25.140 % | 364.21/364.39 c | 87375 | 2412 5247 29546 | 20886 16252 24 | 25.140 % | 383.60/383.79 c | 131164 | 2412 5247 29546 | 22974 16415 27 | 25.140 % | 415.60/415.77 c | 196848 | 2412 5247 29546 | 25272 15292 25 | 25.140 % | 453.28/453.41 c | 295375 | 2412 5247 29546 | 27799 21637 27 | 25.140 % | 542.96/543.19 c | 443165 | 2412 5247 29546 | 30579 11461 27 | 25.140 % | 689.33/689.53 c | 664848 | 2411 5247 29546 | 33637 19264 27 | 25.171 % | 898.07/898.37 c | 997373 | 2407 5247 29546 | 37001 30132 27 | 25.295 % | 959.07/959.38 c =============================================================================== 964.56/964.87 c core #8 964.56/964.87 c 964.56/964.87 c 964.56/964.87 c Core size: 136 Core Weight: 1 Total Weight: 8 964.56/964.87 c 964.56/964.87 c 964.56/964.87 c ============================[ Search Statistics ]============================== 964.56/964.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 964.56/964.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 964.56/964.87 c =============================================================================== 964.56/964.87 c | 0 | 2587 5258 29873 | 5000 0 nan | 0.000 % | 964.66/964.91 c | 100 | 2587 5258 29873 | 5500 100 27 | 22.799 % | 964.66/964.94 c | 250 | 2587 5258 29873 | 6050 250 24 | 22.799 % | 964.66/964.98 c | 477 | 2587 5258 29873 | 6655 477 25 | 22.799 % | 964.76/965.06 c | 815 | 2587 5258 29873 | 7320 815 23 | 22.799 % | 964.86/965.16 c | 1323 | 2587 5258 29873 | 8052 1323 20 | 22.799 % | 964.96/965.28 c | 2083 | 2587 5258 29873 | 8857 2083 18 | 22.799 % | 965.26/965.58 c | 3222 | 2587 5258 29873 | 9743 3222 21 | 22.799 % | 965.67/965.93 c | 4931 | 2587 5258 29873 | 10717 4931 23 | 22.799 % | 966.16/966.48 c | 7493 | 2587 5258 29873 | 11789 7493 23 | 22.799 % | 967.16/967.41 c | 11340 | 2587 5258 29873 | 12968 11340 24 | 22.799 % | 968.86/969.13 c | 17106 | 2587 5258 29873 | 14265 10151 25 | 22.799 % | 970.97/971.26 c | 25755 | 2587 5258 29873 | 15692 10950 25 | 22.799 % | 974.26/974.55 c | 38729 | 2587 5258 29873 | 17261 15463 26 | 22.799 % | 978.67/978.91 c | 58191 | 2587 5258 29873 | 18987 16832 18 | 22.799 % | 993.06/993.32 c | 87383 | 2587 5258 29873 | 20886 16265 24 | 22.799 % | 1008.55/1008.84 c | 131174 | 2587 5258 29873 | 22974 14274 27 | 22.799 % | 1050.74/1051.05 c | 196858 | 2587 5258 29873 | 25272 14680 24 | 22.799 % | 1082.53/1082.84 c | 295384 | 2587 5258 29873 | 27799 21885 26 | 22.799 % | 1136.12/1136.41 c | 443174 | 2587 5258 29873 | 30579 15618 27 | 22.801 % | 1236.60/1236.95 c | 664857 | 2587 5258 29873 | 33637 26420 31 | 22.799 % | 1380.86/1381.27 c | 997382 | 2587 5258 29873 | 37001 12788 27 | 22.799 % | 1579.41/1579.87 c | 1496171 | 2584 5258 29873 | 40701 20310 27 | 22.889 % |
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-2702799-1278580241/watcher-2702799-1278580241 -o /tmp/evaluation-result-2702799-1278580241/solver-2702799-1278580241 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702799-1278580241.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.91 2/106 30196 /proc/meminfo: memFree=1663180/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=3432 CPUtime=0 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 416 0 0 0 0 0 0 0 20 0 1 0 26237832 3514368 336 1992294400 134512640 135752675 4287751568 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 858 336 138 303 0 478 0 [startup+0.0474131 s] /proc/loadavg: 0.99 0.97 0.91 2/106 30196 /proc/meminfo: memFree=1663180/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=3964 CPUtime=0.04 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 610 0 0 0 4 0 0 0 20 0 1 0 26237832 4059136 529 1992294400 134512640 135752675 4287751568 18446744073709551615 134559885 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 991 529 191 303 0 611 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3964 [startup+0.101416 s] /proc/loadavg: 0.99 0.97 0.91 2/106 30196 /proc/meminfo: memFree=1663180/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=4484 CPUtime=0.09 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 810 0 0 0 9 0 0 0 20 0 1 0 26237832 4591616 654 1992294400 134512640 135752675 4287751568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 1121 654 144 303 0 816 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4484 [startup+0.301433 s] /proc/loadavg: 0.99 0.97 0.91 2/106 30196 /proc/meminfo: memFree=1663180/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=4484 CPUtime=0.29 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 815 0 0 0 29 0 0 0 20 0 1 0 26237832 4591616 659 1992294400 134512640 135752675 4287751568 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 1121 659 145 303 0 816 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4484 [startup+0.701466 s] /proc/loadavg: 0.99 0.97 0.91 2/106 30196 /proc/meminfo: memFree=1663180/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=4748 CPUtime=0.69 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 898 0 0 0 69 0 0 0 21 0 1 0 26237832 4861952 742 1992294400 134512640 135752675 4287751568 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 1187 742 145 303 0 882 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4748 [startup+1.50153 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30197 /proc/meminfo: memFree=1660444/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=5800 CPUtime=1.49 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 1159 0 0 0 149 0 0 0 23 0 1 0 26237832 5939200 1003 1992294400 134512640 135752675 4287751568 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 1450 1003 145 303 0 1145 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5800 [startup+3.10166 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30197 /proc/meminfo: memFree=1658832/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=7912 CPUtime=3.09 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 1679 0 0 0 307 2 0 0 25 0 1 0 26237832 8101888 1523 1992294400 134512640 135752675 4287751568 18446744073709551615 134639963 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 1978 1523 145 303 0 1673 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7912 [startup+6.30092 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30197 /proc/meminfo: memFree=1655856/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=10288 CPUtime=6.29 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 2272 0 0 0 625 4 0 0 25 0 1 0 26237832 10534912 2116 1992294400 134512640 135752675 4287751568 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 2572 2116 145 303 0 2267 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10288 [startup+12.7004 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30197 /proc/meminfo: memFree=1650168/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=15832 CPUtime=12.69 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 3663 0 0 0 1259 10 0 0 25 0 1 0 26237832 16211968 3507 1992294400 134512640 135752675 4287751568 18446744073709551615 134606976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 3958 3507 145 303 0 3653 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15832 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30198 /proc/meminfo: memFree=1636528/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=29492 CPUtime=25.48 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 7069 0 0 0 2524 24 0 0 25 0 1 0 26237832 30199808 6913 1992294400 134512640 135752675 4287751568 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 7373 6913 145 303 0 7068 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29492 [startup+51.1016 s] /proc/loadavg: 1.06 0.99 0.91 2/107 30199 /proc/meminfo: memFree=1616440/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=49392 CPUtime=51.08 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 12039 0 0 0 5060 48 0 0 25 0 1 0 26237832 50577408 11883 1992294400 134512640 135752675 4287751568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 12348 11883 145 303 0 12043 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49392 [startup+102.309 s] /proc/loadavg: 1.18 1.02 0.93 2/107 30200 /proc/meminfo: memFree=1584820/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=80520 CPUtime=102.27 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 19809 0 0 0 10140 87 0 0 25 0 1 0 26237832 82452480 19653 1992294400 134512640 135752675 4287751568 18446744073709551615 135209841 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 20130 19653 145 303 0 19825 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 80520 [startup+162.301 s] /proc/loadavg: 1.06 1.01 0.93 2/107 30201 /proc/meminfo: memFree=1540304/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=125304 CPUtime=162.25 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 31001 0 0 0 16092 133 0 0 25 0 1 0 26237832 128311296 30845 1992294400 134512640 135752675 4287751568 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 31326 30845 145 303 0 31021 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 125304 [startup+222.302 s] /proc/loadavg: 1.02 1.01 0.93 2/107 30203 /proc/meminfo: memFree=1517736/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=147228 CPUtime=222.23 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 36517 0 0 0 22043 180 0 0 25 0 1 0 26237832 150761472 36361 1992294400 134512640 135752675 4287751568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 36807 36361 146 303 0 36502 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 147228 [startup+282.301 s] /proc/loadavg: 1.01 1.00 0.93 2/107 30205 /proc/meminfo: memFree=1494672/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=170512 CPUtime=282.23 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 42319 0 0 0 27987 236 0 0 25 0 1 0 26237832 174604288 42163 1992294400 134512640 135752675 4287751568 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 42628 42163 146 303 0 42323 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 170512 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 30207 /proc/meminfo: memFree=1474460/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=190264 CPUtime=342.2 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 47290 0 0 0 33942 278 0 0 25 0 1 0 26237832 194830336 47134 1992294400 134512640 135752675 4287751568 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 47566 47134 146 303 0 47261 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 190264 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 30208 /proc/meminfo: memFree=1456356/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=208592 CPUtime=402.19 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 51869 0 0 0 39903 316 0 0 25 0 1 0 26237832 213598208 51713 1992294400 134512640 135752675 4287751568 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 52148 51713 146 303 0 51843 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 208592 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 30209 /proc/meminfo: memFree=1433168/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=231468 CPUtime=462.18 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 57566 0 0 0 45863 355 0 0 25 0 1 0 26237832 237023232 57410 1992294400 134512640 135752675 4287751568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 57867 57410 146 303 0 57562 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 231468 [startup+522.301 s] /proc/loadavg: 1.08 1.03 0.94 2/107 30214 /proc/meminfo: memFree=1413700/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=250312 CPUtime=522.17 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 62254 0 0 0 51829 388 0 0 25 0 1 0 26237832 256319488 62098 1992294400 134512640 135752675 4287751568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 62578 62098 146 303 0 62273 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 250312 [startup+582.301 s] /proc/loadavg: 1.03 1.02 0.94 2/107 30216 /proc/meminfo: memFree=1394976/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=268996 CPUtime=582.15 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 66923 0 0 0 57790 425 0 0 25 0 1 0 26237832 275451904 66767 1992294400 134512640 135752675 4287751568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 67249 66767 146 303 0 66944 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 268996 [startup+642.301 s] /proc/loadavg: 1.01 1.02 0.94 2/107 30218 /proc/meminfo: memFree=1376996/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=286868 CPUtime=642.14 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 71395 0 0 0 63756 458 0 0 25 0 1 0 26237832 293752832 71239 1992294400 134512640 135752675 4287751568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 71717 71239 146 303 0 71412 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 286868 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.06 1.04 0.96 2/107 30224 /proc/meminfo: memFree=1302472/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=361224 CPUtime=882.08 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 89979 0 0 0 87621 587 0 0 25 0 1 0 26237832 369893376 89823 1992294400 134512640 135752675 4287751568 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 90306 89823 146 303 0 90001 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 361224 [startup+942.301 s] /proc/loadavg: 1.09 1.05 0.96 2/107 30226 /proc/meminfo: memFree=1285360/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=378556 CPUtime=942.06 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 94326 0 0 0 93589 617 0 0 25 0 1 0 26237832 387641344 94170 1992294400 134512640 135752675 4287751568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 94639 94170 146 303 0 94334 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 378556 [startup+1002.3 s] /proc/loadavg: 1.03 1.04 0.96 2/107 30227 /proc/meminfo: memFree=1259568/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=403732 CPUtime=1002.05 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 100681 0 0 0 99544 661 0 0 25 0 1 0 26237832 413421568 100480 1992294400 134512640 135752675 4287751568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 100933 100480 146 303 0 100628 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 403732 [startup+1062.3 s] /proc/loadavg: 1.01 1.03 0.96 2/107 30228 /proc/meminfo: memFree=1259568/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=403732 CPUtime=1062.04 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 100712 0 0 0 105511 693 0 0 25 0 1 0 26237832 413421568 100511 1992294400 134512640 135752675 4287751568 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 100933 100511 146 303 0 100628 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 403732 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 0.96 2/107 30230 /proc/meminfo: memFree=1242208/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=421380 CPUtime=1122.03 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 105086 0 0 0 111459 744 0 0 25 0 1 0 26237832 431493120 104885 1992294400 134512640 135752675 4287751568 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 105345 104885 146 303 0 105040 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 421380 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 0.96 2/107 30232 /proc/meminfo: memFree=1225468/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=438192 CPUtime=1182.01 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 109279 0 0 0 117420 781 0 0 25 0 1 0 26237832 448708608 109078 1992294400 134512640 135752675 4287751568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 109548 109078 146 303 0 109243 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 438192 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 0.96 2/107 30234 /proc/meminfo: memFree=1202528/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=461032 CPUtime=1241.99 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 115007 0 0 0 123369 830 0 0 25 0 1 0 26237832 472096768 114806 1992294400 134512640 135752675 4287751568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 115258 114806 146 303 0 114953 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 461032 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 30235 /proc/meminfo: memFree=1180580/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=482780 CPUtime=1301.99 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 120434 0 0 0 129327 872 0 0 25 0 1 0 26237832 494366720 120233 1992294400 134512640 135752675 4287751568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 120695 120233 146 303 0 120390 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 482780 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 30236 /proc/meminfo: memFree=1154168/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=509844 CPUtime=1361.97 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 127187 0 0 0 135280 917 0 0 25 0 1 0 26237832 522080256 126986 1992294400 134512640 135752675 4287751568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 127461 126986 146 303 0 127156 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 509844 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/107 30238 /proc/meminfo: memFree=1122176/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=541272 CPUtime=1421.96 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 135043 0 0 0 141229 967 0 0 25 0 1 0 26237832 554262528 134842 1992294400 134512640 135752675 4287751568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 135318 134842 146 303 0 135013 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 541272 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 30240 /proc/meminfo: memFree=1091548/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=572316 CPUtime=1481.94 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 142772 0 0 0 147179 1015 0 0 25 0 1 0 26237832 586051584 142571 1992294400 134512640 135752675 4287751568 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 143079 142571 146 303 0 142774 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 572316 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 30242 /proc/meminfo: memFree=1064516/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=598880 CPUtime=1541.92 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 149437 0 0 0 153133 1059 0 0 25 0 1 0 26237832 613253120 149236 1992294400 134512640 135752675 4287751568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 149720 149236 146 303 0 149415 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 598880 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 30243 /proc/meminfo: memFree=1035624/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=627904 CPUtime=1601.91 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 156678 0 0 0 159089 1102 0 0 25 0 1 0 26237832 642973696 156477 1992294400 134512640 135752675 4287751568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 156976 156477 146 303 0 156671 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 627904 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 30244 /proc/meminfo: memFree=1008096/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=655676 CPUtime=1661.9 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 163607 0 0 0 165045 1145 0 0 25 0 1 0 26237832 671412224 163406 1992294400 134512640 135752675 4287751568 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 163919 163406 146 303 0 163614 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 655676 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 30246 /proc/meminfo: memFree=974120/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=689336 CPUtime=1721.88 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 172033 0 0 0 170996 1192 0 0 25 0 1 0 26237832 705880064 171832 1992294400 134512640 135752675 4287751568 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 172334 171832 146 303 0 172029 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 689336 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 30248 /proc/meminfo: memFree=949196/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=713824 CPUtime=1781.87 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 178122 0 0 0 176955 1232 0 0 25 0 1 0 26237832 730955776 177921 1992294400 134512640 135752675 4287751568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 178456 177921 146 303 0 178151 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 713824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.96 2/107 30248 /proc/meminfo: memFree=942004/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=720820 CPUtime=1800.07 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 179877 0 0 0 178763 1244 0 0 25 0 1 0 26237832 738119680 179676 1992294400 134512640 135752675 4287751568 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 180205 179676 146 303 0 179900 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 720820 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 0.96 2/107 30248 /proc/meminfo: memFree=942004/2059040 swapFree=4139412/4192956 [pid=30196] ppid=30194 vsize=720820 CPUtime=1800.07 /proc/30196/stat : 30196 (wbo1.4b) R 30194 30196 29248 0 -1 4202496 179877 0 0 0 178763 1244 0 0 25 0 1 0 26237832 738119680 179676 1992294400 134512640 135752675 4287751568 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30196/statm: 180205 179676 146 303 0 179900 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 720820 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.58 CPU time (s): 1800.15 CPU user time (s): 1787.63 CPU system time (s): 12.5171 CPU usage (%): 99.9763 Max. virtual memory (cumulated for all children) (KiB): 720820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.63 system time used= 12.5171 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 179877 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= 7 involuntary context switches= 3554 runsolver used 2.90456 second user time and 8.5837 second system time The end
Begin job on node003 at 2010-07-08 11:10:41 IDJOB=2702799 IDBENCH=72483 IDSOLVER=1190 FILE ID=node003/2702799-1278580241 PBS_JOBID= 11240112 Free space on /tmp= 62568 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_10_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-2702799-1278580241/watcher-2702799-1278580241 -o /tmp/evaluation-result-2702799-1278580241/solver-2702799-1278580241 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702799-1278580241.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b561a61efc46169e6f19abce33721598 RANDOM SEED=649404414 node003.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.224 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.44 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.224 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1664336 kB Buffers: 88172 kB Cached: 214184 kB SwapCached: 9476 kB Active: 167796 kB Inactive: 150792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1664336 kB SwapTotal: 4192956 kB SwapFree: 4139412 kB Dirty: 2672 kB Writeback: 0 kB AnonPages: 12032 kB Mapped: 11948 kB Slab: 54212 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180040 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-2702799-1278580241.opb Free space on /tmp at the end= 62564 MiB End job on node003 at 2010-07-08 11:40:44