Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.12 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb |
MD5SUM | cbc7f776eebadde6a6228c5e168c70a1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 60930 |
Total number of constraints | 2157 |
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 | 2157 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 450 |
Number of terms in the objective function | 31770 |
Biggest coefficient in the objective function | 2474 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 550404 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 550404 |
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. 2.04 c Initial problem consists of 60930 variables and 3300 constraints. 2.32 c No problem reductions applied in OPT. instance. 2.32 c preprocess terminated. Elapsed time: 2.311 2.32 c After prepocess the problem consists of 48280 variables and 3300 constraints. 2.32 c Initial Lower Bound: -27546 2.70 c Restart #1 #Var: 48280 LB: -27546 @ 2.696 3.31 c Restart #2 #Var: 48280 LB: -27546 @ 3.301 4.07 c Restart #3 #Var: 48280 LB: -27546 @ 4.064 5.00 c Restart #4 #Var: 48280 LB: -27546 @ 4.991 5.91 c Restart #5 #Var: 48280 LB: -27546 @ 5.905 7.20 c Restart #6 #Var: 48280 LB: -27546 @ 7.192 9.02 c Restart #7 #Var: 48280 LB: -27546 @ 9.012 10.04 c Restart #8 #Var: 48280 LB: -27546 @ 10.031 10.44 c Restart #9 #Var: 48280 LB: -27546 @ 10.429 10.99 c Restart #10 #Var: 48280 LB: -27546 @ 10.982 11.27 c Restart #11 #Var: 48280 LB: -27546 @ 11.262 12.72 c Restart #12 #Var: 48252 LB: -27399 @ 12.708 13.53 c Restart #13 #Var: 48237 LB: -27374 @ 13.521 14.23 c Restart #14 #Var: 48237 LB: -27374 @ 14.215 16.99 c Restart #15 #Var: 48178 LB: -26998 @ 16.981 18.49 c Restart #16 #Var: 48178 LB: -26998 @ 18.477 19.74 c Restart #17 #Var: 48154 LB: -26985 @ 19.732 21.65 c Restart #18 #Var: 48154 LB: -26985 @ 21.633 22.76 c Restart #19 #Var: 48154 LB: -26985 @ 22.746 23.31 c Restart #20 #Var: 48154 LB: -26985 @ 23.299 24.88 c Restart #21 #Var: 48144 LB: -26985 @ 24.863 27.00 c Restart #22 #Var: 48121 LB: -26941 @ 26.981 29.43 c Restart #23 #Var: 48100 LB: -26941 @ 29.419 32.89 c Restart #24 #Var: 48100 LB: -26941 @ 32.878 34.07 c Restart #25 #Var: 48086 LB: -26941 @ 34.05 35.26 c Restart #26 #Var: 48086 LB: -26941 @ 35.245 36.39 c Restart #27 #Var: 48084 LB: -26941 @ 36.374 39.23 c Restart #28 #Var: 48046 LB: -26722 @ 39.208 43.48 c Restart #29 #Var: 48046 LB: -26722 @ 43.462 47.03 c Restart #30 #Var: 48038 LB: -26722 @ 47.014 49.76 c Restart #31 #Var: 48038 LB: -26722 @ 49.738 53.91 c Restart #32 #Var: 48024 LB: -26719 @ 53.892 55.25 c Restart #33 #Var: 48024 LB: -26719 @ 55.223 58.91 c Restart #34 #Var: 48021 LB: -26719 @ 58.89 63.40 c Restart #35 #Var: 47957 LB: -26516 @ 63.38 68.11 c Restart #36 #Var: 47957 LB: -26516 @ 68.081 77.68 c Restart #37 #Var: 47956 LB: -26516 @ 77.657 81.20 c Restart #38 #Var: 47951 LB: -26516 @ 81.166 91.17 c Restart #39 #Var: 47951 LB: -26516 @ 91.141 95.38 c Restart #40 #Var: 47951 LB: -26516 @ 95.348 102.39 c Restart #41 #Var: 47898 LB: -26273 @ 102.35 112.84 c Restart #42 #Var: 47898 LB: -26273 @ 112.8 120.56 c Restart #43 #Var: 47898 LB: -26273 @ 120.52 130.08 c Restart #44 #Var: 47889 LB: -26273 @ 130.04 133.63 c Restart #45 #Var: 47888 LB: -26273 @ 133.59 138.23 c Restart #46 #Var: 47876 LB: -26270 @ 138.18 152.39 c Restart #47 #Var: 47767 LB: -25500 @ 152.35 158.70 c Restart #48 #Var: 47767 LB: -25500 @ 158.65 160.84 c Restart #49 #Var: 47748 LB: -25484 @ 160.79 173.75 c Restart #50 #Var: 47725 LB: -25469 @ 173.69 180.56 c Restart #51 #Var: 47725 LB: -25469 @ 180.51 203.39 c Restart #52 #Var: 47725 LB: -25469 @ 203.33 208.35 c Restart #53 #Var: 47725 LB: -25469 @ 208.28 226.81 c Restart #54 #Var: 47723 LB: -25469 @ 226.74 244.14 c Restart #55 #Var: 47722 LB: -25469 @ 244.07 261.83 c Restart #56 #Var: 47721 LB: -25469 @ 261.75 284.37 c Restart #57 #Var: 47715 LB: -25469 @ 284.29 296.59 c Restart #58 #Var: 47709 LB: -25469 @ 296.5 301.05 c Restart #59 #Var: 47709 LB: -25469 @ 300.96 321.14 c Restart #60 #Var: 47680 LB: -24841 @ 321.04 333.28 c Restart #61 #Var: 47665 LB: -24695 @ 333.19 345.48 c Restart #62 #Var: 47663 LB: -24695 @ 345.38 376.13 c Restart #63 #Var: 47663 LB: -24695 @ 376.02 386.59 c Restart #64 #Var: 47634 LB: -24482 @ 386.48 415.49 c Restart #65 #Var: 47623 LB: -24482 @ 415.37 440.46 c Restart #66 #Var: 47616 LB: -24482 @ 440.34 446.69 c Restart #67 #Var: 47616 LB: -24482 @ 446.56 491.16 c Restart #68 #Var: 47613 LB: -24482 @ 491.02 534.66 c Restart #69 #Var: 47613 LB: -24482 @ 534.51 613.70 c Restart #70 #Var: 47581 LB: -24478 @ 613.53 649.18 c Restart #71 #Var: 47579 LB: -24478 @ 649 779.89 c Restart #72 #Var: 47579 LB: -24478 @ 779.68 793.32 c Restart #73 #Var: 47579 LB: -24478 @ 793.1 828.17 c Restart #74 #Var: 47531 LB: -23668 @ 827.94 876.58 c Restart #75 #Var: 47531 LB: -23668 @ 876.34 989.46 c CHANGE Heuristic... 989.46 c Restart #0 #Var: 47467 LB: -23435 @ 989.19 989.55 c Restart #1 #Var: 47334 LB: -22843 @ 989.28 989.67 c Restart #2 #Var: 47324 LB: -22811 @ 989.4 990.50 c Restart #3 #Var: 47098 LB: -21261 @ 990.23 994.22 c Restart #4 #Var: 47018 LB: -20914 @ 993.95 997.03 c Restart #5 #Var: 47006 LB: -20910 @ 996.76 1001.68 c Restart #6 #Var: 46997 LB: -20905 @ 1001.4 1003.79 c Restart #7 #Var: 46996 LB: -20905 @ 1003.5 1008.98 c Restart #8 #Var: 46988 LB: -20905 @ 1008.7 1010.53 c Restart #9 #Var: 46988 LB: -20905 @ 1010.3 1012.52 c Restart #10 #Var: 46974 LB: -20826 @ 1012.2 1015.71 c Restart #11 #Var: 46974 LB: -20826 @ 1015.4 1025.62 c Restart #12 #Var: 46973 LB: -20826 @ 1025.3 1036.23 c Restart #13 #Var: 46935 LB: -20376 @ 1035.9 1042.74 c Restart #14 #Var: 46924 LB: -20342 @ 1042.5 1051.34 c Restart #15 #Var: 46924 LB: -20342 @ 1051.1 1060.57 c Restart #16 #Var: 46924 LB: -20342 @ 1060.3 1065.85 c Restart #17 #Var: 46924 LB: -20342 @ 1065.6 1081.41 c Restart #18 #Var: 46924 LB: -20342 @ 1081.1 1095.14 c Restart #19 #Var: 46924 LB: -20342 @ 1094.8 1196.46 c Restart #20 #Var: 46924 LB: -20342 @ 1196.1 1223.26 c Restart #21 #Var: 46924 LB: -20342 @ 1222.9 1262.07 c Restart #22 #Var: 46924 LB: -20342 @ 1261.7 1269.55 c Restart #23 #Var: 46924 LB: -20342 @ 1269.2 1279.42 c Restart #24 #Var: 46924 LB: -20342 @ 1279.1 1291.13 c Restart #25 #Var: 46924 LB: -20342 @ 1290.8 1307.21 c Restart #26 #Var: 46924 LB: -20342 @ 1306.9 1311.71 c Restart #27 #Var: 46924 LB: -20342 @ 1311.4 1315.91 c Restart #28 #Var: 46924 LB: -20342 @ 1315.6 1333.23 c Restart #29 #Var: 46924 LB: -20342 @ 1332.9 1350.04 c Restart #30 #Var: 46923 LB: -20342 @ 1349.7 1367.77 c Restart #31 #Var: 46923 LB: -20342 @ 1367.4 1385.68 c Restart #32 #Var: 46923 LB: -20342 @ 1385.3 1393.53 c Restart #33 #Var: 46923 LB: -20342 @ 1393.2 1421.29 c Restart #34 #Var: 46923 LB: -20342 @ 1420.9 1426.19 c Restart #35 #Var: 46923 LB: -20342 @ 1425.8 1436.25 c Restart #36 #Var: 46922 LB: -20342 @ 1435.9 1459.37 c Restart #37 #Var: 46922 LB: -20342 @ 1459 1464.40 c Restart #38 #Var: 46922 LB: -20342 @ 1464 1470.34 c Restart #39 #Var: 46922 LB: -20342 @ 1469.9 1482.60 c Restart #40 #Var: 46910 LB: -20311 @ 1482.2 1520.46 c Restart #41 #Var: 46908 LB: -20310 @ 1520 1572.49 c Restart #42 #Var: 46908 LB: -20310 @ 1572.1 1599.50 c Restart #43 #Var: 46908 LB: -20310 @ 1599.1 1668.89 c Restart #44 #Var: 46908 LB: -20310 @ 1668.4 1677.79 c Restart #45 #Var: 46908 LB: -20310 @ 1677.3 1709.18 c Restart #46 #Var: 46908 LB: -20310 @ 1708.7 1716.06 c Restart #47 #Var: 46908 LB: -20310 @ 1715.6 1788.46 c Restart #48 #Var: 46908 LB: -20310 @ 1788 1795.73 c Restart #49 #Var: 46908 LB: -20310 @ 1795.2 1800.50 s UNKNOWN 1800.50 c Exit Code: 0 1800.50 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/node78/watcher-39972-1149344112 -o ROOT/results/node78/solver-39972-1149344112 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node78/39972-1149344112/instance-39972-1149344112.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1744304/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=4672 CPUtime=0 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 108 0 0 0 0 0 0 0 18 0 1 0 199440073 4784128 91 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11473128 0 0 4096 0 0 0 0 17 1 0 0 /proc/18667/statm: 1168 106 89 55 0 46 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1657648/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=93148 CPUtime=9.99 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 96967 0 0 0 955 44 0 0 25 0 1 0 199440073 95383552 21963 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 23287 21963 294 55 0 22178 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 93148 [startup+20.0082 s] /proc/loadavg: 0.94 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1636144/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=114652 CPUtime=19.98 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 102335 0 0 0 1937 61 0 0 25 0 1 0 199440073 117403648 27331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 28663 27331 294 55 0 27554 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 114652 [startup+30.0133 s] /proc/loadavg: 0.95 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1612720/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=138136 CPUtime=29.99 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 108204 0 0 0 2926 73 0 0 25 0 1 0 199440073 141451264 33200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 34534 33200 294 55 0 33425 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 138136 [startup+40.0194 s] /proc/loadavg: 0.95 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1589296/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=161376 CPUtime=39.99 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 114032 0 0 0 3920 79 0 0 25 0 1 0 199440073 165249024 39028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 40344 39028 294 55 0 39235 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 161376 [startup+50.0255 s] /proc/loadavg: 0.96 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1573680/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=177080 CPUtime=50 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 117962 0 0 0 4915 85 0 0 25 0 1 0 199440073 181329920 42958 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 44270 42958 294 55 0 43161 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 177080 [startup+60.0316 s] /proc/loadavg: 0.97 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1551792/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=198988 CPUtime=60 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 123415 0 0 0 5910 90 0 0 25 0 1 0 199440073 203763712 48411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 49747 48411 294 55 0 48638 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 198988 [startup+70.0376 s] /proc/loadavg: 0.97 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1535280/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=215360 CPUtime=70.01 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 127524 0 0 0 6906 95 0 0 25 0 1 0 199440073 220528640 52520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 53840 52520 294 55 0 52731 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 215360 [startup+80.0437 s] /proc/loadavg: 0.98 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1525744/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=224996 CPUtime=80.01 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 129912 0 0 0 7903 98 0 0 25 0 1 0 199440073 230395904 54908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 56249 54908 294 55 0 55140 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 224996 [startup+90.0488 s] /proc/loadavg: 0.98 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1512880/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=237804 CPUtime=90.01 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 133116 0 0 0 8900 101 0 0 25 0 1 0 199440073 243511296 58112 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 59451 58112 294 55 0 58342 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 237804 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1496624/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=254048 CPUtime=100.01 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 137169 0 0 0 9896 105 0 0 25 0 1 0 199440073 260145152 62165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 63512 62165 294 55 0 62403 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 254048 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1493232/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=257352 CPUtime=110.01 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 138014 0 0 0 10895 106 0 0 25 0 1 0 199440073 263528448 63010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 64338 63010 294 55 0 63229 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 257352 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1491120/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=259464 CPUtime=120.02 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 138544 0 0 0 11894 108 0 0 25 0 1 0 199440073 265691136 63540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537571 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 64866 63540 294 55 0 63757 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 259464 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1484208/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=266460 CPUtime=130.02 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 140262 0 0 0 12892 110 0 0 25 0 1 0 199440073 272855040 65258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 66615 65258 294 55 0 65506 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 266460 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1475504/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=275168 CPUtime=140.02 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 142438 0 0 0 13889 113 0 0 25 0 1 0 199440073 281772032 67434 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 68792 67434 294 55 0 67683 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 275168 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1468400/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=282184 CPUtime=150.03 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 144207 0 0 0 14887 116 0 0 25 0 1 0 199440073 288956416 69203 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 70546 69203 294 55 0 69437 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 282184 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1450800/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=299876 CPUtime=160.03 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 148609 0 0 0 15883 120 0 0 25 0 1 0 199440073 307073024 73605 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 74969 73605 294 55 0 73860 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 299876 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1435504/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=315080 CPUtime=170.04 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 152411 0 0 0 16880 124 0 0 25 0 1 0 199440073 322641920 77405 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 78770 77405 294 55 0 77661 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 315080 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1428080/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=322612 CPUtime=180.04 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 154270 0 0 0 17878 126 0 0 25 0 1 0 199440073 330354688 79263 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 80653 79263 294 55 0 79544 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 322612 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1423472/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=327236 CPUtime=190.05 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 155420 0 0 0 18877 128 0 0 25 0 1 0 199440073 335089664 80413 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 81809 80413 294 55 0 80700 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 327236 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1420400/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=330272 CPUtime=200.04 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 156182 0 0 0 19876 128 0 0 25 0 1 0 199440073 338198528 81175 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 82568 81175 294 55 0 81459 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 330272 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18667 /proc/meminfo: memFree=1405552/2055892 swapFree=4085732/4096564 ################ # More data... # ################ /proc/18667/statm: 181756 180027 294 55 0 180647 0 Current children cumulated CPU time (s) 1760.56 Current children cumulated vsize (Kb) 727024 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1021232/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=729532 CPUtime=1770.56 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 256159 0 0 0 176748 308 0 0 25 0 1 0 199440073 747040768 180646 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 182383 180646 294 55 0 181274 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 729532 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1018800/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=731908 CPUtime=1780.57 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 256773 0 0 0 177748 309 0 0 25 0 1 0 199440073 749473792 181260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 182977 181260 294 55 0 181868 0 Current children cumulated CPU time (s) 1780.57 Current children cumulated vsize (Kb) 731908 [startup+1782.06 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1018544/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=732172 CPUtime=1781.57 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 256836 0 0 0 177848 309 0 0 25 0 1 0 199440073 749744128 181323 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183043 181323 294 55 0 181934 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 732172 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1018288/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=732436 CPUtime=1782.57 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 256898 0 0 0 177948 309 0 0 25 0 1 0 199440073 750014464 181385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183109 181385 294 55 0 182000 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 732436 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1018032/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=732700 CPUtime=1783.58 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 256961 0 0 0 178049 309 0 0 25 0 1 0 199440073 750284800 181448 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183175 181448 294 55 0 182066 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 732700 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1017776/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=732964 CPUtime=1784.58 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257023 0 0 0 178149 309 0 0 25 0 1 0 199440073 750555136 181510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183241 181510 294 55 0 182132 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 732964 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1017584/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=733228 CPUtime=1785.58 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257084 0 0 0 178249 309 0 0 25 0 1 0 199440073 750825472 181571 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183307 181571 294 55 0 182198 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 733228 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1017328/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=733360 CPUtime=1786.6 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257146 0 0 0 178350 310 0 0 25 0 1 0 199440073 750960640 181633 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528717 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183340 181633 294 55 0 182231 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 733360 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1017072/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=733624 CPUtime=1787.6 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257210 0 0 0 178450 310 0 0 25 0 1 0 199440073 751230976 181697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183406 181697 294 55 0 182297 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 733624 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1016816/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=733888 CPUtime=1788.6 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257275 0 0 0 178550 310 0 0 25 0 1 0 199440073 751501312 181762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183472 181762 294 55 0 182363 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 733888 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1016624/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=734152 CPUtime=1789.61 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257315 0 0 0 178651 310 0 0 25 0 1 0 199440073 751771648 181802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183538 181802 294 55 0 182429 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 734152 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1016304/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=734416 CPUtime=1790.61 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257396 0 0 0 178751 310 0 0 25 0 1 0 199440073 752041984 181883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183604 181883 294 55 0 182495 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 734416 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1016240/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=734416 CPUtime=1791.61 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257409 0 0 0 178851 310 0 0 25 0 1 0 199440073 752041984 181896 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183604 181896 294 55 0 182495 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 734416 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1016176/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=734548 CPUtime=1792.62 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257425 0 0 0 178951 311 0 0 25 0 1 0 199440073 752177152 181912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183637 181912 294 55 0 182528 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 734548 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1016176/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=734548 CPUtime=1793.63 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257429 0 0 0 179052 311 0 0 25 0 1 0 199440073 752177152 181916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183637 181916 294 55 0 182528 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 734548 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1016176/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=734548 CPUtime=1794.63 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257429 0 0 0 179152 311 0 0 25 0 1 0 199440073 752177152 181916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183637 181916 294 55 0 182528 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (Kb) 734548 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1016176/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=734548 CPUtime=1795.64 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257430 0 0 0 179253 311 0 0 25 0 1 0 199440073 752177152 181917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183637 181917 294 55 0 182528 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 734548 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1016112/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=734548 CPUtime=1796.64 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257438 0 0 0 179353 311 0 0 25 0 1 0 199440073 752177152 181925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183637 181925 294 55 0 182528 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 734548 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1016112/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=734548 CPUtime=1797.64 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257444 0 0 0 179453 311 0 0 25 0 1 0 199440073 752177152 181931 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183637 181931 294 55 0 182528 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 734548 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1015920/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=734812 CPUtime=1798.65 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257488 0 0 0 179554 311 0 0 25 0 1 0 199440073 752447488 181975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183703 181975 294 55 0 182594 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 734812 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.99 2/67 18669 /proc/meminfo: memFree=1015920/2055892 swapFree=4085732/4096564 [pid=18667] ppid=18665 vsize=734812 CPUtime=1799.65 /proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257492 0 0 0 179654 311 0 0 25 0 1 0 199440073 752447488 181979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18667/statm: 183703 181979 294 55 0 182594 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 734812 Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.12 CPU user time (s): 1796.9 CPU system time (s): 3.21951 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (Kb): 734812
Begin job on node78 on Sat Jun 3 14:15:13 UTC 2006 FILE ID= 39972-1149344112 PBS_JOBID= 310586 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-stocfor2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node78/39972-1149344112/instance-39972-1149344112.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node78/watcher-39972-1149344112 -o ROOT/results/node78/solver-39972-1149344112 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node78/39972-1149344112/instance-39972-1149344112.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= cbc7f776eebadde6a6228c5e168c70a1 RANDOM SEED= 710938542 /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.225 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 : 6006.17 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.225 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1744704 kB Buffers: 13300 kB Cached: 238984 kB SwapCached: 2512 kB Active: 39764 kB Inactive: 221304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1744704 kB SwapTotal: 4096564 kB SwapFree: 4085732 kB Dirty: 144 kB Writeback: 0 kB Mapped: 15196 kB Slab: 36652 kB Committed_AS: 349324 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node78 on Sat Jun 3 14:45:13 UTC 2006