Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.19 | 1800.94 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sctap2.opb |
MD5SUM | 85d5cf87b7b65babdb4e7a6c3071d7ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 885 |
Best CPU time to get the best result obtained on this benchmark | 1782.77 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 645 |
Optimality of the best value was proved | NO |
Number of variables | 56400 |
Total number of constraints | 1033 |
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 | 1033 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 720 |
Number of terms in the objective function | 42300 |
Biggest coefficient in the objective function | 854 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 560740 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 142664 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 560740 |
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/432662-1177947302/instance-432662-1177947302.opb 0.00/0.00 c File size is 2541619 bytes. 0.89/0.94 c Highest Coefficient sum: 560740 0.89/0.94 c Parsing was ok!! 0.89/0.94 c Total parsing time: 0.937 s 0.89/0.96 c Var: 56400 Constr: 1503 475/0/1028 Lit: 236970 Watch. Lit: 46328 0.89/0.96 c Obj. Vars: 42300 (75 % of total variables) 7.99/8.05 c Pre-processing Time: 8.048 s 7.99/8.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.05 c 0 31590 1503 236970 157 169247 386078 0 0 8.05 7.99/8.05 c Switching off LPR mode. 1800.06/1800.80 c 100 31590 1603 249522 155 169447 424686 100 10 9.70 1800.06/1800.80 c 250 31590 1753 268338 153 169747 467155 250 21 11.42 1800.06/1800.80 c 475 31590 1978 296575 149 170197 513871 475 36 13.15 1800.06/1800.80 c 813 31590 2316 353000 152 170873 565259 813 34 23.70 1800.06/1800.80 c 1321 31590 2824 416866 147 171889 621785 1321 51 25.61 1800.06/1800.80 c 2084 31590 3587 541482 150 173415 683964 2084 61 33.78 1800.06/1800.80 c 3234 31590 4737 650667 137 175715 752361 3234 91 35.37 1800.06/1800.80 c 4955 31590 6458 802769 124 179157 827598 4955 132 37.30 1800.06/1800.80 c 7542 31590 9045 974155 107 184331 910358 7542 193 38.89 1800.06/1800.80 c 11422 31590 12925 1407723 108 192091 500000 11422 238 47.81 1800.06/1800.80 c 17244 31590 18747 2637698 140 203735 550001 17244 224 76.93 1800.06/1800.80 c 25981 31590 27484 3543815 128 221209 605002 25981 303 85.67 1800.06/1800.80 c 39091 31590 40594 5043771 124 247429 665503 39091 381 102.57 1800.06/1800.80 c 58764 31590 60267 6118042 101 286775 732054 58764 489 119.93 1800.06/1800.80 c 88275 31590 89778 14008882 156 345797 805260 88275 473 186.50 1800.06/1800.80 c 132546 31590 134049 20670739 154 434339 885787 132546 504 262.61 1800.06/1800.80 c 198956 31590 200459 30039961 149 567159 974366 198956 415 478.52 1800.06/1800.80 c 298576 31590 300079 38588204 128 766399 500000 298576 388 768.75 1800.06/1800.80 c 448012 31590 449515 55133838 122 1065271 550001 448012 294 1519.46 1800.06/1800.80 c Caught signal: 15 1800.06/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.80 c 19 487033 40345 7186769 488536 59002288 487033 270 1800.06 1800.06/1800.80 s UNKNOWN 1800.06/1800.80 c Total time: 1800.06 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-432662-1177947302 -o ROOT/results/node20/solver-432662-1177947302 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432662-1177947302/instance-432662-1177947302.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.85 0.97 0.97 3/77 29224 /proc/meminfo: memFree=1739696/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=14220 CPUtime=0 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 242647600 14561280 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 3555 331 279 324 0 2004 0 [startup+0.0596059 s] /proc/loadavg: 0.85 0.97 0.97 3/77 29224 /proc/meminfo: memFree=1739696/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=15236 CPUtime=0.05 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 648 0 0 0 5 0 0 0 18 0 1 0 242647600 15601664 618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 3809 618 316 324 0 2258 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15236 [startup+0.102614 s] /proc/loadavg: 0.85 0.97 0.97 3/77 29224 /proc/meminfo: memFree=1739696/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=16160 CPUtime=0.09 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 914 0 0 0 9 0 0 0 18 0 1 0 242647600 16547840 844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 4040 844 343 324 0 2489 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16160 [startup+0.302654 s] /proc/loadavg: 0.85 0.97 0.97 3/77 29224 /proc/meminfo: memFree=1739696/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=10724 CPUtime=0.29 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 1684 0 0 0 29 0 0 0 19 0 1 0 242647600 10981376 1535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 2681 1535 474 324 0 1130 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10724 [startup+0.701734 s] /proc/loadavg: 0.85 0.97 0.97 3/77 29224 /proc/meminfo: memFree=1739696/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=13432 CPUtime=0.69 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 2688 0 0 0 68 1 0 0 23 0 1 0 242647600 13754368 2490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 3358 2490 739 324 0 1807 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13432 [startup+1.50189 s] /proc/loadavg: 0.85 0.97 0.97 2/78 29225 /proc/meminfo: memFree=1724776/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=20092 CPUtime=1.49 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 5116 0 0 0 147 2 0 0 25 0 1 0 242647600 20574208 4214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 5023 4214 304 324 0 4093 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20092 [startup+3.10121 s] /proc/loadavg: 0.85 0.97 0.97 2/78 29225 /proc/meminfo: memFree=1723944/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=20092 CPUtime=3.09 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 5116 0 0 0 305 4 0 0 25 0 1 0 242647600 20574208 4214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 5023 4214 304 324 0 4093 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20092 [startup+6.30185 s] /proc/loadavg: 0.86 0.97 0.97 2/78 29225 /proc/meminfo: memFree=1723752/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=20092 CPUtime=6.29 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 5116 0 0 0 623 6 0 0 25 0 1 0 242647600 20574208 4214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 5023 4214 304 324 0 4093 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20092 [startup+12.7011 s] /proc/loadavg: 0.87 0.97 0.97 2/78 29225 /proc/meminfo: memFree=1721384/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=22652 CPUtime=12.69 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 6318 0 0 0 1261 8 0 0 25 0 1 0 242647600 23195648 4863 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575037 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 5663 4863 310 324 0 4733 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22652 [startup+25.5017 s] /proc/loadavg: 0.90 0.97 0.97 2/78 29225 /proc/meminfo: memFree=1721448/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=22784 CPUtime=25.48 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 6347 0 0 0 2540 8 0 0 25 0 1 0 242647600 23330816 4892 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 5696 4892 310 324 0 4766 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22784 [startup+51.1028 s] /proc/loadavg: 0.93 0.97 0.97 2/78 29225 /proc/meminfo: memFree=1707048/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=37124 CPUtime=51.07 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 9951 0 0 0 5097 10 0 0 25 0 1 0 242647600 38014976 8496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 9281 8496 310 324 0 8351 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37124 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.97 2/78 29225 /proc/meminfo: memFree=1657640/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=86288 CPUtime=102.26 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 22246 0 0 0 10207 19 0 0 25 0 1 0 242647600 88358912 20791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 21572 20791 310 324 0 20642 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 86288 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29225 /proc/meminfo: memFree=1575720/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=168248 CPUtime=162.23 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 42760 0 0 0 16194 29 0 0 25 0 1 0 242647600 172285952 41305 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 42062 41305 310 324 0 41132 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 168248 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29225 /proc/meminfo: memFree=1469736/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=273748 CPUtime=222.22 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 69123 0 0 0 22177 45 0 0 25 0 1 0 242647600 280317952 67668 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 68437 67668 310 324 0 67507 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 273748 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29225 /proc/meminfo: memFree=1422504/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=321744 CPUtime=282.19 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 81121 0 0 0 28165 54 0 0 25 0 1 0 242647600 329465856 79666 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 80436 79666 310 324 0 79506 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 321744 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29225 /proc/meminfo: memFree=1378984/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=364292 CPUtime=342.17 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 91776 0 0 0 34152 65 0 0 25 0 1 0 242647600 373035008 90321 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 91073 90321 310 324 0 90143 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 364292 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29227 /proc/meminfo: memFree=1349160/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=394436 CPUtime=402.15 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 99287 0 0 0 40140 75 0 0 25 0 1 0 242647600 403902464 97832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 98609 97832 310 324 0 97679 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 394436 [startup+462.301 s] /proc/loadavg: 1.04 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1326312/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=416872 CPUtime=462.12 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 104909 0 0 0 46130 82 0 0 25 0 1 0 242647600 426876928 103454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 104218 103454 310 324 0 103288 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 416872 [startup+522.301 s] /proc/loadavg: 1.01 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1290344/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=453080 CPUtime=522.1 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 113975 0 0 0 52117 93 0 0 25 0 1 0 242647600 463953920 112520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 113270 112520 310 324 0 112340 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 453080 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1262888/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=480248 CPUtime=582.09 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 120761 0 0 0 58108 101 0 0 25 0 1 0 242647600 491773952 119306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 120062 119306 310 324 0 119132 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 480248 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1237224/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=505680 CPUtime=642.07 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 127122 0 0 0 64098 109 0 0 25 0 1 0 242647600 517816320 125667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 126420 125667 310 324 0 125490 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 505680 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1125096/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=617708 CPUtime=881.98 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 155133 0 0 0 88061 137 0 0 25 0 1 0 242647600 632532992 153678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 154427 153678 310 324 0 153497 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 617708 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1107688/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=635516 CPUtime=941.96 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 159557 0 0 0 94054 142 0 0 25 0 1 0 242647600 650768384 158102 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 158879 158102 310 324 0 157949 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 635516 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1083816/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=659004 CPUtime=1001.94 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 165447 0 0 0 100046 148 0 0 25 0 1 0 242647600 674820096 163992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 164751 163992 310 324 0 163821 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 659004 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1061352/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=681448 CPUtime=1061.92 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 171040 0 0 0 106038 154 0 0 25 0 1 0 242647600 697802752 169585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 170362 169585 310 324 0 169432 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 681448 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1042728/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=700036 CPUtime=1121.89 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 175692 0 0 0 112029 160 0 0 25 0 1 0 242647600 716836864 174237 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 175009 174237 310 324 0 174079 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 700036 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1027752/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=715120 CPUtime=1181.87 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 179456 0 0 0 118021 166 0 0 25 0 1 0 242647600 732282880 178001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 178780 178001 310 324 0 177850 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 715120 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1013416/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=729204 CPUtime=1241.85 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 182979 0 0 0 124015 170 0 0 25 0 1 0 242647600 746704896 181524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 182301 181524 310 324 0 181371 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 729204 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=1005224/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=737208 CPUtime=1301.84 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 185008 0 0 0 130010 174 0 0 25 0 1 0 242647600 754900992 183553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 184302 183553 310 324 0 183372 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 737208 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=997096/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=745456 CPUtime=1361.81 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 187046 0 0 0 136004 177 0 0 25 0 1 0 242647600 763346944 185591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 186364 185591 310 324 0 185434 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 745456 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=989224/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=753192 CPUtime=1421.8 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 188978 0 0 0 142000 180 0 0 25 0 1 0 242647600 771268608 187523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 188298 187523 310 324 0 187368 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 753192 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=977832/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=764524 CPUtime=1481.77 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 191837 0 0 0 147994 183 0 0 25 0 1 0 242647600 782872576 190382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 191131 190382 310 324 0 190201 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 764524 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29227 /proc/meminfo: memFree=968360/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=774092 CPUtime=1541.74 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 194211 0 0 0 153988 186 0 0 25 0 1 0 242647600 792670208 192756 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 193523 192756 310 324 0 192593 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 774092 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.97 2/84 29399 /proc/meminfo: memFree=951720/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=789332 CPUtime=1601.64 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 198037 0 0 0 159972 192 0 0 25 0 1 0 242647600 808275968 196582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 197333 196582 310 324 0 196403 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 789332 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29425 /proc/meminfo: memFree=942632/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=799660 CPUtime=1661.6 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 200597 0 0 0 165964 196 0 0 25 0 1 0 242647600 818851840 199142 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 199915 199142 310 324 0 198985 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 799660 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29425 /proc/meminfo: memFree=931880/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=810512 CPUtime=1721.58 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 203308 0 0 0 171959 199 0 0 25 0 1 0 242647600 829964288 201853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 202628 201853 310 324 0 201698 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 810512 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29425 /proc/meminfo: memFree=921640/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=820720 CPUtime=1781.56 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 205858 0 0 0 177953 203 0 0 25 0 1 0 242647600 840417280 204403 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 205180 204403 310 324 0 204250 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 820720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29425 /proc/meminfo: memFree=918952/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=823300 CPUtime=1800.06 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 206524 0 0 0 179802 204 0 0 25 0 1 0 242647600 843059200 205069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 205825 205069 310 324 0 204895 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 823300 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 0.99 0.97 2/78 29425 /proc/meminfo: memFree=918952/2055920 swapFree=4154204/4192956 [pid=29224] ppid=29222 vsize=0 CPUtime=1800.16 /proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194308 206528 0 0 0 179802 214 0 0 25 0 1 0 242647600 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/29224/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.94 CPU time (s): 1800.19 CPU user time (s): 1798.02 CPU system time (s): 2.16867 CPU usage (%): 99.9584 Max. virtual memory (cumulated for all children) (KiB): 823300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.02 system time used= 2.16867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 206528 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= 37563 runsolver used 1.48477 second user time and 3.78542 second system time The end
Begin job on node20 on Mon Apr 30 15:35:03 UTC 2007 IDJOB= 432662 IDBENCH= 1661 IDSOLVER= 199 FILE ID= node20/432662-1177947302 PBS_JOBID= 4727666 Free space on /tmp= 66556 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-sctap2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432662-1177947302/instance-432662-1177947302.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-432662-1177947302 -o ROOT/results/node20/solver-432662-1177947302 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432662-1177947302/instance-432662-1177947302.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 85d5cf87b7b65babdb4e7a6c3071d7ec RANDOM SEED= 971056811 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1740232 kB Buffers: 39168 kB Cached: 182912 kB SwapCached: 17416 kB Active: 112588 kB Inactive: 133580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1740232 kB SwapTotal: 4192956 kB SwapFree: 4154204 kB Dirty: 9256 kB Writeback: 0 kB Mapped: 30276 kB Slab: 55072 kB Committed_AS: 2160676 kB PageTables: 1744 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= 66556 MiB End job on node20 on Mon Apr 30 16:05:06 UTC 2007