Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.23 | 1800.99 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos6.opb |
MD5SUM | 2a04555106a68acba17fb5820db41df1 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 21720 |
Total number of constraints | 1036 |
Number of constraints which are clauses | 48 |
Number of constraints which are cardinality constraints (but not clauses) | 755 |
Number of constraints which are nor clauses,nor cardinality constraints | 233 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 840 |
Number of terms in the objective function | 6690 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 239444426529 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 239444426529 |
Number of bits of the biggest sum of numbers | 38 |
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/433178-1177955999/instance-433178-1177955999.opb 0.00/0.00 c File size is 3098619 bytes. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.89/0.99 c Highest Coefficient sum: 2.39444e+11 0.89/0.99 c Parsing was ok!! 0.89/0.99 c Total parsing time: 0.995 s 0.99/1.01 c Var: 21720 Constr: 1259 48/755/456 Lit: 381780 Watch. Lit: 47421 0.99/1.01 c Obj. Vars: 6690 (30.8011 % of total variables) 13.28/13.39 c Pre-processing Time: 13.384 s 1800.05/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.80 c 0 21720 1171 355720 303 166710 843749 0 0 13.38 1800.05/1800.80 c 100 21720 1271 369888 291 278458 928124 100 6 14.52 1800.05/1800.80 c 254 21720 1425 487054 341 259481 500000 254 16 15.32 1800.05/1800.80 c 479 21720 1650 661026 400 253597 550001 479 30 15.56 1800.05/1800.80 c 817 21720 1988 923288 464 250405 605002 817 51 15.94 1800.05/1800.80 c 1326 21720 2497 1327934 531 247474 665503 1326 80 16.51 1800.05/1800.80 c 2091 21720 3262 1941731 595 248736 732054 2091 118 17.59 1800.05/1800.80 c 3246 21720 4417 2855561 646 251010 805260 3246 163 19.87 1800.05/1800.80 c 4970 21720 6141 4216448 686 254114 885787 4970 170 29.07 1800.05/1800.80 c 7554 21720 8725 6227071 713 256323 974366 7554 217 34.80 1800.05/1800.80 c 11435 21720 12606 9237765 732 263559 500000 11435 247 46.23 1800.05/1800.80 c 17258 21720 18429 13891265 753 275094 550001 17258 239 72.15 1800.05/1800.80 c 25996 21720 27167 20091043 739 291831 605002 25996 158 163.78 1800.05/1800.80 c 39109 21720 40280 30398378 754 317632 665503 39109 138 283.31 1800.05/1800.80 c 58779 21720 59950 45896968 765 356970 732054 58779 114 514.97 1800.05/1800.80 c 88290 21720 89461 69509747 776 415681 805260 88290 85 1026.67 1800.05/1800.80 c Caught signal: 15 1800.05/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.80 c 15 114915 21979 260725 116086 90816501 114915 63 1800.05 1800.05/1800.80 s UNKNOWN 1800.05/1800.80 c Total time: 1800.05 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-433178-1177955999 -o ROOT/results/node13/solver-433178-1177955999 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433178-1177955999/instance-433178-1177955999.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.77 0.94 0.93 3/77 11794 /proc/meminfo: memFree=1840784/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=14764 CPUtime=0 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 243517735 15118336 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 3691 332 279 324 0 2004 0 [startup+0.0383281 s] /proc/loadavg: 0.77 0.94 0.93 3/77 11794 /proc/meminfo: memFree=1840784/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=15408 CPUtime=0.03 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 549 0 0 0 3 0 0 0 18 0 1 0 243517735 15777792 519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 3852 520 307 324 0 2165 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 15408 [startup+0.102341 s] /proc/loadavg: 0.77 0.94 0.93 3/77 11794 /proc/meminfo: memFree=1840784/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=16144 CPUtime=0.09 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 762 0 0 0 9 0 0 0 18 0 1 0 243517735 16531456 732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 4036 732 349 324 0 2349 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16144 [startup+0.301383 s] /proc/loadavg: 0.77 0.94 0.93 3/77 11794 /proc/meminfo: memFree=1840784/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=8964 CPUtime=0.29 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 1081 0 0 0 29 0 0 0 19 0 1 0 243517735 9179136 1051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 2241 1051 488 324 0 554 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8964 [startup+0.701469 s] /proc/loadavg: 0.77 0.94 0.93 3/77 11794 /proc/meminfo: memFree=1840784/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=11468 CPUtime=0.69 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 2026 0 0 0 69 0 0 0 22 0 1 0 243517735 11743232 1996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12200511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 2867 1996 804 324 0 1180 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11468 [startup+1.50164 s] /proc/loadavg: 0.77 0.94 0.93 2/78 11795 /proc/meminfo: memFree=1834120/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=16232 CPUtime=1.49 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 4170 0 0 0 148 1 0 0 25 0 1 0 243517735 16621568 3343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 4058 3343 303 324 0 3128 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16232 [startup+3.10198 s] /proc/loadavg: 0.77 0.94 0.93 2/78 11795 /proc/meminfo: memFree=1822600/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=21928 CPUtime=3.09 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 5797 0 0 0 306 3 0 0 25 0 1 0 243517735 22454272 4757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 5482 4757 305 324 0 4552 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21928 [startup+6.30166 s] /proc/loadavg: 0.79 0.94 0.93 3/78 11795 /proc/meminfo: memFree=1822472/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=21928 CPUtime=6.29 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 5797 0 0 0 626 3 0 0 25 0 1 0 243517735 22454272 4757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 5482 4757 305 324 0 4552 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21928 [startup+12.702 s] /proc/loadavg: 0.81 0.94 0.93 2/78 11795 /proc/meminfo: memFree=1822536/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=21928 CPUtime=12.68 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 5797 0 0 0 1265 3 0 0 25 0 1 0 243517735 22454272 4757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 5482 4757 305 324 0 4552 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21928 [startup+25.5028 s] /proc/loadavg: 0.85 0.94 0.93 2/78 11795 /proc/meminfo: memFree=1782536/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=62524 CPUtime=25.48 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 17368 0 0 0 2540 8 0 0 25 0 1 0 243517735 64024576 14952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 15631 14952 309 324 0 14701 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62524 [startup+51.1012 s] /proc/loadavg: 0.90 0.95 0.93 2/78 11795 /proc/meminfo: memFree=1699720/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=146404 CPUtime=51.07 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 38347 0 0 0 5088 19 0 0 25 0 1 0 243517735 149917696 35931 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 36601 35931 309 324 0 35671 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 146404 [startup+102.305 s] /proc/loadavg: 0.96 0.95 0.93 2/84 11965 /proc/meminfo: memFree=1601536/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=241304 CPUtime=102.18 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 62075 0 0 0 10187 31 0 0 25 0 1 0 243517735 247095296 59659 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 60326 59659 309 324 0 59396 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 241304 [startup+162.302 s] /proc/loadavg: 0.98 0.96 0.93 2/78 11993 /proc/meminfo: memFree=1574152/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=270092 CPUtime=162.14 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 69251 0 0 0 16178 36 0 0 25 0 1 0 243517735 276574208 66835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 67523 66835 309 324 0 66593 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 270092 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.93 2/78 11993 /proc/meminfo: memFree=1495752/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=347888 CPUtime=222.11 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 88720 0 0 0 22165 46 0 0 25 0 1 0 243517735 356237312 86304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 86972 86304 309 324 0 86042 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 347888 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=1442760/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=401508 CPUtime=282.09 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 102109 0 0 0 28153 56 0 0 25 0 1 0 243517735 411144192 99693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 100377 99693 309 324 0 99447 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 401508 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=1375560/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=467816 CPUtime=342.07 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 118704 0 0 0 34138 69 0 0 25 0 1 0 243517735 479043584 116288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 116954 116288 309 324 0 116024 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 467816 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=1352584/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=491032 CPUtime=402.05 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 124480 0 0 0 40133 72 0 0 25 0 1 0 243517735 502816768 122064 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 122758 122064 309 324 0 121828 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 491032 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=1298056/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=545032 CPUtime=462.02 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 137990 0 0 0 46123 79 0 0 25 0 1 0 243517735 558112768 135574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 136258 135574 309 324 0 135328 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 545032 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=1235912/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=607700 CPUtime=522.01 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 153671 0 0 0 52111 90 0 0 25 0 1 0 243517735 622284800 151255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 151925 151255 309 324 0 150995 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 607700 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=1178312/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=664928 CPUtime=581.98 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 167972 0 0 0 58099 99 0 0 25 0 1 0 243517735 680886272 165556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 166232 165556 309 324 0 165302 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 664928 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=1135688/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=706984 CPUtime=641.96 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 178470 0 0 0 64092 104 0 0 25 0 1 0 243517735 723951616 176054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 176746 176054 309 324 0 175816 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 706984 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=1013896/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=828192 CPUtime=881.87 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 208792 0 0 0 88063 124 0 0 25 0 1 0 243517735 848068608 206376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 207048 206376 309 324 0 206118 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 828192 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=982280/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=860080 CPUtime=941.85 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 216768 0 0 0 94055 130 0 0 25 0 1 0 243517735 880721920 214352 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 215020 214352 309 324 0 214090 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 860080 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=950280/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=891608 CPUtime=1001.83 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 224644 0 0 0 100047 136 0 0 25 0 1 0 243517735 913006592 222228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 222902 222228 309 324 0 221972 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 891608 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=925512/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=916460 CPUtime=1061.81 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 230843 0 0 0 106042 139 0 0 25 0 1 0 243517735 938455040 228427 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 229115 228427 309 324 0 228185 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 916460 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=903496/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=938156 CPUtime=1121.79 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 236270 0 0 0 112036 143 0 0 25 0 1 0 243517735 960671744 233854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 234539 233854 309 324 0 233609 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 938156 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=880520/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=961080 CPUtime=1181.76 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 241992 0 0 0 118029 147 0 0 25 0 1 0 243517735 984145920 239576 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 240270 239576 309 324 0 239340 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 961080 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=863048/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=978360 CPUtime=1241.74 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 246315 0 0 0 124024 150 0 0 25 0 1 0 243517735 1001840640 243899 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 244590 243899 309 324 0 243660 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 978360 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=822344/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=1018704 CPUtime=1301.73 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 256404 0 0 0 130015 158 0 0 25 0 1 0 243517735 1043152896 253988 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 254676 253988 309 324 0 253746 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 1018704 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=803080/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=1038136 CPUtime=1361.69 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 261257 0 0 0 136008 161 0 0 25 0 1 0 243517735 1063051264 258841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 259534 258841 309 324 0 258604 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 1038136 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=780424/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=1060368 CPUtime=1421.68 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 266843 0 0 0 142002 166 0 0 25 0 1 0 243517735 1085816832 264427 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 265092 264427 309 324 0 264162 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 1060368 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=765640/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=1075324 CPUtime=1481.65 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 270581 0 0 0 147997 168 0 0 25 0 1 0 243517735 1101131776 268165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 268831 268165 309 324 0 267901 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 1075324 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=753864/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=1086920 CPUtime=1541.63 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 273457 0 0 0 153993 170 0 0 25 0 1 0 243517735 1113006080 271041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 271730 271041 309 324 0 270800 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 1086920 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 11993 /proc/meminfo: memFree=734088/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=1106580 CPUtime=1601.6 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 278370 0 0 0 159988 172 0 0 25 0 1 0 243517735 1133137920 275954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 276645 275954 309 324 0 275715 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 1106580 [startup+1662.3 s] /proc/loadavg: 1.05 0.99 0.93 2/78 11993 /proc/meminfo: memFree=710088/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=1130548 CPUtime=1661.58 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 284365 0 0 0 165981 177 0 0 25 0 1 0 243517735 1157681152 281949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 282637 281949 309 324 0 281707 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 1130548 [startup+1722.3 s] /proc/loadavg: 1.02 0.99 0.93 2/78 11993 /proc/meminfo: memFree=690248/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=1150544 CPUtime=1721.56 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 289379 0 0 0 171976 180 0 0 25 0 1 0 243517735 1178157056 286963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12313475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 287636 286963 309 324 0 286706 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 1150544 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 11993 /proc/meminfo: memFree=667848/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=1172636 CPUtime=1781.54 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 294905 0 0 0 177970 184 0 0 25 0 1 0 243517735 1200779264 292489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 293159 292489 309 324 0 292229 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 1172636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.93 2/78 11993 /proc/meminfo: memFree=660616/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=1179528 CPUtime=1800.05 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 296623 0 0 0 179819 186 0 0 25 0 1 0 243517735 1207836672 294207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 294882 294207 309 324 0 293952 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1179528 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.93 2/78 11993 /proc/meminfo: memFree=660616/2055920 swapFree=4159412/4192956 [pid=11794] ppid=11792 vsize=0 CPUtime=1800.14 /proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194308 296627 0 0 0 179819 195 0 0 25 0 1 0 243517735 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/11794/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.99 CPU time (s): 1800.23 CPU user time (s): 1798.19 CPU system time (s): 2.04269 CPU usage (%): 99.958 Max. virtual memory (cumulated for all children) (KiB): 1179528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.19 system time used= 2.04269 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 296627 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= 2850 runsolver used 1.40779 second user time and 3.89341 second system time The end
Begin job on node13 on Mon Apr 30 17:59:59 UTC 2007 IDJOB= 433178 IDBENCH= 2331 IDSOLVER= 199 FILE ID= node13/433178-1177955999 PBS_JOBID= 4727729 Free space on /tmp= 66555 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433178-1177955999/instance-433178-1177955999.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-433178-1177955999 -o ROOT/results/node13/solver-433178-1177955999 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433178-1177955999/instance-433178-1177955999.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 2a04555106a68acba17fb5820db41df1 RANDOM SEED= 296937304 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1841256 kB Buffers: 10792 kB Cached: 122808 kB SwapCached: 12736 kB Active: 53196 kB Inactive: 103420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1841256 kB SwapTotal: 4192956 kB SwapFree: 4159412 kB Dirty: 9808 kB Writeback: 0 kB Mapped: 29956 kB Slab: 43464 kB Committed_AS: 6962832 kB PageTables: 1872 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= 66555 MiB End job on node13 on Mon Apr 30 18:30:02 UTC 2007