Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.25 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-l152lav.opb |
MD5SUM | 1a5510d564851e49e3b50f1a87922ca2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4722 |
Best CPU time to get the best result obtained on this benchmark | 74.2227 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4722 |
Optimality of the best value was proved | YES |
Number of variables | 1989 |
Total number of constraints | 97 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 96 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 1989 |
Number of terms in the objective function | 1989 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 382524 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 382524 |
Number of bits of the biggest sum of numbers | 19 |
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/432822-1177950360/instance-432822-1177950360.opb 0.00/0.00 c File size is 106158 bytes. 0.00/0.02 c Highest Coefficient sum: 382524 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.019 s 0.00/0.02 c Var: 1989 Constr: 193 95/97/1 Lit: 18833 Watch. Lit: 10102 0.00/0.02 c Obj. Vars: 1989 (100 % of total variables) 0.19/0.25 c Pre-processing Time: 0.247 s 0.29/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.40 c 0 1988 193 18833 97 10105 78906 0 0 0.25 0.29/0.40 c Initial Lower Bound: 4657 0.29/0.40 c Initial Path Cost: 0 1800.05/1800.60 c 100 1988 293 49946 170 10310 86797 100 234 0.43 1800.05/1800.60 c 250 1988 443 79992 180 10612 95477 250 534 0.47 1800.05/1800.60 c 478 1988 671 139750 208 11067 105025 478 869 0.55 1800.05/1800.60 c 817 1988 1010 188477 186 11743 115528 817 1199 0.68 1800.05/1800.60 c 1325 1988 1518 324191 213 12761 127081 1325 1547 0.86 1800.05/1800.60 c 2088 1988 2281 416119 182 14288 139790 2088 1631 1.28 1800.05/1800.60 c 3234 1988 3427 599515 174 16578 153770 3234 1714 1.89 1800.05/1800.60 c 4955 1988 5148 1024795 199 20019 169148 4955 1807 2.74 1800.05/1800.60 c 7539 1988 7732 1780904 230 25190 186063 7539 1689 4.46 1800.05/1800.60 c 11418 1988 11611 3030894 261 32947 204670 11418 1508 7.57 1800.05/1800.60 c 17242 1988 17435 4703688 269 44594 225138 17242 1279 13.47 1800.05/1800.60 c 25981 1988 26174 8234774 314 62073 247652 25981 905 28.70 1800.05/1800.60 c 39094 1988 39287 12494449 318 88299 272418 39094 553 70.59 1800.05/1800.60 c 58766 1988 58959 20293211 344 127643 299660 58766 404 145.44 1800.05/1800.61 c 88278 1988 88471 34588035 390 186668 329627 88278 271 325.71 1800.05/1800.61 c 132548 1988 132741 58186312 438 275207 362590 132548 163 808.68 1800.05/1800.61 c Caught signal: 15 1800.05/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.61 c 16 167379 59678 1408455 167572 93921199 167379 92 1800.06 1800.05/1800.61 s UNKNOWN 1800.05/1800.61 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/node22/watcher-432822-1177950360 -o ROOT/results/node22/solver-432822-1177950360 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432822-1177950360/instance-432822-1177950360.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.92 3/77 9430 /proc/meminfo: memFree=1857664/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=11840 CPUtime=0 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 242953690 12124160 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 2960 334 279 324 0 2004 0 [startup+0.0276331 s] /proc/loadavg: 0.92 0.98 0.92 3/77 9430 /proc/meminfo: memFree=1857664/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=4740 CPUtime=0.02 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 601 0 0 0 2 0 0 0 18 0 1 0 242953690 4853760 545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 1185 545 302 324 0 255 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4740 [startup+0.101645 s] /proc/loadavg: 0.92 0.98 0.92 3/77 9430 /proc/meminfo: memFree=1857664/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=4740 CPUtime=0.09 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 602 0 0 0 9 0 0 0 18 0 1 0 242953690 4853760 546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 1185 546 302 324 0 255 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4740 [startup+0.301677 s] /proc/loadavg: 0.92 0.98 0.92 3/77 9430 /proc/meminfo: memFree=1857664/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=6516 CPUtime=0.29 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 1781 0 2 0 28 1 0 0 20 0 1 0 242953690 6672384 970 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134720803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 1629 970 388 324 0 699 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6516 [startup+0.701735 s] /proc/loadavg: 0.92 0.98 0.92 3/77 9430 /proc/meminfo: memFree=1857664/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=7768 CPUtime=0.69 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 2424 0 2 0 68 1 0 0 23 0 1 0 242953690 7954432 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 1942 1394 393 324 0 1012 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7768 [startup+1.50186 s] /proc/loadavg: 0.92 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1851128/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=11392 CPUtime=1.49 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 3339 0 2 0 147 2 0 0 25 0 1 0 242953690 11665408 2309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551981 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 2848 2309 393 324 0 1918 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11392 [startup+3.1011 s] /proc/loadavg: 0.93 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1846072/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=21300 CPUtime=3.08 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 5824 0 2 0 305 3 0 0 25 0 1 0 242953690 21811200 4794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 5325 4794 393 324 0 4395 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21300 [startup+6.30159 s] /proc/loadavg: 0.93 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1827448/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=38604 CPUtime=6.28 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 10142 0 2 0 622 6 0 0 25 0 1 0 242953690 39530496 9112 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 9651 9112 393 324 0 8721 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 38604 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1799928/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=63612 CPUtime=12.68 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 16386 0 2 0 1259 9 0 0 25 0 1 0 242953690 65138688 15356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 15903 15356 393 324 0 14973 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 63612 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1755896/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=105308 CPUtime=25.48 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 26828 0 2 0 2533 15 0 0 25 0 1 0 242953690 107835392 25798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 26327 25798 393 324 0 25397 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 105308 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1716472/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=144284 CPUtime=51.07 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 36574 0 2 0 5086 21 0 0 25 0 1 0 242953690 147746816 35544 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5109619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 36071 35544 393 324 0 35141 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 144284 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1644792/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=215488 CPUtime=102.26 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 54362 0 2 0 10194 32 0 0 25 0 1 0 242953690 220659712 53332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 53872 53332 393 324 0 52942 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 215488 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1575096/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=285108 CPUtime=162.24 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 71753 0 2 0 16179 45 0 0 25 0 1 0 242953690 291950592 70723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5109644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 71277 70723 393 324 0 70347 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 285108 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1512888/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=347308 CPUtime=222.22 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 87310 0 2 0 22165 57 0 0 25 0 1 0 242953690 355643392 86280 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 86827 86280 393 324 0 85897 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 347308 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1448184/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=412004 CPUtime=282.2 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 103506 0 2 0 28155 65 0 0 25 0 1 0 242953690 421892096 102476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 103001 102476 393 324 0 102071 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 412004 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1397112/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=462512 CPUtime=342.18 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 116112 0 2 0 34145 73 0 0 25 0 1 0 242953690 473612288 115082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 115628 115082 393 324 0 114698 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 462512 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1363128/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=496796 CPUtime=402.16 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 124694 0 2 0 40136 80 0 0 25 0 1 0 242953690 508719104 123664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 124199 123664 393 324 0 123269 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 496796 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1320376/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=538852 CPUtime=462.14 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 135214 0 2 0 46127 87 0 0 25 0 1 0 242953690 551784448 134184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 134713 134184 393 324 0 133783 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 538852 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1285112/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=574768 CPUtime=522.13 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 144171 0 2 0 52119 94 0 0 25 0 1 0 242953690 588562432 143141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 143692 143141 393 324 0 142762 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 574768 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1237624/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=621752 CPUtime=582.11 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 155915 0 2 0 58110 101 0 0 25 0 1 0 242953690 636674048 154885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 155438 154885 393 324 0 154508 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 621752 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9431 /proc/meminfo: memFree=1196920/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=661892 CPUtime=642.1 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 165949 0 2 0 64102 108 0 0 25 0 1 0 242953690 677777408 164919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 165473 164919 393 324 0 164543 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 661892 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9433 /proc/meminfo: memFree=1045624/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=812416 CPUtime=882.02 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 203592 0 2 0 88072 130 0 0 25 0 1 0 242953690 831913984 202562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 203104 202562 393 324 0 202174 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 812416 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9433 /proc/meminfo: memFree=1004088/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=854132 CPUtime=942 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 214029 0 2 0 94065 135 0 0 25 0 1 0 242953690 874631168 212999 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 213533 212999 393 324 0 212603 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 854132 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9433 /proc/meminfo: memFree=964472/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=893496 CPUtime=1001.98 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 223863 0 2 0 100059 139 0 0 25 0 1 0 242953690 914939904 222833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 223374 222833 393 324 0 222444 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 893496 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9433 /proc/meminfo: memFree=935608/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=922440 CPUtime=1061.97 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 231115 0 2 0 106053 144 0 0 25 0 1 0 242953690 944578560 230085 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 230610 230085 393 324 0 229680 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 922440 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9433 /proc/meminfo: memFree=906680/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=951132 CPUtime=1121.95 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 238272 0 2 0 112047 148 0 0 25 0 1 0 242953690 973959168 237242 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 237783 237242 393 324 0 236853 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 951132 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9433 /proc/meminfo: memFree=877816/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=979928 CPUtime=1181.93 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 245471 0 2 0 118041 152 0 0 25 0 1 0 242953690 1003446272 244441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 244982 244441 393 324 0 244052 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 979928 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9433 /proc/meminfo: memFree=849528/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=1007804 CPUtime=1241.91 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 252437 0 2 0 124035 156 0 0 25 0 1 0 242953690 1031991296 251407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 251951 251407 393 324 0 251021 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1007804 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 9433 /proc/meminfo: memFree=822584/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=1034460 CPUtime=1301.89 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 259099 0 2 0 130030 159 0 0 25 0 1 0 242953690 1059287040 258069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 258615 258069 393 324 0 257685 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1034460 [startup+1362.3 s] /proc/loadavg: 1.04 1.00 0.93 2/78 9433 /proc/meminfo: memFree=796088/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=1061232 CPUtime=1361.87 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 265791 0 2 0 136024 163 0 0 25 0 1 0 242953690 1086701568 264761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 265308 264761 393 324 0 264378 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1061232 [startup+1422.31 s] /proc/loadavg: 1.05 1.01 0.93 2/78 9433 /proc/meminfo: memFree=769720/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=1087044 CPUtime=1421.86 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 272265 0 2 0 142019 167 0 0 25 0 1 0 242953690 1113133056 271235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 271761 271235 393 324 0 270831 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1087044 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 0.93 2/78 9433 /proc/meminfo: memFree=746296/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=1110500 CPUtime=1481.84 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 278122 0 2 0 148014 170 0 0 25 0 1 0 242953690 1137152000 277092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 277625 277092 393 324 0 276695 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1110500 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9433 /proc/meminfo: memFree=726200/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=1130356 CPUtime=1541.82 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 283088 0 2 0 154009 173 0 0 25 0 1 0 242953690 1157484544 282058 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 282589 282058 393 324 0 281659 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1130356 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9433 /proc/meminfo: memFree=705336/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=1151568 CPUtime=1601.8 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 288381 0 2 0 160004 176 0 0 25 0 1 0 242953690 1179205632 287351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 287892 287351 393 324 0 286962 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1151568 [startup+1662.3 s] /proc/loadavg: 1.06 1.01 0.94 2/78 9433 /proc/meminfo: memFree=684408/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=1172088 CPUtime=1661.78 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 293510 0 2 0 165999 179 0 0 25 0 1 0 242953690 1200218112 292480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 293022 292480 393 324 0 292092 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1172088 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 0.94 2/78 9433 /proc/meminfo: memFree=665656/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=1190808 CPUtime=1721.76 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 298204 0 2 0 171993 183 0 0 25 0 1 0 242953690 1219387392 297174 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 297702 297174 393 324 0 296772 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1190808 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 9433 /proc/meminfo: memFree=645240/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=1210884 CPUtime=1781.75 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 303203 0 2 0 177988 187 0 0 25 0 1 0 242953690 1239945216 302173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 302721 302173 393 324 0 301791 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1210884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.94 2/78 9433 /proc/meminfo: memFree=638904/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=1217120 CPUtime=1800.05 /proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 304758 0 2 0 179817 188 0 0 25 0 1 0 242953690 1246330880 303728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9430/statm: 304280 303728 393 324 0 303350 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1217120 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.94 2/78 9433 /proc/meminfo: memFree=638904/2055920 swapFree=4163632/4192956 [pid=9430] ppid=9428 vsize=0 CPUtime=1800.24 /proc/9430/stat : 9430 (bsolo3.0.17) D 9428 9430 8579 0 -1 4194308 304761 0 2 0 179817 207 0 0 25 0 1 0 242953690 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/9430/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.84 CPU time (s): 1800.25 CPU user time (s): 1798.17 CPU system time (s): 2.07568 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 1217120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.17 system time used= 2.07568 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 304761 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 37443 runsolver used 1.34679 second user time and 3.87541 second system time The end
Begin job on node22 on Mon Apr 30 16:26:00 UTC 2007 IDJOB= 432822 IDBENCH= 1852 IDSOLVER= 199 FILE ID= node22/432822-1177950360 PBS_JOBID= 4727677 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432822-1177950360/instance-432822-1177950360.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-432822-1177950360 -o ROOT/results/node22/solver-432822-1177950360 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432822-1177950360/instance-432822-1177950360.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2 RANDOM SEED= 626643089 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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: 1858008 kB Buffers: 5952 kB Cached: 94952 kB SwapCached: 7352 kB Active: 48800 kB Inactive: 79792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858008 kB SwapTotal: 4192956 kB SwapFree: 4163632 kB Dirty: 6684 kB Writeback: 0 kB Mapped: 34756 kB Slab: 54864 kB Committed_AS: 2061248 kB PageTables: 1688 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 node22 on Mon Apr 30 16:56:03 UTC 2007