Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.1 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-capri.opb |
MD5SUM | 045a73dda564043a5f702f829082d89b |
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 | 7817 |
Total number of constraints | 402 |
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 | 402 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 647 |
Number of terms in the objective function | 580 |
Biggest coefficient in the objective function | 32953 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524724 |
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 | 524837 |
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.24 c Initial problem consists of 7817 variables and 544 constraints. 0.26 c No problem reductions applied in OPT. instance. 0.26 c preprocess terminated. Elapsed time: 0.253 0.26 c After prepocess the problem consists of 6067 variables and 544 constraints. 0.26 c Initial Lower Bound: -252 0.45 c Restart #1 #Var: 6067 LB: -252 @ 0.438 0.89 c Restart #2 #Var: 6067 LB: -252 @ 0.882 1.60 c Restart #3 #Var: 6067 LB: -252 @ 1.589 2.58 c Restart #4 #Var: 6067 LB: -252 @ 2.573 3.95 c Restart #5 #Var: 6067 LB: -252 @ 3.937 5.45 c Restart #6 #Var: 6067 LB: -252 @ 5.434 7.23 c Restart #7 #Var: 6067 LB: -252 @ 7.212 9.55 c Restart #8 #Var: 6067 LB: -252 @ 9.537 12.51 c Restart #9 #Var: 6067 LB: -252 @ 12.498 12.90 c Restart #10 #Var: 6067 LB: -252 @ 12.886 17.66 c Restart #11 #Var: 6062 LB: -252 @ 17.64 18.56 c Restart #12 #Var: 6062 LB: -252 @ 18.537 19.18 c Restart #13 #Var: 6062 LB: -252 @ 19.16 19.94 c Restart #14 #Var: 6062 LB: -252 @ 19.923 21.10 c Restart #15 #Var: 6039 LB: -247 @ 21.08 22.58 c Restart #16 #Var: 5997 LB: -237 @ 22.556 24.37 c Restart #17 #Var: 5990 LB: -235 @ 24.352 32.09 c Restart #18 #Var: 5990 LB: -235 @ 32.069 32.94 c Restart #19 #Var: 5990 LB: -235 @ 32.914 33.63 c Restart #20 #Var: 5971 LB: -235 @ 33.608 34.04 c Restart #21 #Var: 5969 LB: -235 @ 34.012 35.14 c Restart #22 #Var: 5969 LB: -235 @ 35.113 35.54 c Restart #23 #Var: 5968 LB: -235 @ 35.517 36.90 c Restart #24 #Var: 5968 LB: -235 @ 36.877 42.16 c Restart #25 #Var: 5968 LB: -235 @ 42.136 44.03 c Restart #26 #Var: 5968 LB: -235 @ 43.999 45.35 c Restart #27 #Var: 5968 LB: -235 @ 45.322 46.79 c Restart #28 #Var: 5968 LB: -235 @ 46.761 48.60 c Restart #29 #Var: 5968 LB: -235 @ 48.569 50.17 c Restart #30 #Var: 5968 LB: -235 @ 50.135 52.23 c Restart #31 #Var: 5968 LB: -235 @ 52.199 54.78 c Restart #32 #Var: 5968 LB: -235 @ 54.746 58.57 c Restart #33 #Var: 5968 LB: -235 @ 58.536 65.35 c Restart #34 #Var: 5968 LB: -235 @ 65.316 65.85 c Restart #35 #Var: 5968 LB: -235 @ 65.819 83.08 c Restart #36 #Var: 5966 LB: -235 @ 83.034 86.02 c Restart #37 #Var: 5966 LB: -235 @ 85.976 88.93 c Restart #38 #Var: 5965 LB: -235 @ 88.891 91.41 c Restart #39 #Var: 5965 LB: -235 @ 91.366 97.32 c Restart #40 #Var: 5964 LB: -234 @ 97.277 101.58 c Restart #41 #Var: 5964 LB: -234 @ 101.53 114.09 c Restart #42 #Var: 5964 LB: -234 @ 114.04 148.45 c Restart #43 #Var: 5964 LB: -234 @ 148.39 160.54 c Restart #44 #Var: 5964 LB: -234 @ 160.47 165.49 c Restart #45 #Var: 5964 LB: -234 @ 165.42 215.80 c Restart #46 #Var: 5964 LB: -234 @ 215.71 222.89 c Restart #47 #Var: 5964 LB: -234 @ 222.81 252.21 c Restart #48 #Var: 5964 LB: -234 @ 252.11 304.17 c Restart #49 #Var: 5964 LB: -234 @ 304.06 318.68 c Restart #50 #Var: 5923 LB: -234 @ 318.55 321.87 c Restart #51 #Var: 5923 LB: -234 @ 321.75 326.94 c Restart #52 #Var: 5922 LB: -234 @ 326.81 532.69 c Restart #53 #Var: 5922 LB: -234 @ 532.49 556.38 c Restart #54 #Var: 5920 LB: -234 @ 556.18 564.85 c Restart #55 #Var: 5920 LB: -234 @ 564.64 649.06 c Restart #56 #Var: 5920 LB: -234 @ 648.82 662.03 c Restart #57 #Var: 5920 LB: -234 @ 661.79 711.87 c Restart #58 #Var: 5919 LB: -234 @ 711.61 737.49 c Restart #59 #Var: 5915 LB: -233 @ 737.22 790.02 c Restart #60 #Var: 5915 LB: -233 @ 789.73 878.06 c Restart #61 #Var: 5915 LB: -233 @ 877.75 923.65 c CHANGE Heuristic... 923.65 c Restart #0 #Var: 5915 LB: -233 @ 923.32 923.67 c Restart #1 #Var: 5912 LB: -233 @ 923.33 923.83 c Restart #2 #Var: 5901 LB: -232 @ 923.5 924.48 c Restart #3 #Var: 5865 LB: -227 @ 924.15 924.76 c Restart #4 #Var: 5864 LB: -227 @ 924.42 924.97 c Restart #5 #Var: 5864 LB: -227 @ 924.64 925.46 c Restart #6 #Var: 5862 LB: -227 @ 925.13 926.17 c Restart #7 #Var: 5862 LB: -227 @ 925.84 931.87 c Restart #8 #Var: 5862 LB: -227 @ 931.54 935.89 c Restart #9 #Var: 5862 LB: -227 @ 935.56 946.16 c Restart #10 #Var: 5862 LB: -227 @ 945.82 952.74 c Restart #11 #Var: 5862 LB: -227 @ 952.4 967.93 c Restart #12 #Var: 5862 LB: -227 @ 967.58 988.98 c Restart #13 #Var: 5862 LB: -227 @ 988.63 992.88 c Restart #14 #Var: 5862 LB: -227 @ 992.53 995.44 c Restart #15 #Var: 5862 LB: -227 @ 995.09 997.80 c Restart #16 #Var: 5862 LB: -227 @ 997.45 1004.71 c Restart #17 #Var: 5853 LB: -226 @ 1004.3 1013.23 c Restart #18 #Var: 5853 LB: -226 @ 1012.9 1022.42 c Restart #19 #Var: 5853 LB: -226 @ 1022.1 1025.34 c Restart #20 #Var: 5853 LB: -226 @ 1025 1071.34 c Restart #21 #Var: 5853 LB: -226 @ 1071 1073.53 c Restart #22 #Var: 5853 LB: -226 @ 1073.1 1080.98 c Restart #23 #Var: 5853 LB: -226 @ 1080.6 1104.53 c Restart #24 #Var: 5853 LB: -226 @ 1104.1 1117.29 c Restart #25 #Var: 5853 LB: -226 @ 1116.9 1121.59 c Restart #26 #Var: 5853 LB: -226 @ 1121.2 1128.14 c Restart #27 #Var: 5853 LB: -226 @ 1127.7 1136.47 c Restart #28 #Var: 5853 LB: -226 @ 1136.1 1162.93 c Restart #29 #Var: 5853 LB: -226 @ 1162.5 1167.05 c Restart #30 #Var: 5852 LB: -225 @ 1166.6 1174.57 c Restart #31 #Var: 5852 LB: -225 @ 1174.2 1208.45 c Restart #32 #Var: 5852 LB: -225 @ 1208 1211.64 c Restart #33 #Var: 5852 LB: -225 @ 1211.2 1226.30 c Restart #34 #Var: 5852 LB: -225 @ 1225.9 1257.06 c Restart #35 #Var: 5852 LB: -225 @ 1256.6 1286.55 c Restart #36 #Var: 5852 LB: -225 @ 1286.1 1290.08 c Restart #37 #Var: 5852 LB: -225 @ 1289.6 1292.33 c Restart #38 #Var: 5852 LB: -225 @ 1291.9 1294.25 c Restart #39 #Var: 5852 LB: -225 @ 1293.8 1338.40 c Restart #40 #Var: 5852 LB: -225 @ 1337.9 1410.39 c Restart #41 #Var: 5852 LB: -225 @ 1409.9 1411.73 c Restart #42 #Var: 5852 LB: -225 @ 1411.2 1422.55 c Restart #43 #Var: 5852 LB: -225 @ 1422 1435.84 c Restart #44 #Var: 5852 LB: -225 @ 1435.3 1439.95 c Restart #45 #Var: 5852 LB: -225 @ 1439.4 1456.33 c Restart #46 #Var: 5852 LB: -225 @ 1455.8 1458.91 c Restart #47 #Var: 5852 LB: -225 @ 1458.4 1471.20 c Restart #48 #Var: 5852 LB: -225 @ 1470.7 1491.55 c Restart #49 #Var: 5852 LB: -225 @ 1491 1504.12 c Restart #50 #Var: 5852 LB: -225 @ 1503.6 1514.57 c Restart #51 #Var: 5852 LB: -225 @ 1514 1777.04 c Restart #52 #Var: 5852 LB: -225 @ 1776.4 1780.26 c Restart #53 #Var: 5852 LB: -225 @ 1779.6 1800.64 s UNKNOWN 1800.64 c Exit Code: 0 1800.64 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/node59/watcher-39910-1149329428 -o ROOT/results/node59/solver-39910-1149329428 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/39910-1149329428/instance-39910-1149329428.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 3/64 5785 /proc/meminfo: memFree=1718224/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=4664 CPUtime=0 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 142 0 0 0 0 0 0 0 19 0 1 0 198611068 4775936 123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9249984 0 0 4096 0 0 0 0 17 1 0 0 /proc/5785/statm: 1166 123 103 55 0 46 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1699160/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=23876 CPUtime=9.98 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 5162 0 0 0 956 42 0 0 25 0 1 0 198611068 24449024 5072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 5969 5072 297 55 0 4861 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 23876 [startup+20.0097 s] /proc/loadavg: 0.94 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1689560/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=33376 CPUtime=19.98 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 7555 0 0 0 1943 55 0 0 25 0 1 0 198611068 34177024 7465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 8344 7465 297 55 0 7236 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 33376 [startup+30.0166 s] /proc/loadavg: 0.95 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1680280/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=42620 CPUtime=29.98 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 9875 0 0 0 2940 58 0 0 25 0 1 0 198611068 43642880 9785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 10655 9785 297 55 0 9547 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 42620 [startup+40.0235 s] /proc/loadavg: 0.96 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1656984/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=65864 CPUtime=39.99 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 15679 0 0 0 3935 64 0 0 25 0 1 0 198611068 67444736 15589 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 16466 15589 297 55 0 15358 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 65864 [startup+50.0304 s] /proc/loadavg: 0.96 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1640920/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=81972 CPUtime=49.99 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 19689 0 0 0 4931 68 0 0 25 0 1 0 198611068 83939328 19599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 20493 19599 297 55 0 19385 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 81972 [startup+60.0364 s] /proc/loadavg: 0.97 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1620056/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=102832 CPUtime=60 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 24892 0 0 0 5927 73 0 0 25 0 1 0 198611068 105299968 24802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 25708 24802 297 55 0 24600 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 102832 [startup+70.0463 s] /proc/loadavg: 0.97 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1604440/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=118416 CPUtime=70 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 28783 0 0 0 6924 76 0 0 25 0 1 0 198611068 121257984 28693 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 29604 28693 297 55 0 28496 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 118416 [startup+80.0532 s] /proc/loadavg: 0.98 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1602520/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=120264 CPUtime=80 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 29260 0 0 0 7923 77 0 0 25 0 1 0 198611068 123150336 29170 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 30066 29170 297 55 0 28958 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 120264 [startup+90.0592 s] /proc/loadavg: 0.98 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1584408/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=138476 CPUtime=90.01 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 33789 0 0 0 8920 81 0 0 25 0 1 0 198611068 141799424 33698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 34619 33698 297 55 0 33511 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 138476 [startup+100.065 s] /proc/loadavg: 0.98 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1571032/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=151828 CPUtime=100.01 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 37123 0 0 0 9915 86 0 0 25 0 1 0 198611068 155471872 37032 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541173 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 37957 37032 297 55 0 36849 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 151828 [startup+110.072 s] /proc/loadavg: 0.98 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1562904/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=160012 CPUtime=110.01 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 39152 0 0 0 10913 88 0 0 25 0 1 0 198611068 163852288 39061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528671 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 40003 39061 297 55 0 38895 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 160012 [startup+120.078 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1559256/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=163592 CPUtime=120.01 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 40059 0 0 0 11912 89 0 0 25 0 1 0 198611068 167518208 39968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 40898 39968 297 55 0 39790 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 163592 [startup+130.084 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1557464/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=165440 CPUtime=130.02 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 40498 0 0 0 12912 90 0 0 25 0 1 0 198611068 169410560 40407 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 41360 40407 297 55 0 40252 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 165440 [startup+140.09 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1554456/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=168344 CPUtime=140.02 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 41250 0 0 0 13911 91 0 0 25 0 1 0 198611068 172384256 41159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 42086 41159 297 55 0 40978 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 168344 [startup+150.096 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1551320/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=171524 CPUtime=150.02 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 42028 0 0 0 14910 92 0 0 25 0 1 0 198611068 175640576 41937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 42881 41937 297 55 0 41773 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 171524 [startup+160.102 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1542488/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=180372 CPUtime=160.02 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 44243 0 0 0 15907 95 0 0 25 0 1 0 198611068 184700928 44152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535002 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 45093 44152 297 55 0 43985 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 180372 [startup+170.108 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1530264/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=192700 CPUtime=170.03 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 47292 0 0 0 16905 98 0 0 25 0 1 0 198611068 197324800 47199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 48175 47199 297 55 0 47067 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 192700 [startup+180.114 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1528216/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=194680 CPUtime=180.03 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 47794 0 0 0 17904 99 0 0 25 0 1 0 198611068 199352320 47701 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 48670 47701 297 55 0 47562 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 194680 [startup+190.119 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1526680/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=196268 CPUtime=190.03 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 48174 0 0 0 18903 100 0 0 25 0 1 0 198611068 200978432 48081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 49067 48081 297 55 0 47959 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 196268 [startup+200.125 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1525080/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=197852 CPUtime=200.04 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 48582 0 0 0 19903 101 0 0 25 0 1 0 198611068 202600448 48489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 49463 48489 297 55 0 48355 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 197852 [startup+210.131 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5785 /proc/meminfo: memFree=1523544/2055920 swapFree=4180876/4192956 ################ # More data... # ################ /proc/5785/statm: 139246 137917 297 55 0 138138 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 556984 [startup+1771.15 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1165784/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=557380 CPUtime=1770.52 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138175 0 0 0 176794 258 0 0 25 0 1 0 198611068 570757120 138032 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 139345 138032 297 55 0 138237 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 557380 [startup+1781.15 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1165208/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=558040 CPUtime=1780.52 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138327 0 0 0 177792 260 0 0 25 0 1 0 198611068 571432960 138184 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 139510 138184 297 55 0 138402 0 Current children cumulated CPU time (s) 1780.52 Current children cumulated vsize (Kb) 558040 [startup+1782.16 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1164824/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=558436 CPUtime=1781.52 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138422 0 0 0 177892 260 0 0 25 0 1 0 198611068 571838464 138279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 139609 138279 297 55 0 138501 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 558436 [startup+1783.16 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1164376/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=558832 CPUtime=1782.53 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138528 0 0 0 177993 260 0 0 25 0 1 0 198611068 572243968 138385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 139708 138385 297 55 0 138600 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 558832 [startup+1784.17 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1163928/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=559228 CPUtime=1783.53 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138646 0 0 0 178093 260 0 0 25 0 1 0 198611068 572649472 138503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 139807 138503 297 55 0 138699 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 559228 [startup+1785.17 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1163608/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=559624 CPUtime=1784.53 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138725 0 0 0 178193 260 0 0 25 0 1 0 198611068 573054976 138582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 139906 138582 297 55 0 138798 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 559624 [startup+1786.18 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1163224/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=559888 CPUtime=1785.54 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138812 0 0 0 178294 260 0 0 25 0 1 0 198611068 573325312 138669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 139972 138669 297 55 0 138864 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 559888 [startup+1787.18 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1162904/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=560284 CPUtime=1786.54 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138894 0 0 0 178394 260 0 0 25 0 1 0 198611068 573730816 138751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140071 138751 297 55 0 138963 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 560284 [startup+1788.19 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1162584/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=560548 CPUtime=1787.55 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138970 0 0 0 178495 260 0 0 25 0 1 0 198611068 574001152 138827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140137 138827 297 55 0 139029 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 560548 [startup+1789.19 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1162264/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=560940 CPUtime=1788.56 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139060 0 0 0 178595 261 0 0 25 0 1 0 198611068 574402560 138917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140235 138917 297 55 0 139127 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 560940 [startup+1790.2 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1161880/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=561336 CPUtime=1789.56 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139147 0 0 0 178695 261 0 0 25 0 1 0 198611068 574808064 139004 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140334 139004 297 55 0 139226 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 561336 [startup+1791.2 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1161560/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=561600 CPUtime=1790.57 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139229 0 0 0 178796 261 0 0 25 0 1 0 198611068 575078400 139086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140400 139086 297 55 0 139292 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 561600 [startup+1792.21 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1161240/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=561864 CPUtime=1791.57 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139309 0 0 0 178896 261 0 0 25 0 1 0 198611068 575348736 139166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140466 139166 297 55 0 139358 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 561864 [startup+1793.21 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1160920/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=562260 CPUtime=1792.57 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139387 0 0 0 178996 261 0 0 25 0 1 0 198611068 575754240 139244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140565 139244 297 55 0 139457 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 562260 [startup+1794.22 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1160600/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=562524 CPUtime=1793.57 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139465 0 0 0 179096 261 0 0 25 0 1 0 198611068 576024576 139322 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140631 139322 297 55 0 139523 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 562524 [startup+1795.22 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1160280/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=562920 CPUtime=1794.58 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139545 0 0 0 179197 261 0 0 25 0 1 0 198611068 576430080 139402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140730 139402 297 55 0 139622 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 562920 [startup+1796.23 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1159960/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=563184 CPUtime=1795.59 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139623 0 0 0 179297 262 0 0 25 0 1 0 198611068 576700416 139480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140796 139480 297 55 0 139688 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 563184 [startup+1797.23 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1159640/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=563448 CPUtime=1796.59 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139701 0 0 0 179397 262 0 0 25 0 1 0 198611068 576970752 139558 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140862 139558 297 55 0 139754 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 563448 [startup+1798.24 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1159384/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=563844 CPUtime=1797.6 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139777 0 0 0 179498 262 0 0 25 0 1 0 198611068 577376256 139634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 140961 139634 297 55 0 139853 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 563844 [startup+1799.24 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1159064/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=564108 CPUtime=1798.6 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139847 0 0 0 179598 262 0 0 25 0 1 0 198611068 577646592 139704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 141027 139704 297 55 0 139919 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 564108 [startup+1800.25 s] /proc/loadavg: 0.99 0.98 0.96 2/64 5787 /proc/meminfo: memFree=1158808/2055920 swapFree=4180876/4192956 [pid=5785] ppid=5783 vsize=564372 CPUtime=1799.6 /proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139915 0 0 0 179698 262 0 0 25 0 1 0 198611068 577916928 139772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551610 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5785/statm: 141093 139772 297 55 0 139985 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 564372 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.1 CPU user time (s): 1797.38 CPU system time (s): 2.71559 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (Kb): 564372
Begin job on node59 on Sat Jun 3 10:10:28 UTC 2006 FILE ID= 39910-1149329428 PBS_JOBID= 309785 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-capri.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/39910-1149329428/instance-39910-1149329428.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-39910-1149329428 -o ROOT/results/node59/solver-39910-1149329428 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/39910-1149329428/instance-39910-1149329428.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 045a73dda564043a5f702f829082d89b RANDOM SEED= 927780632 /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.272 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.272 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: 1718432 kB Buffers: 16324 kB Cached: 250708 kB SwapCached: 3744 kB Active: 41392 kB Inactive: 234264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1718432 kB SwapTotal: 4192956 kB SwapFree: 4180876 kB Dirty: 224 kB Writeback: 0 kB Mapped: 14732 kB Slab: 47832 kB Committed_AS: 327572 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Sat Jun 3 10:40:29 UTC 2006