Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 371.473 | 371.581 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=167-P1=131-P2=83-P3=109-B.opb |
MD5SUM | 814b8e94cfd87905bb7ea3866973cde4 |
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 | 1.10483 |
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 | 72 |
Total number of constraints | 7 |
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 | 7 |
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) | 192 |
Sum of products size (including duplicates) | 384 |
Number of different products | 192 |
Sum of products size | 384 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670515-1276702286.opb 0.00/0.00 c File size is 14173 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.002 s 0.00/0.00 c Var: 264 Constr: 394 192/0/202 Lit: 1648 Watch. Lit: 1016 0.00/0.00 c Obj. Vars: 8 (3.0303 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 264 394 1648 4 1416 2207 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 2.89/2.94 c 101 264 575 11025 19 1808 2428 181 3258 0.03 2.89/2.94 c 252 264 860 26999 31 2492 2671 466 3876 0.07 2.89/2.94 c 479 264 1292 49943 38 3604 2939 898 3862 0.12 2.89/2.94 c 818 264 1955 83837 42 5328 3233 1561 3603 0.23 2.89/2.94 c 1327 264 2952 135735 45 7799 3557 2558 3182 0.42 2.89/2.94 c 2091 264 2584 121771 47 6410 3913 2190 2673 0.78 2.89/2.94 c 3238 264 2764 127866 46 6845 4305 2370 2443 1.32 2.89/2.94 c 4959 264 3912 187838 48 9853 4736 3518 2354 2.11 2.89/2.94 o 131 5.29/5.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.38 c 6872 264 5127 258645 50 12681 2224 4733 2331 2.95 5.29/5.38 c 6973 264 1697 82793 48 4296 2447 1303 2323 3.00 5.29/5.38 c 7224 264 2183 106633 48 5460 2692 1789 2350 3.07 5.29/5.38 c 7699 264 1741 75986 43 4436 2962 1347 2383 3.23 5.29/5.38 c 8512 264 3325 169892 51 8484 3259 2931 2437 3.49 5.29/5.38 c 9832 264 2368 103289 43 5922 3585 1974 2469 3.98 5.29/5.38 c 11913 264 2661 120538 45 6652 3944 2267 2426 4.91 5.29/5.38 o 33 5.39/5.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.46 c 13022 264 2559 120178 46 6415 2224 2165 2419 5.38 5.39/5.46 c 13128 254 1507 67127 44 3823 2447 1113 2420 5.42 5.39/5.46 o 3 371.38/371.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 371.38/371.58 c 13304 244 1846 86120 46 4682 2220 1452 2433 5.47 371.38/371.58 c 13405 244 2042 97421 47 5167 2443 1648 2440 5.49 371.38/371.58 c 13655 244 2534 123159 48 6374 2688 2140 2446 5.58 371.38/371.58 c 14130 244 2029 94357 46 5148 2957 1635 2454 5.76 371.38/371.58 c 14944 234 2035 92407 45 5081 3253 1641 2459 6.08 371.38/371.58 c 16265 234 2886 127657 44 7199 3579 2492 2449 6.64 371.38/371.58 c 18347 234 3186 152195 47 7935 3937 2792 2440 7.52 371.38/371.58 c 21571 193 3024 159526 52 7482 4331 2630 2466 8.75 371.38/371.58 c 26508 193 2910 157020 53 7101 4765 2516 2320 11.42 371.38/371.58 c 34014 193 4398 245586 55 10440 5242 4004 2237 15.20 371.38/371.58 c 45375 193 3870 203980 52 9510 5767 3476 2180 20.81 371.38/371.58 c 62519 193 5686 295619 51 13921 6344 5292 1975 31.64 371.38/371.58 c 88338 193 4786 251556 52 11840 6979 4392 1913 46.16 371.38/371.58 c 127170 193 5484 284306 51 13624 7677 5090 1717 74.06 371.38/371.58 c 185523 193 8141 453141 55 20318 8445 7747 1512 122.69 371.38/371.58 c 273155 193 8887 462757 52 21481 9290 8493 1410 193.66 371.38/371.58 c 404709 192 9683 508202 52 24838 10220 9289 1280 315.98 371.38/371.58 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 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 x201 x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 371.38/371.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 371.38/371.58 c 34 456303 4247 468831 8325 397639 7931 1228 371.47 371.38/371.58 c Objective: 3 371.38/371.58 s OPTIMUM FOUND 371.38/371.58 c Total time: 371.469 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670515-1276702286/watcher-2670515-1276702286 -o /tmp/evaluation-result-2670515-1276702286/solver-2670515-1276702286 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670515-1276702286.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 1.00 0.99 3/106 18422 /proc/meminfo: memFree=1784628/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=10792 CPUtime=0 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 351 0 0 0 0 0 0 0 18 0 1 0 11521404 11051008 265 1992294400 134512640 137138936 4291623072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 2698 265 192 642 0 2054 0 [startup+0.0194541 s] /proc/loadavg: 0.99 1.00 0.99 3/106 18422 /proc/meminfo: memFree=1784628/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=10920 CPUtime=0.01 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 363 0 0 0 1 0 0 0 20 0 1 0 11521404 11182080 277 1992294400 134512640 137138936 4291623072 18446744073709551615 136297617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 2730 277 192 642 0 2086 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10920 [startup+0.100465 s] /proc/loadavg: 0.99 1.00 0.99 3/106 18422 /proc/meminfo: memFree=1784628/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=11308 CPUtime=0.09 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 488 0 0 0 9 0 0 0 20 0 1 0 11521404 11579392 402 1992294400 134512640 137138936 4291623072 18446744073709551615 134576458 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 2827 402 192 642 0 2183 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11308 [startup+0.300494 s] /proc/loadavg: 0.99 1.00 0.99 3/106 18422 /proc/meminfo: memFree=1784628/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=12340 CPUtime=0.29 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 740 0 0 0 29 0 0 0 20 0 1 0 11521404 12636160 654 1992294400 134512640 137138936 4291623072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 3085 654 192 642 0 2441 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12340 [startup+0.70055 s] /proc/loadavg: 0.99 1.00 0.99 3/106 18422 /proc/meminfo: memFree=1784628/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=13648 CPUtime=0.69 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 1071 0 0 0 69 0 0 0 20 0 1 0 11521404 13975552 985 1992294400 134512640 137138936 4291623072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 3412 985 192 642 0 2768 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13648 [startup+1.50066 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18423 /proc/meminfo: memFree=1781520/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=14040 CPUtime=1.49 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 1150 0 0 0 149 0 0 0 23 0 1 0 11521404 14376960 1064 1992294400 134512640 137138936 4291623072 18446744073709551615 134618085 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 3510 1064 192 642 0 2866 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14040 [startup+3.10089 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18423 /proc/meminfo: memFree=1780776/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=14684 CPUtime=3.09 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 1322 0 0 0 308 1 0 0 25 0 1 0 11521404 15036416 1236 1992294400 134512640 137138936 4291623072 18446744073709551615 134606680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 3671 1236 192 642 0 3027 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14684 [startup+6.30135 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18423 /proc/meminfo: memFree=1780280/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=14684 CPUtime=6.29 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 1322 0 0 0 627 2 0 0 25 0 1 0 11521404 15036416 1236 1992294400 134512640 137138936 4291623072 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 3671 1236 192 642 0 3027 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14684 [startup+12.7013 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18423 /proc/meminfo: memFree=1779660/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=15188 CPUtime=12.69 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 1436 0 0 0 1265 4 0 0 25 0 1 0 11521404 15552512 1350 1992294400 134512640 137138936 4291623072 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 3797 1350 192 642 0 3153 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15188 [startup+25.5011 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18425 /proc/meminfo: memFree=1778916/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=15952 CPUtime=25.49 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 1631 0 0 0 2541 8 0 0 25 0 1 0 11521404 16334848 1545 1992294400 134512640 137138936 4291623072 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 3988 1545 192 642 0 3344 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15952 [startup+51.1007 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18428 /proc/meminfo: memFree=1777676/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=16932 CPUtime=51.08 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 1883 0 0 0 5094 14 0 0 25 0 1 0 11521404 17338368 1797 1992294400 134512640 137138936 4291623072 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4233 1797 192 642 0 3589 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16932 [startup+102.308 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18430 /proc/meminfo: memFree=1776684/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=17796 CPUtime=102.27 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2088 0 0 0 10200 27 0 0 25 0 1 0 11521404 18223104 2002 1992294400 134512640 137138936 4291623072 18446744073709551615 134577048 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4449 2002 192 642 0 3805 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 17796 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18430 /proc/meminfo: memFree=1776064/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=18416 CPUtime=162.25 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2246 0 0 0 16186 39 0 0 25 0 1 0 11521404 18857984 2160 1992294400 134512640 137138936 4291623072 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4604 2160 192 642 0 3960 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 18416 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18432 /proc/meminfo: memFree=1775444/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=18916 CPUtime=222.23 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2388 0 0 0 22171 52 0 0 25 0 1 0 11521404 19369984 2302 1992294400 134512640 137138936 4291623072 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4729 2302 192 642 0 4085 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18916 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18434 /proc/meminfo: memFree=1775444/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=19048 CPUtime=282.21 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2411 0 0 0 28155 66 0 0 25 0 1 0 11521404 19505152 2325 1992294400 134512640 137138936 4291623072 18446744073709551615 134599219 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4762 2325 192 642 0 4118 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 19048 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18436 /proc/meminfo: memFree=1774948/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=19480 CPUtime=342.19 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2510 0 0 0 34139 80 0 0 25 0 1 0 11521404 19947520 2424 1992294400 134512640 137138936 4291623072 18446744073709551615 136297622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4870 2424 192 642 0 4226 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 19480 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18436 /proc/meminfo: memFree=1774948/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=19480 CPUtime=358.19 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2510 0 0 0 35735 84 0 0 25 0 1 0 11521404 19947520 2424 1992294400 134512640 137138936 4291623072 18446744073709551615 136504274 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4870 2424 192 642 0 4226 0 Current children cumulated CPU time (s) 358.19 Current children cumulated vsize (KiB) 19480 [startup+364.701 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18436 /proc/meminfo: memFree=1774948/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=19472 CPUtime=364.58 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2510 0 0 0 36373 85 0 0 25 0 1 0 11521404 19939328 2424 1992294400 134512640 137138936 4291623072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4868 2424 192 642 0 4224 0 Current children cumulated CPU time (s) 364.58 Current children cumulated vsize (KiB) 19472 [startup+367.901 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18436 /proc/meminfo: memFree=1774948/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=19472 CPUtime=367.79 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2510 0 0 0 36693 86 0 0 25 0 1 0 11521404 19939328 2424 1992294400 134512640 137138936 4291623072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4868 2424 192 642 0 4224 0 Current children cumulated CPU time (s) 367.79 Current children cumulated vsize (KiB) 19472 [startup+369.501 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18436 /proc/meminfo: memFree=1774948/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=19472 CPUtime=369.39 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2510 0 0 0 36853 86 0 0 25 0 1 0 11521404 19939328 2424 1992294400 134512640 137138936 4291623072 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4868 2424 192 642 0 4224 0 Current children cumulated CPU time (s) 369.39 Current children cumulated vsize (KiB) 19472 [startup+370.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18436 /proc/meminfo: memFree=1774948/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=19472 CPUtime=370.18 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2510 0 0 0 36932 86 0 0 25 0 1 0 11521404 19939328 2424 1992294400 134512640 137138936 4291623072 18446744073709551615 134541989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4868 2424 192 642 0 4224 0 Current children cumulated CPU time (s) 370.18 Current children cumulated vsize (KiB) 19472 [startup+371.101 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18436 /proc/meminfo: memFree=1774948/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=19472 CPUtime=370.98 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2510 0 0 0 37012 86 0 0 25 0 1 0 11521404 19939328 2424 1992294400 134512640 137138936 4291623072 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4868 2424 192 642 0 4224 0 Current children cumulated CPU time (s) 370.98 Current children cumulated vsize (KiB) 19472 [startup+371.501 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18436 /proc/meminfo: memFree=1774948/2059040 swapFree=4192956/4192956 [pid=18422] ppid=18420 vsize=19472 CPUtime=371.38 /proc/18422/stat : 18422 (bsolo_pb10) R 18420 18422 17627 0 -1 4202496 2510 0 0 0 37052 86 0 0 25 0 1 0 11521404 19939328 2424 1992294400 134512640 137138936 4291623072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18422/statm: 4868 2424 192 642 0 4224 0 Current children cumulated CPU time (s) 371.38 Current children cumulated vsize (KiB) 19472 Child status: 0 Real time (s): 371.581 CPU time (s): 371.473 CPU user time (s): 370.604 CPU system time (s): 0.868867 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 19484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 370.604 system time used= 0.868867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2511 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= 1 involuntary context switches= 1019 runsolver used 0.639902 second user time and 1.73474 second system time The end
Begin job on node039 at 2010-06-16 17:31:26 IDJOB=2670515 IDBENCH=47974 IDSOLVER=1162 FILE ID=node039/2670515-1276702286 PBS_JOBID= 11174103 Free space on /tmp= 62552 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=167-P1=131-P2=83-P3=109-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670515-1276702286/watcher-2670515-1276702286 -o /tmp/evaluation-result-2670515-1276702286/solver-2670515-1276702286 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670515-1276702286.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 814b8e94cfd87905bb7ea3866973cde4 RANDOM SEED=1939975892 node039.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1785280 kB Buffers: 11852 kB Cached: 125756 kB SwapCached: 0 kB Active: 136292 kB Inactive: 60704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1785280 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4236 kB Writeback: 0 kB AnonPages: 59396 kB Mapped: 15468 kB Slab: 54904 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182448 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670515-1276702286.opb Free space on /tmp at the end= 62548 MiB End job on node039 at 2010-06-16 17:37:38