Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.05 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot4.opb |
MD5SUM | 65e439e03cbe6c14c849336d6093c9a6 |
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 | 26494 |
Total number of constraints | 657 |
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 | 657 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 1427 |
Number of terms in the objective function | 120 |
Biggest coefficient in the objective function | 65537 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 524404 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262399 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525515 |
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.09 c INFO: OSL Context initialized. 0.96 c Initial problem consists of 26494 variables and 935 constraints. 1.06 c No problem reductions applied in OPT. instance. 1.06 c preprocess terminated. Elapsed time: 0.98 1.06 c After prepocess the problem consists of 23353 variables and 912 constraints. 1.06 c Initial Lower Bound: -131180 1.27 c Restart #1 #Var: 23353 LB: -131180 @ 1.194 1.62 c Restart #2 #Var: 23353 LB: -131180 @ 1.544 2.11 c Restart #3 #Var: 23353 LB: -131180 @ 2.025 2.66 c Restart #4 #Var: 23353 LB: -131180 @ 2.577 3.34 c Restart #5 #Var: 23353 LB: -131180 @ 3.264 4.17 c Restart #6 #Var: 23353 LB: -131180 @ 4.087 5.13 c Restart #7 #Var: 23353 LB: -131180 @ 5.051 6.29 c Restart #8 #Var: 23353 LB: -131180 @ 6.212 6.99 c Restart #9 #Var: 23353 LB: -131180 @ 6.912 7.52 c Restart #10 #Var: 23353 LB: -131180 @ 7.434 7.84 c Restart #11 #Var: 23353 LB: -131180 @ 7.754 8.23 c Restart #12 #Var: 23347 LB: -131180 @ 8.15 8.60 c Restart #13 #Var: 23335 LB: -131180 @ 8.523 9.10 c Restart #14 #Var: 23334 LB: -131180 @ 9.016 9.70 c Restart #15 #Var: 23316 LB: -131180 @ 9.619 10.27 c Restart #16 #Var: 23316 LB: -131180 @ 10.187 10.97 c Restart #17 #Var: 23307 LB: -131180 @ 10.888 11.83 c Restart #18 #Var: 23307 LB: -131180 @ 11.745 12.52 c Restart #19 #Var: 23307 LB: -131180 @ 12.43 13.74 c Restart #20 #Var: 23307 LB: -131180 @ 13.649 14.84 c Restart #21 #Var: 23307 LB: -131180 @ 14.752 16.72 c Restart #22 #Var: 23306 LB: -131180 @ 16.636 18.86 c Restart #23 #Var: 23306 LB: -131180 @ 18.769 20.45 c Restart #24 #Var: 23306 LB: -131180 @ 20.357 21.81 c Restart #25 #Var: 23306 LB: -131180 @ 21.715 23.79 c Restart #26 #Var: 23306 LB: -131180 @ 23.7 26.58 c Restart #27 #Var: 23291 LB: -131180 @ 26.486 28.68 c Restart #28 #Var: 23291 LB: -131180 @ 28.588 31.56 c Restart #29 #Var: 23288 LB: -131180 @ 31.471 33.70 c Restart #30 #Var: 23286 LB: -131180 @ 33.61 36.15 c Restart #31 #Var: 23286 LB: -131180 @ 36.058 38.43 c Restart #32 #Var: 23286 LB: -131180 @ 38.336 42.41 c Restart #33 #Var: 23286 LB: -131180 @ 42.312 46.72 c Restart #34 #Var: 23286 LB: -131180 @ 46.622 50.41 c Restart #35 #Var: 23286 LB: -131180 @ 50.315 55.15 c Restart #36 #Var: 23286 LB: -131180 @ 55.045 57.91 c Restart #37 #Var: 23285 LB: -131180 @ 57.809 63.17 c Restart #38 #Var: 23285 LB: -131180 @ 63.062 69.77 c Restart #39 #Var: 23285 LB: -131180 @ 69.664 76.55 c Restart #40 #Var: 23285 LB: -131180 @ 76.443 82.69 c Restart #41 #Var: 23280 LB: -131180 @ 82.579 87.30 c Restart #42 #Var: 23280 LB: -131180 @ 87.187 96.14 c Restart #43 #Var: 23280 LB: -131180 @ 96.028 103.28 c Restart #44 #Var: 23280 LB: -131180 @ 103.16 110.64 c Restart #45 #Var: 23280 LB: -131180 @ 110.52 118.35 c Restart #46 #Var: 23280 LB: -131180 @ 118.23 124.44 c Restart #47 #Var: 23280 LB: -131180 @ 124.32 130.34 c Restart #48 #Var: 23280 LB: -131180 @ 130.21 139.33 c Restart #49 #Var: 23280 LB: -131180 @ 139.2 148.28 c Restart #50 #Var: 23280 LB: -131180 @ 148.15 151.36 c Restart #51 #Var: 23280 LB: -131180 @ 151.23 176.87 c Restart #52 #Var: 23280 LB: -131180 @ 176.73 182.26 c Restart #53 #Var: 23280 LB: -131180 @ 182.12 195.26 c Restart #54 #Var: 23280 LB: -131180 @ 195.11 201.43 c Restart #55 #Var: 23280 LB: -131180 @ 201.28 218.95 c Restart #56 #Var: 23280 LB: -131180 @ 218.79 226.96 c Restart #57 #Var: 23280 LB: -131180 @ 226.8 234.87 c Restart #58 #Var: 23280 LB: -131180 @ 234.71 241.04 c Restart #59 #Var: 23280 LB: -131180 @ 240.88 254.51 c Restart #60 #Var: 23280 LB: -131180 @ 254.35 268.23 c Restart #61 #Var: 23280 LB: -131180 @ 268.06 289.68 c Restart #62 #Var: 23279 LB: -131180 @ 289.5 300.51 c Restart #63 #Var: 23279 LB: -131180 @ 300.33 312.90 c Restart #64 #Var: 23279 LB: -131180 @ 312.71 320.49 c Restart #65 #Var: 23279 LB: -131180 @ 320.3 334.77 c Restart #66 #Var: 23279 LB: -131180 @ 334.58 353.92 c Restart #67 #Var: 23279 LB: -131180 @ 353.72 371.90 c Restart #68 #Var: 23279 LB: -131180 @ 371.69 402.50 c Restart #69 #Var: 23279 LB: -131180 @ 402.29 419.65 c Restart #70 #Var: 23279 LB: -131180 @ 419.43 440.91 c Restart #71 #Var: 23279 LB: -131180 @ 440.68 459.48 c Restart #72 #Var: 23279 LB: -131180 @ 459.24 474.57 c Restart #73 #Var: 23279 LB: -131180 @ 474.34 487.65 c Restart #74 #Var: 23279 LB: -131180 @ 487.41 508.21 c Restart #75 #Var: 23279 LB: -131180 @ 507.96 532.90 c Restart #76 #Var: 23279 LB: -131180 @ 532.64 543.09 c Restart #77 #Var: 23279 LB: -131180 @ 542.83 565.29 c Restart #78 #Var: 23279 LB: -131180 @ 565.03 600.63 c Restart #79 #Var: 23279 LB: -131180 @ 600.35 633.68 c Restart #80 #Var: 23279 LB: -131180 @ 633.39 655.56 c Restart #81 #Var: 23279 LB: -131180 @ 655.26 672.13 c Restart #82 #Var: 23279 LB: -131180 @ 671.83 707.47 c Restart #83 #Var: 23279 LB: -131180 @ 707.16 745.35 c Restart #84 #Var: 23279 LB: -131180 @ 745.02 780.86 c Restart #85 #Var: 23279 LB: -131180 @ 780.52 805.20 c Restart #86 #Var: 23279 LB: -131180 @ 804.86 848.65 c Restart #87 #Var: 23279 LB: -131180 @ 848.29 891.86 c Restart #88 #Var: 23279 LB: -131180 @ 891.49 954.04 c CHANGE Heuristic... 954.04 c Restart #0 #Var: 23279 LB: -131180 @ 953.58 954.90 c Restart #1 #Var: 23277 LB: -131180 @ 954.44 957.32 c Restart #2 #Var: 23277 LB: -131180 @ 956.86 958.18 c Restart #3 #Var: 23277 LB: -131180 @ 957.72 965.14 c Restart #4 #Var: 23277 LB: -131180 @ 964.67 969.19 c Restart #5 #Var: 23277 LB: -131180 @ 968.73 975.87 c Restart #6 #Var: 23277 LB: -131180 @ 975.4 978.95 c Restart #7 #Var: 23277 LB: -131180 @ 978.49 987.73 c Restart #8 #Var: 23277 LB: -131180 @ 987.26 998.13 c Restart #9 #Var: 23277 LB: -131180 @ 997.65 1007.24 c Restart #10 #Var: 23277 LB: -131180 @ 1006.8 1015.35 c Restart #11 #Var: 23277 LB: -131180 @ 1014.9 1027.70 c Restart #12 #Var: 23277 LB: -131180 @ 1027.2 1037.63 c Restart #13 #Var: 23277 LB: -131180 @ 1037.1 1052.37 c Restart #14 #Var: 23277 LB: -131180 @ 1051.9 1064.14 c Restart #15 #Var: 23277 LB: -131180 @ 1063.6 1077.54 c Restart #16 #Var: 23277 LB: -131180 @ 1077 1087.78 c Restart #17 #Var: 23277 LB: -131180 @ 1087.3 1103.33 c Restart #18 #Var: 23277 LB: -131180 @ 1102.8 1115.98 c Restart #19 #Var: 23277 LB: -131180 @ 1115.5 1130.44 c Restart #20 #Var: 23277 LB: -131180 @ 1129.9 1142.29 c Restart #21 #Var: 23277 LB: -131180 @ 1141.8 1156.86 c Restart #22 #Var: 23277 LB: -131180 @ 1156.3 1171.74 c Restart #23 #Var: 23277 LB: -131180 @ 1171.2 1190.50 c Restart #24 #Var: 23277 LB: -131180 @ 1190 1205.49 c Restart #25 #Var: 23277 LB: -131180 @ 1205 1223.30 c Restart #26 #Var: 23277 LB: -131180 @ 1222.8 1243.69 c Restart #27 #Var: 23277 LB: -131180 @ 1243.1 1268.71 c Restart #28 #Var: 23277 LB: -131180 @ 1268.2 1282.03 c Restart #29 #Var: 23277 LB: -131180 @ 1281.5 1306.75 c Restart #30 #Var: 23277 LB: -131180 @ 1306.2 1327.48 c Restart #31 #Var: 23277 LB: -131180 @ 1326.9 1345.29 c Restart #32 #Var: 23277 LB: -131180 @ 1344.7 1373.40 c Restart #33 #Var: 23277 LB: -131180 @ 1372.8 1393.05 c Restart #34 #Var: 23277 LB: -131180 @ 1392.5 1416.33 c Restart #35 #Var: 23277 LB: -131180 @ 1415.7 1439.06 c Restart #36 #Var: 23277 LB: -131180 @ 1438.4 1470.23 c Restart #37 #Var: 23277 LB: -131180 @ 1469.6 1495.54 c Restart #38 #Var: 23277 LB: -131180 @ 1494.9 1531.37 c Restart #39 #Var: 23277 LB: -131180 @ 1530.7 1557.38 c Restart #40 #Var: 23277 LB: -131180 @ 1556.7 1596.19 c Restart #41 #Var: 23277 LB: -131180 @ 1595.5 1624.01 c Restart #42 #Var: 23277 LB: -131180 @ 1623.3 1662.82 c Restart #43 #Var: 23277 LB: -131180 @ 1662.1 1693.23 c Restart #44 #Var: 23277 LB: -131180 @ 1692.5 1735.84 c Restart #45 #Var: 23277 LB: -131180 @ 1735.1 1759.22 c Restart #46 #Var: 23277 LB: -131180 @ 1758.5 1800.74 s UNKNOWN 1800.74 c Exit Code: 0 1800.74 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/node15/watcher-39950-1149338744 -o ROOT/results/node15/solver-39950-1149338744 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node15/39950-1149338744/instance-39950-1149338744.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1331432/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=4624 CPUtime=0 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 68 0 0 0 0 0 0 0 19 0 1 0 199537231 4734976 50 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7514765 0 0 4096 0 0 0 0 17 1 0 0 /proc/7780/statm: 1156 55 41 55 0 44 0 [startup+10.0018 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1285168/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=51692 CPUtime=9.9 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 15059 0 0 0 980 10 0 0 25 0 1 0 199537231 52932608 11883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 12923 11883 297 55 0 11815 0 Current children cumulated CPU time (s) 9.9 Current children cumulated vsize (Kb) 51692 [startup+20.0075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1273200/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=63728 CPUtime=19.91 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 18054 0 0 0 1977 14 0 0 25 0 1 0 199537231 65257472 14878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 15932 14878 297 55 0 14824 0 Current children cumulated CPU time (s) 19.91 Current children cumulated vsize (Kb) 63728 [startup+30.0142 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1263792/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=73048 CPUtime=29.91 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 20400 0 0 0 2975 16 0 0 25 0 1 0 199537231 74801152 17224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 18262 17224 297 55 0 17154 0 Current children cumulated CPU time (s) 29.91 Current children cumulated vsize (Kb) 73048 [startup+40.0199 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1255408/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=81376 CPUtime=39.91 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 22485 0 0 0 3971 20 0 0 25 0 1 0 199537231 83329024 19309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 20344 19309 297 55 0 19236 0 Current children cumulated CPU time (s) 39.91 Current children cumulated vsize (Kb) 81376 [startup+50.0266 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1250864/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=86100 CPUtime=49.92 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 23651 0 0 0 4969 23 0 0 25 0 1 0 199537231 88166400 20475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 21525 20475 297 55 0 20417 0 Current children cumulated CPU time (s) 49.92 Current children cumulated vsize (Kb) 86100 [startup+60.0323 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1245104/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=91816 CPUtime=59.92 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 25076 0 0 0 5967 25 0 0 25 0 1 0 199537231 94019584 21900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 22954 21900 297 55 0 21846 0 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (Kb) 91816 [startup+70.039 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1239792/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=97024 CPUtime=69.92 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 26400 0 0 0 6965 27 0 0 25 0 1 0 199537231 99352576 23224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 24256 23224 297 55 0 23148 0 Current children cumulated CPU time (s) 69.92 Current children cumulated vsize (Kb) 97024 [startup+80.0458 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1236848/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=100048 CPUtime=79.92 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 27133 0 0 0 7963 29 0 0 25 0 1 0 199537231 102449152 23957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 25012 23957 297 55 0 23904 0 Current children cumulated CPU time (s) 79.92 Current children cumulated vsize (Kb) 100048 [startup+90.0515 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1232304/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=104540 CPUtime=89.93 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 28275 0 0 0 8962 31 0 0 25 0 1 0 199537231 107048960 25099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 26135 25099 297 55 0 25027 0 Current children cumulated CPU time (s) 89.93 Current children cumulated vsize (Kb) 104540 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1228720/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=108164 CPUtime=99.93 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 29174 0 0 0 9961 32 0 0 25 0 1 0 199537231 110759936 25998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 27041 25998 297 55 0 25933 0 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 108164 [startup+110.064 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1224752/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=112200 CPUtime=109.93 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 30166 0 0 0 10959 34 0 0 25 0 1 0 199537231 114892800 26990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 28050 26990 297 55 0 26942 0 Current children cumulated CPU time (s) 109.93 Current children cumulated vsize (Kb) 112200 [startup+120.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1222256/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=114696 CPUtime=119.94 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 30789 0 0 0 11958 36 0 0 25 0 1 0 199537231 117448704 27613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 28674 27613 297 55 0 27566 0 Current children cumulated CPU time (s) 119.94 Current children cumulated vsize (Kb) 114696 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1218544/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=118396 CPUtime=129.94 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 31713 0 0 0 12956 38 0 0 25 0 1 0 199537231 121237504 28537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 29599 28537 297 55 0 28491 0 Current children cumulated CPU time (s) 129.94 Current children cumulated vsize (Kb) 118396 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1216624/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=120208 CPUtime=139.95 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 32184 0 0 0 13955 40 0 0 25 0 1 0 199537231 123092992 29008 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 30052 29008 297 55 0 28944 0 Current children cumulated CPU time (s) 139.95 Current children cumulated vsize (Kb) 120208 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1214256/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=122632 CPUtime=149.95 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 32800 0 0 0 14954 41 0 0 25 0 1 0 199537231 125575168 29599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 30658 29600 297 55 0 29550 0 Current children cumulated CPU time (s) 149.95 Current children cumulated vsize (Kb) 122632 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1208944/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=127872 CPUtime=159.95 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 34124 0 0 0 15952 43 0 0 25 0 1 0 199537231 130940928 30923 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 31968 30923 297 55 0 30860 0 Current children cumulated CPU time (s) 159.95 Current children cumulated vsize (Kb) 127872 [startup+170.098 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1208688/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=128136 CPUtime=169.95 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 34182 0 0 0 16952 43 0 0 25 0 1 0 199537231 131211264 30981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 32034 30981 297 55 0 30926 0 Current children cumulated CPU time (s) 169.95 Current children cumulated vsize (Kb) 128136 [startup+180.104 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1206000/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=130776 CPUtime=179.95 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 34858 0 0 0 17950 45 0 0 25 0 1 0 199537231 133914624 31657 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542332 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 32694 31657 297 55 0 31586 0 Current children cumulated CPU time (s) 179.95 Current children cumulated vsize (Kb) 130776 [startup+190.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1200496/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=136308 CPUtime=189.95 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 36221 0 0 0 18948 47 0 0 25 0 1 0 199537231 139579392 33020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 34077 33020 297 55 0 32969 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 136308 [startup+200.115 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1195184/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=141564 CPUtime=199.96 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 37549 0 0 0 19947 49 0 0 25 0 1 0 199537231 144961536 34348 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 35391 34348 297 55 0 34283 0 Current children cumulated CPU time (s) 199.96 Current children cumulated vsize (Kb) 141564 [startup+210.121 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7780 /proc/meminfo: memFree=1194032/2055920 swapFree=4181408/4192956 ################ # More data... # ################ /proc/7780/statm: 78833 77697 297 55 0 77725 0 Current children cumulated CPU time (s) 1760.3 Current children cumulated vsize (Kb) 315332 [startup+1771.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020784/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=315724 CPUtime=1770.31 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81179 0 0 0 176860 171 0 0 25 0 1 0 199537231 323301376 77805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 78931 77805 297 55 0 77823 0 Current children cumulated CPU time (s) 1770.31 Current children cumulated vsize (Kb) 315724 [startup+1781.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020528/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316008 CPUtime=1780.31 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81239 0 0 0 177860 171 0 0 25 0 1 0 199537231 323592192 77865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548722 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79002 77865 297 55 0 77894 0 Current children cumulated CPU time (s) 1780.31 Current children cumulated vsize (Kb) 316008 [startup+1782.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020464/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316140 CPUtime=1781.32 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81250 0 0 0 177961 171 0 0 25 0 1 0 199537231 323727360 77876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79035 77876 297 55 0 77927 0 Current children cumulated CPU time (s) 1781.32 Current children cumulated vsize (Kb) 316140 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020464/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316140 CPUtime=1782.32 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81261 0 0 0 178061 171 0 0 25 0 1 0 199537231 323727360 77887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79035 77887 297 55 0 77927 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (Kb) 316140 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020336/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316272 CPUtime=1783.32 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81282 0 0 0 178161 171 0 0 25 0 1 0 199537231 323862528 77908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79068 77908 297 55 0 77960 0 Current children cumulated CPU time (s) 1783.32 Current children cumulated vsize (Kb) 316272 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020336/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316272 CPUtime=1784.33 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81282 0 0 0 178262 171 0 0 25 0 1 0 199537231 323862528 77908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79068 77908 297 55 0 77960 0 Current children cumulated CPU time (s) 1784.33 Current children cumulated vsize (Kb) 316272 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020336/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316272 CPUtime=1785.33 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81282 0 0 0 178362 171 0 0 25 0 1 0 199537231 323862528 77908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79068 77908 297 55 0 77960 0 Current children cumulated CPU time (s) 1785.33 Current children cumulated vsize (Kb) 316272 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020336/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316272 CPUtime=1786.34 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81282 0 0 0 178463 171 0 0 25 0 1 0 199537231 323862528 77908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79068 77908 297 55 0 77960 0 Current children cumulated CPU time (s) 1786.34 Current children cumulated vsize (Kb) 316272 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020336/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316272 CPUtime=1787.34 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81282 0 0 0 178563 171 0 0 25 0 1 0 199537231 323862528 77908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79068 77908 297 55 0 77960 0 Current children cumulated CPU time (s) 1787.34 Current children cumulated vsize (Kb) 316272 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020336/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316272 CPUtime=1788.35 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81282 0 0 0 178664 171 0 0 25 0 1 0 199537231 323862528 77908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79068 77908 297 55 0 77960 0 Current children cumulated CPU time (s) 1788.35 Current children cumulated vsize (Kb) 316272 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020336/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316264 CPUtime=1789.35 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81291 0 0 0 178764 171 0 0 25 0 1 0 199537231 323854336 77917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79066 77917 297 55 0 77958 0 Current children cumulated CPU time (s) 1789.35 Current children cumulated vsize (Kb) 316264 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020272/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316264 CPUtime=1790.36 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81294 0 0 0 178865 171 0 0 25 0 1 0 199537231 323854336 77920 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79066 77920 297 55 0 77958 0 Current children cumulated CPU time (s) 1790.36 Current children cumulated vsize (Kb) 316264 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020272/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316264 CPUtime=1791.36 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81301 0 0 0 178965 171 0 0 25 0 1 0 199537231 323854336 77927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79066 77927 297 55 0 77958 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (Kb) 316264 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020208/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316396 CPUtime=1792.36 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81316 0 0 0 179065 171 0 0 25 0 1 0 199537231 323989504 77942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79099 77942 297 55 0 77991 0 Current children cumulated CPU time (s) 1792.36 Current children cumulated vsize (Kb) 316396 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020144/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316372 CPUtime=1793.37 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81325 0 0 0 179166 171 0 0 25 0 1 0 199537231 323964928 77951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79093 77951 297 55 0 77985 0 Current children cumulated CPU time (s) 1793.37 Current children cumulated vsize (Kb) 316372 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020144/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316372 CPUtime=1794.37 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81334 0 0 0 179266 171 0 0 25 0 1 0 199537231 323964928 77960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79093 77960 297 55 0 77985 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (Kb) 316372 [startup+1796.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020144/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316372 CPUtime=1795.37 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81334 0 0 0 179366 171 0 0 25 0 1 0 199537231 323964928 77960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79093 77960 297 55 0 77985 0 Current children cumulated CPU time (s) 1795.37 Current children cumulated vsize (Kb) 316372 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020144/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316372 CPUtime=1796.38 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81334 0 0 0 179467 171 0 0 25 0 1 0 199537231 323964928 77960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134601364 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79093 77960 297 55 0 77985 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (Kb) 316372 [startup+1798.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020080/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316504 CPUtime=1797.38 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81346 0 0 0 179567 171 0 0 25 0 1 0 199537231 324100096 77972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79126 77972 297 55 0 78018 0 Current children cumulated CPU time (s) 1797.38 Current children cumulated vsize (Kb) 316504 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1020080/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316504 CPUtime=1798.4 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81351 0 0 0 179668 172 0 0 25 0 1 0 199537231 324100096 77977 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79126 77977 297 55 0 78018 0 Current children cumulated CPU time (s) 1798.4 Current children cumulated vsize (Kb) 316504 [startup+1800.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 7975 /proc/meminfo: memFree=1019952/2055920 swapFree=4181408/4192956 [pid=7780] ppid=7778 vsize=316636 CPUtime=1799.4 /proc/7780/stat : 7780 (bsolo) R 7778 7780 7734 0 -1 0 81376 0 0 0 179768 172 0 0 25 0 1 0 199537231 324235264 78002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7780/statm: 79159 78002 297 55 0 78051 0 Current children cumulated CPU time (s) 1799.4 Current children cumulated vsize (Kb) 316636 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.05 CPU user time (s): 1798.28 CPU system time (s): 1.76973 CPU usage (%): 99.959 Max. virtual memory (cumulated for all children) (Kb): 316636
Begin job on node15 on Sat Jun 3 12:45:44 UTC 2006 FILE ID= 39950-1149338744 PBS_JOBID= 310296 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-pilot4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node15/39950-1149338744/instance-39950-1149338744.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-39950-1149338744 -o ROOT/results/node15/solver-39950-1149338744 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node15/39950-1149338744/instance-39950-1149338744.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 65e439e03cbe6c14c849336d6093c9a6 RANDOM SEED= 318079970 /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.285 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.285 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: 1331640 kB Buffers: 40520 kB Cached: 609444 kB SwapCached: 3176 kB Active: 32368 kB Inactive: 626268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1331640 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14692 kB Slab: 51560 kB Committed_AS: 342268 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Sat Jun 3 13:15:45 UTC 2006