Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.06 | 1800.03 |
Name | /OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9025_7.std.opb |
MD5SUM | 898f9481d81532bb854887af2399230f |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 136 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
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 | 54782 |
Total number of constraints | 184232 |
Number of constraints which are clauses | 183032 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 72 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461772-1307122101.opb. 0.00/0.00 c Instance file HOME/instance-3461772-1307122101.opb 0.00/0.00 c File size is 5956862 bytes. 0.39/0.46 c Highest Coefficient sum: 406 0.39/0.46 c ============================[ Problem Statistics ]============================= 0.39/0.46 c | | 0.39/0.46 c | Parsing time: 0.44 s | 0.39/0.46 c | Number Variables: 54782 | 0.39/0.46 c | Number Clauses: 183032 | 0.39/0.46 c | Number Cardinality: 0 | 0.39/0.46 c | Number PB Constraints: 1200 | 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 43343 184232 403625 | 61410 0 -nan | 0.000 % | 1.00/1.02 c core #1 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 446 Core Weight: 77 Total Weight: 77 1.00/1.02 c Current CPU time: 0.594909 s 1.00/1.02 c 1.00/1.02 c core #2 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 500 Core Weight: 1 Total Weight: 78 1.00/1.02 c Current CPU time: 0.668898 s 1.00/1.02 c 1.00/1.02 c core #3 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 514 Core Weight: 1 Total Weight: 79 1.00/1.02 c Current CPU time: 0.743886 s 1.00/1.02 c 1.00/1.02 c core #4 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 498 Core Weight: 1 Total Weight: 80 1.00/1.02 c Current CPU time: 0.823874 s 1.00/1.02 c 1.00/1.02 c core #5 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 556 Core Weight: 1 Total Weight: 81 1.00/1.02 c Current CPU time: 0.904862 s 1.00/1.02 c 1.00/1.02 c ============================[ Search Statistics ]============================== 1.00/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.02 c =============================================================================== 1.00/1.02 c | 0 | 5137 151688 308662 | 50562 0 -nan | 0.000 % | 1.00/1.03 c =============================================================================== 1.00/1.11 c core #6 1.00/1.11 c 1.00/1.11 c 1.00/1.11 c Core size: 495 Core Weight: 1 Total Weight: 82 1.00/1.11 c Current CPU time: 0.992849 s 1.00/1.11 c 1.00/1.11 c ============================[ Search Statistics ]============================== 1.00/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.11 c =============================================================================== 1.00/1.11 c | 0 | 5539 151907 309168 | 50635 0 -nan | 0.000 % | 1.10/1.12 c =============================================================================== 1.19/1.20 c core #7 1.19/1.20 c 1.19/1.20 c 1.19/1.20 c Core size: 509 Core Weight: 1 Total Weight: 83 1.19/1.20 c Current CPU time: 1.08184 s 1.19/1.20 c 1.19/1.20 c ============================[ Search Statistics ]============================== 1.19/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.20 c =============================================================================== 1.19/1.20 c | 0 | 5939 152125 309675 | 50708 0 -nan | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.29 c core #8 1.19/1.29 c 1.19/1.29 c 1.19/1.29 c Core size: 550 Core Weight: 1 Total Weight: 84 1.19/1.29 c Current CPU time: 1.16982 s 1.19/1.29 c 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 6338 152343 310185 | 50781 0 -nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.39 c core #9 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 558 Core Weight: 1 Total Weight: 85 1.29/1.39 c Current CPU time: 1.26581 s 1.29/1.39 c 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 6730 152562 310700 | 50854 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.49 c core #10 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 664 Core Weight: 1 Total Weight: 86 1.39/1.49 c Current CPU time: 1.36279 s 1.39/1.49 c 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 7127 152777 311210 | 50925 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.59/1.60 c core #11 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 635 Core Weight: 1 Total Weight: 87 1.59/1.60 c Current CPU time: 1.46778 s 1.59/1.60 c 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 7523 152993 311726 | 50997 0 -nan | 0.000 % | 1.59/1.61 c | 100 | 7523 152993 311726 | 56097 100 19 | 86.856 % | 1.59/1.62 c =============================================================================== 1.69/1.71 c core #12 1.69/1.71 c 1.69/1.71 c 1.69/1.71 c Core size: 641 Core Weight: 1 Total Weight: 88 1.69/1.71 c Current CPU time: 1.57876 s 1.69/1.71 c 1.69/1.71 c ============================[ Search Statistics ]============================== 1.69/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.71 c =============================================================================== 1.69/1.71 c | 0 | 7912 153211 312249 | 51070 0 -nan | 0.000 % | 1.69/1.73 c | 100 | 7912 153211 312249 | 56177 100 16 | 86.217 % | 1.69/1.75 c | 250 | 7912 153211 312249 | 61795 250 17 | 86.902 % | 1.69/1.76 c =============================================================================== 1.79/1.85 c core #13 1.79/1.85 c 1.79/1.85 c 1.79/1.85 c Core size: 655 Core Weight: 1 Total Weight: 89 1.79/1.85 c Current CPU time: 1.71374 s 1.79/1.85 c 1.79/1.85 c ============================[ Search Statistics ]============================== 1.79/1.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.85 c =============================================================================== 1.79/1.85 c | 0 | 8306 153425 312767 | 51141 0 -nan | 0.000 % | 1.79/1.86 c | 100 | 8306 153425 312767 | 56255 100 16 | 85.584 % | 1.79/1.88 c =============================================================================== 1.89/1.98 c core #14 1.89/1.98 c 1.89/1.98 c 1.89/1.98 c Core size: 691 Core Weight: 1 Total Weight: 90 1.89/1.98 c Current CPU time: 1.83872 s 1.89/1.98 c 1.89/1.98 c ============================[ Search Statistics ]============================== 1.89/1.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.98 c =============================================================================== 1.89/1.98 c | 0 | 8699 153642 313298 | 51214 0 -nan | 0.000 % | 1.99/2.00 c | 101 | 8699 153642 313298 | 56335 101 18 | 84.957 % | 1.99/2.02 c | 252 | 8699 153642 313298 | 61968 252 18 | 84.957 % | 1.99/2.03 c =============================================================================== 2.11/2.13 c core #15 2.11/2.13 c 2.11/2.13 c 2.11/2.13 c Core size: 647 Core Weight: 1 Total Weight: 91 2.11/2.13 c Current CPU time: 1.9877 s 2.11/2.13 c 2.11/2.13 c ============================[ Search Statistics ]============================== 2.11/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.11/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.11/2.13 c =============================================================================== 2.11/2.13 c | 0 | 9091 153853 313816 | 51284 0 -nan | 0.000 % | 2.11/2.14 c | 100 | 9091 153853 313816 | 56412 100 16 | 84.336 % | 2.11/2.17 c | 250 | 9091 153853 313816 | 62054 250 20 | 84.336 % | 2.11/2.20 c | 476 | 9091 153853 313816 | 68259 476 21 | 84.336 % | 2.21/2.23 c =============================================================================== 2.29/2.33 c core #16 2.29/2.33 c 2.29/2.33 c 2.29/2.33 c Core size: 615 Core Weight: 1 Total Weight: 92 2.29/2.33 c Current CPU time: 2.18167 s 2.29/2.33 c 2.29/2.33 c ============================[ Search Statistics ]============================== 2.29/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.33 c =============================================================================== 2.29/2.33 c | 0 | 9482 154070 314354 | 51356 0 -nan | 0.000 % | 2.29/2.35 c | 100 | 9482 154070 314354 | 56492 100 19 | 83.753 % | 2.29/2.37 c | 251 | 9481 154070 314354 | 62141 251 19 | 83.753 % | 2.39/2.40 c | 476 | 9481 154070 314354 | 68355 476 19 | 83.753 % | 2.39/2.44 c | 813 | 9463 154070 314354 | 75191 813 22 | 83.753 % | 2.39/2.49 c =============================================================================== 2.49/2.58 c core #17 2.49/2.58 c 2.49/2.58 c 2.49/2.58 c Core size: 617 Core Weight: 1 Total Weight: 93 2.49/2.58 c Current CPU time: 2.43563 s 2.49/2.58 c 2.49/2.58 c ============================[ Search Statistics ]============================== 2.49/2.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.58 c =============================================================================== 2.49/2.58 c | 0 | 9851 154285 314884 | 51428 0 -nan | 0.000 % | 2.59/2.60 c | 102 | 9851 154285 314884 | 56571 102 21 | 83.147 % | 2.59/2.62 c | 254 | 9851 154285 314884 | 62228 254 22 | 83.147 % | 2.59/2.65 c | 479 | 9851 154285 314884 | 68451 479 23 | 83.147 % | 2.69/2.71 c | 816 | 9845 154285 314884 | 75296 816 25 | 83.291 % | 2.69/2.79 c | 1324 | 9843 154285 314884 | 82825 1324 26 | 83.291 % | 2.79/2.85 c =============================================================================== 2.89/2.95 c core #18 2.89/2.95 c 2.89/2.95 c 2.89/2.95 c Core size: 633 Core Weight: 1 Total Weight: 94 2.89/2.95 c Current CPU time: 2.80057 s 2.89/2.95 c 2.89/2.95 c ============================[ Search Statistics ]============================== 2.89/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.95 c =============================================================================== 2.89/2.95 c | 0 | 10234 154502 315428 | 51500 0 -nan | 0.000 % | 2.89/2.97 c | 100 | 10234 154502 315428 | 56650 100 20 | 82.554 % | 2.99/3.00 c | 250 | 10234 154502 315428 | 62315 250 22 | 82.554 % | 2.99/3.03 c | 477 | 10234 154502 315428 | 68547 477 24 | 82.554 % | 2.99/3.09 c | 814 | 10234 154502 315428 | 75402 814 26 | 82.554 % | 3.09/3.17 c | 1320 | 10187 154502 315428 | 82942 1320 28 | 82.815 % | 3.21/3.30 c | 2079 | 9963 154502 315428 | 91236 2079 31 | 83.016 % | 3.31/3.36 c =============================================================================== 3.39/3.46 c core #19 3.39/3.46 c 3.39/3.46 c 3.39/3.46 c Core size: 645 Core Weight: 1 Total Weight: 95 3.39/3.46 c Current CPU time: 3.3035 s 3.39/3.46 c 3.39/3.46 c ============================[ Search Statistics ]============================== 3.39/3.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.46 c =============================================================================== 3.39/3.46 c | 0 | 10622 154712 315958 | 51570 0 -nan | 0.000 % | 3.39/3.48 c | 100 | 10622 154712 315958 | 56727 100 21 | 81.956 % | 3.49/3.50 c | 251 | 10622 154712 315958 | 62400 251 24 | 81.956 % | 3.49/3.54 c | 476 | 10622 154712 315958 | 68640 476 25 | 81.956 % | 3.49/3.59 c | 814 | 10622 154712 315958 | 75504 814 24 | 81.956 % | 3.59/3.67 c | 1321 | 10622 154712 315958 | 83055 1321 23 | 81.956 % | 3.79/3.81 c | 2080 | 10622 154712 315958 | 91360 2080 25 | 81.956 % | 3.99/4.01 c | 3223 | 10622 154712 315958 | 100496 3223 27 | 81.956 % | 4.20/4.23 c =============================================================================== 4.31/4.33 c core #20 4.31/4.33 c 4.31/4.33 c 4.31/4.33 c Core size: 658 Core Weight: 1 Total Weight: 96 4.31/4.33 c Current CPU time: 4.16037 s 4.31/4.33 c 4.31/4.33 c ============================[ Search Statistics ]============================== 4.31/4.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.31/4.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.31/4.33 c =============================================================================== 4.31/4.33 c | 0 | 11009 154932 316522 | 51644 0 -nan | 0.000 % | 4.31/4.35 c | 100 | 11009 154932 316522 | 56808 100 22 | 81.363 % | 4.31/4.38 c | 250 | 11009 154932 316522 | 62489 250 24 | 81.363 % | 4.31/4.41 c | 475 | 11009 154932 316522 | 68738 475 24 | 81.363 % | 4.41/4.47 c | 812 | 11009 154932 316522 | 75611 812 24 | 81.363 % | 4.49/4.55 c | 1318 | 11009 154932 316522 | 83173 1318 25 | 81.363 % | 4.59/4.68 c | 2077 | 10997 154932 316522 | 91490 2077 29 | 81.384 % | 4.79/4.89 c | 3217 | 10997 154932 316522 | 100639 3217 30 | 81.384 % | 5.10/5.18 c | 4925 | 10997 154932 316522 | 110703 4925 32 | 81.384 % | 5.51/5.55 c =============================================================================== 5.59/5.65 c core #21 5.59/5.65 c 5.59/5.65 c 5.59/5.65 c Core size: 717 Core Weight: 1 Total Weight: 97 5.59/5.65 c Current CPU time: 5.46917 s 5.59/5.65 c 5.59/5.65 c ============================[ Search Statistics ]============================== 5.59/5.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.59/5.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.59/5.65 c =============================================================================== 5.59/5.65 c | 0 | 11395 155146 317070 | 51715 0 -nan | 0.000 % | 5.59/5.66 c | 100 | 11395 155146 317070 | 56886 100 16 | 80.776 % | 5.59/5.69 c | 250 | 11395 155146 317070 | 62575 250 21 | 80.776 % | 5.69/5.72 c | 475 | 11395 155146 317070 | 68833 475 21 | 80.776 % | 5.69/5.78 c | 812 | 11395 155146 317070 | 75716 812 25 | 80.776 % | 5.79/5.86 c | 1318 | 11395 155146 317070 | 83288 1318 26 | 80.776 % | 5.89/5.99 c | 2079 | 11395 155146 317070 | 91616 2079 25 | 80.776 % | 6.20/6.20 c | 3218 | 11395 155146 317070 | 100778 3218 27 | 80.776 % | 6.51/6.54 c | 4926 | 11395 155146 317070 | 110856 4926 30 | 80.776 % | 6.99/7.04 c | 7490 | 11395 155146 317070 | 121942 7490 32 | 80.776 % | 7.79/7.86 c | 11335 | 10823 155146 317070 | 134136 11335 36 | 81.741 % | 7.99/8.07 c =============================================================================== 8.09/8.17 c core #22 8.09/8.17 c 8.09/8.17 c 8.09/8.17 c Core size: 783 Core Weight: 1 Total Weight: 98 8.09/8.17 c Current CPU time: 7.97179 s 8.09/8.17 c 8.09/8.17 c ============================[ Search Statistics ]============================== 8.09/8.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.17 c =============================================================================== 8.09/8.17 c | 0 | 11780 155360 317625 | 51786 0 -nan | 0.000 % | 8.09/8.19 c | 100 | 11780 155360 317625 | 56965 100 24 | 80.195 % | 8.19/8.22 c | 250 | 11780 155360 317625 | 62661 250 27 | 80.195 % | 8.19/8.26 c | 475 | 11780 155360 317625 | 68928 475 28 | 80.195 % | 8.29/8.32 c | 813 | 11780 155360 317625 | 75820 813 26 | 80.195 % | 8.39/8.41 c | 1319 | 11780 155360 317625 | 83402 1319 27 | 80.195 % | 8.49/8.54 c | 2079 | 11776 155360 317625 | 91743 2079 29 | 80.250 % | 8.70/8.73 c | 3218 | 11747 155360 317625 | 100917 3218 29 | 80.250 % | 8.99/9.05 c | 4926 | 11747 155360 317625 | 111009 4926 30 | 80.250 % | 9.49/9.57 c | 7489 | 11747 155360 317625 | 122110 7489 32 | 80.250 % | 10.29/10.35 c | 11335 | 11747 155360 317625 | 134321 11335 33 | 80.250 % | 11.59/11.62 c | 17101 | 11747 155360 317625 | 147753 17101 36 | 80.250 % | 13.21/13.26 c =============================================================================== 13.29/13.36 c core #23 13.29/13.36 c 13.29/13.36 c 13.29/13.36 c Core size: 773 Core Weight: 1 Total Weight: 99 13.29/13.36 c Current CPU time: 13.108 s 13.29/13.36 c 13.29/13.36 c ============================[ Search Statistics ]============================== 13.29/13.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.29/13.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.29/13.36 c =============================================================================== 13.29/13.36 c | 0 | 12161 155585 318211 | 51861 0 -nan | 0.000 % | 13.29/13.38 c | 102 | 12161 155585 318211 | 57047 102 20 | 79.623 % | 13.39/13.40 c | 253 | 12161 155585 318211 | 62752 253 20 | 79.623 % | 13.39/13.44 c | 480 | 12161 155585 318211 | 69027 480 23 | 79.623 % | 13.49/13.50 c | 817 | 12161 155585 318211 | 75930 817 26 | 79.623 % | 13.59/13.60 c | 1324 | 12161 155585 318211 | 83523 1324 26 | 79.623 % | 13.69/13.73 c | 2083 | 12161 155585 318211 | 91876 2083 26 | 79.623 % | 13.89/13.93 c | 3223 | 12161 155585 318211 | 101063 3223 29 | 79.623 % | 14.09/14.19 c | 4931 | 12161 155585 318211 | 111170 4931 27 | 79.623 % | 14.69/14.71 c | 7493 | 12161 155585 318211 | 122287 7493 30 | 79.623 % | 15.49/15.50 c | 11338 | 12161 155585 318211 | 134515 11338 31 | 79.623 % | 16.69/16.78 c | 17104 | 12161 155585 318211 | 147967 17104 32 | 79.623 % | 18.89/18.96 c | 25755 | 12149 155585 318211 | 162764 25755 35 | 79.643 % | 20.99/21.09 c =============================================================================== 21.09/21.19 c core #24 21.09/21.19 c 21.09/21.19 c 21.09/21.19 c Core size: 730 Core Weight: 1 Total Weight: 100 21.09/21.19 c Current CPU time: 20.8798 s 21.09/21.19 c 21.09/21.19 c ============================[ Search Statistics ]============================== 21.09/21.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.09/21.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.09/21.19 c =============================================================================== 21.09/21.19 c | 0 | 12544 155817 318824 | 51939 0 -nan | 0.000 % | 21.19/21.21 c | 101 | 12544 155817 318824 | 57132 101 23 | 79.052 % | 21.19/21.23 c | 252 | 12544 155817 318824 | 62846 252 25 | 79.052 % | 21.19/21.27 c | 477 | 12544 155817 318824 | 69130 477 27 | 79.052 % | 21.29/21.33 c | 814 | 12544 155817 318824 | 76043 814 28 | 79.052 % | 21.39/21.42 c | 1320 | 12544 155817 318824 | 83648 1320 28 | 79.052 % | 21.49/21.55 c | 2081 | 12539 155817 318824 | 92013 2081 28 | 79.060 % | 21.69/21.75 c | 3223 | 12539 155817 318824 | 101214 3223 29 | 79.060 % | 22.01/22.03 c | 4931 | 12539 155817 318824 | 111335 4931 29 | 79.060 % | 22.49/22.52 c | 7493 | 12539 155817 318824 | 122469 7493 30 | 79.060 % | 23.19/23.27 c | 11337 | 12539 155817 318824 | 134716 11337 32 | 79.060 % | 24.40/24.44 c | 17103 | 12539 155817 318824 | 148188 17103 32 | 79.060 % | 26.59/26.61 c | 25753 | 12527 155817 318824 | 163006 25753 34 | 79.081 % | 30.19/30.22 c | 38727 | 12519 155817 318824 | 179307 38727 37 | 79.094 % | 37.30/37.33 c | 58188 | 12519 155817 318824 | 197238 58188 43 | 79.094 % | 38.79/38.86 c =============================================================================== 38.90/38.98 c core #25 38.90/38.98 c 38.90/38.98 c 38.90/38.98 c Core size: 671 Core Weight: 1 Total Weight: 101 38.90/38.98 c Current CPU time: 38.5291 s 38.90/38.98 c 38.90/38.98 c ============================[ Search Statistics ]============================== 38.90/38.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.90/38.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.90/38.98 c =============================================================================== 38.90/38.98 c | 0 | 12921 156057 319461 | 52019 0 -nan | 0.000 % | 38.99/39.00 c | 100 | 12921 156057 319461 | 57220 100 21 | 78.494 % | 38.99/39.02 c | 250 | 12921 156057 319461 | 62942 250 21 | 78.494 % | 38.99/39.06 c | 475 | 12921 156057 319461 | 69237 475 22 | 78.494 % | 39.10/39.11 c | 813 | 12921 156057 319461 | 76161 813 22 | 78.494 % | 39.10/39.19 c | 1322 | 12921 156057 319461 | 83777 1322 26 | 78.494 % | 39.29/39.33 c | 2081 | 12921 156057 319461 | 92154 2081 28 | 78.494 % | 39.50/39.55 c | 3223 | 12921 156057 319461 | 101370 3223 31 | 78.494 % | 39.89/39.90 c | 4932 | 12921 156057 319461 | 111507 4932 32 | 78.494 % | 40.29/40.36 c | 7494 | 12921 156057 319461 | 122658 7494 31 | 78.494 % | 41.09/41.10 c | 11338 | 12921 156057 319461 | 134923 11338 31 | 78.494 % | 42.29/42.39 c | 17104 | 12921 156057 319461 | 148416 17104 33 | 78.494 % | 44.49/44.55 c | 25753 | 12921 156057 319461 | 163257 25753 35 | 78.494 % | 48.19/48.21 c | 38727 | 12834 156057 319461 | 179583 38727 36 | 78.639 % | 54.59/54.60 c | 58188 | 12749 156057 319461 | 197542 58188 39 | 78.781 % | 66.50/66.50 c | 87382 | 12148 156057 319461 | 217296 87382 41 | 79.781 % | 68.70/68.76 c =============================================================================== 68.89/68.90 c core #26 68.89/68.90 c 68.89/68.90 c 68.89/68.90 c Core size: 834 Core Weight: 1 Total Weight: 102 68.89/68.90 c Current CPU time: 68.2366 s 68.89/68.90 c 68.89/68.90 c ============================[ Search Statistics ]============================== 68.89/68.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 68.89/68.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 68.89/68.90 c =============================================================================== 68.89/68.90 c | 0 | 13302 156295 320103 | 52098 0 -nan | 0.000 % | 68.89/68.92 c | 101 | 13302 156295 320103 | 57308 101 26 | 77.933 % | 68.89/68.94 c | 252 | 13302 156295 320103 | 63038 252 24 | 77.933 % | 68.89/68.98 c | 477 | 13302 156295 320103 | 69342 477 23 | 77.933 % | 68.99/69.03 c | 814 | 13302 156295 320103 | 76277 814 24 | 77.933 % | 69.09/69.12 c | 1321 | 13302 156295 320103 | 83904 1321 27 | 77.933 % | 69.21/69.26 c | 2080 | 13302 156295 320103 | 92295 2080 28 | 77.933 % | 69.39/69.48 c | 3219 | 13302 156295 320103 | 101524 3219 29 | 77.933 % | 69.69/69.76 c | 4927 | 13302 156295 320103 | 111677 4927 30 | 77.933 % | 70.19/70.27 c | 7489 | 13302 156295 320103 | 122845 7489 32 | 77.933 % | 70.99/71.00 c | 11333 | 13302 156295 320103 | 135129 11333 32 | 77.933 % | 72.29/72.36 c | 17100 | 13302 156295 320103 | 148642 17100 34 | 77.933 % | 74.39/74.41 c | 25749 | 13302 156295 320103 | 163506 25749 34 | 77.933 % | 78.19/78.20 c | 38724 | 13302 156295 320103 | 179857 38724 37 | 77.933 % | 84.89/84.93 c | 58185 | 13302 156295 320103 | 197843 58185 40 | 77.933 % | 97.29/97.30 c | 87377 | 13302 156295 320103 | 217627 87377 41 | 77.933 % | 122.29/122.39 c | 131166 | 12917 156295 320103 | 239390 131166 44 | 78.585 % | 127.61/127.64 c =============================================================================== 127.80/127.80 c core #27 127.80/127.80 c 127.80/127.80 c 127.80/127.80 c Core size: 655 Core Weight: 1 Total Weight: 103 127.80/127.80 c Current CPU time: 126.836 s 127.80/127.80 c 127.80/127.80 c ============================[ Search Statistics ]============================== 127.80/127.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 127.80/127.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 127.80/127.80 c =============================================================================== 127.80/127.80 c | 0 | 13682 156545 320780 | 52181 0 -nan | 0.000 % | 127.80/127.83 c | 100 | 13682 156545 320780 | 57399 100 25 | 77.377 % | 127.80/127.84 c | 250 | 13682 156545 320780 | 63139 250 24 | 77.377 % | 127.80/127.89 c | 475 | 13682 156545 320780 | 69453 475 27 | 77.377 % | 127.89/127.97 c | 812 | 13682 156545 320780 | 76399 812 29 | 77.377 % | 127.99/128.05 c | 1318 | 13682 156545 320780 | 84039 1318 32 | 77.377 % | 128.09/128.18 c | 2078 | 13682 156545 320780 | 92443 2078 32 | 77.377 % | 128.30/128.35 c | 3217 | 13681 156545 320780 | 101687 3217 31 | 77.379 % | 128.61/128.65 c | 4926 | 13681 156545 320780 | 111856 4926 30 | 77.379 % | 129.09/129.14 c | 7490 | 13681 156545 320780 | 123041 7490 32 | 77.379 % | 129.89/129.95 c | 11335 | 13681 156545 320780 | 135345 11335 33 | 77.379 % | 131.20/131.25 c | 17101 | 13681 156545 320780 | 148880 17101 34 | 77.379 % | 133.20/133.25 c | 25751 | 13681 156545 320780 | 163768 25751 37 | 77.379 % | 136.69/136.78 c | 38725 | 13681 156545 320780 | 180145 38725 37 | 77.379 % | 143.20/143.23 c | 58187 | 13674 156545 320780 | 198159 58187 37 | 77.390 % | 155.59/155.60 c | 87380 | 13674 156545 320780 | 217975 87380 41 | 77.390 % | 180.19/180.24 c | 131171 | 13550 156545 320780 | 239773 131171 42 | 77.596 % | 224.31/224.40 c | 196855 | 13165 156545 320780 | 263750 196855 44 | 78.232 % | 233.90/233.99 c =============================================================================== 234.10/234.18 c core #28 234.10/234.18 c 234.10/234.18 c 234.10/234.18 c Core size: 692 Core Weight: 1 Total Weight: 104 234.10/234.18 c Current CPU time: 232.744 s 234.10/234.18 c 234.10/234.18 c ============================[ Search Statistics ]============================== 234.10/234.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.10/234.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.10/234.18 c =============================================================================== 234.10/234.18 c | 0 | 14053 156811 321502 | 52270 0 -nan | 0.000 % | 234.10/234.20 c | 101 | 14053 156811 321502 | 57497 101 22 | 76.839 % | 234.21/234.23 c | 251 | 14053 156811 321502 | 63247 251 26 | 76.839 % | 234.21/234.27 c | 476 | 14053 156811 321502 | 69571 476 25 | 76.839 % | 234.31/234.33 c | 813 | 14053 156811 321502 | 76528 813 25 | 76.839 % | 234.39/234.44 c | 1321 | 14053 156811 321502 | 84181 1321 28 | 76.839 % | 234.59/234.60 c | 2080 | 14053 156811 321502 | 92600 2080 32 | 76.839 % | 234.79/234.83 c | 3219 | 14053 156811 321502 | 101860 3219 33 | 76.839 % | 235.10/235.13 c | 4927 | 14053 156811 321502 | 112046 4927 32 | 76.839 % | 235.59/235.68 c | 7489 | 14053 156811 321502 | 123250 7489 35 | 76.839 % | 236.41/236.41 c | 11333 | 14053 156811 321502 | 135575 11333 35 | 76.839 % | 237.70/237.74 c | 17099 | 14053 156811 321502 | 149133 17099 36 | 76.839 % | 239.89/239.98 c | 25748 | 13957 156811 321502 | 164046 25748 38 | 76.997 % | 243.60/243.66 c | 38722 | 13957 156811 321502 | 180451 38722 41 | 76.997 % | 249.80/249.89 c | 58185 | 13957 156811 321502 | 198496 58185 42 | 76.997 % | 262.39/262.44 c | 87378 | 13957 156811 321502 | 218346 87378 46 | 76.997 % | 288.50/288.53 c | 131167 | 13945 156811 321502 | 240180 131167 50 | 77.017 % | 345.20/345.26 c | 196851 | 13945 156811 321502 | 264198 196851 53 | 77.017 % | 453.00/453.06 c | 295377 | 13919 156811 321502 | 290618 295377 55 | 77.060 % | 563.90/563.94 c | 443168 | 13783 156811 321502 | 319680 127602 61 | 77.284 % | 663.80/663.85 c =============================================================================== 664.20/664.20 c core #29 664.20/664.20 c 664.20/664.20 c 664.20/664.20 c Core size: 636 Core Weight: 1 Total Weight: 105 664.20/664.20 c Current CPU time: 661.274 s 664.20/664.20 c 664.20/664.20 c ============================[ Search Statistics ]============================== 664.20/664.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 664.20/664.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 664.20/664.20 c =============================================================================== 664.20/664.20 c | 0 | 14431 157128 322387 | 52376 0 -nan | 0.000 % | 664.20/664.22 c | 100 | 14430 157128 322387 | 57613 100 21 | 76.318 % | 664.20/664.25 c | 250 | 14430 157128 322387 | 63374 250 24 | 76.318 % | 664.20/664.28 c | 476 | 14416 157128 322387 | 69712 476 25 | 76.318 % | 664.31/664.35 c | 813 | 14416 157128 322387 | 76683 813 27 | 76.318 % | 664.42/664.44 c | 1319 | 14416 157128 322387 | 84352 1319 28 | 76.318 % | 664.50/664.57 c | 2078 | 14416 157128 322387 | 92787 2078 29 | 76.318 % | 664.70/664.76 c | 3218 | 14416 157128 322387 | 102066 3218 28 | 76.318 % | 665.10/665.15 c | 4928 | 14416 157128 322387 | 112272 4928 35 | 76.318 % | 665.60/665.64 c | 7491 | 14416 157128 322387 | 123499 7491 37 | 76.318 % | 666.40/666.42 c | 11335 | 14416 157128 322387 | 135849 11335 36 | 76.318 % | 667.61/667.65 c | 17101 | 14416 157128 322387 | 149434 17101 37 | 76.318 % | 669.70/669.70 c | 25750 | 14416 157128 322387 | 164378 25750 39 | 76.318 % | 673.22/673.28 c | 38724 | 14416 157128 322387 | 180816 38724 41 | 76.318 % | 679.60/679.68 c | 58190 | 14416 157128 322387 | 198897 58190 42 | 76.318 % | 689.72/689.74 c | 87385 | 14416 157128 322387 | 218787 87385 44 | 76.318 % | 712.30/712.34 c | 131175 | 14416 157128 322387 | 240666 131175 44 | 76.318 % | 752.80/752.88 c | 196860 | 14416 157128 322387 | 264732 196860 46 | 76.318 % | 847.90/847.92 c | 295389 | 14396 157128 322387 | 291206 295389 48 | 76.350 % | 950.91/950.93 c | 443179 | 14384 157128 322387 | 320326 131002 52 | 76.370 % | 1137.01/1137.09 c =============================================================================== 1137.43/1137.48 c core #30 1137.43/1137.48 c 1137.43/1137.48 c 1137.43/1137.48 c Core size: 835 Core Weight: 1 Total Weight: 106 1137.43/1137.48 c Current CPU time: 1132.81 s 1137.43/1137.48 c 1137.43/1137.48 c ============================[ Search Statistics ]============================== 1137.43/1137.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1137.43/1137.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1137.43/1137.48 c =============================================================================== 1137.43/1137.48 c | 0 | 14793 157459 323315 | 52486 0 -nan | 0.000 % | 1137.51/1137.50 c | 101 | 14793 157459 323315 | 57734 101 18 | 75.776 % | 1137.51/1137.53 c | 251 | 14793 157459 323315 | 63508 251 24 | 75.776 % | 1137.51/1137.57 c | 476 | 14793 157459 323315 | 69859 476 27 | 75.776 % | 1137.61/1137.63 c | 813 | 14793 157459 323315 | 76845 813 31 | 75.776 % | 1137.71/1137.74 c | 1319 | 14793 157459 323315 | 84529 1319 31 | 75.776 % | 1137.81/1137.86 c | 2078 | 14793 157459 323315 | 92982 2078 30 | 75.776 % | 1138.11/1138.10 c | 3220 | 14793 157459 323315 | 102281 3220 36 | 75.776 % | 1138.42/1138.47 c | 4928 | 14793 157459 323315 | 112509 4928 37 | 75.776 % | 1139.01/1139.02 c | 7492 | 14793 157459 323315 | 123760 7492 38 | 75.776 % | 1139.91/1139.92 c | 11341 | 14793 157459 323315 | 136136 11341 40 | 75.776 % | 1141.31/1141.30 c | 17109 | 14773 157459 323315 | 149749 17109 43 | 75.809 % | 1143.31/1143.31 c | 25759 | 14773 157459 323315 | 164724 25759 44 | 75.809 % | 1147.22/1147.26 c | 38733 | 14773 157459 323315 | 181197 38733 45 | 75.809 % | 1153.41/1153.48 c | 58194 | 14773 157459 323315 | 199316 58194 47 | 75.809 % | 1164.61/1164.61 c | 87387 | 14773 157459 323315 | 219248 87387 48 | 75.809 % | 1185.01/1185.08 c | 131176 | 14773 157459 323315 | 241173 131176 48 | 75.809 % | 1225.51/1225.55 c | 196861 | 14773 157459 323315 | 265290 196861 49 | 75.809 % | 1312.41/1312.42 c | 295387 | 14773 157459 323315 | 291819 295387 48 | 75.809 % | 1412.21/1412.26 c | 443179 | 14769 157459 323315 | 321001 126436 50 | 75.815 % | 1603.83/1603.82 c | 664864 | 14621 157459 323315 | 353101 348121 54 | 76.057 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461772-1307122101/watcher-3461772-1307122101 -o /tmp/evaluation-result-3461772-1307122101/solver-3461772-1307122101 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461772-1307122101.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.26 1.73 1.90 5/488 22864 /proc/meminfo: memFree=27230100/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=10272 CPUtime=0.01 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 866 0 0 0 1 0 0 0 20 0 1 0 823808665 10518528 819 33554432000 4194304 5714214 140734434146032 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 2568 820 200 372 0 738 0 [startup+0.087833 s] /proc/loadavg: 1.26 1.73 1.90 5/488 22864 /proc/meminfo: memFree=27230100/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=19608 CPUtime=0.08 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 3394 0 0 0 8 0 0 0 20 0 1 0 823808665 20078592 3265 33554432000 4194304 5714214 140734434146032 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 4902 3265 457 372 0 3072 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19608 [startup+0.100829 s] /proc/loadavg: 1.26 1.73 1.90 5/488 22864 /proc/meminfo: memFree=27230100/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=20004 CPUtime=0.09 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 3555 0 0 0 9 0 0 0 20 0 1 0 823808665 20484096 3426 33554432000 4194304 5714214 140734434146032 18446744073709551615 4972989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 5001 3427 500 372 0 3171 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20004 [startup+0.300797 s] /proc/loadavg: 1.26 1.73 1.90 5/488 22864 /proc/meminfo: memFree=27230100/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=31980 CPUtime=0.29 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 7302 0 0 0 28 1 0 0 21 0 1 0 823808665 32747520 6874 33554432000 4194304 5714214 140734434146032 18446744073709551615 4235277 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 7995 6876 1195 372 0 6165 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31980 [startup+0.700746 s] /proc/loadavg: 1.26 1.73 1.90 5/488 22864 /proc/meminfo: memFree=27230100/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=83836 CPUtime=0.69 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 23515 0 0 0 66 3 0 0 18 0 1 0 823808665 85848064 19998 33554432000 4194304 5714214 140734434146032 18446744073709551615 4956314 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 20959 19998 176 372 0 20584 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 83836 [startup+1.50061 s] /proc/loadavg: 1.26 1.73 1.90 3/487 22869 /proc/meminfo: memFree=27147028/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=86484 CPUtime=1.49 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 26893 0 0 0 145 4 0 0 19 0 1 0 823808665 88559616 21041 33554432000 4194304 5714214 140734434146032 18446744073709551615 4968261 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 21621 21041 179 372 0 21246 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 86484 [startup+3.10034 s] /proc/loadavg: 1.26 1.73 1.90 3/487 22875 /proc/meminfo: memFree=27138596/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=90084 CPUtime=3.09 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 29505 0 0 0 304 5 0 0 18 0 1 0 823808665 92246016 21880 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 22521 21880 180 372 0 22146 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 90084 [startup+6.3008 s] /proc/loadavg: 1.32 1.74 1.90 3/490 22920 /proc/meminfo: memFree=27073948/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=92244 CPUtime=6.3 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 30098 0 0 0 621 9 0 0 25 0 1 0 823808665 94457856 22473 33554432000 4194304 5714214 140734434146032 18446744073709551615 4322683 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 23061 22473 180 372 0 22686 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 92244 [startup+12.7007 s] /proc/loadavg: 1.37 1.74 1.90 3/487 22977 /proc/meminfo: memFree=27132608/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=92244 CPUtime=12.69 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 30101 0 0 0 1254 15 0 0 25 0 1 0 823808665 94457856 22476 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 23061 22476 180 372 0 22686 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 92244 [startup+25.5006 s] /proc/loadavg: 1.51 1.75 1.90 3/487 23113 /proc/meminfo: memFree=27121720/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=99808 CPUtime=25.49 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 31781 0 0 0 2524 25 0 0 25 0 1 0 823808665 102203392 24156 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319450 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 24952 24156 180 372 0 24577 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 99808 [startup+51.1003 s] /proc/loadavg: 1.68 1.77 1.90 3/490 23245 /proc/meminfo: memFree=27012296/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=110844 CPUtime=51.09 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 34624 0 0 0 5065 44 0 0 25 0 1 0 823808665 113504256 26999 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 27711 26999 180 372 0 27336 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 110844 [startup+102.319 s] /proc/loadavg: 1.86 1.80 1.91 3/490 23247 /proc/meminfo: memFree=26988736/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=121000 CPUtime=102.31 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 37187 0 0 0 10157 74 0 0 25 0 1 0 823808665 123904000 29562 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319373 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 30250 29562 180 372 0 29875 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 121000 [startup+162.301 s] /proc/loadavg: 1.95 1.84 1.91 3/490 23248 /proc/meminfo: memFree=26935248/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=139308 CPUtime=162.29 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 41699 0 0 0 16126 103 0 0 25 0 1 0 823808665 142651392 34074 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 34827 34074 180 372 0 34452 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 139308 [startup+222.301 s] /proc/loadavg: 1.98 1.86 1.91 3/490 23250 /proc/meminfo: memFree=26934692/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=139308 CPUtime=222.29 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 41801 0 0 0 22108 121 0 0 25 0 1 0 823808665 142651392 34176 33554432000 4194304 5714214 140734434146032 18446744073709551615 4322624 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 34827 34176 180 372 0 34452 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 139308 [startup+282.3 s] /proc/loadavg: 2.03 1.90 1.91 3/490 23251 /proc/meminfo: memFree=26887764/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=161860 CPUtime=282.29 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 47675 0 0 0 28082 147 0 0 25 0 1 0 823808665 165744640 39642 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 40465 39642 180 372 0 40090 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 161860 [startup+342.3 s] /proc/loadavg: 2.12 1.95 1.93 3/490 23253 /proc/meminfo: memFree=26862652/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=161860 CPUtime=342.3 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 47675 0 0 0 34068 162 0 0 25 0 1 0 823808665 165744640 39642 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 40465 39642 180 372 0 40090 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 161860 [startup+402.3 s] /proc/loadavg: 2.12 1.97 1.93 3/490 23255 /proc/meminfo: memFree=26835676/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=168316 CPUtime=402.3 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 49482 0 0 0 40056 174 0 0 25 0 1 0 823808665 172355584 41449 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 42079 41449 180 372 0 41704 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 168316 [startup+462.3 s] /proc/loadavg: 2.04 1.97 1.93 3/490 23256 /proc/meminfo: memFree=26791940/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=188524 CPUtime=462.3 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 54438 0 0 0 46043 187 0 0 25 0 1 0 823808665 193048576 46405 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 47131 46405 180 372 0 46756 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 188524 [startup+522.3 s] /proc/loadavg: 1.45 1.82 1.88 2/484 23275 /proc/meminfo: memFree=27024992/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=204464 CPUtime=522.3 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 58131 0 0 0 52026 204 0 0 25 0 1 0 823808665 209371136 50098 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 51116 50098 180 372 0 50741 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 204464 [startup+582.301 s] /proc/loadavg: 1.16 1.67 1.82 2/484 23276 /proc/meminfo: memFree=27024056/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=205556 CPUtime=582.3 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 58370 0 0 0 57998 232 0 0 25 0 1 0 823808665 210489344 50337 33554432000 4194304 5714214 140734434146032 18446744073709551615 4322683 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 51389 50337 180 372 0 51014 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 205556 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.29 1.62 2/484 23283 /proc/meminfo: memFree=26998864/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=230056 CPUtime=822.3 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 65344 0 0 0 81905 325 0 0 25 0 1 0 823808665 235577344 56648 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 57514 56648 180 372 0 57139 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 230056 [startup+882.301 s] /proc/loadavg: 1.00 1.23 1.58 2/484 23284 /proc/meminfo: memFree=26998592/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=230056 CPUtime=882.3 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 65418 0 0 0 87890 340 0 0 25 0 1 0 823808665 235577344 56722 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 57514 56722 180 372 0 57139 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 230056 [startup+942.301 s] /proc/loadavg: 1.08 1.22 1.55 2/484 23286 /proc/meminfo: memFree=26998676/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=230056 CPUtime=942.31 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 65421 0 0 0 93863 368 0 0 25 0 1 0 823808665 235577344 56725 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 57514 56725 180 372 0 57139 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 230056 [startup+1002.3 s] /proc/loadavg: 1.07 1.19 1.52 2/484 23288 /proc/meminfo: memFree=26998756/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=230056 CPUtime=1002.31 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 65421 0 0 0 99838 393 0 0 25 0 1 0 823808665 235577344 56725 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 57514 56725 180 372 0 57139 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 230056 [startup+1062.3 s] /proc/loadavg: 1.02 1.15 1.49 2/484 23289 /proc/meminfo: memFree=26998844/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=230056 CPUtime=1062.3 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 65477 0 0 0 105820 410 0 0 25 0 1 0 823808665 235577344 56781 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 57514 56781 180 372 0 57139 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 230056 [startup+1122.3 s] /proc/loadavg: 1.01 1.12 1.45 2/484 23291 /proc/meminfo: memFree=26993324/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=235016 CPUtime=1122.31 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 66818 0 0 0 111804 427 0 0 25 0 1 0 823808665 240656384 58122 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 58754 58122 180 372 0 58379 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 235016 [startup+1182.3 s] /proc/loadavg: 1.00 1.10 1.42 2/484 23292 /proc/meminfo: memFree=26967984/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=261100 CPUtime=1182.3 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73130 0 0 0 117769 461 0 0 25 0 1 0 823808665 267366400 64434 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 65275 64434 180 372 0 64900 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 261100 [startup+1242.3 s] /proc/loadavg: 1.00 1.08 1.39 2/484 23294 /proc/meminfo: memFree=26967448/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=261100 CPUtime=1242.31 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73203 0 0 0 123745 486 0 0 25 0 1 0 823808665 267366400 64507 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 65275 64507 180 372 0 64900 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 261100 [startup+1302.3 s] /proc/loadavg: 1.00 1.06 1.36 2/484 23296 /proc/meminfo: memFree=26967408/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=261100 CPUtime=1302.32 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73203 0 0 0 129726 506 0 0 25 0 1 0 823808665 267366400 64507 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 65275 64507 180 372 0 64900 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 261100 [startup+1362.3 s] /proc/loadavg: 1.00 1.05 1.34 2/484 23297 /proc/meminfo: memFree=26967476/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=261100 CPUtime=1362.31 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73208 0 0 0 135709 522 0 0 25 0 1 0 823808665 267366400 64512 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 65275 64512 180 372 0 64900 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 261100 [startup+1422.32 s] /proc/loadavg: 1.00 1.04 1.32 2/484 23299 /proc/meminfo: memFree=26967548/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=261100 CPUtime=1422.33 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73208 0 0 0 141674 559 0 0 25 0 1 0 823808665 267366400 64512 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 65275 64512 180 372 0 64900 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 261100 [startup+1482.3 s] /proc/loadavg: 1.00 1.03 1.29 2/484 23300 /proc/meminfo: memFree=26967520/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=261100 CPUtime=1482.32 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73208 0 0 0 147651 581 0 0 25 0 1 0 823808665 267366400 64512 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 65275 64512 180 372 0 64900 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 261100 [startup+1542.3 s] /proc/loadavg: 1.05 1.04 1.27 2/484 23302 /proc/meminfo: memFree=26967608/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=261100 CPUtime=1542.32 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73208 0 0 0 153631 601 0 0 25 0 1 0 823808665 267366400 64512 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 65275 64512 180 372 0 64900 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 261100 [startup+1602.3 s] /proc/loadavg: 1.07 1.04 1.26 2/484 23304 /proc/meminfo: memFree=26967572/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=261100 CPUtime=1602.32 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73225 0 0 0 159616 616 0 0 25 0 1 0 823808665 267366400 64529 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 65275 64529 180 372 0 64900 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 261100 [startup+1662.3 s] /proc/loadavg: 1.02 1.03 1.24 2/484 23305 /proc/meminfo: memFree=26967400/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=261100 CPUtime=1662.31 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73288 0 0 0 165603 628 0 0 25 0 1 0 823808665 267366400 64592 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 65275 64592 180 372 0 64900 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 261100 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 1.23 2/484 23307 /proc/meminfo: memFree=26964992/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=263092 CPUtime=1722.32 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73879 0 0 0 171574 658 0 0 25 0 1 0 823808665 269406208 65183 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 65773 65183 180 372 0 65398 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 263092 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.21 2/484 23308 /proc/meminfo: memFree=26963948/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=264208 CPUtime=1782.32 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 74073 0 0 0 177553 679 0 0 25 0 1 0 823808665 270548992 65377 33554432000 4194304 5714214 140734434146032 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 66052 65377 180 372 0 65677 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 264208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.02 1.20 2/484 23309 /proc/meminfo: memFree=26963928/32951124 swapFree=63649284/67111528 [pid=22864] ppid=22862 vsize=264208 CPUtime=1800.03 cores=1,3,5,7 /proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 74074 0 0 0 179318 685 0 0 25 0 1 0 823808665 270548992 65378 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22864/statm: 66052 65378 180 372 0 65677 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 264208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.06 CPU user time (s): 1793.19 CPU system time (s): 6.86896 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 264208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.19 system time used= 6.86895 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74074 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= 24 involuntary context switches= 2745 runsolver used 8.10477 second user time and 21.3688 second system time The end
Begin job on node130 at 2011-06-03 19:28:22 IDJOB=3461772 IDBENCH=77818 IDSOLVER=1953 FILE ID=node130/3461772-1307122101 RUNJOBID= node130-1307122101-22846 PBS_JOBID= 13497970 Free space on /tmp= 73836 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9025_7.std.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461772-1307122101/watcher-3461772-1307122101 -o /tmp/evaluation-result-3461772-1307122101/solver-3461772-1307122101 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461772-1307122101.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 898f9481d81532bb854887af2399230f RANDOM SEED=1100951204 node130.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27230512 kB Buffers: 254360 kB Cached: 403488 kB SwapCached: 9700 kB Active: 5101884 kB Inactive: 336708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27230512 kB SwapTotal: 67111528 kB SwapFree: 63649284 kB Dirty: 20144 kB Writeback: 0 kB AnonPages: 4779036 kB Mapped: 31324 kB Slab: 158448 kB PageTables: 53760 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145078132 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73840 MiB End job on node130 at 2011-06-03 19:58:24