Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.1 | 1800.69 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb |
MD5SUM | c346de7e1ba29a95ee9f392619231545 |
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 | 4600 |
Total number of constraints | 310 |
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 | 310 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 147 |
Number of terms in the objective function | 3424 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 180407058264 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 180407058264 |
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.03 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.03 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.03 c type "bsolo -h" for help 0.00/0.03 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.03 c Memory Limit set to 1800 MB 0.00/0.03 c Instance file /tmp/evaluation/433374-1177958549/instance-433374-1177958549.opb 0.00/0.03 c File size is 270711 bytes. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Highest Coefficient sum: 1.80407e+11 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.042 s 0.00/0.07 c Var: 4600 Constr: 374 0/0/374 Lit: 26326 Watch. Lit: 2715 0.00/0.07 c Obj. Vars: 3424 (74.4348 % of total variables) 0.07/0.10 c Pre-processing Time: 0.077 s 1800.01/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.60 c 0 4600 374 26326 70 4746 52652 0 0 0.08 1800.01/1800.60 c 100 4600 474 35132 74 6255 57918 100 1149 0.09 1800.01/1800.60 c 251 4600 625 64514 103 6575 63710 251 2221 0.11 1800.01/1800.60 c 477 4600 851 102305 120 7140 70082 477 3117 0.15 1800.01/1800.60 c 815 4600 1189 128347 107 8005 77091 815 4222 0.19 1800.01/1800.60 c 1324 4600 1698 166512 98 9069 84801 1324 5015 0.26 1800.01/1800.60 c 2088 4600 2462 236630 96 12300 93282 2088 5286 0.40 1800.01/1800.60 c 3234 4600 3608 327115 90 14666 102611 3234 5703 0.57 1800.01/1800.60 c 4955 4600 5329 444181 83 18140 112873 4955 5781 0.86 1800.01/1800.60 c 7540 4600 7914 665480 84 23301 124161 7540 5835 1.29 1800.01/1800.60 c 11422 4600 11796 988566 83 31234 136578 11422 5533 2.06 1800.01/1800.60 c 17244 4600 17618 1623043 92 42891 150236 17244 4248 4.06 1800.01/1800.60 c 25981 4600 26355 2650418 100 62031 165260 25981 3156 8.23 1800.01/1800.60 c 39091 4600 39465 4082836 103 87970 181787 39091 3461 11.29 1800.01/1800.60 c 58762 4600 59136 5270919 89 127320 199966 58762 3997 14.70 1800.01/1800.60 c 88273 4600 88647 10272115 115 187509 219963 88273 1499 58.86 1800.01/1800.60 c 132543 4600 132917 17181260 129 277291 241960 132543 917 144.40 1800.01/1800.60 c 198953 4600 199327 24563830 123 411640 266157 198953 916 216.97 1800.01/1800.60 c 298573 4600 43162 6269379 145 99467 292773 42788 448 665.06 1800.01/1800.60 c 448009 4600 192598 25167786 130 398358 322051 192224 308 1453.66 1800.01/1800.60 c Caught signal: 15 1800.01/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.60 c 19 626279 8939 690191 60654 6294639 60280 347 1800.02 1800.01/1800.60 s UNKNOWN 1800.01/1800.60 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/node70/watcher-433374-1177958549 -o ROOT/results/node70/solver-433374-1177958549 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433374-1177958549/instance-433374-1177958549.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.06 0.99 0.94 2/64 17827 /proc/meminfo: memFree=1855424/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=2332 CPUtime=0 /proc/17827/stat : 17827 (bsolo3.0.17) D 17825 17827 17715 0 -1 4194304 45 0 0 0 0 0 0 0 18 0 1 0 235392268 2387968 29 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8413988 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/17827/statm: 583 29 21 324 0 9 0 [startup+0.0118679 s] /proc/loadavg: 1.06 0.99 0.94 2/64 17827 /proc/meminfo: memFree=1855424/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=2332 CPUtime=0 /proc/17827/stat : 17827 (bsolo3.0.17) D 17825 17827 17715 0 -1 4194304 45 0 0 0 0 0 0 0 18 0 1 0 235392268 2387968 29 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8413988 0 0 4096 0 18446744071563608240 0 0 17 0 0 0 /proc/17827/statm: 583 29 21 324 0 9 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2332 [startup+0.102884 s] /proc/loadavg: 1.06 0.99 0.94 2/64 17827 /proc/meminfo: memFree=1855424/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=5556 CPUtime=0.07 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 921 0 0 0 6 1 0 0 18 0 1 0 235392268 5689344 736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540697 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17827/statm: 1389 736 305 324 0 459 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5556 [startup+0.302903 s] /proc/loadavg: 1.06 0.99 0.94 2/64 17827 /proc/meminfo: memFree=1855424/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=7220 CPUtime=0.27 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 1413 0 0 0 26 1 0 0 19 0 1 0 235392268 7393280 1158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8847064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17827/statm: 1805 1158 310 324 0 875 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 7220 [startup+0.702943 s] /proc/loadavg: 1.06 0.99 0.94 2/64 17827 /proc/meminfo: memFree=1855424/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=9936 CPUtime=0.67 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 2119 0 0 0 66 1 0 0 23 0 1 0 235392268 10174464 1864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17827/statm: 2484 1864 310 324 0 1554 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 9936 [startup+1.50202 s] /proc/loadavg: 1.06 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1847160/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=15364 CPUtime=1.46 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 3475 0 0 0 144 2 0 0 25 0 1 0 235392268 15732736 3220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 3841 3220 310 324 0 2911 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 15364 [startup+3.10117 s] /proc/loadavg: 1.06 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1840120/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=24420 CPUtime=3.06 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 5739 0 0 0 303 3 0 0 25 0 1 0 235392268 25006080 5484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 6105 5484 310 324 0 5175 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 24420 [startup+6.3015 s] /proc/loadavg: 1.06 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1825088/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=36568 CPUtime=6.26 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 8777 0 0 0 622 4 0 0 25 0 1 0 235392268 37445632 8522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 9142 8522 310 324 0 8212 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 36568 [startup+12.7011 s] /proc/loadavg: 1.05 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1792320/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=69928 CPUtime=12.65 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 17104 0 0 0 1258 7 0 0 25 0 1 0 235392268 71606272 16849 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 17482 16849 310 324 0 16552 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 69928 [startup+25.5014 s] /proc/loadavg: 1.04 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1748224/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=111172 CPUtime=25.46 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 27431 0 0 0 2532 14 0 0 25 0 1 0 235392268 113840128 27176 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8855297 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 27793 27176 310 324 0 26863 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 111172 [startup+51.102 s] /proc/loadavg: 1.03 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1720256/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=139092 CPUtime=51.04 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 34398 0 0 0 5085 19 0 0 25 0 1 0 235392268 142430208 34143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 34773 34143 310 324 0 33843 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 139092 [startup+102.305 s] /proc/loadavg: 1.01 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1647808/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=210976 CPUtime=102.23 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 52358 0 0 0 10193 30 0 0 25 0 1 0 235392268 216039424 52103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 52744 52103 310 324 0 51814 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 210976 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1570112/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=289880 CPUtime=162.21 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 72094 0 0 0 16177 44 0 0 25 0 1 0 235392268 296837120 71839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 72470 71839 310 324 0 71540 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 289880 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1501760/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=357068 CPUtime=222.19 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 88877 0 0 0 22162 57 0 0 25 0 1 0 235392268 365637632 88622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 89267 88622 310 324 0 88337 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 357068 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1440768/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=417936 CPUtime=282.19 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 104104 0 0 0 28151 68 0 0 25 0 1 0 235392268 427966464 103849 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 104484 103849 310 324 0 103554 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 417936 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1417920/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=440360 CPUtime=342.17 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 109723 0 0 0 34145 72 0 0 25 0 1 0 235392268 450928640 109468 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 110090 109468 310 324 0 109160 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 440360 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1403008/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=455368 CPUtime=402.15 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 113465 0 0 0 40139 76 0 0 25 0 1 0 235392268 466296832 113210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 113842 113210 310 324 0 112912 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 455368 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1386880/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=462.14 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 46134 80 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 471040 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1386880/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=522.12 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 52132 80 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 471040 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1386880/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=582.11 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 58131 80 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 471040 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1386880/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=642.1 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 64130 80 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 471040 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17828 /proc/meminfo: memFree=1386816/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=822.05 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 82125 80 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 471040 [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17830 /proc/meminfo: memFree=1386752/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=882.03 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 88123 80 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 471040 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17830 /proc/meminfo: memFree=1386752/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=942.01 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 94121 80 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 471040 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17830 /proc/meminfo: memFree=1386752/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=1002 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 100120 80 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 471040 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 17830 /proc/meminfo: memFree=1386688/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=1061.98 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 106118 80 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 471040 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.94 2/71 17904 /proc/meminfo: memFree=1385408/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=1121.94 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 112113 81 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 471040 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1386240/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=1181.86 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 118104 82 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8846888 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 471040 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1386304/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=1241.85 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 124103 82 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 471040 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1386304/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=1301.84 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 130102 82 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 471040 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1386304/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=1361.82 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 136100 82 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 471040 [startup+1422.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1386432/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=1421.81 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117654 0 0 0 142099 82 0 0 25 0 1 0 235392268 482344960 117136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8855276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117136 310 324 0 116830 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 471040 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1386432/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=1481.79 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117655 0 0 0 148097 82 0 0 25 0 1 0 235392268 482344960 117137 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117137 310 324 0 116830 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 471040 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1386432/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=471040 CPUtime=1541.77 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 117655 0 0 0 154095 82 0 0 25 0 1 0 235392268 482344960 117137 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 117760 117137 310 324 0 116830 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 471040 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1378688/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=479492 CPUtime=1601.75 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 119754 0 0 0 160092 83 0 0 25 0 1 0 235392268 490999808 119236 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 119873 119237 310 324 0 118943 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 479492 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1337024/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=520120 CPUtime=1661.74 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 130245 0 0 0 166083 91 0 0 25 0 1 0 235392268 532602880 129410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 130030 129410 310 324 0 129100 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 520120 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1337024/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=520120 CPUtime=1721.72 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 130245 0 0 0 172081 91 0 0 25 0 1 0 235392268 532602880 129410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 130030 129410 310 324 0 129100 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 520120 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1337024/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=520120 CPUtime=1781.71 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 130245 0 0 0 178080 91 0 0 25 0 1 0 235392268 532602880 129410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 130030 129410 310 324 0 129100 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 520120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.94 2/65 18028 /proc/meminfo: memFree=1337024/2055920 swapFree=4183764/4192956 [pid=17827] ppid=17825 vsize=520120 CPUtime=1800.01 /proc/17827/stat : 17827 (bsolo3.0.17) R 17825 17827 17715 0 -1 4194304 130245 0 0 0 179910 91 0 0 25 0 1 0 235392268 532602880 129410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17827/statm: 130030 129410 310 324 0 129100 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 520120 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.69 CPU time (s): 1800.1 CPU user time (s): 1799.11 CPU system time (s): 0.995848 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 521388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.11 system time used= 0.995848 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 130249 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= 23 involuntary context switches= 4679 runsolver used 1.47578 second user time and 3.50247 second system time The end
Begin job on node70 on Mon Apr 30 18:42:29 UTC 2007 IDJOB= 433374 IDBENCH= 2534 IDSOLVER= 199 FILE ID= node70/433374-1177958549 PBS_JOBID= 4727743 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433374-1177958549/instance-433374-1177958549.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-433374-1177958549 -o ROOT/results/node70/solver-433374-1177958549 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433374-1177958549/instance-433374-1177958549.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= c346de7e1ba29a95ee9f392619231545 RANDOM SEED= 996519407 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1855832 kB Buffers: 2140 kB Cached: 130268 kB SwapCached: 2572 kB Active: 43840 kB Inactive: 103644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855832 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 6844 kB Writeback: 0 kB Mapped: 21284 kB Slab: 38584 kB Committed_AS: 3597388 kB PageTables: 1408 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 node70 on Mon Apr 30 19:12:32 UTC 2007