Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 30 | 333.981 | 334.063 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein45.opb |
MD5SUM | 5084bd7d25dcb1d535d550da78b2db16 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 30 |
Best CPU time to get the best result obtained on this benchmark | 30.5394 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | YES |
Number of variables | 45 |
Total number of constraints | 331 |
Number of constraints which are clauses | 330 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 45 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 67 |
Number of bits of the biggest sum of numbers | 7 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1880422-1245133891.opb 0.00/0.00 c File size is 9856 bytes. 0.00/0.00 c Highest Coefficient sum: 67 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 45 Constr: 331 330/1/0 Lit: 1034 Watch. Lit: 683 0.00/0.00 c Obj. Vars: 45 (100 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 45 331 1034 3 683 439 0 0 0.00 0.00/0.00 c Initial Lower Bound: 22 0.00/0.00 c Initial Path Cost: 0 0.00/0.00 o 33 0.02/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.04 c 0 45 332 1079 3 697 634 1 0 0.01 0.02/0.04 o 32 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 2 45 338 1294 3 730 649 7 51 0.04 0.09/0.12 o 31 3.19/3.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.28 c 22 45 398 3210 8 866 664 67 174 0.13 3.19/3.28 c 122 45 693 12061 17 1460 731 362 280 0.43 3.19/3.28 c 373 45 1058 21441 20 2153 805 727 311 1.20 3.19/3.28 c 848 45 788 13605 17 1614 886 457 327 2.59 3.19/3.28 o 30 333.91/334.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 333.91/334.06 c 1069 45 987 19412 19 2039 679 656 326 3.28 333.91/334.06 c 1171 45 929 17271 18 1909 747 598 323 3.62 333.91/334.06 c 1421 45 892 15546 17 1830 822 561 324 4.37 333.91/334.06 c 1896 45 1035 18884 18 2106 905 704 323 5.86 333.91/334.06 c 2709 45 1120 20830 18 2276 996 789 322 8.41 333.91/334.06 c 4030 45 962 16526 17 1960 1096 631 323 12.45 333.91/334.06 c 6112 45 1003 17355 17 2042 1206 672 319 19.10 333.91/334.06 c 9335 45 1324 26524 20 2813 1327 993 322 28.93 333.91/334.06 c 14271 45 1185 22511 18 2408 1460 854 324 43.91 333.91/334.06 c 21777 45 1286 24721 19 2609 1607 955 323 67.27 333.91/334.06 c 33139 45 1787 36925 20 3610 1768 1456 321 102.98 333.91/334.06 c 50283 45 1938 37898 19 3912 1945 1607 319 157.51 333.91/334.06 c 76104 43 1516 26640 17 3064 2140 1185 316 240.73 333.91/334.06 v x1 x2 -x3 x4 x5 -x6 x7 x8 -x9 x10 x11 x12 x13 -x14 x15 -x16 x17 x18 x19 x20 x21 x22 -x23 x24 -x25 x26 x27 -x28 x29 -x30 -x31 x32 -x33 -x34 -x35 x36 x37 x38 x39 x40 x41 x42 x43 -x44 -x45 333.91/334.06 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 333.91/334.06 c 19 104056 33 104219 1563 12678 1232 311 333.98 333.91/334.06 c Objective: 30 333.91/334.06 s OPTIMUM FOUND 333.91/334.06 c Total time: 333.98 s
OK 30
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880422-1245133891/watcher-1880422-1245133891 -o /tmp/evaluation-result-1880422-1245133891/solver-1880422-1245133891 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880422-1245133891.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7648 /proc/meminfo: memFree=1463776/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=18520 CPUtime=0 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 180988670 18964480 284 1992294400 134512640 137136520 4294956256 18446744073709551615 134709968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 4630 284 224 640 0 3986 0 [startup+0.0248509 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7648 /proc/meminfo: memFree=1463776/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=19608 CPUtime=0.02 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 615 0 0 0 2 0 0 0 18 0 1 0 180988670 20078592 404 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 4902 404 289 640 0 4258 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 19608 [startup+0.101855 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7648 /proc/meminfo: memFree=1463776/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=19520 CPUtime=0.09 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 2481 0 0 0 9 0 0 0 18 0 1 0 180988670 19988480 401 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 4880 402 292 640 0 4236 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19520 [startup+0.301868 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7648 /proc/meminfo: memFree=1463776/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=19608 CPUtime=0.29 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 9143 0 0 0 27 2 0 0 19 0 1 0 180988670 20078592 431 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 4902 431 292 640 0 4258 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19608 [startup+0.701894 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7648 /proc/meminfo: memFree=1463776/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=19836 CPUtime=0.69 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 22212 0 0 0 62 7 0 0 22 0 1 0 180988670 20312064 469 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 4959 469 292 640 0 4315 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19836 [startup+1.50195 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1462808/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=18968 CPUtime=1.49 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 45855 0 0 0 133 16 0 0 25 0 1 0 180988670 19423232 470 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 4742 470 292 640 0 4098 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18968 [startup+3.10105 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1462680/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=19956 CPUtime=3.09 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 90723 0 0 0 278 31 0 0 25 0 1 0 180988670 20434944 513 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 4989 513 292 640 0 4345 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19956 [startup+6.30127 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1462488/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=19932 CPUtime=6.29 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 166557 0 0 0 574 55 0 0 25 0 1 0 180988670 20410368 516 1992294400 134512640 137136520 4294956256 18446744073709551615 135443252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 4983 516 292 640 0 4339 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19932 [startup+12.7017 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1462424/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=19980 CPUtime=12.68 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 341185 0 0 0 1151 117 0 0 25 0 1 0 180988670 20459520 521 1992294400 134512640 137136520 4294956256 18446744073709551615 135443223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 4995 521 292 640 0 4351 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19980 [startup+25.5015 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1462368/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20068 CPUtime=25.49 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 678427 0 0 0 2319 230 0 0 25 0 1 0 180988670 20549632 542 1992294400 134512640 137136520 4294956256 18446744073709551615 135447703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5017 542 292 640 0 4373 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20068 [startup+51.1012 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1462240/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20180 CPUtime=51.07 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 1365632 0 0 0 4652 455 0 0 25 0 1 0 180988670 20664320 568 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5045 568 292 640 0 4401 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20180 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1462240/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20228 CPUtime=102.27 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 2686847 0 0 0 9340 887 0 0 25 0 1 0 180988670 20713472 601 1992294400 134512640 137136520 4294956256 18446744073709551615 135438606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5057 601 292 640 0 4413 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20228 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1462048/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=19452 CPUtime=162.25 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 4219387 0 0 0 14850 1375 0 0 25 0 1 0 180988670 19918848 591 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 4863 591 292 640 0 4219 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 19452 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1461984/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20340 CPUtime=222.23 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 5709734 0 0 0 20347 1876 0 0 25 0 1 0 180988670 20828160 613 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5085 613 292 640 0 4441 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20340 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1462048/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20380 CPUtime=282.22 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 7147330 0 0 0 25868 2354 0 0 25 0 1 0 180988670 20869120 627 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5095 627 292 640 0 4451 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 20380 Solver just ended. Dumping a history of the last processes samples [startup+307.102 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1461984/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20268 CPUtime=307.02 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 7702925 0 0 0 28156 2546 0 0 25 0 1 0 180988670 20754432 618 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5067 618 292 640 0 4423 0 Current children cumulated CPU time (s) 307.02 Current children cumulated vsize (KiB) 20268 [startup+319.902 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1461984/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20244 CPUtime=319.82 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 7892941 0 0 0 29365 2617 0 0 25 0 1 0 180988670 20729856 611 1992294400 134512640 137136520 4294956256 18446744073709551615 135448333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5061 611 292 640 0 4417 0 Current children cumulated CPU time (s) 319.82 Current children cumulated vsize (KiB) 20244 [startup+326.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1461984/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20268 CPUtime=326.21 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 7984466 0 0 0 29967 2654 0 0 25 0 1 0 180988670 20754432 610 1992294400 134512640 137136520 4294956256 18446744073709551615 135448314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5067 610 292 640 0 4423 0 Current children cumulated CPU time (s) 326.21 Current children cumulated vsize (KiB) 20268 [startup+329.501 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1461984/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20256 CPUtime=329.41 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 8029578 0 0 0 30269 2672 0 0 25 0 1 0 180988670 20742144 607 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5064 607 292 640 0 4420 0 Current children cumulated CPU time (s) 329.41 Current children cumulated vsize (KiB) 20256 [startup+331.105 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1461984/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20260 CPUtime=331.01 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 8051673 0 0 0 30422 2679 0 0 25 0 1 0 180988670 20746240 609 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5065 609 292 640 0 4421 0 Current children cumulated CPU time (s) 331.01 Current children cumulated vsize (KiB) 20260 [startup+332.701 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1461984/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20264 CPUtime=332.61 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 8071956 0 0 0 30574 2687 0 0 25 0 1 0 180988670 20750336 626 1992294400 134512640 137136520 4294956256 18446744073709551615 135444937 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5066 626 292 640 0 4422 0 Current children cumulated CPU time (s) 332.61 Current children cumulated vsize (KiB) 20264 [startup+333.501 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1461984/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20260 CPUtime=333.41 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 8081800 0 0 0 30650 2691 0 0 25 0 1 0 180988670 20746240 612 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5065 612 292 640 0 4421 0 Current children cumulated CPU time (s) 333.41 Current children cumulated vsize (KiB) 20260 [startup+333.901 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1461984/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=19464 CPUtime=333.81 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 8086205 0 0 0 30689 2692 0 0 25 0 1 0 180988670 19931136 598 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 4866 598 292 640 0 4222 0 Current children cumulated CPU time (s) 333.81 Current children cumulated vsize (KiB) 19464 [startup+334.001 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7649 /proc/meminfo: memFree=1461984/2055920 swapFree=4192812/4192956 [pid=7648] ppid=7646 vsize=20264 CPUtime=333.91 /proc/7648/stat : 7648 (bsolo) R 7646 7648 7424 0 -1 4194304 8087154 0 0 0 30698 2693 0 0 25 0 1 0 180988670 20750336 612 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7648/statm: 5066 612 292 640 0 4422 0 Current children cumulated CPU time (s) 333.91 Current children cumulated vsize (KiB) 20264 Child status: 0 Real time (s): 334.063 CPU time (s): 333.981 CPU user time (s): 307.044 CPU system time (s): 26.9369 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 20492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 307.044 system time used= 26.9369 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8087681 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= 2 involuntary context switches= 589 runsolver used 0.216967 second user time and 0.71989 second system time The end
Begin job on node30 at 2009-06-16 08:31:31 IDJOB=1880422 IDBENCH=1865 IDSOLVER=701 FILE ID=node30/1880422-1245133891 PBS_JOBID= 9363688 Free space on /tmp= 66244 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880422-1245133891/watcher-1880422-1245133891 -o /tmp/evaluation-result-1880422-1245133891/solver-1880422-1245133891 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880422-1245133891.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5084bd7d25dcb1d535d550da78b2db16 RANDOM SEED=1989769102 node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.230 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.230 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: 1464192 kB Buffers: 59128 kB Cached: 445632 kB SwapCached: 140 kB Active: 151052 kB Inactive: 367768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1464192 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 23708 kB Slab: 58964 kB Committed_AS: 147764 kB PageTables: 1360 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= 66240 MiB End job on node30 at 2009-06-16 08:37:05