Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.19 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb |
MD5SUM | 79ac545a8fcf117e4e23dd9b4f8255c5 |
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 | 27888 |
Total number of constraints | 874 |
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 | 874 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 246 |
Number of terms in the objective function | 27836 |
Biggest coefficient in the objective function | 8308 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 546265 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 546265 |
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.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432641-1177947049/instance-432641-1177947049.opb 0.00/0.00 c File size is 935950 bytes. 0.09/0.19 c Highest Coefficient sum: 546265 0.09/0.19 c Parsing was ok!! 0.09/0.19 c Total parsing time: 0.187 s 0.09/0.20 c Var: 27888 Constr: 1422 16/0/1406 Lit: 116461 Watch. Lit: 14557 0.09/0.20 c Obj. Vars: 27836 (99.8135 % of total variables) 0.69/0.71 c Pre-processing Time: 0.71 s 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 0 25672 1370 114301 83 39867 228602 0 0 0.71 0.69/0.71 c Switching off LPR mode. 1800.01/1800.50 c 100 25672 1470 123323 83 91107 251463 100 122 0.82 1800.01/1800.50 c 250 25672 1620 135857 83 91331 276610 250 280 0.89 1800.01/1800.50 c 475 25672 1845 157775 85 91883 304272 475 483 0.98 1800.01/1800.50 c 814 25672 2184 218714 100 92226 334700 814 727 1.12 1800.01/1800.50 c 1323 25672 2693 299356 111 92955 368171 1323 1050 1.26 1800.01/1800.50 c 2087 25672 3457 361551 104 94388 404989 2087 1456 1.43 1800.01/1800.50 c 3235 25672 4605 487393 105 96745 445488 3235 1960 1.65 1800.01/1800.50 c 4958 25672 6328 642517 101 100246 490037 4958 2469 2.01 1800.01/1800.50 c 7543 25672 8913 985003 110 105112 539041 7543 3077 2.45 1800.01/1800.50 c 11423 25672 12793 1445124 112 113097 592946 11423 3384 3.38 1800.01/1800.50 c 17245 25672 18615 2484387 133 124630 652241 17245 2616 6.59 1800.01/1800.50 c 25983 25672 27353 3237571 118 141818 717466 25983 2896 8.97 1800.01/1800.50 c 39094 25670 40464 4379928 108 168137 789213 39094 2536 15.41 1800.01/1800.50 c 58764 25670 60134 5146995 85 207064 868135 58764 2235 26.29 1800.01/1800.50 c 88274 25670 89644 10046412 112 266236 954949 88274 1657 53.26 1800.01/1800.50 c 132545 25670 133915 14764410 110 354814 500000 132545 1559 84.97 1800.01/1800.50 c 198956 25670 200326 30971550 154 487831 550001 198956 364 545.90 1800.01/1800.50 c 298576 25670 299946 41239670 137 686849 605002 298576 463 644.81 1800.01/1800.50 c 448012 25670 449382 54717977 121 986231 665503 448012 527 849.40 1800.01/1800.50 c Caught signal: 15 1800.01/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.50 c 19 589529 14931 1210600 590899 82509076 589529 327 1800.02 1800.01/1800.50 s UNKNOWN 1800.01/1800.50 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-432641-1177947049 -o ROOT/results/node6/solver-432641-1177947049 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432641-1177947049/instance-432641-1177947049.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: 0.92 0.97 0.90 3/77 1786 /proc/meminfo: memFree=1858040/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=12652 CPUtime=0 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 270742607 12955648 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 3163 334 279 324 0 2004 0 [startup+0.0389099 s] /proc/loadavg: 0.92 0.97 0.90 3/77 1786 /proc/meminfo: memFree=1858040/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=13816 CPUtime=0.03 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 703 0 0 0 3 0 0 0 18 0 1 0 270742607 14147584 673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 3454 674 323 324 0 2295 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13816 [startup+0.101911 s] /proc/loadavg: 0.92 0.97 0.90 3/77 1786 /proc/meminfo: memFree=1858040/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=7728 CPUtime=0.09 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 1234 0 0 0 9 0 0 0 18 0 1 0 270742607 7913472 1164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 1932 1165 401 324 0 773 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7728 [startup+0.301933 s] /proc/loadavg: 0.92 0.97 0.90 3/77 1786 /proc/meminfo: memFree=1858040/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=12960 CPUtime=0.29 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 2959 0 0 0 27 2 0 0 19 0 1 0 270742607 13271040 2550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2620968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 3240 2550 306 324 0 2310 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12960 [startup+0.701981 s] /proc/loadavg: 0.92 0.97 0.90 3/77 1786 /proc/meminfo: memFree=1858040/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=12644 CPUtime=0.69 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 3075 0 0 0 65 4 0 0 22 0 1 0 270742607 12947456 2448 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 3161 2448 306 324 0 2231 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12644 [startup+1.50107 s] /proc/loadavg: 0.92 0.97 0.90 2/78 1787 /proc/meminfo: memFree=1848880/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=16256 CPUtime=1.49 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 4388 0 0 0 144 5 0 0 25 0 1 0 270742607 16646144 3381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 4064 3381 310 324 0 3134 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16256 [startup+3.10126 s] /proc/loadavg: 0.92 0.97 0.90 2/78 1787 /proc/meminfo: memFree=1841392/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=29176 CPUtime=3.09 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 7640 0 0 0 303 6 0 0 25 0 1 0 270742607 29876224 6633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 7294 6633 310 324 0 6364 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29176 [startup+6.30164 s] /proc/loadavg: 0.93 0.97 0.90 2/78 1787 /proc/meminfo: memFree=1819760/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=44244 CPUtime=6.29 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 11388 0 0 0 620 9 0 0 25 0 1 0 270742607 45305856 10381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 11061 10381 310 324 0 10131 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44244 [startup+12.7014 s] /proc/loadavg: 0.93 0.97 0.90 2/78 1787 /proc/meminfo: memFree=1795312/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=67556 CPUtime=12.69 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 17217 0 0 0 1257 12 0 0 25 0 1 0 270742607 69177344 16210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 16889 16210 310 324 0 15959 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67556 [startup+25.5029 s] /proc/loadavg: 0.95 0.97 0.91 2/78 1787 /proc/meminfo: memFree=1779248/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=82432 CPUtime=25.49 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 20952 0 0 0 2535 14 0 0 25 0 1 0 270742607 84410368 19945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 20608 19945 310 324 0 19678 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82432 [startup+51.1029 s] /proc/loadavg: 0.96 0.97 0.91 2/78 1787 /proc/meminfo: memFree=1716272/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=146052 CPUtime=51.08 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 36837 0 0 0 5084 24 0 0 25 0 1 0 270742607 149557248 35830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 36513 35830 310 324 0 35583 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 146052 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.91 2/78 1787 /proc/meminfo: memFree=1613744/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=247636 CPUtime=102.26 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 62237 0 0 0 10186 40 0 0 25 0 1 0 270742607 253579264 61230 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551318 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 61909 61230 310 324 0 60979 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 247636 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1787 /proc/meminfo: memFree=1564976/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=296628 CPUtime=162.25 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 74493 0 0 0 16174 51 0 0 25 0 1 0 270742607 303747072 73486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 74157 73486 310 324 0 73227 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 296628 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=1534896/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=326208 CPUtime=222.23 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 81880 0 0 0 22166 57 0 0 25 0 1 0 270742607 334036992 80873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 81552 80873 310 324 0 80622 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 326208 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=1518384/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=342896 CPUtime=282.22 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 86059 0 0 0 28160 62 0 0 25 0 1 0 270742607 351125504 85052 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 85724 85052 310 324 0 84794 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 342896 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=1498288/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=362832 CPUtime=342.19 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 91054 0 0 0 34152 67 0 0 25 0 1 0 270742607 371539968 90047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 90708 90047 310 324 0 89778 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 362832 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=1475568/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=385720 CPUtime=402.18 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 96751 0 0 0 40144 74 0 0 25 0 1 0 270742607 394977280 95744 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 96430 95744 310 324 0 95500 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 385720 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=1458608/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=402468 CPUtime=462.16 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 100948 0 0 0 46139 77 0 0 25 0 1 0 270742607 412127232 99941 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 100617 99941 310 324 0 99687 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 402468 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 3/78 1789 /proc/meminfo: memFree=1441072/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=419940 CPUtime=522.15 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 105325 0 0 0 52133 82 0 0 25 0 1 0 270742607 430018560 104318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 104985 104318 310 324 0 104055 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 419940 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 3/78 1789 /proc/meminfo: memFree=1361456/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=499764 CPUtime=582.13 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 125284 0 0 0 58119 94 0 0 25 0 1 0 270742607 511758336 124277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 124941 124277 310 324 0 124011 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 499764 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=1293680/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=566928 CPUtime=642.12 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 142078 0 0 0 64106 106 0 0 25 0 1 0 270742607 580534272 141071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 141732 141071 310 324 0 140802 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 566928 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=1055472/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=804892 CPUtime=882.05 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 201572 0 0 0 88054 151 0 0 25 0 1 0 270742607 824209408 200565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 201223 200565 310 324 0 200293 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 804892 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=1011120/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=849436 CPUtime=942.03 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 212707 0 0 0 94042 161 0 0 25 0 1 0 270742607 869822464 211700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 212359 211700 310 324 0 211429 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 849436 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=979184/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=881116 CPUtime=1002.01 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 220611 0 0 0 100032 169 0 0 25 0 1 0 270742607 902262784 219604 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 220279 219604 310 324 0 219349 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 881116 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=958256/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=902080 CPUtime=1062.01 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 225841 0 0 0 106025 176 0 0 25 0 1 0 270742607 923729920 224834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 225520 224834 310 324 0 224590 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 902080 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=938288/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=921780 CPUtime=1121.99 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 230770 0 0 0 112018 181 0 0 25 0 1 0 270742607 943902720 229763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 230445 229763 310 324 0 229515 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 921780 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=923568/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=936604 CPUtime=1181.97 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 234473 0 0 0 118012 185 0 0 25 0 1 0 270742607 959082496 233466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 234151 233466 310 324 0 233221 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 936604 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=909488/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=950524 CPUtime=1241.96 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 237960 0 0 0 124006 190 0 0 25 0 1 0 270742607 973336576 236953 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 237631 236953 310 324 0 236701 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 950524 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=889200/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=970712 CPUtime=1301.94 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 242999 0 0 0 129999 195 0 0 25 0 1 0 270742607 994009088 241992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 242678 241992 310 324 0 241748 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 970712 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=869872/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=990132 CPUtime=1361.92 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 247858 0 0 0 135992 200 0 0 25 0 1 0 270742607 1013895168 246851 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 247533 246851 310 324 0 246603 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 990132 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=842544/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=1017276 CPUtime=1421.91 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 254654 0 0 0 141984 207 0 0 25 0 1 0 270742607 1041690624 253647 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 254319 253647 310 324 0 253389 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1017276 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=814384/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=1045544 CPUtime=1481.9 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 261714 0 0 0 147976 214 0 0 25 0 1 0 270742607 1070637056 260707 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 261386 260707 310 324 0 260456 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1045544 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=789808/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=1069732 CPUtime=1541.87 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 267783 0 0 0 153968 219 0 0 25 0 1 0 270742607 1095405568 266776 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 267433 266776 310 324 0 266503 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1069732 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=776496/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=1083248 CPUtime=1601.86 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 271134 0 0 0 159963 223 0 0 25 0 1 0 270742607 1109245952 270127 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 270812 270127 310 324 0 269882 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1083248 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=762992/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=1096616 CPUtime=1661.85 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 274501 0 0 0 165958 227 0 0 25 0 1 0 270742607 1122934784 273494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 274154 273494 310 324 0 273224 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1096616 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=749232/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=1110516 CPUtime=1721.83 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 277962 0 0 0 171953 230 0 0 25 0 1 0 270742607 1137168384 276955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 277629 276955 310 324 0 276699 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1110516 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=736688/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=1122868 CPUtime=1781.81 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 281060 0 0 0 177948 233 0 0 25 0 1 0 270742607 1149816832 280053 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 280717 280053 310 324 0 279787 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1122868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1789 /proc/meminfo: memFree=733360/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=1126084 CPUtime=1800.01 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194304 281868 0 0 0 179768 233 0 0 25 0 1 0 270742607 1153110016 280861 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 281521 280861 310 324 0 280591 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1126084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1790 /proc/meminfo: memFree=1367848/2055924 swapFree=4143484/4192956 [pid=1786] ppid=1784 vsize=0 CPUtime=1800.12 /proc/1786/stat : 1786 (bsolo3.0.17) R 1784 1786 1227 0 -1 4194308 281872 0 0 0 179768 244 0 0 25 0 1 0 270742607 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/1786/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.69 CPU time (s): 1800.19 CPU user time (s): 1797.68 CPU system time (s): 2.51162 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1126084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.68 system time used= 2.51162 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281872 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 2265 runsolver used 1.39879 second user time and 3.81942 second system time The end
Begin job on node6 on Mon Apr 30 15:30:49 UTC 2007 IDJOB= 432641 IDBENCH= 1640 IDSOLVER= 199 FILE ID= node6/432641-1177947049 PBS_JOBID= 4727834 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 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-gfrd-pnc.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432641-1177947049/instance-432641-1177947049.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-432641-1177947049 -o ROOT/results/node6/solver-432641-1177947049 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432641-1177947049/instance-432641-1177947049.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 79ac545a8fcf117e4e23dd9b4f8255c5 RANDOM SEED= 713794991 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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.232 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.232 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: 2055924 kB MemFree: 1858448 kB Buffers: 33792 kB Cached: 92432 kB SwapCached: 17052 kB Active: 46740 kB Inactive: 105776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1858448 kB SwapTotal: 4192956 kB SwapFree: 4143484 kB Dirty: 7584 kB Writeback: 0 kB Mapped: 30076 kB Slab: 30492 kB Committed_AS: 7228224 kB PageTables: 1784 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= 66557 MiB End job on node6 on Mon Apr 30 16:00:52 UTC 2007