Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 0 | 1800.04 | 1800.73 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-kb2.opb |
MD5SUM | 7bb51fb18714f8fdd98e0de4fc62f6d8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 1096 |
Total number of constraints | 52 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 52 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 4325376 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 12058535 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 5715913739337728 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 75299293548900036 |
Number of bits of the biggest sum of numbers | 57 |
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 c Time Limit set via PBTIMEOUT to 1800 0.03 c INFO: OSL Context initialized. 0.03 c BIG Int formula... 0.08 c Initial problem consists of 1096 variables and 68 constraints. 0.08 c No problem reductions applied in OPT. instance. 0.08 c preprocess terminated. Elapsed time: 0.053 0.08 c After prepocess the problem consists of 682 variables and 68 constraints. 0.08 c Initial Lower Bound: -8650719 0.10 c Restart #1 #Var: 682 LB: -8650719 @ 0.077 0.15 c Restart #2 #Var: 682 LB: -8650719 @ 0.125 0.22 c Restart #3 #Var: 682 LB: -8650719 @ 0.197 0.33 c Restart #4 #Var: 682 LB: -8650719 @ 0.305 0.46 c Restart #5 #Var: 682 LB: -8650719 @ 0.439 0.63 c Restart #6 #Var: 682 LB: -8650719 @ 0.602 0.83 c Restart #7 #Var: 682 LB: -8650719 @ 0.801 1.04 c Restart #8 #Var: 682 LB: -8650719 @ 1.012 1.29 c Restart #9 #Var: 682 LB: -8650719 @ 1.266 1.70 c Restart #10 #Var: 682 LB: -8650719 @ 1.673 2.02 c Restart #11 #Var: 682 LB: -8650719 @ 1.985 2.24 c Restart #12 #Var: 682 LB: -8650719 @ 2.21 2.51 c Restart #13 #Var: 682 LB: -8650719 @ 2.479 2.78 c Restart #14 #Var: 682 LB: -8650719 @ 2.745 2.99 c Restart #15 #Var: 682 LB: -8650719 @ 2.958 3.22 c Restart #16 #Var: 682 LB: -8650719 @ 3.194 3.85 c Restart #17 #Var: 682 LB: -8650719 @ 3.816 4.09 c Restart #18 #Var: 682 LB: -8650719 @ 4.056 4.36 c Restart #19 #Var: 682 LB: -8650719 @ 4.328 4.66 c Restart #20 #Var: 682 LB: -8650719 @ 4.629 5.09 c Restart #21 #Var: 682 LB: -8650719 @ 5.054 5.69 c Restart #22 #Var: 682 LB: -8650719 @ 5.657 6.13 c Restart #23 #Var: 682 LB: -8650719 @ 6.102 7.43 c Restart #24 #Var: 682 LB: -8650719 @ 7.392 8.03 c Restart #25 #Var: 682 LB: -8650719 @ 7.992 8.41 c Restart #26 #Var: 682 LB: -8650719 @ 8.377 8.78 c Restart #27 #Var: 682 LB: -8650719 @ 8.744 9.18 c Restart #28 #Var: 682 LB: -8650719 @ 9.143 9.70 c Restart #29 #Var: 682 LB: -8650719 @ 9.664 10.09 c Restart #30 #Var: 682 LB: -8650719 @ 10.051 12.12 c Restart #31 #Var: 682 LB: -8650719 @ 12.085 12.94 c Restart #32 #Var: 678 LB: -8650719 @ 12.906 14.07 c Restart #33 #Var: 678 LB: -8650719 @ 14.034 15.07 c Restart #34 #Var: 678 LB: -8650719 @ 15.032 16.23 c Restart #35 #Var: 678 LB: -8650719 @ 16.196 17.35 c Restart #36 #Var: 678 LB: -8650719 @ 17.312 18.70 c Restart #37 #Var: 678 LB: -8650719 @ 18.659 19.77 c Restart #38 #Var: 678 LB: -8650719 @ 19.734 20.88 c Restart #39 #Var: 678 LB: -8650719 @ 20.842 22.21 c Restart #40 #Var: 678 LB: -8650719 @ 22.173 23.15 c Restart #41 #Var: 678 LB: -8650719 @ 23.107 24.52 c Restart #42 #Var: 678 LB: -8650719 @ 24.477 25.69 c Restart #43 #Var: 678 LB: -8650719 @ 25.654 26.83 c Restart #44 #Var: 678 LB: -8650719 @ 26.791 28.27 c Restart #45 #Var: 678 LB: -8650719 @ 28.227 29.85 c Restart #46 #Var: 678 LB: -8650719 @ 29.809 32.28 c Restart #47 #Var: 678 LB: -8650719 @ 32.235 33.79 c Restart #48 #Var: 678 LB: -8650719 @ 33.746 35.19 c Restart #49 #Var: 678 LB: -8650719 @ 35.142 36.37 c Restart #50 #Var: 678 LB: -8650719 @ 36.327 37.75 c Restart #51 #Var: 678 LB: -8650719 @ 37.703 39.54 c Restart #52 #Var: 678 LB: -8650719 @ 39.494 41.03 c Restart #53 #Var: 678 LB: -8650719 @ 40.984 42.65 c Restart #54 #Var: 678 LB: -8650719 @ 42.609 44.48 c Restart #55 #Var: 678 LB: -8650719 @ 44.432 46.39 c Restart #56 #Var: 678 LB: -8650719 @ 46.345 48.89 c Restart #57 #Var: 678 LB: -8650719 @ 48.843 50.48 c Restart #58 #Var: 678 LB: -8650719 @ 50.434 52.23 c Restart #59 #Var: 678 LB: -8650719 @ 52.181 54.75 c Restart #60 #Var: 678 LB: -8650719 @ 54.703 67.28 c Restart #61 #Var: 678 LB: -8650719 @ 67.22 69.34 c Restart #62 #Var: 678 LB: -8650719 @ 69.281 71.67 c Restart #63 #Var: 678 LB: -8650719 @ 71.617 73.59 c Restart #64 #Var: 678 LB: -8650719 @ 73.537 75.65 c Restart #65 #Var: 678 LB: -8650719 @ 75.588 78.01 c Restart #66 #Var: 678 LB: -8650719 @ 77.957 81.18 c Restart #67 #Var: 678 LB: -8650719 @ 81.116 83.53 c Restart #68 #Var: 678 LB: -8650719 @ 83.474 85.90 c Restart #69 #Var: 678 LB: -8650719 @ 85.843 88.41 c Restart #70 #Var: 678 LB: -8650719 @ 88.345 91.02 c Restart #71 #Var: 678 LB: -8650719 @ 90.958 93.22 c Restart #72 #Var: 678 LB: -8650719 @ 93.157 96.17 c Restart #73 #Var: 678 LB: -8650719 @ 96.109 98.91 c Restart #74 #Var: 678 LB: -8650719 @ 98.846 101.63 c Restart #75 #Var: 678 LB: -8650719 @ 101.56 104.17 c Restart #76 #Var: 678 LB: -8650719 @ 104.1 109.69 c Restart #77 #Var: 678 LB: -8650719 @ 109.62 112.23 c Restart #78 #Var: 678 LB: -8650719 @ 112.16 130.37 c Restart #79 #Var: 678 LB: -8650719 @ 130.29 132.98 c Restart #80 #Var: 678 LB: -8650719 @ 132.9 146.56 c Restart #81 #Var: 678 LB: -8650719 @ 146.48 152.82 c Restart #82 #Var: 678 LB: -8650719 @ 152.73 163.16 c Restart #83 #Var: 678 LB: -8650719 @ 163.07 176.09 c Restart #84 #Var: 678 LB: -8650719 @ 175.99 188.49 c Restart #85 #Var: 678 LB: -8650719 @ 188.39 198.69 c Restart #86 #Var: 678 LB: -8650719 @ 198.58 210.00 c Restart #87 #Var: 678 LB: -8650719 @ 209.89 219.00 c Restart #88 #Var: 678 LB: -8650719 @ 218.89 232.83 c Restart #89 #Var: 678 LB: -8650719 @ 232.71 239.80 c Restart #90 #Var: 678 LB: -8650719 @ 239.69 252.11 c Restart #91 #Var: 678 LB: -8650719 @ 251.99 276.68 c Restart #92 #Var: 678 LB: -8650719 @ 276.55 302.56 c Restart #93 #Var: 678 LB: -8650719 @ 302.43 315.98 c Restart #94 #Var: 678 LB: -8650719 @ 315.84 329.67 c Restart #95 #Var: 678 LB: -8650719 @ 329.52 343.73 c Restart #96 #Var: 678 LB: -8650719 @ 343.57 353.52 c Restart #97 #Var: 678 LB: -8650719 @ 353.36 365.83 c Restart #98 #Var: 678 LB: -8650719 @ 365.67 376.39 c Restart #99 #Var: 678 LB: -8650719 @ 376.22 379.78 c Restart #100 #Var: 674 LB: -8650719 @ 379.62 413.00 c Restart #101 #Var: 674 LB: -8650719 @ 412.81 433.21 c Restart #102 #Var: 674 LB: -8650719 @ 433.02 449.14 c Restart #103 #Var: 674 LB: -8650719 @ 448.95 452.16 c Restart #104 #Var: 674 LB: -8650719 @ 451.96 462.11 c Restart #105 #Var: 674 LB: -8650719 @ 461.91 476.69 c Restart #106 #Var: 674 LB: -8650719 @ 476.48 482.15 c Restart #107 #Var: 674 LB: -8650719 @ 481.94 497.35 c Restart #108 #Var: 674 LB: -8650719 @ 497.14 503.42 c Restart #109 #Var: 674 LB: -8650719 @ 503.2 513.26 c Restart #110 #Var: 674 LB: -8650719 @ 513.04 529.68 c Restart #111 #Var: 674 LB: -8650719 @ 529.45 548.55 c Restart #112 #Var: 674 LB: -8650719 @ 548.32 554.62 c Restart #113 #Var: 674 LB: -8650719 @ 554.39 572.19 c Restart #114 #Var: 674 LB: -8650719 @ 571.95 579.67 c Restart #115 #Var: 674 LB: -8650719 @ 579.42 595.46 c Restart #116 #Var: 674 LB: -8650719 @ 595.21 605.77 c Restart #117 #Var: 674 LB: -8650719 @ 605.51 621.12 c Restart #118 #Var: 674 LB: -8650719 @ 620.87 629.62 c Restart #119 #Var: 674 LB: -8650719 @ 629.36 649.01 c Restart #120 #Var: 674 LB: -8650719 @ 648.75 658.38 c Restart #121 #Var: 674 LB: -8650719 @ 658.11 684.65 c Restart #122 #Var: 674 LB: -8650719 @ 684.37 714.78 c Restart #123 #Var: 674 LB: -8650719 @ 714.49 745.37 c Restart #124 #Var: 674 LB: -8650719 @ 745.07 768.93 c Restart #125 #Var: 674 LB: -8650719 @ 768.62 772.56 c Restart #126 #Var: 674 LB: -8650719 @ 772.25 821.37 c Restart #127 #Var: 674 LB: -8650719 @ 821.04 832.80 c Restart #128 #Var: 674 LB: -8650719 @ 832.47 868.27 c Restart #129 #Var: 674 LB: -8650719 @ 867.92 871.89 c Restart #130 #Var: 674 LB: -8650719 @ 871.54 879.99 c Restart #131 #Var: 674 LB: -8650719 @ 879.64 998.50 c CHANGE Heuristic... 998.50 c Restart #0 #Var: 674 LB: -8650719 @ 998.11 998.54 c Restart #1 #Var: 674 LB: -8650719 @ 998.14 998.87 c Restart #2 #Var: 674 LB: -8650719 @ 998.47 999.86 c Restart #3 #Var: 674 LB: -8650719 @ 999.47 1000.45 c Restart #4 #Var: 674 LB: -8650719 @ 1000.1 1001.62 c Restart #5 #Var: 674 LB: -8650719 @ 1001.2 1005.53 c Sol. found (all assignments made)... 1005.53 o 0 1005.53 c NEW SOLUTION FOUND: 0 @ 1005.1 1007.50 c Restart #6 #Var: 674 LB: -8650719 @ 1007.1 1008.05 c Restart #7 #Var: 674 LB: -8650719 @ 1007.7 1009.77 c Restart #8 #Var: 674 LB: -8650719 @ 1009.4 1010.25 c Restart #9 #Var: 674 LB: -8650719 @ 1009.9 1015.23 c CHANGE to MIS mode... UB: 0 MIS: -8650686 LPR: -2147483648 (0) Diff: 0.0040283 1015.23 c Restart #0 #Var: 674 LB: -8650719 @ 1014.8 1015.33 c Restart #1 #Var: 674 LB: -8650686 @ 1014.9 1018.30 c Restart #2 #Var: 673 LB: -8650686 @ 1017.9 1022.86 c Restart #3 #Var: 673 LB: -8650686 @ 1022.5 1023.66 c Restart #4 #Var: 673 LB: -8650686 @ 1023.3 1026.35 c Restart #5 #Var: 673 LB: -8650686 @ 1025.9 1027.27 c Restart #6 #Var: 673 LB: -8650686 @ 1026.9 1031.58 c Restart #7 #Var: 673 LB: -8650686 @ 1031.2 1034.11 c Restart #8 #Var: 673 LB: -8650686 @ 1033.7 1039.82 c Restart #9 #Var: 673 LB: -8650686 @ 1039.4 1043.68 c Restart #10 #Var: 673 LB: -8650686 @ 1043.3 1045.46 c Restart #11 #Var: 673 LB: -8650686 @ 1045.1 1047.51 c Restart #12 #Var: 673 LB: -8650686 @ 1047.1 1058.96 c Restart #13 #Var: 673 LB: -8650686 @ 1058.5 1060.30 c Restart #14 #Var: 673 LB: -8650686 @ 1059.9 1061.16 c Restart #15 #Var: 673 LB: -8650686 @ 1060.7 1071.36 c Restart #16 #Var: 673 LB: -8650686 @ 1070.9 1072.60 c Restart #17 #Var: 673 LB: -8650686 @ 1072.2 1086.41 c Restart #18 #Var: 673 LB: -8650686 @ 1086 1087.37 c Restart #19 #Var: 673 LB: -8650686 @ 1086.9 1111.77 c Restart #20 #Var: 673 LB: -8650686 @ 1111.3 1118.17 c Restart #21 #Var: 673 LB: -8650686 @ 1117.7 1119.19 c Restart #22 #Var: 673 LB: -8650686 @ 1118.8 1139.67 c Restart #23 #Var: 673 LB: -8650686 @ 1139.2 1140.49 c Restart #24 #Var: 673 LB: -8650686 @ 1140 1145.92 c Restart #25 #Var: 673 LB: -8650686 @ 1145.5 1147.37 c Restart #26 #Var: 673 LB: -8650686 @ 1146.9 1170.94 c Restart #27 #Var: 673 LB: -8650686 @ 1170.5 1173.65 c Restart #28 #Var: 673 LB: -8650686 @ 1173.2 1181.23 c Restart #29 #Var: 673 LB: -8650686 @ 1180.8 1184.94 c Restart #30 #Var: 673 LB: -8650686 @ 1184.5 1221.35 c Restart #31 #Var: 673 LB: -8650686 @ 1220.9 1222.77 c Restart #32 #Var: 673 LB: -8650686 @ 1222.3 1262.68 c Restart #33 #Var: 673 LB: -8650686 @ 1262.2 1266.81 c Restart #34 #Var: 673 LB: -8650686 @ 1266.3 1301.80 c Restart #35 #Var: 673 LB: -8650686 @ 1301.3 1304.71 c Restart #36 #Var: 673 LB: -8650686 @ 1304.2 1309.88 c Restart #37 #Var: 673 LB: -8650686 @ 1309.4 1348.10 c Restart #38 #Var: 673 LB: -8650686 @ 1347.6 1350.78 c Restart #39 #Var: 673 LB: -8650686 @ 1350.3 1354.36 c Restart #40 #Var: 673 LB: -8650686 @ 1353.8 1360.26 c Restart #41 #Var: 673 LB: -8650686 @ 1359.7 1362.61 c Restart #42 #Var: 673 LB: -8650686 @ 1362.1 1364.29 c Restart #43 #Var: 673 LB: -8650686 @ 1363.8 1420.92 c Restart #44 #Var: 673 LB: -8650686 @ 1420.4 1452.54 c Restart #45 #Var: 673 LB: -8650686 @ 1452 1462.66 c Restart #46 #Var: 673 LB: -8650686 @ 1462.1 1471.56 c Restart #47 #Var: 673 LB: -8650686 @ 1471 1475.67 c Restart #48 #Var: 673 LB: -8650686 @ 1475.1 1477.58 c Restart #49 #Var: 673 LB: -8650686 @ 1477 1528.18 c Restart #50 #Var: 673 LB: -8650686 @ 1527.6 1530.35 c Restart #51 #Var: 673 LB: -8650686 @ 1529.8 1532.69 c Restart #52 #Var: 673 LB: -8650686 @ 1532.1 1537.87 c Restart #53 #Var: 673 LB: -8650686 @ 1537.3 1548.32 c Restart #54 #Var: 673 LB: -8650686 @ 1547.7 1550.65 c Restart #55 #Var: 673 LB: -8650686 @ 1550 1553.31 c Restart #56 #Var: 673 LB: -8650686 @ 1552.7 1555.58 c Restart #57 #Var: 673 LB: -8650686 @ 1555 1562.58 c Restart #58 #Var: 673 LB: -8650686 @ 1562 1636.62 c Restart #59 #Var: 673 LB: -8650686 @ 1636 1639.03 c Restart #60 #Var: 673 LB: -8650686 @ 1638.4 1650.84 c Restart #61 #Var: 673 LB: -8650686 @ 1650.2 1665.63 c Restart #62 #Var: 673 LB: -8650686 @ 1665 1668.28 c Restart #63 #Var: 673 LB: -8650686 @ 1667.6 1673.15 c Restart #64 #Var: 673 LB: -8650686 @ 1672.5 1733.69 c Restart #65 #Var: 673 LB: -8650686 @ 1733 1740.34 c Restart #66 #Var: 673 LB: -8650686 @ 1739.7 1747.52 c Restart #67 #Var: 673 LB: -8650686 @ 1746.8 1766.63 c Restart #68 #Var: 673 LB: -8650686 @ 1766 1795.75 c Restart #69 #Var: 673 LB: -8650686 @ 1795.1 1800.69 s SATISFIABLE 1800.69 c Cost: 0 1800.69 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x691 -x692 -x693 1800.69 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1800.69 v -x731 -x732 -x733 -x734 -x735 -x736 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x633 -x634 1800.69 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 1800.69 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 1800.69 v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.69 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 1800.69 v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x827 -x828 -x829 1800.69 v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 1800.69 v -x851 -x852 -x853 -x854 -x855 -x856 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 1800.69 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1800.69 v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x255 -x256 -x257 -x258 1800.69 v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 1800.69 v -x280 -x281 -x282 -x283 -x284 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.69 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.69 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.69 v -x463 -x464 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 1800.69 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.69 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x31 1800.69 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1800.69 v -x58 -x59 -x60 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 1800.69 v -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 1800.69 v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 1800.69 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 1800.69 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 1800.69 v -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x465 -x466 -x467 1800.69 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.69 v -x489 -x490 -x491 -x492 -x493 -x494 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1800.69 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x887 -x888 -x889 -x890 -x891 -x892 1800.69 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 1800.69 v -x914 -x915 -x916 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.69 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.69 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x225 -x226 -x227 -x228 -x229 1800.69 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 1800.69 v -x251 -x252 -x253 -x254 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 1800.69 v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 1800.69 v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 1800.69 v -x434 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 1800.69 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 1800.69 v -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x767 -x768 1800.69 v -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 1800.69 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 1800.69 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x797 -x798 -x799 -x800 -x801 1800.69 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 1800.69 v -x823 -x824 -x825 -x826 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 1800.69 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1800.69 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1800.69 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1800.69 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.69 v -x1093 -x1094 -x1095 -x1096 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 1800.69 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1800.69 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.69 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1800.69 c Exit Code: 10 1800.69 c Total time: 1800 s
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-40666-1149311042 -o ROOT/results/node37/solver-40666-1149311042 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node37/40666-1149311042/instance-40666-1149311042.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.79 0.95 0.98 2/64 31252 /proc/meminfo: memFree=1623256/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=4928 CPUtime=0 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 290 0 0 0 0 0 0 0 18 0 1 0 196770401 5046272 259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 1232 259 169 55 0 124 0 [startup+10.0015 s] /proc/loadavg: 0.82 0.95 0.98 2/64 31252 /proc/meminfo: memFree=1497136/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=130532 CPUtime=9.96 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 31880 0 0 0 970 26 0 0 25 0 1 0 196770401 133664768 31794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 32633 31794 297 55 0 31525 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 130532 [startup+20.0074 s] /proc/loadavg: 0.85 0.95 0.98 2/64 31252 /proc/meminfo: memFree=1495408/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=132352 CPUtime=19.96 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 32334 0 0 0 1967 29 0 0 25 0 1 0 196770401 135528448 32248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 33088 32248 297 55 0 31980 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 132352 [startup+30.0133 s] /proc/loadavg: 0.87 0.96 0.98 2/64 31252 /proc/meminfo: memFree=1494512/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=133400 CPUtime=29.97 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 32572 0 0 0 2965 32 0 0 25 0 1 0 196770401 136601600 32486 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 33350 32486 297 55 0 32242 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 133400 [startup+40.0192 s] /proc/loadavg: 0.89 0.96 0.98 2/64 31252 /proc/meminfo: memFree=1493552/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=134328 CPUtime=39.96 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 32823 0 0 0 3962 34 0 0 25 0 1 0 196770401 137551872 32735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 33582 32735 297 55 0 32474 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 134328 [startup+50.0251 s] /proc/loadavg: 0.91 0.96 0.98 2/64 31252 /proc/meminfo: memFree=1490416/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=137432 CPUtime=49.96 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 33605 0 0 0 4959 37 0 0 25 0 1 0 196770401 140730368 33517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 34358 33517 297 55 0 33250 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 137432 [startup+60.0309 s] /proc/loadavg: 0.92 0.96 0.98 2/64 31252 /proc/meminfo: memFree=1490416/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=137432 CPUtime=59.97 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 33605 0 0 0 5958 39 0 0 25 0 1 0 196770401 140730368 33517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 34358 33517 297 55 0 33250 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 137432 [startup+70.0378 s] /proc/loadavg: 0.93 0.96 0.98 2/64 31252 /proc/meminfo: memFree=1489264/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=138620 CPUtime=69.97 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 33892 0 0 0 6957 40 0 0 25 0 1 0 196770401 141946880 33804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 34655 33804 297 55 0 33547 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 138620 [startup+80.0447 s] /proc/loadavg: 0.94 0.96 0.98 2/64 31252 /proc/meminfo: memFree=1488752/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=139144 CPUtime=79.98 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 34027 0 0 0 7955 43 0 0 25 0 1 0 196770401 142483456 33939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 34786 33939 297 55 0 33678 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 139144 [startup+90.0506 s] /proc/loadavg: 0.95 0.96 0.98 2/64 31252 /proc/meminfo: memFree=1487472/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=140476 CPUtime=89.97 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 34355 0 0 0 8952 45 0 0 25 0 1 0 196770401 143847424 34267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 35119 34267 297 55 0 34011 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 140476 [startup+100.056 s] /proc/loadavg: 0.96 0.96 0.98 2/64 31252 /proc/meminfo: memFree=1483312/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=144548 CPUtime=99.98 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 35381 0 0 0 9948 50 0 0 25 0 1 0 196770401 148017152 35293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 36137 35293 297 55 0 35029 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 144548 [startup+110.063 s] /proc/loadavg: 0.96 0.96 0.98 2/64 31252 /proc/meminfo: memFree=1480688/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=147196 CPUtime=109.98 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 36040 0 0 0 10946 52 0 0 25 0 1 0 196770401 150728704 35952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 36799 35952 297 55 0 35691 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 147196 [startup+120.07 s] /proc/loadavg: 0.97 0.96 0.98 2/64 31252 /proc/meminfo: memFree=1479152/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=148760 CPUtime=119.98 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 36414 0 0 0 11945 53 0 0 25 0 1 0 196770401 152330240 36326 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 37190 36326 297 55 0 36082 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 148760 [startup+130.076 s] /proc/loadavg: 0.97 0.97 0.98 2/64 31252 /proc/meminfo: memFree=1478384/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=149548 CPUtime=129.99 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 36615 0 0 0 12945 54 0 0 25 0 1 0 196770401 153137152 36527 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 37387 36527 297 55 0 36279 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 149548 [startup+140.082 s] /proc/loadavg: 0.98 0.97 0.98 2/64 31252 /proc/meminfo: memFree=1476720/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=151124 CPUtime=139.99 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 37016 0 0 0 13944 55 0 0 25 0 1 0 196770401 154750976 36928 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 37781 36928 297 55 0 36673 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 151124 [startup+150.089 s] /proc/loadavg: 0.98 0.97 0.98 2/64 31252 /proc/meminfo: memFree=1474992/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=152760 CPUtime=150 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 37443 0 0 0 14943 57 0 0 25 0 1 0 196770401 156426240 37355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 38190 37355 297 55 0 37082 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 152760 [startup+160.095 s] /proc/loadavg: 0.98 0.97 0.98 2/64 31252 /proc/meminfo: memFree=1474416/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=153428 CPUtime=159.99 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 37584 0 0 0 15941 58 0 0 25 0 1 0 196770401 157110272 37496 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 38357 37496 297 55 0 37249 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 153428 [startup+170.101 s] /proc/loadavg: 0.98 0.97 0.98 2/64 31252 /proc/meminfo: memFree=1472368/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=155408 CPUtime=170 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 38095 0 0 0 16940 60 0 0 25 0 1 0 196770401 159137792 38007 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 38852 38007 297 55 0 37744 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 155408 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31252 /proc/meminfo: memFree=1470960/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=156988 CPUtime=180.01 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 38472 0 0 0 17940 61 0 0 25 0 1 0 196770401 160755712 38384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 39247 38384 297 55 0 38139 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 156988 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31252 /proc/meminfo: memFree=1470320/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=157468 CPUtime=190 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 38616 0 0 0 18939 61 0 0 25 0 1 0 196770401 161247232 38528 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158103513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 39367 38528 297 55 0 38259 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 157468 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31252 /proc/meminfo: memFree=1469360/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=158516 CPUtime=200.01 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 38856 0 0 0 19938 63 0 0 25 0 1 0 196770401 162320384 38768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 39629 38768 297 55 0 38521 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 158516 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31252 /proc/meminfo: memFree=1469296/2055920 swapFree=4181380/4192956 ################ # More data... # ################ /proc/31252/statm: 57907 57051 298 55 0 56799 0 Current children cumulated CPU time (s) 1760.38 Current children cumulated vsize (Kb) 231628 [startup+1771.07 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395696/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=231744 CPUtime=1770.38 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57179 0 0 0 176853 185 0 0 25 0 1 0 196770401 237305856 57069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 57936 57069 298 55 0 56828 0 Current children cumulated CPU time (s) 1770.38 Current children cumulated vsize (Kb) 231744 [startup+1781.07 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395376/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232008 CPUtime=1780.38 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57248 0 0 0 177853 185 0 0 25 0 1 0 196770401 237576192 57138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58002 57138 298 55 0 56894 0 Current children cumulated CPU time (s) 1780.38 Current children cumulated vsize (Kb) 232008 [startup+1782.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395376/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232008 CPUtime=1781.38 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57253 0 0 0 177953 185 0 0 25 0 1 0 196770401 237576192 57143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58002 57143 298 55 0 56894 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 232008 [startup+1783.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395376/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232008 CPUtime=1782.39 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57256 0 0 0 178054 185 0 0 25 0 1 0 196770401 237576192 57146 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58002 57146 298 55 0 56894 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 232008 [startup+1784.09 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395376/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232008 CPUtime=1783.39 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57256 0 0 0 178154 185 0 0 25 0 1 0 196770401 237576192 57146 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58002 57146 298 55 0 56894 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 232008 [startup+1785.09 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232008 CPUtime=1784.4 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57258 0 0 0 178255 185 0 0 25 0 1 0 196770401 237576192 57148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58002 57148 298 55 0 56894 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 232008 [startup+1786.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232008 CPUtime=1785.4 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57262 0 0 0 178355 185 0 0 25 0 1 0 196770401 237576192 57152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58002 57152 298 55 0 56894 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 232008 [startup+1787.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232008 CPUtime=1786.4 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57263 0 0 0 178455 185 0 0 25 0 1 0 196770401 237576192 57153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58002 57153 298 55 0 56894 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 232008 [startup+1788.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232008 CPUtime=1787.41 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57266 0 0 0 178556 185 0 0 25 0 1 0 196770401 237576192 57156 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58002 57156 298 55 0 56894 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 232008 [startup+1789.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232008 CPUtime=1788.42 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57266 0 0 0 178656 186 0 0 25 0 1 0 196770401 237576192 57156 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11964568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58002 57156 298 55 0 56894 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 232008 [startup+1790.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232008 CPUtime=1789.43 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57268 0 0 0 178757 186 0 0 25 0 1 0 196770401 237576192 57158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58002 57158 298 55 0 56894 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 232008 [startup+1791.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232140 CPUtime=1790.43 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57272 0 0 0 178857 186 0 0 25 0 1 0 196770401 237711360 57162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58035 57162 298 55 0 56927 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 232140 [startup+1792.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232128 CPUtime=1791.43 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57272 0 0 0 178957 186 0 0 25 0 1 0 196770401 237699072 57162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58032 57162 298 55 0 56924 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 232128 [startup+1793.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232128 CPUtime=1792.44 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57272 0 0 0 179058 186 0 0 25 0 1 0 196770401 237699072 57162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58032 57162 298 55 0 56924 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 232128 [startup+1794.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232128 CPUtime=1793.44 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57272 0 0 0 179158 186 0 0 25 0 1 0 196770401 237699072 57162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58032 57162 298 55 0 56924 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 232128 [startup+1795.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232128 CPUtime=1794.45 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57277 0 0 0 179259 186 0 0 25 0 1 0 196770401 237699072 57167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58032 57167 298 55 0 56924 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 232128 [startup+1796.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232120 CPUtime=1795.45 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57277 0 0 0 179359 186 0 0 25 0 1 0 196770401 237690880 57167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58030 57167 298 55 0 56922 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 232120 [startup+1797.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232120 CPUtime=1796.45 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57277 0 0 0 179459 186 0 0 25 0 1 0 196770401 237690880 57167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551624 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58030 57167 298 55 0 56922 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 232120 [startup+1798.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232120 CPUtime=1797.46 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57277 0 0 0 179560 186 0 0 25 0 1 0 196770401 237690880 57167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58030 57167 298 55 0 56922 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (Kb) 232120 [startup+1799.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232120 CPUtime=1798.46 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57278 0 0 0 179660 186 0 0 25 0 1 0 196770401 237690880 57168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58030 57168 298 55 0 56922 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 232120 [startup+1800.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 31252 /proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956 [pid=31252] ppid=31250 vsize=232120 CPUtime=1799.46 /proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57278 0 0 0 179760 186 0 0 25 0 1 0 196770401 237690880 57168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31252/statm: 58030 57168 298 55 0 56922 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 232120 Child status: 10 Real time (s): 1800.73 CPU time (s): 1800.04 CPU user time (s): 1798.13 CPU system time (s): 1.90571 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (Kb): 232140
Begin job on node37 on Sat Jun 3 05:04:02 UTC 2006 FILE ID= 40666-1149311042 PBS_JOBID= 307977 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node37/40666-1149311042/instance-40666-1149311042.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-40666-1149311042 -o ROOT/results/node37/solver-40666-1149311042 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node37/40666-1149311042/instance-40666-1149311042.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7bb51fb18714f8fdd98e0de4fc62f6d8 RANDOM SEED= 905471982 /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.281 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.281 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: 2055920 kB MemFree: 1623528 kB Buffers: 23328 kB Cached: 338864 kB SwapCached: 3308 kB Active: 54824 kB Inactive: 316140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1623528 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 316 kB Writeback: 0 kB Mapped: 14932 kB Slab: 47484 kB Committed_AS: 262516 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node37 on Sat Jun 3 05:34:03 UTC 2006