Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.08 | 1801.29 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb |
MD5SUM | 55e4261919fe5e3e5c6520778d47a3ef |
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 | 142226 |
Total number of constraints | 20881 |
Number of constraints which are clauses | 2438 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 18443 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 780 |
Biggest coefficient in the objective function | 261957 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524680 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261957 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524680 |
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/0.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/348020-1176565615/instance-348020-1176565615.opb 0.00/0.01 c File size is 11539406 bytes. 3.59/3.61 c Highest Coefficient sum: 524680 3.59/3.61 c Parsing was ok!! 3.59/3.61 c Total parsing time: 3.604 s 3.59/3.68 c Var: 142226 Constr: 20882 2438/0/18444 Lit: 988598 Watch. Lit: 83618 3.59/3.68 c Obj. Vars: 780 (0.548423 % of total variables) 5.77/5.80 c Pre-processing Time: 5.782 s 5.77/5.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.77/5.80 c 0 142211 20882 988568 47 577257 500000 0 0 5.78 5.77/5.80 c Switching off LPR mode. 1799.98/1801.22 c 100 142211 20982 993301 47 827201 550001 100 16 6.10 1799.98/1801.22 c 250 142211 21132 998945 47 826514 605002 250 40 6.22 1799.98/1801.22 c 475 142211 21357 1007648 47 826444 665503 475 72 6.53 1799.98/1801.22 c 813 142211 21695 1019007 46 826988 732054 813 121 6.71 1799.98/1801.22 c 1321 142211 22203 1042823 46 829188 805260 1321 168 7.82 1799.98/1801.22 c 2085 142211 22967 1081180 47 833522 885787 2085 216 9.62 1799.98/1801.22 c 3231 142211 24113 1109107 45 845360 974366 3231 303 10.64 1799.98/1801.22 c 4953 142211 25835 1174520 45 851924 500000 4953 376 13.15 1799.98/1801.22 c 7537 142211 28419 1304114 45 853989 550001 7537 371 20.30 1799.98/1801.22 c 11416 142211 32298 1494463 46 860612 605002 11416 421 27.09 1799.98/1801.22 c 17242 142211 38124 1716515 45 872234 665503 17242 598 28.79 1799.98/1801.22 c 25979 142211 46861 2188439 46 890818 732054 25979 714 36.37 1799.98/1801.22 c 39091 142211 59973 2894911 48 919288 805260 39091 837 46.68 1799.98/1801.22 c 58762 142211 79644 3619424 45 958411 885787 58762 1031 56.99 1799.98/1801.22 c 88272 142211 109154 5179284 47 1018104 974366 88272 916 96.36 1799.98/1801.22 c 132543 142211 153425 7632743 49 1106748 500000 132543 631 209.90 1799.98/1801.22 c 198954 142211 219836 11010888 50 1241025 550001 198954 586 339.07 1799.98/1801.22 c 298574 142211 319456 15929443 49 1437270 605002 298574 451 660.58 1799.98/1801.22 c Resources Exceeded 1799.98/1801.22 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1801.22 c 18 439331 17523 1265116 460213 25703083 439331 244 1800.01 1799.98/1801.22 s UNKNOWN 1799.98/1801.22 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-348020-1176565615 -o ROOT/results/node39/solver-348020-1176565615 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348020-1176565615/instance-348020-1176565615.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.27 1.74 1.68 3/77 6801 /proc/meminfo: memFree=1481104/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=2520 CPUtime=0 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 57 0 1 0 0 0 0 0 18 0 1 0 104473579 2580480 41 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11092772 0 2147483391 4096 0 0 0 0 17 0 0 0 /proc/6801/statm: 630 41 32 324 0 8 0 [startup+0.090488 s] /proc/loadavg: 1.27 1.74 1.68 3/77 6801 /proc/meminfo: memFree=1481104/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=16908 CPUtime=0.07 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 866 0 3 0 7 0 0 0 18 0 1 0 104473579 17313792 797 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 4227 797 341 324 0 478 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 16908 [startup+0.10149 s] /proc/loadavg: 1.27 1.74 1.68 3/77 6801 /proc/meminfo: memFree=1481104/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=17052 CPUtime=0.09 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 923 0 3 0 9 0 0 0 18 0 1 0 104473579 17461248 854 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 4263 854 349 324 0 514 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17052 [startup+0.301524 s] /proc/loadavg: 1.27 1.74 1.68 3/77 6801 /proc/meminfo: memFree=1481104/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=21100 CPUtime=0.28 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 2223 0 3 0 28 0 0 0 19 0 1 0 104473579 21606400 2026 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 5275 2026 504 324 0 1526 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 21100 [startup+0.701592 s] /proc/loadavg: 1.27 1.74 1.68 3/77 6801 /proc/meminfo: memFree=1481104/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=26800 CPUtime=0.69 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 4160 0 3 0 68 1 0 0 22 0 1 0 104473579 27443200 3709 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11552528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 6700 3709 805 324 0 2951 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26800 [startup+1.50173 s] /proc/loadavg: 1.25 1.73 1.68 2/78 6802 /proc/meminfo: memFree=1467464/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=30164 CPUtime=1.48 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 5642 0 3 0 147 1 0 0 25 0 1 0 104473579 30887936 5191 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 7541 5191 1436 324 0 3792 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 30164 [startup+3.102 s] /proc/loadavg: 1.25 1.73 1.68 2/78 6802 /proc/meminfo: memFree=1462792/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=36376 CPUtime=3.09 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 8483 0 3 0 307 2 0 0 25 0 1 0 104473579 37249024 8032 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11512689 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 9094 8032 2701 324 0 5345 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36376 [startup+6.30154 s] /proc/loadavg: 1.25 1.73 1.68 2/78 6802 /proc/meminfo: memFree=1416904/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=69296 CPUtime=6.27 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 20796 0 3 0 602 25 0 0 25 0 1 0 104473579 70959104 16137 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 17324 16137 312 324 0 16393 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 69296 [startup+12.7016 s] /proc/loadavg: 1.21 1.70 1.67 2/78 6802 /proc/meminfo: memFree=1416776/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=69312 CPUtime=12.68 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 20800 0 3 0 1235 33 0 0 25 0 1 0 104473579 70975488 16141 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11526871 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 17328 16141 312 324 0 16397 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 69312 [startup+25.5018 s] /proc/loadavg: 1.18 1.68 1.66 2/78 6802 /proc/meminfo: memFree=1416976/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=69332 CPUtime=25.47 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 20805 0 3 0 2513 34 0 0 25 0 1 0 104473579 70995968 16146 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 17333 16146 312 324 0 16402 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 69332 [startup+51.1011 s] /proc/loadavg: 1.11 1.62 1.64 2/78 6802 /proc/meminfo: memFree=1392272/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=94876 CPUtime=51.04 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 27211 0 3 0 5054 50 0 0 25 0 1 0 104473579 97153024 22552 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 23719 22552 312 324 0 22788 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 94876 [startup+102.306 s] /proc/loadavg: 1.04 1.52 1.60 2/78 6802 /proc/meminfo: memFree=1355536/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=130920 CPUtime=102.22 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 36231 0 3 0 10152 70 0 0 25 0 1 0 104473579 134062080 31572 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 32730 31572 312 324 0 31799 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 130920 [startup+162.302 s] /proc/loadavg: 1.01 1.42 1.56 2/78 6802 /proc/meminfo: memFree=1333776/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=152660 CPUtime=162.17 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 41667 0 3 0 16137 80 0 0 25 0 1 0 104473579 156323840 37008 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 38165 37008 312 324 0 37234 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 152660 [startup+222.302 s] /proc/loadavg: 1.00 1.34 1.53 2/78 6802 /proc/meminfo: memFree=1307536/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=179060 CPUtime=222.13 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 48242 0 3 0 22121 92 0 0 25 0 1 0 104473579 183357440 43583 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 44765 43583 312 324 0 43834 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 179060 [startup+282.301 s] /proc/loadavg: 1.00 1.28 1.49 2/78 6802 /proc/meminfo: memFree=1285712/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=200788 CPUtime=282.09 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 53703 0 3 0 28107 102 0 0 25 0 1 0 104473579 205606912 49044 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 50197 49044 312 324 0 49266 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 200788 [startup+342.301 s] /proc/loadavg: 1.00 1.22 1.45 2/78 6802 /proc/meminfo: memFree=1271184/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=215224 CPUtime=342.05 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 57283 0 3 0 34092 113 0 0 25 0 1 0 104473579 220389376 52624 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11525690 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 53806 52624 312 324 0 52875 0 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (KiB) 215224 [startup+402.301 s] /proc/loadavg: 1.00 1.18 1.43 2/78 6802 /proc/meminfo: memFree=1241936/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=244556 CPUtime=402 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 64616 0 3 0 40075 125 0 0 25 0 1 0 104473579 250425344 59957 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 61139 59957 312 324 0 60208 0 Current children cumulated CPU time (s) 402 Current children cumulated vsize (KiB) 244556 [startup+462.302 s] /proc/loadavg: 1.00 1.14 1.40 2/78 6802 /proc/meminfo: memFree=1228496/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=257892 CPUtime=461.97 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 67977 0 3 0 46064 133 0 0 25 0 1 0 104473579 264081408 63318 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 64473 63318 312 324 0 63542 0 Current children cumulated CPU time (s) 461.97 Current children cumulated vsize (KiB) 257892 [startup+522.302 s] /proc/loadavg: 1.00 1.12 1.37 2/78 6802 /proc/meminfo: memFree=1218448/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=268132 CPUtime=521.93 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 70515 0 3 0 52055 138 0 0 25 0 1 0 104473579 274567168 65856 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 67033 65856 312 324 0 66102 0 Current children cumulated CPU time (s) 521.93 Current children cumulated vsize (KiB) 268132 [startup+582.302 s] /proc/loadavg: 1.00 1.09 1.34 2/78 6802 /proc/meminfo: memFree=1210000/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=276420 CPUtime=581.9 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 72588 0 3 0 58047 143 0 0 25 0 1 0 104473579 283054080 67929 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 69105 67929 312 324 0 68174 0 Current children cumulated CPU time (s) 581.9 Current children cumulated vsize (KiB) 276420 [startup+642.302 s] /proc/loadavg: 1.00 1.07 1.32 2/78 6802 /proc/meminfo: memFree=1201616/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=284852 CPUtime=641.86 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 74689 0 3 0 64038 148 0 0 25 0 1 0 104473579 291688448 70030 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551635 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 71213 70030 312 324 0 70282 0 Current children cumulated CPU time (s) 641.86 Current children cumulated vsize (KiB) 284852 ################ # More data... # ################ /proc/meminfo: memFree=1123600/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=362728 CPUtime=1121.53 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 94172 0 3 0 111952 201 0 0 25 0 1 0 104473579 371433472 89513 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 90682 89513 312 324 0 89751 0 Current children cumulated CPU time (s) 1121.53 Current children cumulated vsize (KiB) 362728 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.16 2/78 7000 /proc/meminfo: memFree=1117776/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=368516 CPUtime=1181.5 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 95632 0 3 0 117947 203 0 0 25 0 1 0 104473579 377360384 90973 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 92129 90973 312 324 0 91198 0 Current children cumulated CPU time (s) 1181.5 Current children cumulated vsize (KiB) 368516 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.15 2/78 7000 /proc/meminfo: memFree=1112912/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=373376 CPUtime=1241.45 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 96843 0 3 0 123940 205 0 0 25 0 1 0 104473579 382337024 92184 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134573376 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 93344 92184 312 324 0 92413 0 Current children cumulated CPU time (s) 1241.45 Current children cumulated vsize (KiB) 373376 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.14 2/78 7000 /proc/meminfo: memFree=1108624/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=377720 CPUtime=1301.41 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 97913 0 3 0 129935 206 0 0 25 0 1 0 104473579 386785280 93254 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 94430 93254 312 324 0 93499 0 Current children cumulated CPU time (s) 1301.41 Current children cumulated vsize (KiB) 377720 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/78 7000 /proc/meminfo: memFree=1104976/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=381388 CPUtime=1361.37 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 98838 0 3 0 135928 209 0 0 25 0 1 0 104473579 390541312 94179 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572045 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 95347 94179 312 324 0 94416 0 Current children cumulated CPU time (s) 1361.37 Current children cumulated vsize (KiB) 381388 [startup+1422.31 s] /proc/loadavg: 1.06 1.02 1.12 2/78 7000 /proc/meminfo: memFree=1100624/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=385744 CPUtime=1421.33 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 99919 0 3 0 141922 211 0 0 25 0 1 0 104473579 395001856 95260 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11525876 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 96436 95260 312 324 0 95505 0 Current children cumulated CPU time (s) 1421.33 Current children cumulated vsize (KiB) 385744 [startup+1482.3 s] /proc/loadavg: 1.08 1.03 1.11 2/78 7000 /proc/meminfo: memFree=1095440/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=390884 CPUtime=1481.29 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 101220 0 3 0 147915 214 0 0 25 0 1 0 104473579 400265216 96561 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 97721 96561 312 324 0 96790 0 Current children cumulated CPU time (s) 1481.29 Current children cumulated vsize (KiB) 390884 [startup+1542.3 s] /proc/loadavg: 1.08 1.03 1.11 2/78 7000 /proc/meminfo: memFree=1086672/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=399724 CPUtime=1541.25 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 103425 0 3 0 153906 219 0 0 25 0 1 0 104473579 409317376 98766 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 99931 98766 312 324 0 99000 0 Current children cumulated CPU time (s) 1541.25 Current children cumulated vsize (KiB) 399724 [startup+1602.3 s] /proc/loadavg: 1.03 1.03 1.09 2/78 7000 /proc/meminfo: memFree=1077968/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=408420 CPUtime=1601.21 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 105612 0 3 0 159898 223 0 0 25 0 1 0 104473579 418222080 100953 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 102105 100953 312 324 0 101174 0 Current children cumulated CPU time (s) 1601.21 Current children cumulated vsize (KiB) 408420 [startup+1662.3 s] /proc/loadavg: 1.01 1.02 1.09 2/78 7000 /proc/meminfo: memFree=1071632/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=414724 CPUtime=1661.17 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 107188 0 3 0 165891 226 0 0 25 0 1 0 104473579 424677376 102529 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 103681 102529 312 324 0 102750 0 Current children cumulated CPU time (s) 1661.17 Current children cumulated vsize (KiB) 414724 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.08 2/78 7000 /proc/meminfo: memFree=1066448/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=419984 CPUtime=1721.13 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 108498 0 3 0 171885 228 0 0 25 0 1 0 104473579 430063616 103839 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 104996 103839 312 324 0 104065 0 Current children cumulated CPU time (s) 1721.13 Current children cumulated vsize (KiB) 419984 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.07 2/78 7000 /proc/meminfo: memFree=1060880/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=425488 CPUtime=1781.09 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 109861 0 3 0 177878 231 0 0 25 0 1 0 104473579 435699712 105202 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 106372 105202 312 324 0 105441 0 Current children cumulated CPU time (s) 1781.09 Current children cumulated vsize (KiB) 425488 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.01 1.07 2/78 7000 /proc/meminfo: memFree=1060240/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=426148 CPUtime=1790.69 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 110022 0 3 0 178837 232 0 0 25 0 1 0 104473579 436375552 105363 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 106537 105363 312 324 0 105606 0 Current children cumulated CPU time (s) 1790.69 Current children cumulated vsize (KiB) 426148 [startup+1795.1 s] /proc/loadavg: 1.00 1.01 1.07 2/78 7000 /proc/meminfo: memFree=1059920/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=426416 CPUtime=1793.89 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 110102 0 3 0 179157 232 0 0 25 0 1 0 104473579 436649984 105443 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 106604 105443 312 324 0 105673 0 Current children cumulated CPU time (s) 1793.89 Current children cumulated vsize (KiB) 426416 [startup+1798.3 s] /proc/loadavg: 1.00 1.01 1.07 2/78 7000 /proc/meminfo: memFree=1059792/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=426680 CPUtime=1797.08 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 110159 0 3 0 179476 232 0 0 25 0 1 0 104473579 436920320 105500 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 106670 105500 312 324 0 105739 0 Current children cumulated CPU time (s) 1797.08 Current children cumulated vsize (KiB) 426680 [startup+1799.9 s] /proc/loadavg: 1.00 1.01 1.07 2/78 7000 /proc/meminfo: memFree=1059600/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=426808 CPUtime=1798.68 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 110199 0 3 0 179636 232 0 0 25 0 1 0 104473579 437051392 105540 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 106702 105540 312 324 0 105771 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (KiB) 426808 [startup+1800.71 s] /proc/loadavg: 1.00 1.01 1.07 2/78 7000 /proc/meminfo: memFree=1059472/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=426940 CPUtime=1799.49 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 110216 0 3 0 179717 232 0 0 25 0 1 0 104473579 437186560 105557 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 106735 105557 312 324 0 105804 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (KiB) 426940 [startup+1801.1 s] /proc/loadavg: 1.00 1.01 1.07 2/78 7000 /proc/meminfo: memFree=1059472/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=426940 CPUtime=1799.88 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 110225 0 3 0 179756 232 0 0 25 0 1 0 104473579 437186560 105566 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 106735 105566 312 324 0 105804 0 Current children cumulated CPU time (s) 1799.88 Current children cumulated vsize (KiB) 426940 [startup+1801.2 s] /proc/loadavg: 1.00 1.01 1.07 2/78 7000 /proc/meminfo: memFree=1059472/2055920 swapFree=4192812/4192956 [pid=6801] ppid=6799 vsize=426940 CPUtime=1799.98 /proc/6801/stat : 6801 (bsolo3.0.16) R 6799 6801 6741 0 -1 4194304 110227 0 3 0 179766 232 0 0 25 0 1 0 104473579 437186560 105568 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6801/statm: 106735 105568 312 324 0 105804 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 426940 Child status: 0 Real time (s): 1801.29 CPU time (s): 1800.08 CPU user time (s): 1797.69 CPU system time (s): 2.39364 CPU usage (%): 99.9328 Max. virtual memory (cumulated for all children) (KiB): 426940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.69 system time used= 2.39364 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110229 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 37942 runsolver used 1.71374 second user time and 4.84626 second system time The end
Begin job on node39 on Sat Apr 14 15:46:55 UTC 2007 IDJOB= 348020 IDBENCH= 1605 IDSOLVER= 163 FILE ID= node39/348020-1176565615 PBS_JOBID= 4556875 Free space on /tmp= 66549 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348020-1176565615/instance-348020-1176565615.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-348020-1176565615 -o ROOT/results/node39/solver-348020-1176565615 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348020-1176565615/instance-348020-1176565615.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 55e4261919fe5e3e5c6520778d47a3ef RANDOM SEED= 977594103 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.256 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.256 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: 1482280 kB Buffers: 39372 kB Cached: 228820 kB SwapCached: 0 kB Active: 327496 kB Inactive: 135172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1482280 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 15808 kB Writeback: 0 kB Mapped: 213384 kB Slab: 96244 kB Committed_AS: 355780 kB PageTables: 2012 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66549 MiB End job on node39 on Sat Apr 14 16:16:57 UTC 2007