Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 565.514 | 565.653 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb |
MD5SUM | 1cc97335e4341ed075b6e9adcc382d23 |
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.417936 |
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 | 96 |
Total number of constraints | 9 |
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 | 9 |
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) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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-2670575-1276702736.opb 0.00/0.00 c File size is 18984 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.003 s 0.00/0.00 c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % of total variables) 0.00/0.00 c Pre-processing Time: 0.007 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 2.30/2.31 c 101 352 723 11674 16 2408 3244 198 3607 0.03 2.30/2.31 c 251 352 1022 30924 30 3236 3569 497 3217 0.08 2.30/2.31 c 476 352 1448 53821 37 4361 3926 923 3552 0.13 2.30/2.31 c 815 352 2099 90145 42 6072 4319 1574 3512 0.23 2.30/2.31 c 1323 352 3094 152352 49 8745 4751 2569 3366 0.39 2.30/2.31 c 2086 352 4530 228352 50 12302 5227 4005 3165 0.66 2.30/2.31 c 3232 352 3878 193294 49 10036 5750 3353 2978 1.08 2.30/2.31 c 4954 352 4093 201589 49 10304 6326 3568 2635 1.88 2.30/2.31 o 9 14.09/14.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.09/14.10 c 5909 352 5919 297675 50 14829 2965 5394 2556 2.31 14.09/14.10 c 6009 352 2190 100382 45 5645 3262 1665 2514 2.39 14.09/14.10 c 6259 334 2667 125736 47 6864 3589 2142 2539 2.46 14.09/14.10 c 6734 334 3567 176036 49 9133 3948 3042 2546 2.64 14.09/14.10 c 7547 334 2888 138929 48 7344 4343 2363 2551 2.96 14.09/14.10 c 8870 334 3026 154004 50 7535 4778 2501 2517 3.52 14.09/14.10 c 10952 334 4460 201444 45 11488 5256 3935 2518 4.35 14.09/14.10 c 14175 325 4840 240980 49 12221 5782 4315 2458 5.77 14.09/14.10 c 19112 325 4869 240735 49 12411 6361 4344 2196 8.70 14.09/14.10 c 26618 325 5446 268510 49 14093 6998 4921 1969 13.52 14.09/14.10 o 3 565.45/565.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 565.45/565.65 c 27902 325 4150 207469 49 10585 2959 3625 1978 14.10 565.45/565.65 c 28003 281 2200 100758 45 5760 3255 1675 1979 14.15 565.45/565.65 c 28253 281 2683 124259 46 7028 3581 2158 1988 14.21 565.45/565.65 c 28729 281 3615 170995 47 9496 3940 3090 2001 14.36 565.45/565.65 c 29542 281 3072 138731 45 7892 4335 2547 2008 14.71 565.45/565.65 c 30863 281 3296 149355 45 8286 4769 2771 1997 15.45 565.45/565.65 c 32944 281 4693 214666 45 11684 5246 4168 1974 16.68 565.45/565.65 c 36167 281 5350 250660 46 13439 5771 4825 1961 18.44 565.45/565.65 c 41103 281 5669 274044 48 14059 6349 5144 1933 21.26 565.45/565.65 c 48609 281 6218 328581 52 15435 6984 5693 1854 26.21 565.45/565.65 c 59971 281 5384 282520 52 13396 7683 4859 1820 32.94 565.45/565.65 c 77115 281 4831 232141 48 12089 8452 4306 1669 46.20 565.45/565.65 c 102934 281 8615 447290 51 21610 9298 8090 1552 66.31 565.45/565.65 c 141766 281 6452 318730 49 15761 10228 5927 1365 103.80 565.45/565.65 c 200118 281 9343 452712 48 23071 11251 8818 1229 162.72 565.45/565.65 c 287750 281 10722 571026 53 26687 12377 10197 1114 258.24 565.45/565.65 c 419303 280 9559 495268 51 24327 13615 9034 1052 398.22 565.45/565.65 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 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 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x41 x42 x43 x44 -x45 -x46 -x47 -x48 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x49 -x50 x51 x52 -x53 x54 -x55 -x56 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 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 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x57 -x58 x59 -x60 x61 -x62 -x63 x64 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x289 -x290 x291 -x292 x293 -x294 -x295 x296 x297 -x298 x299 -x300 x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 565.45/565.65 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 565.45/565.65 c 35 539194 4670 552691 12600 529381 12075 953 565.51 565.45/565.65 c Objective: 3 565.45/565.65 s OPTIMUM FOUND 565.45/565.65 c Total time: 565.511 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-2670575-1276702736/watcher-2670575-1276702736 -o /tmp/evaluation-result-2670575-1276702736/solver-2670575-1276702736 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670575-1276702736.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: 1.00 1.00 0.94 3/106 11500 /proc/meminfo: memFree=1865492/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=10924 CPUtime=0 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 357 0 0 0 0 0 0 0 18 0 1 0 45874931 11186176 271 1992294400 134512640 137138936 4293067712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 2731 271 185 642 0 2087 0 [startup+0.102435 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11500 /proc/meminfo: memFree=1865492/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=11436 CPUtime=0.09 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 503 0 0 0 9 0 0 0 21 0 1 0 45874931 11710464 417 1992294400 134512640 137138936 4293067712 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 2859 417 192 642 0 2215 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11436 [startup+0.201444 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11500 /proc/meminfo: memFree=1865492/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=12080 CPUtime=0.19 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 653 0 0 0 19 0 0 0 21 0 1 0 45874931 12369920 567 1992294400 134512640 137138936 4293067712 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 3020 567 192 642 0 2376 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12080 [startup+0.301453 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11500 /proc/meminfo: memFree=1865492/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=12596 CPUtime=0.29 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 790 0 0 0 29 0 0 0 21 0 1 0 45874931 12898304 704 1992294400 134512640 137138936 4293067712 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 3149 704 192 642 0 2505 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12596 [startup+0.701491 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11500 /proc/meminfo: memFree=1865492/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=14400 CPUtime=0.69 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 1237 0 0 0 69 0 0 0 22 0 1 0 45874931 14745600 1151 1992294400 134512640 137138936 4293067712 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 3600 1151 192 642 0 2956 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14400 [startup+1.50157 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11501 /proc/meminfo: memFree=1860648/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=15540 CPUtime=1.49 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 1519 0 0 0 148 1 0 0 25 0 1 0 45874931 15912960 1433 1992294400 134512640 137138936 4293067712 18446744073709551615 134618295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 3885 1433 192 642 0 3241 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15540 [startup+3.10172 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11501 /proc/meminfo: memFree=1860152/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=15804 CPUtime=3.09 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 1606 0 0 0 308 1 0 0 25 0 1 0 45874931 16183296 1520 1992294400 134512640 137138936 4293067712 18446744073709551615 134618202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 3951 1520 192 642 0 3307 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15804 [startup+6.30102 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11501 /proc/meminfo: memFree=1859904/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=15932 CPUtime=6.29 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 1629 0 0 0 627 2 0 0 25 0 1 0 45874931 16314368 1543 1992294400 134512640 137138936 4293067712 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 3983 1543 192 642 0 3339 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15932 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11501 /proc/meminfo: memFree=1859036/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=16580 CPUtime=12.69 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 1786 0 0 0 1265 4 0 0 25 0 1 0 45874931 16977920 1700 1992294400 134512640 137138936 4293067712 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 4145 1700 192 642 0 3501 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16580 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11503 /proc/meminfo: memFree=1858796/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=16844 CPUtime=25.49 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 1863 0 0 0 2540 9 0 0 25 0 1 0 45874931 17248256 1777 1992294400 134512640 137138936 4293067712 18446744073709551615 134618967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 4211 1777 192 642 0 3567 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16844 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11503 /proc/meminfo: memFree=1857804/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=17952 CPUtime=51.08 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 2126 0 0 0 5093 15 0 0 25 0 1 0 45874931 18382848 2040 1992294400 134512640 137138936 4293067712 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 4488 2040 192 642 0 3844 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17952 [startup+102.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11505 /proc/meminfo: memFree=1856316/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=19348 CPUtime=102.27 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 2478 0 0 0 10201 26 0 0 25 0 1 0 45874931 19812352 2392 1992294400 134512640 137138936 4293067712 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 4837 2392 192 642 0 4193 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 19348 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11505 /proc/meminfo: memFree=1855572/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=19992 CPUtime=162.25 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 2643 0 0 0 16185 40 0 0 25 0 1 0 45874931 20471808 2557 1992294400 134512640 137138936 4293067712 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 4998 2557 192 642 0 4354 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 19992 [startup+222.308 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11507 /proc/meminfo: memFree=1854952/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=20688 CPUtime=222.24 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 2813 0 0 0 22172 52 0 0 25 0 1 0 45874931 21184512 2727 1992294400 134512640 137138936 4293067712 18446744073709551615 134575891 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5172 2727 192 642 0 4528 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 20688 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11509 /proc/meminfo: memFree=1854208/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=21448 CPUtime=282.22 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3006 0 0 0 28158 64 0 0 25 0 1 0 45874931 21962752 2920 1992294400 134512640 137138936 4293067712 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5362 2920 192 642 0 4718 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 21448 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11511 /proc/meminfo: memFree=1853712/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=21800 CPUtime=342.21 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3094 0 0 0 34143 78 0 0 25 0 1 0 45874931 22323200 3008 1992294400 134512640 137138936 4293067712 18446744073709551615 134599793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5450 3008 192 642 0 4806 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 21800 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11513 /proc/meminfo: memFree=1853216/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=22312 CPUtime=402.19 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3226 0 0 0 40128 91 0 0 25 0 1 0 45874931 22847488 3140 1992294400 134512640 137138936 4293067712 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5578 3140 192 642 0 4934 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 22312 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11513 /proc/meminfo: memFree=1852968/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=22440 CPUtime=462.17 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3264 0 0 0 46115 102 0 0 25 0 1 0 45874931 22978560 3178 1992294400 134512640 137138936 4293067712 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5610 3178 192 642 0 4966 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 22440 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11515 /proc/meminfo: memFree=1852348/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=22956 CPUtime=522.17 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3390 0 0 0 52104 113 0 0 25 0 1 0 45874931 23506944 3304 1992294400 134512640 137138936 4293067712 18446744073709551615 134603092 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5739 3304 192 642 0 5095 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 22956 Solver just ended. Dumping a history of the last processes samples [startup+537.601 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11515 /proc/meminfo: memFree=1852348/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=22956 CPUtime=537.46 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3390 0 0 0 53630 116 0 0 25 0 1 0 45874931 23506944 3304 1992294400 134512640 137138936 4293067712 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5739 3304 192 642 0 5095 0 Current children cumulated CPU time (s) 537.46 Current children cumulated vsize (KiB) 22956 [startup+550.402 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11517 /proc/meminfo: memFree=1852348/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=22956 CPUtime=550.25 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3390 0 0 0 54906 119 0 0 25 0 1 0 45874931 23506944 3304 1992294400 134512640 137138936 4293067712 18446744073709551615 134603296 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5739 3304 192 642 0 5095 0 Current children cumulated CPU time (s) 550.25 Current children cumulated vsize (KiB) 22956 [startup+556.802 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11517 /proc/meminfo: memFree=1852348/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=22956 CPUtime=556.65 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3390 0 0 0 55544 121 0 0 25 0 1 0 45874931 23506944 3304 1992294400 134512640 137138936 4293067712 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5739 3304 192 642 0 5095 0 Current children cumulated CPU time (s) 556.65 Current children cumulated vsize (KiB) 22956 [startup+560.008 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11517 /proc/meminfo: memFree=1852348/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=22956 CPUtime=559.86 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3390 0 0 0 55864 122 0 0 25 0 1 0 45874931 23506944 3304 1992294400 134512640 137138936 4293067712 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5739 3304 192 642 0 5095 0 Current children cumulated CPU time (s) 559.86 Current children cumulated vsize (KiB) 22956 [startup+563.201 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11517 /proc/meminfo: memFree=1852348/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=22956 CPUtime=563.06 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3390 0 0 0 56184 122 0 0 25 0 1 0 45874931 23506944 3304 1992294400 134512640 137138936 4293067712 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5739 3304 192 642 0 5095 0 Current children cumulated CPU time (s) 563.06 Current children cumulated vsize (KiB) 22956 [startup+564.801 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11517 /proc/meminfo: memFree=1852348/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=22956 CPUtime=564.65 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3390 0 0 0 56343 122 0 0 25 0 1 0 45874931 23506944 3304 1992294400 134512640 137138936 4293067712 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5739 3304 192 642 0 5095 0 Current children cumulated CPU time (s) 564.65 Current children cumulated vsize (KiB) 22956 [startup+565.201 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11517 /proc/meminfo: memFree=1852348/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=22956 CPUtime=565.05 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3390 0 0 0 56383 122 0 0 25 0 1 0 45874931 23506944 3304 1992294400 134512640 137138936 4293067712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5739 3304 192 642 0 5095 0 Current children cumulated CPU time (s) 565.05 Current children cumulated vsize (KiB) 22956 [startup+565.601 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11517 /proc/meminfo: memFree=1852348/2059040 swapFree=4135932/4192956 [pid=11500] ppid=11498 vsize=22956 CPUtime=565.45 /proc/11500/stat : 11500 (bsolo_pb10) R 11498 11500 11227 0 -1 4202496 3390 0 0 0 56423 122 0 0 25 0 1 0 45874931 23506944 3304 1992294400 134512640 137138936 4293067712 18446744073709551615 136520977 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11500/statm: 5739 3304 192 642 0 5095 0 Current children cumulated CPU time (s) 565.45 Current children cumulated vsize (KiB) 22956 Child status: 0 Real time (s): 565.653 CPU time (s): 565.514 CPU user time (s): 564.282 CPU system time (s): 1.23181 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 22956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 564.282 system time used= 1.23181 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3391 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= 1446 runsolver used 0.996848 second user time and 2.6146 second system time The end
Begin job on node015 at 2010-06-16 17:38:56 IDJOB=2670575 IDBENCH=48004 IDSOLVER=1162 FILE ID=node015/2670575-1276702736 PBS_JOBID= 11174119 Free space on /tmp= 62584 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=211-P1=223-P2=251-P3=3-P4=107-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670575-1276702736/watcher-2670575-1276702736 -o /tmp/evaluation-result-2670575-1276702736/solver-2670575-1276702736 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670575-1276702736.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1cc97335e4341ed075b6e9adcc382d23 RANDOM SEED=422895529 node015.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.244 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.48 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1866268 kB Buffers: 12744 kB Cached: 100548 kB SwapCached: 10760 kB Active: 76852 kB Inactive: 50512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1866268 kB SwapTotal: 4192956 kB SwapFree: 4135932 kB Dirty: 3984 kB Writeback: 0 kB AnonPages: 12648 kB Mapped: 9308 kB Slab: 43604 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180608 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-2670575-1276702736.opb Free space on /tmp at the end= 62580 MiB End job on node015 at 2010-06-16 17:48:22