Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 1703.16 | 1703.65 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb |
MD5SUM | cdc1e49bcf2e6b6913c93a683c821b72 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.227965 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/430828-1177999276/instance-430828-1177999276.opb 0.00/0.00 c File size is 10539 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044 0.00/0.00 c Obj. Vars: 8 (1.0101 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 792 1180 4960 4 4260 6656 0 0 0.01 0.00/0.01 c Switching off LPR mode. 27.24/27.38 c 101 792 1281 11153 8 4390 7322 101 4809 0.02 27.24/27.38 c 252 792 1432 21125 14 4664 8055 252 7636 0.03 27.24/27.38 c 477 792 1657 35912 21 5040 8861 477 9000 0.05 27.24/27.38 c 816 792 1996 56180 28 5707 9748 816 9168 0.09 27.24/27.38 c 1324 792 2504 90935 36 6787 10723 1324 9457 0.14 27.24/27.38 c 2088 792 3268 142705 43 8333 11796 2088 8318 0.25 27.24/27.38 c 3234 792 4414 221121 50 10492 12976 3234 8443 0.38 27.24/27.38 c 4955 792 6135 330440 53 13899 14274 4955 6939 0.71 27.24/27.38 c 7539 792 8719 500447 57 19053 15702 7539 6215 1.21 27.24/27.38 c 11418 792 12598 739280 58 26803 17273 11418 4158 2.75 27.24/27.38 c 17240 792 18420 1106924 60 38458 19001 17240 3472 4.96 27.24/27.38 c 25978 792 17103 1001842 58 35850 20902 15923 2534 10.25 27.24/27.38 c 39088 792 19648 1138500 57 40886 22993 18468 2012 19.42 27.24/27.38 o 43 27.328 575.18/575.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 575.18/575.43 c 56380 792 12175 901833 74 26054 6672 10995 2063 27.33 575.18/575.43 c 56481 792 4618 311407 67 11101 7340 3438 2061 27.40 575.18/575.43 c 56733 772 4870 330326 67 11584 8075 3690 2068 27.43 575.18/575.43 c 57208 772 5345 372876 69 12535 8883 4165 2080 27.50 575.18/575.43 c 58021 772 6158 430410 69 14122 9772 4978 2100 27.62 575.18/575.43 c 59341 772 7478 513227 68 16711 10750 6298 2134 27.80 575.18/575.43 c 61423 772 9560 675922 70 20859 11826 8380 2175 28.23 575.18/575.43 c 64646 772 12783 891313 69 27347 13009 11603 2228 29.01 575.18/575.43 c 69582 772 10638 659631 62 22973 14310 9458 2306 30.16 575.18/575.43 c 77088 772 10237 573749 56 22158 15742 9057 2390 32.25 575.18/575.43 c 88450 772 13647 734226 53 28950 17317 12467 2076 42.60 575.18/575.43 c 105594 772 13158 766634 58 27961 19049 11978 1956 53.98 575.18/575.43 c 131413 769 19702 1103526 56 41110 20954 18522 1912 68.70 575.18/575.43 c 170245 769 14372 925965 64 30463 23050 13192 1661 102.48 575.18/575.43 c 228597 769 23397 1456889 62 48517 25356 22217 1324 172.65 575.18/575.43 c 316230 768 22720 1404394 61 47106 27892 21540 1214 260.44 575.18/575.43 c 447782 768 21723 1541397 70 45103 30682 20543 955 468.88 575.18/575.43 o 3 575.217 1703.10/1703.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1703.10/1703.63 c 546924 768 23105 1545242 66 48010 6668 21925 950 575.22 1703.10/1703.63 c 547024 758 4621 247980 53 11022 7335 3441 950 575.46 1703.10/1703.63 c 547279 758 4876 267719 54 11511 8069 3696 950 575.48 1703.10/1703.63 c 547754 758 5351 301720 56 12447 8876 4171 951 575.53 1703.10/1703.63 c 548567 758 6164 356908 57 14104 9764 4984 952 575.63 1703.10/1703.63 c 549887 758 7484 444427 59 16751 10741 6304 954 575.89 1703.10/1703.63 c 551968 758 9565 581210 60 20957 11816 8385 957 576.35 1703.10/1703.63 c 555192 758 12789 800137 62 27368 12998 11609 961 577.14 1703.10/1703.63 c 560128 758 10883 641376 58 23515 14298 9703 966 579.68 1703.10/1703.63 c 567635 758 11142 639116 57 24017 15728 9962 970 585.16 1703.10/1703.63 c 578997 750 14159 862666 60 30015 17301 12979 980 590.36 1703.10/1703.63 c 596142 750 13827 801361 57 29346 19032 12647 984 605.79 1703.10/1703.63 c 621961 714 10708 955197 89 23240 20936 9528 986 630.62 1703.10/1703.63 c 660793 714 16592 1064270 64 34959 23030 15412 982 672.69 1703.10/1703.63 c 719147 713 12491 765351 61 26757 25334 11311 990 725.83 1703.10/1703.63 c 806780 712 12706 761786 59 27152 27868 11526 976 826.43 1703.10/1703.63 c 938333 711 25874 1601447 61 53517 30655 24694 942 995.76 1703.10/1703.63 c 1135765 709 31091 1937609 62 63940 33721 29911 914 1242.14 1703.10/1703.63 c 1432018 697 18401 960288 52 38581 37094 17221 878 1630.64 1703.10/1703.63 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 1703.10/1703.63 v -x32 x33 -x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 x52 -x53 x54 -x55 -x56 x57 x58 -x59 1703.10/1703.63 v -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 x68 -x69 -x70 x71 x72 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 x86 -x87 1703.10/1703.63 v x88 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x153 -x154 x155 x156 x157 x158 -x159 1703.10/1703.63 v -x160 x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x105 -x106 x107 -x108 -x109 1703.10/1703.63 v -x110 -x111 -x112 x169 -x170 x171 x172 -x173 -x174 -x175 -x176 x113 -x114 -x115 x116 x117 -x118 -x119 -x120 -x177 -x178 -x179 1703.10/1703.63 v -x180 -x181 -x182 -x183 -x184 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 1703.10/1703.63 v x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x137 -x138 -x139 -x140 -x141 1703.10/1703.63 v x142 x143 -x144 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 1703.10/1703.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1703.10/1703.63 c 49 1469207 9712 1510980 30319 1574785 29139 862 1703.14 1703.10/1703.63 c Objective: 3 1703.10/1703.63 s OPTIMUM FOUND 1703.10/1703.63 c Total time: 1703.14 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-430828-1177999276 -o ROOT/results/node48/solver-430828-1177999276 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430828-1177999276/instance-430828-1177999276.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.93 0.98 0.99 3/70 29639 /proc/meminfo: memFree=1794072/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=3936 CPUtime=0 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 154772904 4030464 351 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 984 352 292 324 0 50 0 [startup+0.0342731 s] /proc/loadavg: 0.93 0.98 0.99 3/70 29639 /proc/meminfo: memFree=1794072/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=4460 CPUtime=0.02 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 540 0 0 0 2 0 0 0 18 0 1 0 154772904 4567040 506 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 1115 506 312 324 0 184 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4460 [startup+0.101278 s] /proc/loadavg: 0.93 0.98 0.99 3/70 29639 /proc/meminfo: memFree=1794072/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=5104 CPUtime=0.09 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 692 0 0 0 9 0 0 0 18 0 1 0 154772904 5226496 658 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 1276 658 312 324 0 345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5104 [startup+0.301297 s] /proc/loadavg: 0.93 0.98 0.99 3/70 29639 /proc/meminfo: memFree=1794072/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=6528 CPUtime=0.3 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 1045 0 0 0 29 1 0 0 19 0 1 0 154772904 6684672 1011 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 1632 1012 312 324 0 701 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 6528 [startup+0.701334 s] /proc/loadavg: 0.93 0.98 0.99 3/70 29639 /proc/meminfo: memFree=1794072/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=8856 CPUtime=0.68 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 1637 0 0 0 67 1 0 0 22 0 1 0 154772904 9068544 1603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 2214 1603 312 324 0 1283 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8856 [startup+1.50241 s] /proc/loadavg: 0.93 0.98 0.99 2/71 29666 /proc/meminfo: memFree=1787408/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=12348 CPUtime=1.48 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 2494 0 0 0 146 2 0 0 25 0 1 0 154772904 12644352 2460 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 3087 2460 312 324 0 2156 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12348 [startup+3.10156 s] /proc/loadavg: 0.93 0.98 0.99 2/71 29666 /proc/meminfo: memFree=1783696/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=15344 CPUtime=3.08 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 3249 0 0 0 305 3 0 0 25 0 1 0 154772904 15712256 3215 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 3836 3215 312 324 0 2905 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15344 [startup+6.30185 s] /proc/loadavg: 0.93 0.98 0.99 2/71 29674 /proc/meminfo: memFree=1776016/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=22356 CPUtime=6.27 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 4990 0 0 0 623 4 0 0 25 0 1 0 154772904 22892544 4956 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 5589 4956 312 324 0 4658 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 22356 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/71 29696 /proc/meminfo: memFree=1774936/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=22988 CPUtime=12.65 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 5155 0 0 0 1260 5 0 0 25 0 1 0 154772904 23539712 5121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 5747 5121 312 324 0 4816 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 22988 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/71 29728 /proc/meminfo: memFree=1772056/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=25484 CPUtime=25.44 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 5789 0 0 0 2537 7 0 0 25 0 1 0 154772904 26095616 5755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 6371 5755 312 324 0 5440 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 25484 [startup+51.102 s] /proc/loadavg: 0.97 0.98 0.99 2/65 29756 /proc/meminfo: memFree=1769744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=28716 CPUtime=51.01 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 6608 0 0 0 5086 15 0 0 25 0 1 0 154772904 29405184 6574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 7179 6574 313 324 0 6248 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 28716 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 29756 /proc/meminfo: memFree=1769744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=28716 CPUtime=102.2 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 6608 0 0 0 10198 22 0 0 25 0 1 0 154772904 29405184 6574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 7179 6574 313 324 0 6248 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 28716 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29756 /proc/meminfo: memFree=1769744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=28716 CPUtime=162.18 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 6608 0 0 0 16189 29 0 0 25 0 1 0 154772904 29405184 6574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 7179 6574 313 324 0 6248 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 28716 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29756 /proc/meminfo: memFree=1769744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=28928 CPUtime=222.16 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 6655 0 0 0 22180 36 0 0 25 0 1 0 154772904 29622272 6621 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 7232 6621 313 324 0 6301 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 28928 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29756 /proc/meminfo: memFree=1766224/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=32420 CPUtime=282.15 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 7530 0 0 0 28174 41 0 0 25 0 1 0 154772904 33198080 7496 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 8105 7496 313 324 0 7174 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 32420 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29756 /proc/meminfo: memFree=1766224/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=32420 CPUtime=342.14 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 7530 0 0 0 34166 48 0 0 25 0 1 0 154772904 33198080 7496 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 8105 7496 313 324 0 7174 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 32420 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29756 /proc/meminfo: memFree=1765840/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=32792 CPUtime=402.12 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 7623 0 0 0 40158 54 0 0 25 0 1 0 154772904 33579008 7589 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 8198 7589 313 324 0 7267 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 32792 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29756 /proc/meminfo: memFree=1765840/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=32748 CPUtime=462.11 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 7623 0 0 0 46150 61 0 0 25 0 1 0 154772904 33533952 7582 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 8187 7582 313 324 0 7256 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 32748 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29756 /proc/meminfo: memFree=1762832/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=35804 CPUtime=522.1 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 8386 0 0 0 52141 69 0 0 25 0 1 0 154772904 36663296 8345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 8951 8345 313 324 0 8020 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 35804 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29758 /proc/meminfo: memFree=1762704/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=35680 CPUtime=582.08 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 8386 0 0 0 58129 79 0 0 25 0 1 0 154772904 36536320 8315 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 8920 8315 313 324 0 7989 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 35680 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29758 /proc/meminfo: memFree=1762768/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=35604 CPUtime=642.06 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 8386 0 0 0 64119 87 0 0 25 0 1 0 154772904 36458496 8296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 8901 8296 313 324 0 7970 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 35604 ################ # More data... # ################ /proc/meminfo: memFree=1763408/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=35144 CPUtime=1121.94 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 8386 0 0 0 112053 141 0 0 25 0 1 0 154772904 35987456 8181 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 8786 8181 313 324 0 7855 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 35144 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29758 /proc/meminfo: memFree=1763408/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=35144 CPUtime=1181.94 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 8386 0 0 0 118046 148 0 0 25 0 1 0 154772904 35987456 8181 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 8786 8181 313 324 0 7855 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 35144 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29758 /proc/meminfo: memFree=1763344/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=35144 CPUtime=1241.92 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 8386 0 0 0 124036 156 0 0 25 0 1 0 154772904 35987456 8181 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 8786 8181 313 324 0 7855 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 35144 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29758 /proc/meminfo: memFree=1762576/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36060 CPUtime=1301.9 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 8693 0 0 0 130026 164 0 0 25 0 1 0 154772904 36925440 8386 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9015 8386 313 324 0 8084 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 36060 [startup+1362.3 s] /proc/loadavg: 1.05 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1762576/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36060 CPUtime=1361.88 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 8761 0 0 0 136018 170 0 0 25 0 1 0 154772904 36925440 8386 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9015 8386 313 324 0 8084 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 36060 [startup+1422.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 29758 /proc/meminfo: memFree=1762448/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36188 CPUtime=1421.87 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 8859 0 0 0 142011 176 0 0 25 0 1 0 154772904 37056512 8416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9047 8416 313 324 0 8116 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 36188 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 29758 /proc/meminfo: memFree=1761808/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36840 CPUtime=1481.86 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9093 0 0 0 148004 182 0 0 25 0 1 0 154772904 37724160 8582 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9210 8582 313 324 0 8279 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 36840 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761808/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36840 CPUtime=1541.84 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9161 0 0 0 153995 189 0 0 25 0 1 0 154772904 37724160 8582 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9210 8582 313 324 0 8279 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 36840 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761808/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36840 CPUtime=1601.83 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9229 0 0 0 159987 196 0 0 25 0 1 0 154772904 37724160 8582 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9210 8582 313 324 0 8279 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 36840 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761808/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36840 CPUtime=1661.81 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9229 0 0 0 165980 201 0 0 25 0 1 0 154772904 37724160 8582 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9210 8582 313 324 0 8279 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 36840 Solver just ended. Dumping a history of the last processes samples [startup+1663.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761808/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36840 CPUtime=1663.41 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9229 0 0 0 166140 201 0 0 25 0 1 0 154772904 37724160 8582 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9210 8582 313 324 0 8279 0 Current children cumulated CPU time (s) 1663.41 Current children cumulated vsize (KiB) 36840 [startup+1689.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36852 CPUtime=1689.01 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9269 0 0 0 168697 204 0 0 25 0 1 0 154772904 37736448 8585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9213 8585 313 324 0 8282 0 Current children cumulated CPU time (s) 1689.01 Current children cumulated vsize (KiB) 36852 [startup+1695.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36852 CPUtime=1695.4 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9269 0 0 0 169336 204 0 0 25 0 1 0 154772904 37736448 8585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9213 8585 313 324 0 8282 0 Current children cumulated CPU time (s) 1695.4 Current children cumulated vsize (KiB) 36852 [startup+1699.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36852 CPUtime=1698.61 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9269 0 0 0 169656 205 0 0 25 0 1 0 154772904 37736448 8585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9213 8585 313 324 0 8282 0 Current children cumulated CPU time (s) 1698.61 Current children cumulated vsize (KiB) 36852 [startup+1700.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36852 CPUtime=1700.2 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9269 0 0 0 169815 205 0 0 25 0 1 0 154772904 37736448 8585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9213 8585 313 324 0 8282 0 Current children cumulated CPU time (s) 1700.2 Current children cumulated vsize (KiB) 36852 [startup+1702.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36852 CPUtime=1701.8 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9269 0 0 0 169975 205 0 0 25 0 1 0 154772904 37736448 8585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9213 8585 313 324 0 8282 0 Current children cumulated CPU time (s) 1701.8 Current children cumulated vsize (KiB) 36852 [startup+1703.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36852 CPUtime=1702.6 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9269 0 0 0 170055 205 0 0 25 0 1 0 154772904 37736448 8585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9213 8585 313 324 0 8282 0 Current children cumulated CPU time (s) 1702.6 Current children cumulated vsize (KiB) 36852 [startup+1703.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36852 CPUtime=1703 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9269 0 0 0 170095 205 0 0 25 0 1 0 154772904 37736448 8585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9213 8585 313 324 0 8282 0 Current children cumulated CPU time (s) 1703 Current children cumulated vsize (KiB) 36852 [startup+1703.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29758 /proc/meminfo: memFree=1761744/2055920 swapFree=4183896/4192956 [pid=29639] ppid=29637 vsize=36852 CPUtime=1703.1 /proc/29639/stat : 29639 (bsolo3.0.16) R 29637 29639 28215 0 -1 4194304 9269 0 0 0 170105 205 0 0 25 0 1 0 154772904 37736448 8585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29639/statm: 9213 8585 313 324 0 8282 0 Current children cumulated CPU time (s) 1703.1 Current children cumulated vsize (KiB) 36852 Child status: 0 Real time (s): 1703.65 CPU time (s): 1703.16 CPU user time (s): 1701.09 CPU system time (s): 2.06269 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 37000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1701.09 system time used= 2.06269 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9270 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= 11 involuntary context switches= 1138 runsolver used 1.35479 second user time and 3.34049 second system time The end
Begin job on node48 on Tue May 1 06:01:16 UTC 2007 IDJOB= 430828 IDBENCH= 48008 IDSOLVER= 163 FILE ID= node48/430828-1177999276 PBS_JOBID= 4728251 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430828-1177999276/instance-430828-1177999276.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-430828-1177999276 -o ROOT/results/node48/solver-430828-1177999276 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430828-1177999276/instance-430828-1177999276.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= cdc1e49bcf2e6b6913c93a683c821b72 RANDOM SEED= 412045545 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1794544 kB Buffers: 22376 kB Cached: 163888 kB SwapCached: 3116 kB Active: 49860 kB Inactive: 147692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1794544 kB SwapTotal: 4192956 kB SwapFree: 4183896 kB Dirty: 6616 kB Writeback: 0 kB Mapped: 17708 kB Slab: 49424 kB Committed_AS: 1385692 kB PageTables: 1612 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 node48 on Tue May 1 06:29:40 UTC 2007