Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.05 | 1800.6 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-degen3.opb |
MD5SUM | 180182351d074e1d8188f1fe7258cbed |
Bench Category | OPT-BIGINT (optimisation, big 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 | 54540 |
Total number of constraints | 1503 |
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 | 1503 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 6090 |
Number of terms in the objective function | 47190 |
Biggest coefficient in the objective function | 1001264250880 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 339379725479256 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 1001264250880 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 339379725479256 |
Number of bits of the biggest sum of numbers | 49 |
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.02 c BIG Int formula... 13.12 c Initial problem consists of 54540 variables and 2220 constraints. 13.60 c No problem reductions applied in OPT. instance. 13.60 c preprocess terminated. Elapsed time: 13.587 13.60 c After prepocess the problem consists of 21237 variables and 2220 constraints. 13.60 c Initial Lower Bound: -595977909 20.36 c Restart #1 #Var: 21237 LB: -595977909 @ 20.346 33.70 c Restart #2 #Var: 21237 LB: -595977909 @ 33.683 53.51 c Restart #3 #Var: 21237 LB: -595977909 @ 53.484 79.56 c Restart #4 #Var: 21237 LB: -595977909 @ 79.524 112.04 c Restart #5 #Var: 21237 LB: -595977909 @ 111.99 151.59 c Restart #6 #Var: 21237 LB: -595977909 @ 151.54 196.56 c Restart #7 #Var: 21237 LB: -595977909 @ 196.5 249.12 c Restart #8 #Var: 21237 LB: -595977909 @ 249.04 307.40 c Restart #9 #Var: 21237 LB: -595977909 @ 307.31 373.11 c Restart #10 #Var: 21237 LB: -595977909 @ 373 445.75 c Restart #11 #Var: 21237 LB: -595977909 @ 445.62 513.18 c Restart #12 #Var: 21237 LB: -595977909 @ 513.03 531.88 c Restart #13 #Var: 21237 LB: -595977909 @ 531.72 532.22 c Restart #14 #Var: 21237 LB: -595977909 @ 532.07 533.10 c Restart #15 #Var: 21237 LB: -595977909 @ 532.95 534.00 c Restart #16 #Var: 21237 LB: -595977909 @ 533.84 534.93 c Restart #17 #Var: 21237 LB: -595977909 @ 534.77 535.87 c Restart #18 #Var: 21237 LB: -595977909 @ 535.72 536.86 c Restart #19 #Var: 21237 LB: -595977909 @ 536.7 537.87 c Restart #20 #Var: 21237 LB: -595977909 @ 537.71 538.90 c Restart #21 #Var: 21237 LB: -595977909 @ 538.74 539.98 c Restart #22 #Var: 21237 LB: -595977909 @ 539.82 541.07 c Restart #23 #Var: 21237 LB: -595977909 @ 540.92 542.07 c Restart #24 #Var: 21237 LB: -595977909 @ 541.91 543.24 c Restart #25 #Var: 21237 LB: -595977909 @ 543.08 544.45 c Restart #26 #Var: 21237 LB: -595977909 @ 544.29 545.75 c Restart #27 #Var: 21237 LB: -595977909 @ 545.59 547.30 c Restart #28 #Var: 21237 LB: -595977909 @ 547.14 549.24 c Restart #29 #Var: 21237 LB: -595977909 @ 549.08 551.40 c Restart #30 #Var: 21237 LB: -595977909 @ 551.24 553.04 c Restart #31 #Var: 21237 LB: -595977909 @ 552.88 554.08 c Restart #32 #Var: 21237 LB: -595977909 @ 553.92 573.70 c Restart #33 #Var: 21237 LB: -595977909 @ 573.53 607.86 c Restart #34 #Var: 21237 LB: -595977909 @ 607.69 627.24 c Restart #35 #Var: 21237 LB: -595977909 @ 627.06 655.85 c Restart #36 #Var: 21237 LB: -595977909 @ 655.66 658.40 c Restart #37 #Var: 21237 LB: -595977909 @ 658.21 703.92 c Restart #38 #Var: 21237 LB: -595977909 @ 703.72 718.57 c Restart #39 #Var: 21237 LB: -595977909 @ 718.36 761.92 c Restart #40 #Var: 21237 LB: -595977909 @ 761.71 775.37 c Restart #41 #Var: 21237 LB: -595977909 @ 775.15 780.73 c Restart #42 #Var: 21237 LB: -595977909 @ 780.51 793.34 c Restart #43 #Var: 21237 LB: -595977909 @ 793.12 800.73 c Restart #44 #Var: 21237 LB: -595977909 @ 800.5 818.38 c Restart #45 #Var: 21237 LB: -595977909 @ 818.14 882.07 c Restart #46 #Var: 21237 LB: -595977909 @ 881.82 889.15 c Restart #47 #Var: 21237 LB: -595977909 @ 888.9 926.72 c CHANGE Heuristic... 926.72 c Restart #0 #Var: 21237 LB: -595977909 @ 926.46 927.10 c Restart #1 #Var: 21237 LB: -595977909 @ 926.84 927.16 c Restart #2 #Var: 21237 LB: -595977909 @ 926.9 927.97 c Restart #3 #Var: 21237 LB: -595977909 @ 927.71 928.28 c Restart #4 #Var: 21237 LB: -595977909 @ 928.02 934.86 c Restart #5 #Var: 21237 LB: -595977909 @ 934.6 938.43 c Restart #6 #Var: 21237 LB: -595977909 @ 938.17 942.24 c Restart #7 #Var: 21237 LB: -595977909 @ 941.98 953.97 c Restart #8 #Var: 21237 LB: -595977909 @ 953.7 959.53 c Restart #9 #Var: 21237 LB: -595977909 @ 959.26 963.28 c Restart #10 #Var: 21237 LB: -595977909 @ 963 975.15 c Restart #11 #Var: 21237 LB: -595977909 @ 974.88 990.94 c Restart #12 #Var: 21237 LB: -595977909 @ 990.66 998.41 c Restart #13 #Var: 21237 LB: -595977909 @ 998.13 1002.41 c Restart #14 #Var: 21237 LB: -595977909 @ 1002.1 1025.55 c Restart #15 #Var: 21237 LB: -595977909 @ 1025.3 1035.72 c Restart #16 #Var: 21237 LB: -595977909 @ 1035.4 1040.45 c Restart #17 #Var: 21237 LB: -595977909 @ 1040.2 1044.24 c Restart #18 #Var: 21237 LB: -595977909 @ 1043.9 1050.77 c Restart #19 #Var: 21237 LB: -595977909 @ 1050.5 1054.86 c Restart #20 #Var: 21237 LB: -595977909 @ 1054.6 1058.97 c Restart #21 #Var: 21237 LB: -595977909 @ 1058.7 1060.27 c Restart #22 #Var: 21237 LB: -595977909 @ 1060 1072.00 c Restart #23 #Var: 21237 LB: -595977909 @ 1071.7 1076.15 c Restart #24 #Var: 21237 LB: -595977909 @ 1075.9 1098.26 c Restart #25 #Var: 21237 LB: -595977909 @ 1098 1099.48 c Restart #26 #Var: 21237 LB: -595977909 @ 1099.2 1103.88 c Restart #27 #Var: 21237 LB: -595977909 @ 1103.6 1105.72 c Restart #28 #Var: 21237 LB: -595977909 @ 1105.4 1117.79 c Restart #29 #Var: 21237 LB: -595977909 @ 1117.5 1127.93 c Restart #30 #Var: 21237 LB: -595977909 @ 1127.6 1129.79 c Restart #31 #Var: 21237 LB: -595977909 @ 1129.5 1143.97 c Restart #32 #Var: 21237 LB: -595977909 @ 1143.7 1149.40 c Restart #33 #Var: 21237 LB: -595977909 @ 1149.1 1151.88 c Restart #34 #Var: 21237 LB: -595977909 @ 1151.6 1158.32 c Restart #35 #Var: 21237 LB: -595977909 @ 1158 1182.59 c Restart #36 #Var: 21237 LB: -595977909 @ 1182.3 1184.84 c Restart #37 #Var: 21237 LB: -595977909 @ 1184.5 1196.05 c Restart #38 #Var: 21237 LB: -595977909 @ 1195.7 1197.64 c Restart #39 #Var: 21237 LB: -595977909 @ 1197.3 1207.68 c Restart #40 #Var: 21237 LB: -595977909 @ 1207.3 1217.15 c Restart #41 #Var: 21237 LB: -595977909 @ 1216.8 1219.62 c Restart #42 #Var: 21237 LB: -595977909 @ 1219.3 1233.46 c Restart #43 #Var: 21237 LB: -595977909 @ 1233.1 1247.56 c Restart #44 #Var: 21237 LB: -595977909 @ 1247.2 1258.94 c Restart #45 #Var: 21237 LB: -595977909 @ 1258.6 1272.47 c Restart #46 #Var: 21237 LB: -595977909 @ 1272.1 1302.51 c Restart #47 #Var: 21237 LB: -595977909 @ 1302.2 1305.89 c Restart #48 #Var: 21237 LB: -595977909 @ 1305.5 1306.51 c Restart #49 #Var: 21237 LB: -595977909 @ 1306.1 1352.42 c Restart #50 #Var: 21237 LB: -595977909 @ 1352 1369.47 c Restart #51 #Var: 21237 LB: -595977909 @ 1369.1 1404.45 c Restart #52 #Var: 21237 LB: -595977909 @ 1404.1 1435.97 c Restart #53 #Var: 21237 LB: -595977909 @ 1435.6 1446.12 c Restart #54 #Var: 21237 LB: -595977909 @ 1445.7 1475.39 c Restart #55 #Var: 21237 LB: -595977909 @ 1475 1488.72 c Restart #56 #Var: 21237 LB: -595977909 @ 1488.3 1540.81 c Restart #57 #Var: 21237 LB: -595977909 @ 1540.3 1560.86 c Restart #58 #Var: 21237 LB: -595977909 @ 1560.4 1578.22 c Restart #59 #Var: 21237 LB: -595977909 @ 1577.7 1591.95 c Restart #60 #Var: 21237 LB: -595977909 @ 1591.5 1607.11 c Restart #61 #Var: 21237 LB: -595977909 @ 1606.6 1643.90 c Restart #62 #Var: 21237 LB: -595977909 @ 1643.4 1664.64 c Restart #63 #Var: 21237 LB: -595977909 @ 1664.1 1680.59 c Restart #64 #Var: 21237 LB: -595977909 @ 1680.1 1720.18 c Restart #65 #Var: 21237 LB: -595977909 @ 1719.7 1738.05 c Restart #66 #Var: 21237 LB: -595977909 @ 1737.5 1772.43 c Restart #67 #Var: 21237 LB: -595977909 @ 1771.9 1793.24 c Restart #68 #Var: 21237 LB: -595977909 @ 1792.7 1800.54 s UNKNOWN 1800.54 c Exit Code: 0 1800.54 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/node72/watcher-40712-1149312964 -o ROOT/results/node72/solver-40712-1149312964 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40712-1149312964/instance-40712-1149312964.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.93 2/64 26504 /proc/meminfo: memFree=1526352/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=4928 CPUtime=0 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 336 0 0 0 0 0 0 0 18 0 1 0 196960823 5046272 300 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3002071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 1232 312 210 55 0 124 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.95 0.93 2/64 26504 /proc/meminfo: memFree=1467736/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=64868 CPUtime=9.98 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 795105 0 0 0 782 216 0 0 25 0 1 0 196960823 66424832 14996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 16217 14996 281 55 0 15109 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 64868 [startup+20.0101 s] /proc/loadavg: 0.94 0.96 0.93 2/64 26504 /proc/meminfo: memFree=1419480/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=115736 CPUtime=19.99 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807207 0 0 0 1766 233 0 0 25 0 1 0 196960823 118513664 27049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 28934 27049 297 55 0 27826 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 115736 [startup+30.016 s] /proc/loadavg: 0.95 0.96 0.93 2/64 26504 /proc/meminfo: memFree=1419288/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=116132 CPUtime=29.99 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807452 0 0 0 2750 249 0 0 25 0 1 0 196960823 118919168 27133 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29033 27133 297 55 0 27925 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 116132 [startup+40.0219 s] /proc/loadavg: 0.95 0.96 0.93 2/64 26504 /proc/meminfo: memFree=1418904/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=116396 CPUtime=39.99 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807536 0 0 0 3734 265 0 0 25 0 1 0 196960823 119189504 27217 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29099 27217 297 55 0 27991 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 116396 [startup+50.0288 s] /proc/loadavg: 0.96 0.96 0.93 2/64 26504 /proc/meminfo: memFree=1418648/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=116792 CPUtime=50 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807623 0 0 0 4717 283 0 0 25 0 1 0 196960823 119595008 27304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718431 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29198 27304 297 55 0 28090 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 116792 [startup+60.0347 s] /proc/loadavg: 0.97 0.96 0.93 2/64 26504 /proc/meminfo: memFree=1418264/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=117056 CPUtime=60 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807711 0 0 0 5699 301 0 0 25 0 1 0 196960823 119865344 27392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29264 27392 297 55 0 28156 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 117056 [startup+70.0406 s] /proc/loadavg: 0.97 0.96 0.93 2/64 26504 /proc/meminfo: memFree=1418008/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=117452 CPUtime=70 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807798 0 0 0 6684 316 0 0 25 0 1 0 196960823 120270848 27479 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29363 27479 297 55 0 28255 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 117452 [startup+80.0466 s] /proc/loadavg: 0.98 0.96 0.93 2/64 26504 /proc/meminfo: memFree=1417624/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=117848 CPUtime=80 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807881 0 0 0 7667 333 0 0 25 0 1 0 196960823 120676352 27562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29462 27562 297 55 0 28354 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 117848 [startup+90.0525 s] /proc/loadavg: 0.98 0.96 0.93 2/64 26504 /proc/meminfo: memFree=1417304/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=118112 CPUtime=90.01 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807965 0 0 0 8652 349 0 0 25 0 1 0 196960823 120946688 27646 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29528 27646 297 55 0 28420 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 118112 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.93 2/64 26504 /proc/meminfo: memFree=1416920/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=118508 CPUtime=100.02 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808053 0 0 0 9636 366 0 0 25 0 1 0 196960823 121352192 27734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29627 27734 297 55 0 28519 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 118508 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.93 2/64 26504 /proc/meminfo: memFree=1416536/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=118772 CPUtime=110.01 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808141 0 0 0 10620 381 0 0 25 0 1 0 196960823 121622528 27822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29693 27822 297 55 0 28585 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 118772 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26504 /proc/meminfo: memFree=1416216/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=119168 CPUtime=120.02 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808228 0 0 0 11605 397 0 0 25 0 1 0 196960823 122028032 27909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29792 27909 297 55 0 28684 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 119168 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26504 /proc/meminfo: memFree=1415832/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=119564 CPUtime=130.02 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808315 0 0 0 12588 414 0 0 25 0 1 0 196960823 122433536 27996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29891 27996 297 55 0 28783 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 119564 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26504 /proc/meminfo: memFree=1415512/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=119828 CPUtime=140.03 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808402 0 0 0 13573 430 0 0 25 0 1 0 196960823 122703872 28083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 29957 28083 297 55 0 28849 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 119828 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26504 /proc/meminfo: memFree=1415192/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=120224 CPUtime=150.03 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808488 0 0 0 14558 445 0 0 25 0 1 0 196960823 123109376 28169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 30056 28169 297 55 0 28948 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 120224 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26504 /proc/meminfo: memFree=1414872/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=120488 CPUtime=160.03 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808572 0 0 0 15543 460 0 0 25 0 1 0 196960823 123379712 28253 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 30122 28253 297 55 0 29014 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 120488 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26504 /proc/meminfo: memFree=1414488/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=120884 CPUtime=170.04 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808655 0 0 0 16526 478 0 0 25 0 1 0 196960823 123785216 28336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 30221 28336 297 55 0 29113 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 120884 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26504 /proc/meminfo: memFree=1414168/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=121280 CPUtime=180.04 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808744 0 0 0 17507 497 0 0 25 0 1 0 196960823 124190720 28425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 30320 28425 297 55 0 29212 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 121280 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26504 /proc/meminfo: memFree=1413784/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=121544 CPUtime=190.04 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808832 0 0 0 18491 513 0 0 25 0 1 0 196960823 124461056 28513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 30386 28513 297 55 0 29278 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 121544 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26504 /proc/meminfo: memFree=1413400/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=121940 CPUtime=200.04 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808921 0 0 0 19474 530 0 0 25 0 1 0 196960823 124866560 28602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 30485 28602 297 55 0 29377 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 121940 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26504 /proc/meminfo: memFree=1413080/2055920 swapFree=4182504/4192956 ################ # More data... # ################ /proc/26504/statm: 79731 77825 297 55 0 78623 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 318924 [startup+1771.04 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=319088 CPUtime=1770.5 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 175849 1201 0 0 25 0 1 0 196960823 326746112 77857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79772 77857 297 55 0 78664 0 Current children cumulated CPU time (s) 1770.5 Current children cumulated vsize (Kb) 319088 [startup+1781.05 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1780.5 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 176848 1202 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1780.5 Current children cumulated vsize (Kb) 318948 [startup+1782.05 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1781.51 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 176948 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 318948 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1782.52 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177049 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 318948 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1783.52 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177149 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 318948 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1784.52 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177249 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 318948 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1785.53 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177350 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 318948 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1786.53 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177450 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 318948 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1787.53 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177550 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 318948 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1788.54 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177651 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 318948 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1789.54 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177751 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 318948 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1790.55 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177852 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 318948 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1791.56 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177952 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 318948 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1792.56 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178052 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 318948 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1793.57 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178153 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 318948 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1794.57 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178253 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 318948 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1795.57 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178353 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 318948 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1796.58 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178454 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 318948 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1797.58 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178554 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 318948 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1798.59 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178655 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 318948 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 26699 /proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956 [pid=26504] ppid=26502 vsize=318948 CPUtime=1799.6 /proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178755 1205 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26504/statm: 79737 77837 297 55 0 78629 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 318948 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.05 CPU user time (s): 1787.96 CPU system time (s): 12.0992 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (Kb): 319088
Begin job on node72 on Sat Jun 3 05:36:04 UTC 2006 FILE ID= 40712-1149312964 PBS_JOBID= 308163 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40712-1149312964/instance-40712-1149312964.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-40712-1149312964 -o ROOT/results/node72/solver-40712-1149312964 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40712-1149312964/instance-40712-1149312964.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 180182351d074e1d8188f1fe7258cbed RANDOM SEED= 510870057 /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.227 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.227 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: 1526496 kB Buffers: 41388 kB Cached: 411784 kB SwapCached: 2428 kB Active: 71980 kB Inactive: 390192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1526496 kB SwapTotal: 4192956 kB SwapFree: 4182504 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16032 kB Slab: 53248 kB Committed_AS: 288312 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node72 on Sat Jun 3 06:06:05 UTC 2006