Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.2 | 1800.88 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb |
MD5SUM | dcfce19ac0444148b26b7675e35c76bc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 304 |
Best CPU time to get the best result obtained on this benchmark | 0.050991 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 304 |
Optimality of the best value was proved | YES |
Number of variables | 257 |
Total number of constraints | 97 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 97 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 173 |
Biggest coefficient in the objective function | 100 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 8448 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 100 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 8448 |
Number of bits of the biggest sum of numbers | 14 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1876257-1245163468.opb. 0.00/0.00 c Instance file HOME/instance-1876257-1245163468.opb 0.00/0.00 c File size is 8127 bytes. 0.00/0.00 c Highest Coefficient sum: 62 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: 257 | 0.00/0.00 c | Number Clauses: 298 | 0.00/0.00 c | Number Cardinality: 56 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 2 Core Weight: 59 Total Weight: -30 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 23 Core Weight: 1 Total Weight: -29 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 24 Core Weight: 1 Total Weight: -28 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s 0.00/0.00 c core #4 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: -27 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 1800 s 0.00/0.00 c core #5 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: -26 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #6 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: -25 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #7 0.00/0.00 c Core size: 5 Core Weight: 100 Total Weight: 75 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #8 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: 76 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #9 0.00/0.00 c Core size: 5 Core Weight: 100 Total Weight: 176 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #10 0.00/0.00 c Core size: 3 Core Weight: 100 Total Weight: 276 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #11 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: 277 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #12 0.00/0.00 c Core size: 29 Core Weight: 1 Total Weight: 278 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #13 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 279 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #14 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 280 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #15 0.00/0.01 c Core size: 16 Core Weight: 1 Total Weight: 281 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 247 374 1161 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #16 0.00/0.01 c Core size: 62 Core Weight: 1 Total Weight: 282 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 295 384 1248 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #17 0.00/0.01 c Core size: 63 Core Weight: 1 Total Weight: 283 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 333 396 1313 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #18 0.00/0.02 c Core size: 44 Core Weight: 1 Total Weight: 284 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 365 421 1353 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 100 | 365 421 1353 | 5500 100 28 | 23.641 % | 0.00/0.03 c | 250 | 365 421 1353 | 6050 250 24 | 23.641 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #19 0.00/0.03 c Core size: 86 Core Weight: 1 Total Weight: 285 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 417 435 1444 | 5000 0 nan | 0.000 % | 0.00/0.04 c | 101 | 413 435 1444 | 5500 100 30 | 22.076 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #20 0.00/0.04 c Core size: 19 Core Weight: 1 Total Weight: 286 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 428 436 1466 | 5000 0 nan | 0.000 % | 0.00/0.05 c | 102 | 428 436 1466 | 5500 102 24 | 20.888 % | 0.00/0.05 c | 253 | 428 436 1466 | 6050 253 23 | 20.888 % | 0.05/0.07 c | 482 | 428 436 1466 | 6655 482 23 | 20.888 % | 0.05/0.07 c =============================================================================== 0.05/0.08 c core #21 0.05/0.08 c Core size: 82 Core Weight: 1 Total Weight: 287 0.05/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.05/0.08 c ============================[ Search Statistics ]============================== 0.05/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.08 c =============================================================================== 0.05/0.08 c | 0 | 479 449 1556 | 5000 0 nan | 0.000 % | 0.05/0.08 c | 104 | 479 449 1556 | 5500 104 41 | 19.088 % | 0.05/0.09 c | 256 | 479 449 1556 | 6050 256 35 | 19.088 % | 0.09/0.10 c | 481 | 479 449 1556 | 6655 481 32 | 19.088 % | 0.09/0.13 c | 819 | 479 449 1556 | 7320 819 31 | 19.088 % | 0.09/0.17 c | 1326 | 479 449 1556 | 8052 1326 33 | 19.088 % | 0.19/0.26 c | 2088 | 479 449 1556 | 8857 2088 34 | 19.088 % | 0.29/0.37 c =============================================================================== 0.29/0.39 c core #22 0.29/0.39 c Core size: 69 Core Weight: 1 Total Weight: 288 0.29/0.39 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 518 459 1625 | 5000 0 nan | 0.000 % | 0.29/0.39 c | 100 | 518 459 1625 | 5500 100 73 | 17.909 % | 0.39/0.40 c | 253 | 518 459 1625 | 6050 253 46 | 17.908 % | 0.39/0.42 c | 480 | 518 459 1625 | 6655 480 44 | 17.908 % | 0.39/0.44 c | 818 | 518 459 1625 | 7320 818 42 | 17.908 % | 0.39/0.47 c | 1325 | 518 459 1625 | 8052 1325 41 | 17.908 % | 0.49/0.55 c | 2086 | 518 459 1625 | 8857 2086 40 | 17.908 % | 0.59/0.68 c | 3228 | 518 459 1625 | 9743 3228 40 | 17.908 % | 0.89/0.93 c | 4936 | 518 459 1625 | 10717 4936 40 | 17.908 % | 1.39/1.41 c | 7499 | 518 459 1625 | 11789 7499 38 | 17.908 % | 2.29/2.38 c | 11344 | 518 459 1625 | 12968 11344 38 | 17.908 % | 3.69/3.79 c | 17110 | 518 459 1625 | 14265 10497 37 | 17.908 % | 6.49/6.58 c | 25760 | 518 459 1625 | 15692 11880 42 | 17.908 % | 10.69/10.71 c =============================================================================== 11.09/11.16 c core #23 11.09/11.16 c Core size: 79 Core Weight: 1 Total Weight: 289 11.09/11.16 c Elapsed CPU time: 11.0593 s Remaining CPU time: 1788.94 s 11.19/11.20 c ============================[ Search Statistics ]============================== 11.19/11.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.19/11.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.19/11.20 c =============================================================================== 11.19/11.20 c | 0 | 562 471 1702 | 5000 0 nan | 0.000 % | 11.19/11.22 c | 100 | 562 471 1702 | 5500 100 78 | 16.741 % | 11.19/11.23 c | 252 | 562 471 1702 | 6050 252 51 | 16.741 % | 11.19/11.24 c | 478 | 562 471 1702 | 6655 478 52 | 16.741 % | 11.19/11.26 c | 817 | 562 471 1702 | 7320 817 50 | 16.741 % | 11.29/11.30 c | 1323 | 562 471 1702 | 8052 1323 48 | 16.741 % | 11.29/11.36 c | 2084 | 562 471 1702 | 8857 2084 45 | 16.741 % | 11.48/11.50 c | 3223 | 562 471 1702 | 9743 3223 47 | 16.741 % | 11.69/11.76 c | 4932 | 562 471 1702 | 10717 4932 48 | 16.741 % | 12.28/12.35 c | 7496 | 562 471 1702 | 11789 7496 49 | 16.741 % | 13.78/13.82 c | 11340 | 562 471 1702 | 12968 11340 50 | 16.741 % | 16.28/16.33 c | 17106 | 562 471 1702 | 14265 10505 50 | 16.741 % | 19.69/19.79 c | 25756 | 562 471 1702 | 15692 11908 50 | 16.741 % | 24.19/24.29 c | 38733 | 562 471 1702 | 17261 8981 44 | 16.741 % | 32.38/32.43 c | 58194 | 562 471 1702 | 18987 10919 49 | 16.741 % | 43.17/43.28 c | 87386 | 562 471 1702 | 20886 11246 49 | 16.741 % | 63.67/63.74 c | 131179 | 562 471 1702 | 22974 12757 47 | 16.741 % | 99.15/99.20 c | 196863 | 561 471 1702 | 25272 20423 50 | 16.889 % | 152.14/152.27 c =============================================================================== 154.94/155.08 c core #24 154.94/155.08 c Core size: 82 Core Weight: 1 Total Weight: 290 154.94/155.08 c Elapsed CPU time: 154.152 s Remaining CPU time: 1645.85 s 155.24/155.35 c ============================[ Search Statistics ]============================== 155.24/155.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 155.24/155.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 155.24/155.35 c =============================================================================== 155.24/155.35 c | 0 | 607 483 1781 | 5000 0 nan | 0.000 % | 155.34/155.41 c | 101 | 607 483 1781 | 5500 101 73 | 15.695 % | 155.34/155.42 c | 251 | 607 483 1781 | 6050 251 52 | 15.695 % | 155.34/155.43 c | 476 | 607 483 1781 | 6655 476 50 | 15.695 % | 155.34/155.46 c | 813 | 607 483 1781 | 7320 813 51 | 15.695 % | 155.43/155.50 c | 1320 | 607 483 1781 | 8052 1320 56 | 15.695 % | 155.43/155.59 c | 2079 | 607 483 1781 | 8857 2079 65 | 15.695 % | 155.63/155.79 c | 3218 | 607 483 1781 | 9743 3218 68 | 15.695 % | 156.04/156.11 c | 4926 | 607 483 1781 | 10717 4926 71 | 15.695 % | 156.73/156.86 c | 7490 | 607 483 1781 | 11789 7490 75 | 15.695 % | 158.03/158.18 c | 11340 | 607 483 1781 | 12968 11340 77 | 15.695 % | 159.73/159.86 c | 17107 | 607 483 1781 | 14265 10482 76 | 15.695 % | 162.03/162.18 c | 25757 | 607 483 1781 | 15692 11888 74 | 15.695 % | 167.14/167.23 c | 38733 | 607 483 1781 | 17261 8878 72 | 15.695 % | 176.82/176.95 c | 58199 | 607 483 1781 | 18987 10810 73 | 15.695 % | 189.12/189.25 c | 87392 | 607 483 1781 | 20886 11133 66 | 15.695 % | 209.31/209.49 c | 131181 | 607 483 1781 | 22974 12574 62 | 15.695 % | 245.80/245.92 c | 196865 | 607 483 1781 | 25272 20191 73 | 15.695 % | 308.18/308.39 c | 295391 | 607 483 1781 | 27799 14532 71 | 15.695 % | 401.64/401.81 c | 443182 | 607 483 1781 | 30579 14507 68 | 15.695 % | 561.98/562.26 c =============================================================================== 566.97/567.29 c core #25 566.97/567.29 c Core size: 66 Core Weight: 1 Total Weight: 291 566.97/567.29 c Elapsed CPU time: 564.516 s Remaining CPU time: 1235.48 s 567.57/567.89 c ============================[ Search Statistics ]============================== 567.57/567.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 567.57/567.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 567.57/567.89 c =============================================================================== 567.57/567.89 c | 0 | 646 486 1857 | 5000 0 nan | 0.000 % | 567.78/568.01 c | 101 | 646 486 1857 | 5500 101 115 | 14.888 % | 567.78/568.03 c | 252 | 646 486 1857 | 6050 252 73 | 14.888 % | 567.78/568.04 c | 478 | 646 486 1857 | 6655 478 72 | 14.888 % | 567.78/568.07 c | 815 | 646 486 1857 | 7320 815 72 | 14.888 % | 567.88/568.12 c | 1327 | 646 486 1857 | 8052 1327 77 | 14.888 % | 567.98/568.21 c | 2088 | 646 486 1857 | 8857 2088 84 | 14.888 % | 568.18/568.41 c | 3227 | 646 486 1857 | 9743 3227 93 | 14.888 % | 568.67/568.98 c | 4938 | 646 486 1857 | 10717 4938 95 | 14.888 % | 569.88/570.12 c | 7502 | 646 486 1857 | 11789 7502 99 | 14.888 % | 572.68/572.97 c | 11347 | 646 486 1857 | 12968 11347 101 | 14.888 % | 576.77/577.05 c | 17114 | 646 486 1857 | 14265 10511 106 | 14.888 % | 581.88/582.10 c | 25763 | 646 486 1857 | 15692 11938 103 | 14.888 % | 590.66/590.97 c | 38741 | 646 486 1857 | 17261 8971 102 | 14.888 % | 590.87/591.10 c =============================================================================== 590.87/591.11 c core #26 590.87/591.11 c Core size: 59 Core Weight: 1 Total Weight: 292 590.87/591.11 c Elapsed CPU time: 588.236 s Remaining CPU time: 1211.76 s 590.87/591.15 c ============================[ Search Statistics ]============================== 590.87/591.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 590.87/591.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 590.87/591.15 c =============================================================================== 590.87/591.15 c | 0 | 688 514 1914 | 5000 0 nan | 0.000 % | 590.87/591.17 c | 100 | 688 514 1914 | 5500 100 65 | 14.108 % | 590.87/591.18 c | 250 | 688 514 1914 | 6050 250 46 | 14.108 % | 590.87/591.19 c | 475 | 688 514 1914 | 6655 475 52 | 14.108 % | 590.97/591.22 c | 812 | 688 514 1914 | 7320 812 58 | 14.108 % | 590.97/591.28 c | 1320 | 688 514 1914 | 8052 1320 67 | 14.108 % | 591.07/591.36 c | 2079 | 688 514 1914 | 8857 2079 73 | 14.108 % | 591.27/591.54 c | 3223 | 688 514 1914 | 9743 3223 76 | 14.108 % | 591.57/591.84 c | 4933 | 688 514 1914 | 10717 4933 78 | 14.108 % | 592.27/592.50 c | 7495 | 688 514 1914 | 11789 7495 81 | 14.108 % | 593.87/594.18 c | 11342 | 688 514 1914 | 12968 11342 82 | 14.108 % | 596.56/596.87 c | 17111 | 688 514 1914 | 14265 10492 82 | 14.108 % | 599.97/600.26 c | 25760 | 688 514 1914 | 15692 11874 77 | 14.108 % | 605.46/605.70 c | 38734 | 688 514 1914 | 17261 8890 82 | 14.108 % | 615.76/616.08 c | 58197 | 688 514 1914 | 18987 10839 80 | 14.108 % | 630.26/630.50 c | 87389 | 688 514 1914 | 20886 11113 81 | 14.108 % | 648.85/649.14 c | 131179 | 688 514 1914 | 22974 12581 96 | 14.108 % | 681.13/681.46 c | 196864 | 688 514 1914 | 25272 20075 87 | 14.108 % | 746.52/746.83 c | 295393 | 688 514 1914 | 27799 16423 92 | 14.108 % | 858.57/858.95 c | 443182 | 687 514 1914 | 30579 24352 78 | 14.232 % | 1015.41/1015.83 c | 664868 | 687 514 1914 | 33637 29916 79 | 14.232 % | 1281.91/1282.43 c | 997397 | 687 514 1914 | 37001 23226 76 | 14.232 % | 1488.54/1489.11 c =============================================================================== 1488.54/1489.12 c core #27 1488.54/1489.12 c Core size: 62 Core Weight: 1 Total Weight: 293 1488.54/1489.12 c Elapsed CPU time: 1482.05 s Remaining CPU time: 317.95 s 1489.74/1490.38 c ============================[ Search Statistics ]============================== 1489.74/1490.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1489.74/1490.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1489.74/1490.38 c =============================================================================== 1489.74/1490.38 c | 0 | 731 542 1973 | 5000 0 nan | 0.000 % | 1489.94/1490.57 c | 100 | 731 542 1973 | 5500 100 83 | 13.389 % | 1490.03/1490.64 c | 250 | 731 542 1973 | 6050 250 78 | 13.389 % | 1490.03/1490.66 c | 475 | 731 542 1973 | 6655 475 57 | 13.389 % | 1490.13/1490.72 c | 819 | 731 542 1973 | 7320 819 62 | 13.389 % | 1490.13/1490.76 c | 1325 | 731 542 1973 | 8052 1325 60 | 13.389 % | 1490.23/1490.85 c | 2084 | 731 542 1973 | 8857 2084 71 | 13.389 % | 1490.43/1491.04 c | 3225 | 731 542 1973 | 9743 3225 80 | 13.389 % | 1490.93/1491.53 c | 4934 | 731 542 1973 | 10717 4934 92 | 13.389 % | 1491.63/1492.27 c | 7500 | 731 542 1973 | 11789 7500 91 | 13.389 % | 1493.53/1494.18 c | 11345 | 731 542 1973 | 12968 11345 93 | 13.389 % | 1497.83/1498.45 c | 17112 | 731 542 1973 | 14265 10529 96 | 13.389 % | 1504.73/1505.34 c | 25761 | 731 542 1973 | 15692 11928 98 | 13.389 % | 1517.02/1517.68 c | 38735 | 731 542 1973 | 17261 8967 89 | 13.389 % | 1534.52/1535.17 c | 58198 | 731 542 1973 | 18987 10943 90 | 13.389 % | 1551.51/1552.18 c | 87390 | 731 542 1973 | 20886 11268 95 | 13.389 % | 1584.69/1585.32 c | 131179 | 731 542 1973 | 22974 12734 91 | 13.389 % | 1630.48/1631.14 c | 196865 | 731 542 1973 | 25272 20303 95 | 13.389 % | 1717.25/1717.95 c | 295393 | 731 542 1973 | 27799 14484 94 | 13.389 % |
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-1876257-1245163468/watcher-1876257-1245163468 -o /tmp/evaluation-result-1876257-1245163468/solver-1876257-1245163468 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876257-1245163468.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.99 3/64 4801 /proc/meminfo: memFree=1853640/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=2524 CPUtime=0 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 222 0 0 0 0 0 0 0 18 0 1 0 183947561 2584576 204 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 631 204 134 292 0 336 0 [startup+0.0628789 s] /proc/loadavg: 1.00 1.00 0.99 3/64 4801 /proc/meminfo: memFree=1853640/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=3060 CPUtime=0.05 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 332 0 0 0 5 0 0 0 18 0 1 0 183947561 3133440 314 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 765 314 136 292 0 470 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3060 [startup+0.101887 s] /proc/loadavg: 1.00 1.00 0.99 3/64 4801 /proc/meminfo: memFree=1853640/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=3192 CPUtime=0.09 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 365 0 0 0 9 0 0 0 18 0 1 0 183947561 3268608 347 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 798 347 136 292 0 503 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3192 [startup+0.301926 s] /proc/loadavg: 1.00 1.00 0.99 3/64 4801 /proc/meminfo: memFree=1853640/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=3588 CPUtime=0.29 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 496 0 0 0 29 0 0 0 19 0 1 0 183947561 3674112 478 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 897 478 136 292 0 602 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3588 [startup+0.702004 s] /proc/loadavg: 1.00 1.00 0.99 3/64 4801 /proc/meminfo: memFree=1853640/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=4116 CPUtime=0.69 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 601 0 0 0 68 1 0 0 22 0 1 0 183947561 4214784 583 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 1029 583 136 292 0 734 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4116 [startup+1.50116 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4802 /proc/meminfo: memFree=1851136/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=5568 CPUtime=1.49 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 987 0 0 0 147 2 0 0 25 0 1 0 183947561 5701632 969 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 1392 969 136 292 0 1097 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5568 [startup+3.10148 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4802 /proc/meminfo: memFree=1849344/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=7436 CPUtime=3.09 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 1439 0 0 0 306 3 0 0 25 0 1 0 183947561 7614464 1421 1992294400 134512640 135709839 4294956240 18446744073709551615 134569235 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 1859 1421 136 292 0 1564 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7436 [startup+6.3011 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4802 /proc/meminfo: memFree=1845376/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=11404 CPUtime=6.29 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 2447 0 0 0 623 6 0 0 25 0 1 0 183947561 11677696 2429 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 2851 2429 136 292 0 2556 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11404 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4802 /proc/meminfo: memFree=1838160/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=17488 CPUtime=12.68 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 3938 0 0 0 1257 11 0 0 25 0 1 0 183947561 17907712 3920 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 4372 3920 136 292 0 4077 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17488 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4802 /proc/meminfo: memFree=1830288/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=25572 CPUtime=25.48 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 5967 0 0 0 2529 19 0 0 25 0 1 0 183947561 26185728 5949 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 6393 5950 136 292 0 6098 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25572 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4802 /proc/meminfo: memFree=1806736/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=49432 CPUtime=51.08 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 11940 0 0 0 5071 37 0 0 25 0 1 0 183947561 50618368 11922 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 12358 11922 136 292 0 12063 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49432 [startup+102.306 s] /proc/loadavg: 1.07 1.02 0.99 2/65 4802 /proc/meminfo: memFree=1769232/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=86400 CPUtime=102.26 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 21139 0 0 0 10161 65 0 0 25 0 1 0 183947561 88473600 21121 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 21600 21121 136 292 0 21305 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 86400 [startup+162.302 s] /proc/loadavg: 1.02 1.01 0.99 2/65 4802 /proc/meminfo: memFree=1733392/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=122316 CPUtime=162.23 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 30056 0 0 0 16131 92 0 0 25 0 1 0 183947561 125251584 30038 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 30579 30038 136 292 0 30284 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 122316 [startup+222.301 s] /proc/loadavg: 1.01 1.00 0.99 2/65 4802 /proc/meminfo: memFree=1707792/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=147572 CPUtime=222.21 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 36453 0 0 0 22098 123 0 0 25 0 1 0 183947561 151113728 36435 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 36893 36435 136 292 0 36598 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 147572 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4802 /proc/meminfo: memFree=1667344/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=188428 CPUtime=282.19 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 46628 0 0 0 28066 153 0 0 25 0 1 0 183947561 192950272 46610 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 47107 46610 136 292 0 46812 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 188428 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4802 /proc/meminfo: memFree=1623120/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=232540 CPUtime=342.16 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 57603 0 0 0 34037 179 0 0 25 0 1 0 183947561 238120960 57585 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 58135 57585 136 292 0 57840 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 232540 [startup+402.303 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4802 /proc/meminfo: memFree=1583760/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=272292 CPUtime=402.15 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 67500 0 0 0 40006 209 0 0 25 0 1 0 183947561 278827008 67482 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 68073 67482 136 292 0 67778 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 272292 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4804 /proc/meminfo: memFree=1548752/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=306884 CPUtime=462.12 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 76071 0 0 0 45983 229 0 0 25 0 1 0 183947561 314249216 76053 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 76721 76053 136 292 0 76426 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 306884 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4804 /proc/meminfo: memFree=1526544/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=329568 CPUtime=522.09 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 81694 0 0 0 51966 243 0 0 25 0 1 0 183947561 337477632 81676 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 82392 81676 136 292 0 82097 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 329568 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4804 /proc/meminfo: memFree=1500112/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=354844 CPUtime=582.08 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 88232 0 0 0 57946 262 0 0 25 0 1 0 183947561 363360256 88183 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 88711 88183 136 292 0 88416 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 354844 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4804 /proc/meminfo: memFree=1482640/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=371896 CPUtime=642.05 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 92566 0 0 0 63916 289 0 0 25 0 1 0 183947561 380821504 92517 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 92974 92517 136 292 0 92679 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 371896 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4804 /proc/meminfo: memFree=1345168/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=509940 CPUtime=881.96 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 126944 0 0 0 87808 388 0 0 25 0 1 0 183947561 522178560 126895 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 127485 126895 136 292 0 127190 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 509940 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4804 /proc/meminfo: memFree=1296272/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=559376 CPUtime=941.94 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 139305 0 0 0 93774 420 0 0 25 0 1 0 183947561 572801024 139256 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 139844 139256 136 292 0 139549 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 559376 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=1255504/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=599312 CPUtime=1001.91 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 149246 0 0 0 99745 446 0 0 25 0 1 0 183947561 613695488 149197 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 149828 149197 136 292 0 149533 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 599312 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=1215184/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=639920 CPUtime=1061.89 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 159367 0 0 0 105717 472 0 0 25 0 1 0 183947561 655278080 159318 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 159980 159318 136 292 0 159685 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 639920 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=1176016/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=678940 CPUtime=1121.87 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 169103 0 0 0 111687 500 0 0 25 0 1 0 183947561 695234560 169054 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 169735 169054 136 292 0 169440 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 678940 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=1136208/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=719212 CPUtime=1181.85 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 179162 0 0 0 117661 524 0 0 25 0 1 0 183947561 736473088 179113 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 179803 179113 136 292 0 179508 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 719212 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=1102736/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=752436 CPUtime=1241.83 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 187410 0 0 0 123640 543 0 0 25 0 1 0 183947561 770494464 187361 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 188109 187361 136 292 0 187814 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 752436 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=1064848/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=789720 CPUtime=1301.81 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 196753 0 0 0 129611 570 0 0 25 0 1 0 183947561 808673280 196704 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 197430 196704 136 292 0 197135 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 789720 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=1023760/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=831268 CPUtime=1361.78 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 207109 0 0 0 135582 596 0 0 25 0 1 0 183947561 851218432 207060 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 207817 207060 136 292 0 207522 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 831268 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=981648/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=873088 CPUtime=1421.76 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 217548 0 0 0 141555 621 0 0 25 0 1 0 183947561 894042112 217499 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 218272 217499 136 292 0 217977 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 873088 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=937808/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=917004 CPUtime=1481.73 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 228521 0 0 0 147525 648 0 0 25 0 1 0 183947561 939012096 228472 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 229251 228472 136 292 0 228956 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 917004 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=932112/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=921092 CPUtime=1541.71 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 229875 0 0 0 153503 668 0 0 25 0 1 0 183947561 943198208 229826 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 230273 229826 136 292 0 229978 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 921092 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=900752/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=952900 CPUtime=1601.69 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 237808 0 0 0 159476 693 0 0 25 0 1 0 183947561 975769600 237759 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 238225 237759 136 292 0 237930 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 952900 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=871760/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=981480 CPUtime=1661.67 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 244919 0 0 0 165452 715 0 0 25 0 1 0 183947561 1005035520 244870 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 245370 244870 136 292 0 245075 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 981480 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=843664/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=1009720 CPUtime=1721.65 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 251977 0 0 0 171425 740 0 0 25 0 1 0 183947561 1033953280 251928 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 252430 251928 136 292 0 252135 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 1009720 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=811536/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=1041800 CPUtime=1781.62 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 259947 0 0 0 177397 765 0 0 25 0 1 0 183947561 1066803200 259898 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 260450 259898 136 292 0 260155 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 1041800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=800848/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=1052372 CPUtime=1800.02 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4194304 262566 0 0 0 179228 774 0 0 25 0 1 0 183947561 1077628928 262517 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 263093 262517 136 292 0 262798 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1052372 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4810 /proc/meminfo: memFree=800848/2055924 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=0 CPUtime=1800.12 /proc/4801/stat : 4801 (wbo) R 4799 4801 4633 0 -1 4195332 262566 0 0 0 179228 784 0 0 25 0 1 0 183947561 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/4801/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.88 CPU time (s): 1800.2 CPU user time (s): 1792.29 CPU system time (s): 7.9128 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 1052372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.29 system time used= 7.9128 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 262566 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1832 runsolver used 1.45478 second user time and 3.58446 second system time The end
Begin job on node6 at 2009-06-16 16:44:28 IDJOB=1876257 IDBENCH=2232 IDSOLVER=698 FILE ID=node6/1876257-1245163468 PBS_JOBID= 9363858 Free space on /tmp= 66240 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876257-1245163468/watcher-1876257-1245163468 -o /tmp/evaluation-result-1876257-1245163468/solver-1876257-1245163468 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876257-1245163468.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dcfce19ac0444148b26b7675e35c76bc RANDOM SEED=868013467 node6.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1854056 kB Buffers: 35464 kB Cached: 95244 kB SwapCached: 260 kB Active: 39728 kB Inactive: 104244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1854056 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2384 kB Writeback: 0 kB Mapped: 21788 kB Slab: 43828 kB Committed_AS: 159020 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876257-1245163468.opb Free space on /tmp at the end= 66240 MiB End job on node6 at 2009-06-16 17:14:30