Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.14 | 1800.86 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow7.opb |
MD5SUM | 8d33b9e58f24eb64e3fc155c85c275f1 |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 1782.74 |
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 | 7994 |
Total number of constraints | 420 |
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 | 420 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 623 |
Biggest coefficient in the objective function | 28673 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524874 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 256781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524874 |
Number of bits of the biggest sum of numbers | 20 |
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.01 c INFO: OSL Context initialized. 0.35 c Initial problem consists of 7994 variables and 560 constraints. 0.38 c No problem reductions applied in OPT. instance. 0.38 c preprocess terminated. Elapsed time: 0.375 0.38 c After prepocess the problem consists of 7994 variables and 560 constraints. 0.38 c Initial Lower Bound: -524874 0.60 c Restart #1 #Var: 7994 LB: -524874 @ 0.588 0.85 c Restart #2 #Var: 7994 LB: -524874 @ 0.839 1.25 c Restart #3 #Var: 7994 LB: -524874 @ 1.244 1.80 c Restart #4 #Var: 7994 LB: -524874 @ 1.786 2.47 c Restart #5 #Var: 7994 LB: -524874 @ 2.465 3.24 c Restart #6 #Var: 7994 LB: -524874 @ 3.226 4.39 c Restart #7 #Var: 7994 LB: -524874 @ 4.379 5.40 c Restart #8 #Var: 7994 LB: -524874 @ 5.387 6.26 c Restart #9 #Var: 7994 LB: -524874 @ 6.254 6.90 c Restart #10 #Var: 7993 LB: -524874 @ 6.888 7.49 c Restart #11 #Var: 7993 LB: -524874 @ 7.479 8.27 c Restart #12 #Var: 7993 LB: -524874 @ 8.255 8.73 c Restart #13 #Var: 7993 LB: -524874 @ 8.721 9.20 c Restart #14 #Var: 7993 LB: -524874 @ 9.191 9.69 c Restart #15 #Var: 7993 LB: -524874 @ 9.679 10.38 c Restart #16 #Var: 7992 LB: -524874 @ 10.367 10.80 c Restart #17 #Var: 7992 LB: -524874 @ 10.781 11.47 c Restart #18 #Var: 7992 LB: -524874 @ 11.453 12.51 c Restart #19 #Var: 7992 LB: -524874 @ 12.494 13.40 c Restart #20 #Var: 7992 LB: -524874 @ 13.387 14.54 c Restart #21 #Var: 7992 LB: -524874 @ 14.519 15.90 c Restart #22 #Var: 7991 LB: -524874 @ 15.881 16.73 c Restart #23 #Var: 7991 LB: -524874 @ 16.714 18.78 c Restart #24 #Var: 7991 LB: -524874 @ 18.766 20.47 c Restart #25 #Var: 7991 LB: -524874 @ 20.451 24.66 c Restart #26 #Var: 7991 LB: -524874 @ 24.638 27.35 c Restart #27 #Var: 7989 LB: -524874 @ 27.323 28.93 c Restart #28 #Var: 7989 LB: -524874 @ 28.904 32.49 c Restart #29 #Var: 7989 LB: -524874 @ 32.462 35.22 c Restart #30 #Var: 7989 LB: -524874 @ 35.194 37.75 c Restart #31 #Var: 7989 LB: -524874 @ 37.721 40.23 c Restart #32 #Var: 7989 LB: -524874 @ 40.207 43.32 c Restart #33 #Var: 7988 LB: -524874 @ 43.29 47.59 c Restart #34 #Var: 7987 LB: -524874 @ 47.563 52.77 c Restart #35 #Var: 7987 LB: -524874 @ 52.737 57.39 c Restart #36 #Var: 7987 LB: -524874 @ 57.353 61.13 c Restart #37 #Var: 7984 LB: -524874 @ 61.093 65.24 c Restart #38 #Var: 7984 LB: -524874 @ 65.201 74.09 c Restart #39 #Var: 7984 LB: -524874 @ 74.054 79.61 c Restart #40 #Var: 7984 LB: -524874 @ 79.565 84.43 c Restart #41 #Var: 7984 LB: -524874 @ 84.392 89.44 c Restart #42 #Var: 7982 LB: -524874 @ 89.396 95.00 c Restart #43 #Var: 7982 LB: -524874 @ 94.955 101.81 c Restart #44 #Var: 7982 LB: -524874 @ 101.76 132.76 c Restart #45 #Var: 7982 LB: -524874 @ 132.7 141.45 c Restart #46 #Var: 7982 LB: -524874 @ 141.39 156.74 c Restart #47 #Var: 7982 LB: -524874 @ 156.67 165.70 c Restart #48 #Var: 7982 LB: -524874 @ 165.63 170.21 c Restart #49 #Var: 7982 LB: -524874 @ 170.14 177.95 c Restart #50 #Var: 7982 LB: -524874 @ 177.87 190.86 c Restart #51 #Var: 7982 LB: -524874 @ 190.78 201.40 c Restart #52 #Var: 7982 LB: -524874 @ 201.32 212.53 c Restart #53 #Var: 7982 LB: -524874 @ 212.45 222.73 c Restart #54 #Var: 7982 LB: -524874 @ 222.64 228.24 c Restart #55 #Var: 7982 LB: -524874 @ 228.15 239.98 c Restart #56 #Var: 7982 LB: -524874 @ 239.88 249.19 c Restart #57 #Var: 7982 LB: -524874 @ 249.09 267.70 c Restart #58 #Var: 7982 LB: -524874 @ 267.59 286.07 c Restart #59 #Var: 7982 LB: -524874 @ 285.95 301.76 c Restart #60 #Var: 7982 LB: -524874 @ 301.64 317.96 c Restart #61 #Var: 7982 LB: -524874 @ 317.83 330.29 c Restart #62 #Var: 7982 LB: -524874 @ 330.16 351.11 c Restart #63 #Var: 7982 LB: -524874 @ 350.98 374.63 c Restart #64 #Var: 7982 LB: -524874 @ 374.49 384.57 c Restart #65 #Var: 7982 LB: -524874 @ 384.4 401.78 c Restart #66 #Var: 7982 LB: -524874 @ 401.55 432.27 c Restart #67 #Var: 7982 LB: -524874 @ 432.03 470.15 c Restart #68 #Var: 7982 LB: -524874 @ 469.9 505.32 c Restart #69 #Var: 7982 LB: -524874 @ 505.05 547.73 c Restart #70 #Var: 7982 LB: -524874 @ 547.45 587.13 c Restart #71 #Var: 7982 LB: -524874 @ 586.84 600.92 c Restart #72 #Var: 7982 LB: -524874 @ 600.62 634.06 c Restart #73 #Var: 7982 LB: -524874 @ 633.75 678.02 c Restart #74 #Var: 7982 LB: -524874 @ 677.7 727.85 c Restart #75 #Var: 7982 LB: -524874 @ 727.51 766.34 c Restart #76 #Var: 7982 LB: -524874 @ 765.98 800.51 c Restart #77 #Var: 7982 LB: -524874 @ 800.14 856.13 c Restart #78 #Var: 7982 LB: -524874 @ 855.74 912.11 c CHANGE Heuristic... 912.11 c Restart #0 #Var: 7982 LB: -524874 @ 911.7 912.37 c Restart #1 #Var: 7982 LB: -524874 @ 911.96 912.57 c Restart #2 #Var: 7982 LB: -524874 @ 912.17 912.70 c Restart #3 #Var: 7977 LB: -524874 @ 912.29 913.02 c Restart #4 #Var: 7976 LB: -524874 @ 912.62 913.21 c Restart #5 #Var: 7974 LB: -524874 @ 912.8 913.76 c Restart #6 #Var: 7974 LB: -524874 @ 913.35 914.09 c Restart #7 #Var: 7974 LB: -524874 @ 913.68 914.75 c Restart #8 #Var: 7974 LB: -524874 @ 914.34 915.96 c Restart #9 #Var: 7974 LB: -524874 @ 915.55 917.32 c Restart #10 #Var: 7974 LB: -524874 @ 916.91 919.70 c Restart #11 #Var: 7974 LB: -524874 @ 919.29 921.36 c Restart #12 #Var: 7974 LB: -524874 @ 920.95 923.29 c Restart #13 #Var: 7974 LB: -524874 @ 922.88 926.27 c Restart #14 #Var: 7974 LB: -524874 @ 925.86 931.94 c Restart #15 #Var: 7974 LB: -524874 @ 931.52 933.67 c Restart #16 #Var: 7974 LB: -524874 @ 933.25 937.86 c Restart #17 #Var: 7974 LB: -524874 @ 937.45 941.29 c Restart #18 #Var: 7974 LB: -524874 @ 940.88 945.73 c Restart #19 #Var: 7974 LB: -524874 @ 945.31 954.22 c Restart #20 #Var: 7974 LB: -524874 @ 953.8 961.50 c Restart #21 #Var: 7974 LB: -524874 @ 961.08 966.54 c Restart #22 #Var: 7974 LB: -524874 @ 966.11 973.64 c Restart #23 #Var: 7974 LB: -524874 @ 973.21 978.47 c Restart #24 #Var: 7974 LB: -524874 @ 978.04 987.41 c Restart #25 #Var: 7974 LB: -524874 @ 986.97 996.75 c Restart #26 #Var: 7974 LB: -524874 @ 996.31 1005.87 c Restart #27 #Var: 7974 LB: -524874 @ 1005.4 1010.87 c Restart #28 #Var: 7974 LB: -524874 @ 1010.4 1016.48 c Restart #29 #Var: 7974 LB: -524874 @ 1016 1028.34 c Restart #30 #Var: 7974 LB: -524874 @ 1027.9 1037.04 c Restart #31 #Var: 7974 LB: -524874 @ 1036.6 1046.87 c Restart #32 #Var: 7974 LB: -524874 @ 1046.4 1058.75 c Restart #33 #Var: 7974 LB: -524874 @ 1058.3 1069.79 c Restart #34 #Var: 7974 LB: -524874 @ 1069.3 1076.91 c Restart #35 #Var: 7974 LB: -524874 @ 1076.5 1087.14 c Restart #36 #Var: 7974 LB: -524874 @ 1086.7 1095.20 c Restart #37 #Var: 7974 LB: -524874 @ 1094.7 1103.19 c Restart #38 #Var: 7974 LB: -524874 @ 1102.7 1119.87 c Restart #39 #Var: 7974 LB: -524874 @ 1119.4 1140.66 c Restart #40 #Var: 7974 LB: -524874 @ 1140.2 1161.86 c Restart #41 #Var: 7974 LB: -524874 @ 1161.4 1174.52 c Restart #42 #Var: 7974 LB: -524874 @ 1174 1192.02 c Restart #43 #Var: 7974 LB: -524874 @ 1191.5 1208.85 c Restart #44 #Var: 7974 LB: -524874 @ 1208.3 1219.27 c Restart #45 #Var: 7974 LB: -524874 @ 1218.8 1243.63 c Restart #46 #Var: 7974 LB: -524874 @ 1243.1 1264.49 c Restart #47 #Var: 7974 LB: -524874 @ 1264 1287.53 c Restart #48 #Var: 7974 LB: -524874 @ 1287 1293.97 c Restart #49 #Var: 7974 LB: -524874 @ 1293.4 1321.61 c Restart #50 #Var: 7974 LB: -524874 @ 1321.1 1358.57 c Restart #51 #Var: 7974 LB: -524874 @ 1358 1385.36 c Restart #52 #Var: 7974 LB: -524874 @ 1384.8 1428.09 c Restart #53 #Var: 7974 LB: -524874 @ 1427.5 1464.07 c Restart #54 #Var: 7974 LB: -524874 @ 1463.5 1490.89 c Restart #55 #Var: 7974 LB: -524874 @ 1490.3 1499.46 c Restart #56 #Var: 7974 LB: -524874 @ 1498.8 1535.21 c Restart #57 #Var: 7974 LB: -524874 @ 1534.6 1561.58 c Restart #58 #Var: 7974 LB: -524874 @ 1560.9 1614.29 c Restart #59 #Var: 7974 LB: -524874 @ 1613.6 1657.44 c Restart #60 #Var: 7974 LB: -524874 @ 1656.8 1700.93 c Restart #61 #Var: 7974 LB: -524874 @ 1700.2 1759.08 c Restart #62 #Var: 7974 LB: -524874 @ 1758.4 1786.70 c Restart #63 #Var: 7974 LB: -524874 @ 1786 1800.71 s UNKNOWN 1800.71 c Exit Code: 0 1800.72 c Total time: 1800 s
ERROR: no interpretation found !
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/node41/watcher-39967-1149342884 -o ROOT/results/node41/solver-39967-1149342884 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/39967-1149342884/instance-39967-1149342884.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.94 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1758064/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=2900 CPUtime=0 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 199954990 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1962788 0 0 4096 0 0 0 0 17 1 0 0 /proc/4816/statm: 725 27 19 55 0 38 0 [startup+10.0024 s] /proc/loadavg: 0.95 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1736368/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=26468 CPUtime=9.98 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 5820 0 0 0 971 27 0 0 25 0 1 0 199954990 27103232 5730 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 6617 5730 297 55 0 5509 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 26468 [startup+20.0081 s] /proc/loadavg: 0.96 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1702640/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=60100 CPUtime=19.98 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 14238 0 0 0 1964 34 0 0 25 0 1 0 199954990 61542400 14148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 15025 14148 297 55 0 13917 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 60100 [startup+30.0138 s] /proc/loadavg: 0.96 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1688368/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=74224 CPUtime=29.98 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 17789 0 0 0 2960 38 0 0 25 0 1 0 199954990 76005376 17699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 18556 17699 297 55 0 17448 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 74224 [startup+40.0194 s] /proc/loadavg: 0.97 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1673776/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=88816 CPUtime=39.98 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 21476 0 0 0 3954 44 0 0 25 0 1 0 199954990 90947584 21338 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 22204 21338 297 55 0 21096 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 88816 [startup+50.0251 s] /proc/loadavg: 0.97 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1657584/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=105056 CPUtime=49.98 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 25512 0 0 0 4949 49 0 0 25 0 1 0 199954990 107577344 25374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 26264 25374 297 55 0 25156 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 105056 [startup+60.0308 s] /proc/loadavg: 0.98 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1644848/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=117720 CPUtime=59.99 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 28699 0 0 0 5945 54 0 0 25 0 1 0 199954990 120545280 28561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 29430 28561 297 55 0 28322 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 117720 [startup+70.0365 s] /proc/loadavg: 0.98 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1633264/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=129212 CPUtime=69.99 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 31576 0 0 0 6939 60 0 0 25 0 1 0 199954990 132313088 31438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 32303 31438 297 55 0 31195 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 129212 [startup+80.0422 s] /proc/loadavg: 0.98 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1622576/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=140036 CPUtime=79.99 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 34252 0 0 0 7935 64 0 0 25 0 1 0 199954990 143396864 34114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 35009 34114 297 55 0 33901 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 140036 [startup+90.0479 s] /proc/loadavg: 0.98 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1611568/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=150968 CPUtime=89.99 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 36991 0 0 0 8932 67 0 0 25 0 1 0 199954990 154591232 36853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 37742 36853 297 55 0 36634 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 150968 [startup+100.054 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1601456/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=161008 CPUtime=100 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 39507 0 0 0 9929 71 0 0 25 0 1 0 199954990 164872192 39369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 40252 39369 297 55 0 39144 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 161008 [startup+110.059 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1599024/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=163516 CPUtime=110 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 40140 0 0 0 10927 73 0 0 25 0 1 0 199954990 167440384 40002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 40879 40002 297 55 0 39771 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 163516 [startup+120.065 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1595184/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=167344 CPUtime=120 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 41093 0 0 0 11926 74 0 0 25 0 1 0 199954990 171360256 40955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 41836 40955 297 55 0 40728 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 167344 [startup+130.072 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1591280/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=171320 CPUtime=130 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 42064 0 0 0 12926 74 0 0 25 0 1 0 199954990 175431680 41925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 42830 41925 297 55 0 41722 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 171320 [startup+140.078 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1586224/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=176336 CPUtime=140.01 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 43322 0 0 0 13924 77 0 0 25 0 1 0 199954990 180568064 43183 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 44084 43183 297 55 0 42976 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 176336 [startup+150.085 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1580080/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=182408 CPUtime=150.01 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 44853 0 0 0 14921 80 0 0 25 0 1 0 199954990 186785792 44714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 45602 44714 297 55 0 44494 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 182408 [startup+160.091 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1572656/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=189800 CPUtime=160.01 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 46709 0 0 0 15918 83 0 0 25 0 1 0 199954990 194355200 46570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 47450 46570 297 55 0 46342 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 189800 [startup+170.097 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1556464/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=206036 CPUtime=170.01 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 50747 0 0 0 16913 88 0 0 25 0 1 0 199954990 210980864 50608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 51509 50608 297 55 0 50401 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 206036 [startup+180.104 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1547440/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=215020 CPUtime=180.02 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 52989 0 0 0 17910 92 0 0 25 0 1 0 199954990 220180480 52850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 53755 52850 297 55 0 52647 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 215020 [startup+190.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1539376/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=223072 CPUtime=190.02 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 55014 0 0 0 18907 95 0 0 25 0 1 0 199954990 228425728 54875 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 55768 54875 297 55 0 54660 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 223072 [startup+200.115 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1530160/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=232184 CPUtime=200.03 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 57303 0 0 0 19904 99 0 0 25 0 1 0 199954990 237756416 57164 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 58046 57164 297 55 0 56938 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 232184 [startup+210.122 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4816 /proc/meminfo: memFree=1523376/2055920 swapFree=4180964/4192956 ################ # More data... # ################ /proc/4816/statm: 221721 220377 297 55 0 220613 0 Current children cumulated CPU time (s) 1760.32 Current children cumulated vsize (Kb) 886884 [startup+1771.03 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=872048/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=890448 CPUtime=1770.32 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 221409 0 0 0 176653 379 0 0 25 0 1 0 199954990 911818752 221254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 222612 221254 297 55 0 221504 0 Current children cumulated CPU time (s) 1770.32 Current children cumulated vsize (Kb) 890448 [startup+1781.03 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=867888/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=894668 CPUtime=1780.31 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222462 0 0 0 177651 380 0 0 25 0 1 0 199954990 916140032 222307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 223667 222307 297 55 0 222559 0 Current children cumulated CPU time (s) 1780.31 Current children cumulated vsize (Kb) 894668 [startup+1782.04 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=867504/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=895064 CPUtime=1781.33 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222566 0 0 0 177752 381 0 0 25 0 1 0 199954990 916545536 222411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 223766 222411 297 55 0 222658 0 Current children cumulated CPU time (s) 1781.33 Current children cumulated vsize (Kb) 895064 [startup+1783.04 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=867184/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=895328 CPUtime=1782.33 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222637 0 0 0 177852 381 0 0 25 0 1 0 199954990 916815872 222482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 223832 222482 297 55 0 222724 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (Kb) 895328 [startup+1784.05 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=866800/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=895724 CPUtime=1783.33 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222731 0 0 0 177952 381 0 0 25 0 1 0 199954990 917221376 222576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 223931 222576 297 55 0 222823 0 Current children cumulated CPU time (s) 1783.33 Current children cumulated vsize (Kb) 895724 [startup+1785.06 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=866480/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=896120 CPUtime=1784.34 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222816 0 0 0 178053 381 0 0 25 0 1 0 199954990 917626880 222661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224030 222661 297 55 0 222922 0 Current children cumulated CPU time (s) 1784.34 Current children cumulated vsize (Kb) 896120 [startup+1786.06 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=866096/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=896516 CPUtime=1785.34 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222910 0 0 0 178153 381 0 0 25 0 1 0 199954990 918032384 222755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224129 222755 297 55 0 223021 0 Current children cumulated CPU time (s) 1785.34 Current children cumulated vsize (Kb) 896516 [startup+1787.06 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=865776/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=896800 CPUtime=1786.35 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222991 0 0 0 178254 381 0 0 25 0 1 0 199954990 918323200 222836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224200 222836 297 55 0 223092 0 Current children cumulated CPU time (s) 1786.35 Current children cumulated vsize (Kb) 896800 [startup+1788.07 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=865520/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=897064 CPUtime=1787.34 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223057 0 0 0 178353 381 0 0 25 0 1 0 199954990 918593536 222901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224266 222901 297 55 0 223158 0 Current children cumulated CPU time (s) 1787.34 Current children cumulated vsize (Kb) 897064 [startup+1789.07 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=865200/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=897460 CPUtime=1788.35 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223136 0 0 0 178454 381 0 0 25 0 1 0 199954990 918999040 222980 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224365 222980 297 55 0 223257 0 Current children cumulated CPU time (s) 1788.35 Current children cumulated vsize (Kb) 897460 [startup+1790.08 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=865008/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=897592 CPUtime=1789.35 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223187 0 0 0 178554 381 0 0 25 0 1 0 199954990 919134208 223031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224398 223031 297 55 0 223290 0 Current children cumulated CPU time (s) 1789.35 Current children cumulated vsize (Kb) 897592 [startup+1791.08 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=864816/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=897724 CPUtime=1790.37 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223231 0 0 0 178655 382 0 0 25 0 1 0 199954990 919269376 223075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224431 223075 297 55 0 223323 0 Current children cumulated CPU time (s) 1790.37 Current children cumulated vsize (Kb) 897724 [startup+1792.09 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=864624/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=898000 CPUtime=1791.37 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223284 0 0 0 178755 382 0 0 25 0 1 0 199954990 919552000 223128 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224500 223128 297 55 0 223392 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (Kb) 898000 [startup+1793.09 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=864176/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=898528 CPUtime=1792.37 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223397 0 0 0 178855 382 0 0 25 0 1 0 199954990 920092672 223241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224632 223241 297 55 0 223524 0 Current children cumulated CPU time (s) 1792.37 Current children cumulated vsize (Kb) 898528 [startup+1794.1 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=863920/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=898660 CPUtime=1793.38 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223454 0 0 0 178956 382 0 0 25 0 1 0 199954990 920227840 223296 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224665 223296 297 55 0 223557 0 Current children cumulated CPU time (s) 1793.38 Current children cumulated vsize (Kb) 898660 [startup+1795.1 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=863728/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=898924 CPUtime=1794.38 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223511 0 0 0 179056 382 0 0 25 0 1 0 199954990 920498176 223353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224731 223353 297 55 0 223623 0 Current children cumulated CPU time (s) 1794.38 Current children cumulated vsize (Kb) 898924 [startup+1796.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=863536/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=899056 CPUtime=1795.39 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223560 0 0 0 179157 382 0 0 25 0 1 0 199954990 920633344 223402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224764 223402 297 55 0 223656 0 Current children cumulated CPU time (s) 1795.39 Current children cumulated vsize (Kb) 899056 [startup+1797.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=863280/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=899320 CPUtime=1796.39 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223619 0 0 0 179257 382 0 0 25 0 1 0 199954990 920903680 223461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224830 223461 297 55 0 223722 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (Kb) 899320 [startup+1798.12 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=863024/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=899584 CPUtime=1797.39 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223680 0 0 0 179357 382 0 0 25 0 1 0 199954990 921174016 223522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224896 223522 297 55 0 223788 0 Current children cumulated CPU time (s) 1797.39 Current children cumulated vsize (Kb) 899584 [startup+1799.12 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=862768/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=899848 CPUtime=1798.4 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223740 0 0 0 179458 382 0 0 25 0 1 0 199954990 921444352 223582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 224962 223582 297 55 0 223854 0 Current children cumulated CPU time (s) 1798.4 Current children cumulated vsize (Kb) 899848 [startup+1800.13 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5011 /proc/meminfo: memFree=862512/2055920 swapFree=4180964/4192956 [pid=4816] ppid=4814 vsize=900112 CPUtime=1799.41 /proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223807 0 0 0 179558 383 0 0 25 0 1 0 199954990 921714688 223649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4816/statm: 225028 223649 297 55 0 223920 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (Kb) 900112 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.14 CPU user time (s): 1796.17 CPU system time (s): 3.9694 CPU usage (%): 99.9601 Max. virtual memory (cumulated for all children) (Kb): 900112
Begin job on node41 on Sat Jun 3 13:54:44 UTC 2006 FILE ID= 39967-1149342884 PBS_JOBID= 310518 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow7.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/39967-1149342884/instance-39967-1149342884.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-39967-1149342884 -o ROOT/results/node41/solver-39967-1149342884 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/39967-1149342884/instance-39967-1149342884.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 8d33b9e58f24eb64e3fc155c85c275f1 RANDOM SEED= 278581354 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1758336 kB Buffers: 16392 kB Cached: 217304 kB SwapCached: 3692 kB Active: 55776 kB Inactive: 186648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1758336 kB SwapTotal: 4192956 kB SwapFree: 4180964 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14936 kB Slab: 41184 kB Committed_AS: 381956 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node41 on Sat Jun 3 14:24:45 UTC 2006