Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.18 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sierra.opb |
MD5SUM | bc13f5c9713036f697e6f30ffdababe9 |
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 | 38715 |
Total number of constraints | 3263 |
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 | 3263 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 498 |
Number of terms in the objective function | 36989 |
Biggest coefficient in the objective function | 29466 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 555161 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 260604 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 555161 |
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.02 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.02 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.02 c type "bsolo -h" for help 0.00/0.02 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.03 c Time Limit set to 1800 0.00/0.03 c Memory Limit set to 1800 MB 0.00/0.03 c Instance file /tmp/evaluation/348189-1176572821/instance-348189-1176572821.opb 0.00/0.03 c File size is 2358819 bytes. 0.37/0.47 c Highest Coefficient sum: 555161 0.37/0.47 c Parsing was ok!! 0.37/0.47 c Total parsing time: 0.443 s 0.37/0.49 c Var: 38715 Constr: 3791 0/0/3791 Lit: 253409 Watch. Lit: 30657 0.37/0.49 c Obj. Vars: 36989 (95.5418 % of total variables) 2.86/2.90 c Pre-processing Time: 2.872 s 2.86/2.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.86/2.90 c 0 37689 3470 244866 70 126834 489732 0 0 2.87 2.86/2.90 c Switching off LPR mode. 1800.00/1800.60 c 104 37689 3574 257285 71 138873 538706 104 35 2.93 1800.00/1800.60 c 254 37689 3724 279551 75 139089 592577 254 85 2.97 1800.00/1800.60 c 482 37689 3952 313186 79 139599 651835 482 159 3.02 1800.00/1800.60 c 820 37689 4290 361651 84 140207 717019 820 264 3.10 1800.00/1800.60 c 1328 37689 4798 433470 90 141252 788721 1328 410 3.24 1800.00/1800.60 c 2091 37689 5561 533663 95 142738 867594 2091 611 3.42 1800.00/1800.60 c 3237 37689 6707 658404 98 145046 954354 3237 883 3.66 1800.00/1800.60 c 4958 37689 8428 851799 101 148431 500000 4958 1178 4.21 1800.00/1800.60 c 7542 37689 11012 1127547 102 153618 550001 7542 1428 5.28 1800.00/1800.60 c 11421 37689 14891 1451032 97 161362 605002 11421 1698 6.72 1800.00/1800.60 c 17244 37689 20714 2077538 100 172995 665503 17244 1748 9.86 1800.00/1800.60 c 25981 37689 29451 2829489 96 190456 732054 25981 1619 16.05 1800.00/1800.60 c 39094 37689 42564 5477878 128 216974 805260 39094 1303 29.98 1800.00/1800.60 c 58766 37689 62236 7246070 116 256380 885787 58766 787 74.62 1800.00/1800.60 c 88277 37688 91747 9732090 106 315963 974366 88277 558 158.03 1800.00/1800.60 c 132548 37688 136018 15791992 116 423590 500000 132548 380 348.03 1800.00/1800.60 c 198958 37688 202428 24894435 122 563496 550001 198958 485 409.64 1800.00/1800.60 c 298578 37688 302048 52476731 173 762736 605002 298578 402 742.49 1800.00/1800.60 c Resources Exceeded 1800.00/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.60 c 18 432852 18502 582417 436322 79839589 432852 240 1800.01 1800.00/1800.60 s UNKNOWN 1800.00/1800.60 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/node27/watcher-348189-1176572821 -o ROOT/results/node27/solver-348189-1176572821 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348189-1176572821/instance-348189-1176572821.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.91 0.97 0.99 3/65 21031 /proc/meminfo: memFree=1798000/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=3780 CPUtime=0 /proc/21031/stat : 21031 (bsolo3.0.16) D 21029 21031 20249 0 -1 4194304 215 0 3 0 0 0 0 0 18 0 1 0 69978072 3870720 186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1598128 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/21031/statm: 945 186 159 324 0 14 0 [startup+0.107189 s] /proc/loadavg: 0.91 0.97 0.99 3/65 21031 /proc/meminfo: memFree=1798000/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=17280 CPUtime=0.07 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 1291 0 6 0 7 0 0 0 18 0 1 0 69978072 17694720 1225 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1847433 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21031/statm: 4320 1225 377 324 0 2813 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 17280 [startup+0.202195 s] /proc/loadavg: 0.91 0.97 0.99 3/65 21031 /proc/meminfo: memFree=1798000/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=10124 CPUtime=0.16 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 1601 0 6 0 16 0 0 0 18 0 1 0 69978072 10366976 1535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1932894 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21031/statm: 2531 1535 513 324 0 1024 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 10124 [startup+0.302207 s] /proc/loadavg: 0.91 0.97 0.99 3/65 21031 /proc/meminfo: memFree=1798000/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=11032 CPUtime=0.26 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 1969 0 6 0 26 0 0 0 19 0 1 0 69978072 11296768 1903 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1900072 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21031/statm: 2758 1903 645 324 0 1251 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 11032 [startup+0.702247 s] /proc/loadavg: 0.91 0.97 0.99 3/65 21031 /proc/meminfo: memFree=1798000/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=20604 CPUtime=0.66 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 5248 0 7 0 63 3 0 0 23 0 1 0 69978072 21098496 4458 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134545479 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21031/statm: 5151 4458 308 324 0 4220 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 20604 [startup+1.50232 s] /proc/loadavg: 0.91 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1780968/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=20084 CPUtime=1.46 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 5406 0 7 0 142 4 0 0 25 0 1 0 69978072 20566016 4312 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 5021 4312 308 324 0 4090 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 20084 [startup+3.10148 s] /proc/loadavg: 0.91 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1780840/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=20088 CPUtime=3.06 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 5423 0 7 0 300 6 0 0 25 0 1 0 69978072 20570112 4329 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 5022 4329 312 324 0 4091 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 20088 [startup+6.30181 s] /proc/loadavg: 0.92 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1771368/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=32104 CPUtime=6.26 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 8427 0 7 0 617 9 0 0 25 0 1 0 69978072 32874496 7333 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 8026 7333 312 324 0 7095 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 32104 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1754280/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=47556 CPUtime=12.66 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 12283 0 7 0 1254 12 0 0 25 0 1 0 69978072 48697344 11189 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 11889 11189 312 324 0 10958 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 47556 [startup+25.5018 s] /proc/loadavg: 0.94 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1720744/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=80296 CPUtime=25.45 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 20478 0 7 0 2526 19 0 0 25 0 1 0 69978072 82223104 19384 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 20074 19384 312 324 0 19143 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 80296 [startup+51.1013 s] /proc/loadavg: 0.96 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1700328/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=100692 CPUtime=51.03 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 25582 0 7 0 5077 26 0 0 25 0 1 0 69978072 103108608 24488 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 25173 24488 312 324 0 24242 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 100692 [startup+102.302 s] /proc/loadavg: 0.98 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1674280/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=126432 CPUtime=102.23 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 32025 0 7 0 10186 37 0 0 25 0 1 0 69978072 129466368 30931 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 31608 30931 312 324 0 30677 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 126432 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1652328/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=148564 CPUtime=162.21 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 37543 0 7 0 16173 48 0 0 25 0 1 0 69978072 152129536 36449 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 37141 36449 312 324 0 36210 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 148564 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1639272/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=161456 CPUtime=222.2 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 40762 0 7 0 22166 54 0 0 25 0 1 0 69978072 165330944 39668 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 40364 39668 312 324 0 39433 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 161456 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1628584/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=172180 CPUtime=282.18 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 43463 0 7 0 28159 59 0 0 25 0 1 0 69978072 176312320 42369 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 43045 42369 312 324 0 42114 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 172180 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1579048/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=221888 CPUtime=342.17 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 55889 0 7 0 34143 74 0 0 25 0 1 0 69978072 227213312 54795 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 55472 54795 312 324 0 54541 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 221888 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1453864/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=346976 CPUtime=402.15 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 87187 0 7 0 40109 106 0 0 25 0 1 0 69978072 355303424 86093 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 86744 86093 312 324 0 85813 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 346976 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1315688/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=484696 CPUtime=462.14 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 121605 0 7 0 46082 132 0 0 25 0 1 0 69978072 496328704 120511 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 121174 120511 312 324 0 120243 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 484696 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1251496/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=549288 CPUtime=522.12 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 137743 0 7 0 52068 144 0 0 25 0 1 0 69978072 562470912 136649 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 137322 136649 312 324 0 136391 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 549288 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1198312/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=601700 CPUtime=582.11 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 150849 0 7 0 58051 160 0 0 25 0 1 0 69978072 616140800 149755 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 150425 149755 312 324 0 149494 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 601700 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21032 /proc/meminfo: memFree=1160552/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=639668 CPUtime=642.09 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 160350 0 7 0 64039 170 0 0 25 0 1 0 69978072 655020032 159256 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 159917 159256 312 324 0 158986 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 639668 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 0.99 0.97 0.99 2/72 21204 /proc/meminfo: memFree=967912/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=829900 CPUtime=881.95 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 207913 0 7 0 87978 217 0 0 25 0 1 0 69978072 849817600 206819 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 207475 206819 312 324 0 206544 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 829900 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=947688/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=851360 CPUtime=941.91 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 213280 0 7 0 93967 224 0 0 25 0 1 0 69978072 871792640 212186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 212840 212186 312 324 0 211909 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 851360 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=926056/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=872720 CPUtime=1001.9 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 218615 0 7 0 99959 231 0 0 25 0 1 0 69978072 893665280 217521 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 218180 217521 312 324 0 217249 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 872720 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=907176/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=891804 CPUtime=1061.88 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 223382 0 7 0 105953 235 0 0 25 0 1 0 69978072 913207296 222288 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 222951 222288 312 324 0 222020 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 891804 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=889512/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=909320 CPUtime=1121.87 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 227748 0 7 0 111946 241 0 0 25 0 1 0 69978072 931143680 226654 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 227330 226654 312 324 0 226399 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 909320 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=871592/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=927480 CPUtime=1181.85 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 232305 0 7 0 117939 246 0 0 25 0 1 0 69978072 949739520 231211 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 231870 231211 312 324 0 230939 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 927480 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=853800/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=945128 CPUtime=1241.84 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 236700 0 7 0 123931 253 0 0 25 0 1 0 69978072 967811072 235606 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 236282 235606 312 324 0 235351 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 945128 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=834984/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=964208 CPUtime=1301.83 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 241468 0 7 0 129923 260 0 0 25 0 1 0 69978072 987348992 240374 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 241052 240374 312 324 0 240121 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 964208 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=824872/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=973892 CPUtime=1361.8 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 243917 0 7 0 135918 262 0 0 25 0 1 0 69978072 997265408 242823 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 243473 242823 312 324 0 242542 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 973892 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=812712/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=985884 CPUtime=1421.8 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 246904 0 7 0 141915 265 0 0 25 0 1 0 69978072 1009545216 245810 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 246471 245810 312 324 0 245540 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 985884 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=796840/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=1001812 CPUtime=1481.77 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 250879 0 7 0 147907 270 0 0 25 0 1 0 69978072 1025855488 249785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 250453 249785 312 324 0 249522 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 1001812 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=785064/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=1013464 CPUtime=1541.77 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 253797 0 7 0 153904 273 0 0 25 0 1 0 69978072 1037787136 252703 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 253366 252703 312 324 0 252435 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1013464 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=767720/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=1030948 CPUtime=1601.75 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 258184 0 7 0 159896 279 0 0 25 0 1 0 69978072 1055690752 257090 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 257737 257090 312 324 0 256806 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1030948 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=754472/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=1043968 CPUtime=1661.74 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 261435 0 7 0 165890 284 0 0 25 0 1 0 69978072 1069023232 260341 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 260992 260341 312 324 0 260061 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 1043968 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=739304/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=1059196 CPUtime=1721.71 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 265242 0 7 0 171884 287 0 0 25 0 1 0 69978072 1084616704 264148 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 264799 264148 312 324 0 263868 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1059196 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=722920/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=1075492 CPUtime=1781.7 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 269304 0 7 0 177878 292 0 0 25 0 1 0 69978072 1101303808 268210 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 268873 268210 312 324 0 267942 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1075492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/66 21230 /proc/meminfo: memFree=720168/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=0 CPUtime=1800 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194308 269981 0 7 0 179707 293 0 0 25 0 1 0 69978072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/67 21231 /proc/meminfo: memFree=1346400/2055920 swapFree=4192812/4192956 [pid=21031] ppid=21029 vsize=0 CPUtime=1800.11 /proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194308 269981 0 7 0 179707 304 0 0 25 0 1 0 69978072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21031/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.18 CPU user time (s): 1797.07 CPU system time (s): 3.10653 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 1078200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.07 system time used= 3.10653 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269981 page faults= 7 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19 involuntary context switches= 3318 runsolver used 1.20982 second user time and 3.81042 second system time The end
Begin job on node27 on Sat Apr 14 17:47:02 UTC 2007 IDJOB= 348189 IDBENCH= 1637 IDSOLVER= 163 FILE ID= node27/348189-1176572821 PBS_JOBID= 4556876 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 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-sierra.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348189-1176572821/instance-348189-1176572821.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-348189-1176572821 -o ROOT/results/node27/solver-348189-1176572821 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348189-1176572821/instance-348189-1176572821.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= bc13f5c9713036f697e6f30ffdababe9 RANDOM SEED= 807911546 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1798408 kB Buffers: 13152 kB Cached: 132912 kB SwapCached: 0 kB Active: 48408 kB Inactive: 113696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1798408 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 6692 kB Writeback: 0 kB Mapped: 26468 kB Slab: 81444 kB Committed_AS: 93760 kB PageTables: 1412 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= 66558 MiB End job on node27 on Sat Apr 14 18:17:04 UTC 2007