Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 179.116 | 179.193 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb |
MD5SUM | bc362e080dfd9e6c883df7eeb6006e66 |
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.155976 |
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 | 189 |
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 | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 441 |
Sum of products size (including duplicates) | 882 |
Number of different products | 441 |
Sum of products size | 882 |
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/430716-1177998072/instance-430716-1177998072.opb 0.00/0.00 c File size is 8217 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369 0.00/0.00 c Obj. Vars: 7 (1.11111 % of total variables) 0.00/0.01 c Pre-processing Time: 0.008 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 630 910 3836 4 3289 5172 0 0 0.01 0.00/0.01 c Switching off LPR mode. 76.15/76.29 c 102 630 1012 7641 7 3467 5690 102 7285 0.01 76.15/76.29 c 253 630 1163 13576 11 3753 6260 253 10541 0.02 76.15/76.29 c 478 630 1388 26185 18 4219 6887 478 12256 0.04 76.15/76.29 c 817 630 1727 41906 24 4856 7576 817 12968 0.06 76.15/76.29 c 1325 630 2235 63867 28 5859 8334 1325 11936 0.11 76.15/76.29 c 2088 630 2998 103054 34 7413 9168 2088 12654 0.17 76.15/76.29 c 3235 630 4145 158381 38 9689 10085 3235 10537 0.31 76.15/76.29 c 4956 630 5866 241867 41 13083 11094 4956 8881 0.56 76.15/76.29 c 7541 630 8451 356893 42 18285 12204 7541 6374 1.18 76.15/76.29 c 11420 630 12330 547285 44 25974 13425 11420 5570 2.05 76.15/76.29 c 17242 627 11409 519827 45 24148 14768 10499 4641 3.71 76.15/76.29 c 25979 627 12614 610336 48 26555 16245 11704 4134 6.28 76.15/76.29 c 39089 627 9037 394642 43 19412 17870 8127 3812 10.25 76.15/76.29 c 58760 627 10007 467028 46 21324 19658 9097 2537 23.16 76.15/76.29 c 88270 627 19337 941848 48 39960 21624 18427 1974 44.70 76.15/76.29 c 132541 627 19185 896338 46 39656 23787 18275 1930 68.64 76.15/76.29 o 3 76.257 179.02/179.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.02/179.18 c 158174 626 18260 882014 48 37866 5186 17350 2074 76.26 179.02/179.18 c 158274 571 3609 135721 37 8624 5705 2699 2067 76.54 179.02/179.18 c 158525 571 3860 149112 38 9098 6276 2950 2070 76.57 179.02/179.18 c 159001 571 4336 174731 40 10003 6904 3426 2075 76.61 179.02/179.18 c 159814 571 5149 215677 41 11609 7595 4239 2083 76.69 179.02/179.18 c 161135 571 6470 284646 43 14298 8355 5560 2095 76.91 179.02/179.18 c 163216 571 8551 389838 45 18438 9191 7641 2112 77.26 179.02/179.18 c 166440 571 7033 306811 43 15368 10111 6123 2125 78.31 179.02/179.18 c 171377 571 6819 282208 41 14970 11123 5909 2113 81.09 179.02/179.18 c 178883 568 8232 376972 45 17798 12236 7322 2152 83.11 179.02/179.18 c 190244 567 7156 301051 42 15663 13460 6246 2146 88.63 179.02/179.18 c 207388 567 10036 460124 45 21407 14807 9126 2169 95.59 179.02/179.18 c 233207 558 12643 589302 46 26678 16288 11733 2158 108.05 179.02/179.18 c 272040 558 9599 375323 39 20568 17917 8689 2002 135.84 179.02/179.18 c 330392 553 13104 532342 40 27488 19709 12194 1926 171.52 179.02/179.18 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 179.02/179.18 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 179.02/179.18 v -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 x70 x71 x72 -x73 x74 x75 -x76 -x77 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x78 179.02/179.18 v -x79 -x80 -x81 x82 -x83 -x84 -x134 x135 x136 x137 -x138 -x139 -x140 x85 x86 x87 -x88 x89 x90 -x91 x141 -x142 -x143 x144 -x145 179.02/179.18 v -x146 -x147 x92 -x93 -x94 -x95 -x96 -x97 -x98 x148 x149 -x150 -x151 -x152 -x153 -x154 x99 x100 -x101 -x102 -x103 -x104 -x105 179.02/179.18 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 x106 x107 -x108 x109 -x110 x111 -x112 x162 -x163 -x164 -x165 -x166 -x167 -x168 x113 179.02/179.18 v -x114 -x115 -x116 -x117 -x118 -x119 x169 -x170 -x171 -x172 -x173 -x174 -x175 x120 x121 -x122 -x123 -x124 -x125 -x126 -x176 179.02/179.18 v -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 179.02/179.18 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 179.02/179.18 c 31 336729 2692 352036 19441 780820 18531 1880 179.11 179.02/179.18 c Objective: 3 179.02/179.18 s OPTIMUM FOUND 179.02/179.18 c Total time: 179.108 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-430716-1177998072 -o ROOT/results/node40/solver-430716-1177998072 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430716-1177998072/instance-430716-1177998072.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.99 3/77 19124 /proc/meminfo: memFree=1805084/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=3936 CPUtime=0 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 379 0 0 0 0 0 0 0 18 0 1 0 128686823 4030464 348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7250792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 984 348 292 324 0 50 0 [startup+0.0919439 s] /proc/loadavg: 0.92 0.98 0.99 3/77 19124 /proc/meminfo: memFree=1805084/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=4968 CPUtime=0.08 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 649 0 0 0 8 0 0 0 18 0 1 0 128686823 5087232 615 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7343616 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19124/statm: 1242 615 312 324 0 311 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4968 [startup+0.101945 s] /proc/loadavg: 0.92 0.98 0.99 3/77 19124 /proc/meminfo: memFree=1805084/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=4972 CPUtime=0.09 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 668 0 0 0 9 0 0 0 18 0 1 0 128686823 5091328 634 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19124/statm: 1243 634 312 324 0 312 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4972 [startup+0.301988 s] /proc/loadavg: 0.92 0.98 0.99 3/77 19124 /proc/meminfo: memFree=1805084/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=6520 CPUtime=0.29 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 1041 0 0 0 28 1 0 0 19 0 1 0 128686823 6676480 1007 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19124/statm: 1630 1007 312 324 0 699 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6520 [startup+0.701074 s] /proc/loadavg: 0.92 0.98 0.99 3/77 19124 /proc/meminfo: memFree=1805084/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=8336 CPUtime=0.68 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 1482 0 0 0 67 1 0 0 23 0 1 0 128686823 8536064 1448 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19124/statm: 2084 1448 312 324 0 1153 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8336 [startup+1.50123 s] /proc/loadavg: 0.92 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1799696/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=10160 CPUtime=1.48 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 1966 0 0 0 146 2 0 0 25 0 1 0 128686823 10403840 1932 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 2540 1932 312 324 0 1609 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10160 [startup+3.10157 s] /proc/loadavg: 0.92 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1795984/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=13792 CPUtime=3.08 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 2871 0 0 0 305 3 0 0 25 0 1 0 128686823 14123008 2837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 3448 2837 312 324 0 2517 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13792 [startup+6.30124 s] /proc/loadavg: 0.93 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1793296/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=15432 CPUtime=6.28 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 3268 0 0 0 624 4 0 0 25 0 1 0 128686823 15802368 3234 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 3858 3234 312 324 0 2927 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15432 [startup+12.7026 s] /proc/loadavg: 0.93 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1791976/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=16724 CPUtime=12.68 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 3600 0 0 0 1261 7 0 0 25 0 1 0 128686823 17125376 3566 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 4181 3566 312 324 0 3250 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16724 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1789864/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=18840 CPUtime=25.47 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 4124 0 0 0 2538 9 0 0 25 0 1 0 128686823 19292160 4090 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 4710 4090 312 324 0 3779 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 18840 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1787560/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=21416 CPUtime=51.06 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 4771 0 0 0 5093 13 0 0 25 0 1 0 128686823 21929984 4737 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 5354 4737 312 324 0 4423 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 21416 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1785256/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=23284 CPUtime=102.24 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 5268 0 0 0 10198 26 0 0 25 0 1 0 128686823 23842816 5216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 5821 5216 313 324 0 4890 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 23284 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1785256/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=23284 CPUtime=162.22 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 5268 0 0 0 16185 37 0 0 25 0 1 0 128686823 23842816 5216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 5821 5216 313 324 0 4890 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 23284 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1785256/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=23284 CPUtime=166.22 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 5268 0 0 0 16584 38 0 0 25 0 1 0 128686823 23842816 5216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 5821 5216 313 324 0 4890 0 Current children cumulated CPU time (s) 166.22 Current children cumulated vsize (KiB) 23284 [startup+172.705 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1785192/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=23284 CPUtime=172.62 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 5268 0 0 0 17222 40 0 0 25 0 1 0 128686823 23842816 5216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551042 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 5821 5216 313 324 0 4890 0 Current children cumulated CPU time (s) 172.62 Current children cumulated vsize (KiB) 23284 [startup+175.902 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1785192/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=23284 CPUtime=175.82 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 5268 0 0 0 17542 40 0 0 25 0 1 0 128686823 23842816 5216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 5821 5216 313 324 0 4890 0 Current children cumulated CPU time (s) 175.82 Current children cumulated vsize (KiB) 23284 [startup+177.501 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1785192/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=23284 CPUtime=177.41 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 5268 0 0 0 17701 40 0 0 25 0 1 0 128686823 23842816 5216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7352037 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 5821 5216 313 324 0 4890 0 Current children cumulated CPU time (s) 177.41 Current children cumulated vsize (KiB) 23284 [startup+178.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1785192/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=23284 CPUtime=178.21 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 5268 0 0 0 17781 40 0 0 25 0 1 0 128686823 23842816 5216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 5821 5216 313 324 0 4890 0 Current children cumulated CPU time (s) 178.21 Current children cumulated vsize (KiB) 23284 [startup+178.701 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1785192/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=23284 CPUtime=178.62 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 5268 0 0 0 17821 41 0 0 25 0 1 0 128686823 23842816 5216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 5821 5216 313 324 0 4890 0 Current children cumulated CPU time (s) 178.62 Current children cumulated vsize (KiB) 23284 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19125 /proc/meminfo: memFree=1785192/2055920 swapFree=4157412/4192956 [pid=19124] ppid=19122 vsize=23284 CPUtime=179.02 /proc/19124/stat : 19124 (bsolo3.0.16) R 19122 19124 18331 0 -1 4194304 5268 0 0 0 17861 41 0 0 25 0 1 0 128686823 23842816 5216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19124/statm: 5821 5216 313 324 0 4890 0 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (KiB) 23284 Child status: 0 Real time (s): 179.193 CPU time (s): 179.116 CPU user time (s): 178.701 CPU system time (s): 0.414936 CPU usage (%): 99.9571 Max. virtual memory (cumulated for all children) (KiB): 23388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 178.701 system time used= 0.414936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5269 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= 335 runsolver used 0.143978 second user time and 0.400939 second system time The end
Begin job on node40 on Tue May 1 05:41:13 UTC 2007 IDJOB= 430716 IDBENCH= 48000 IDSOLVER= 163 FILE ID= node40/430716-1177998072 PBS_JOBID= 4728237 Free space on /tmp= 66538 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=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430716-1177998072/instance-430716-1177998072.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-430716-1177998072 -o ROOT/results/node40/solver-430716-1177998072 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430716-1177998072/instance-430716-1177998072.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= bc362e080dfd9e6c883df7eeb6006e66 RANDOM SEED= 946578643 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1805680 kB Buffers: 24828 kB Cached: 137424 kB SwapCached: 15024 kB Active: 54216 kB Inactive: 131456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805680 kB SwapTotal: 4192956 kB SwapFree: 4157412 kB Dirty: 6720 kB Writeback: 0 kB Mapped: 30324 kB Slab: 49936 kB Committed_AS: 1181600 kB PageTables: 1932 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= 66538 MiB End job on node40 on Tue May 1 05:44:12 UTC 2007