Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 700.057 | 700.242 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb |
MD5SUM | 2f50a7c4db6c104684b2cc399418ffd9 |
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.568912 |
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 | 120 |
Total number of constraints | 11 |
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 | 11 |
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) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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-2670743-1276705865.opb 0.00/0.00 c File size is 23753 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: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692 0.00/0.00 c Obj. Vars: 8 (1.81818 % 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 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 136.26/136.31 c 102 440 845 10587 12 2811 4060 189 3642 0.03 136.26/136.31 c 253 440 1136 24865 21 3539 4467 480 4147 0.06 136.26/136.31 c 478 440 1557 44886 28 4625 4914 901 4345 0.11 136.26/136.31 c 817 440 2226 89198 40 6332 5406 1570 4255 0.19 136.26/136.31 c 1327 440 3198 143697 44 8859 5947 2542 3802 0.35 136.26/136.31 c 2090 440 4689 234666 50 12810 6542 4033 3142 0.67 136.26/136.31 c 3236 440 6733 362209 53 17427 7197 6077 2620 1.24 136.26/136.31 c 4957 440 6277 317190 50 15638 7917 5621 2400 2.06 136.26/136.31 c 7541 440 7189 330467 45 18199 8709 6533 2073 3.64 136.26/136.31 c 11420 440 5502 280729 51 13321 9580 4846 1793 6.37 136.26/136.31 c 17242 440 6657 325317 48 16807 10539 6001 1599 10.78 136.26/136.31 c 25979 440 7440 340449 45 18856 11593 6784 1385 18.75 136.26/136.31 c 39089 440 7606 477640 62 17992 12753 6950 1281 30.50 136.26/136.31 c 58759 440 11738 632367 53 29146 14029 11082 1203 48.80 136.26/136.31 c 88269 440 9542 516886 54 23652 15432 8886 1033 85.43 136.26/136.31 c 132539 440 14549 726356 49 36976 16976 13893 991 133.71 136.26/136.31 o 3 700.00/700.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 700.00/700.24 c 136995 440 14082 845734 60 33770 3706 13426 1005 136.28 700.00/700.24 c 137096 402 2707 148719 54 6927 4077 2051 1004 136.43 700.00/700.24 c 137346 402 3179 174411 54 8085 4485 2523 1006 136.50 700.00/700.24 c 137822 402 4079 230362 56 10244 4934 3423 1008 136.65 700.00/700.24 c 138635 402 3131 150419 48 8185 5428 2475 1012 136.96 700.00/700.24 c 139955 402 5648 287951 50 14488 5971 4992 1018 137.43 700.00/700.24 c 142037 402 6290 313326 49 15554 6569 5634 1026 138.41 700.00/700.24 c 145261 401 5601 250170 44 14366 7226 4945 1038 139.81 700.00/700.24 c 150197 401 7398 369111 49 19995 7949 6742 1049 143.06 700.00/700.24 c 157703 401 4814 233354 48 12626 8744 4158 1052 149.77 700.00/700.24 c 169064 389 7189 358048 49 18507 9619 6533 1055 160.22 700.00/700.24 c 186210 368 7389 365468 49 18626 10581 6733 1053 176.76 700.00/700.24 c 212030 368 10839 549342 50 27715 11640 10183 1039 204.05 700.00/700.24 c 250862 368 10462 581648 55 25022 12805 9806 1027 244.21 700.00/700.24 c 309214 367 12945 682291 52 32414 14086 12289 984 314.18 700.00/700.24 c 396847 367 9341 474192 50 24364 15495 8685 929 426.80 700.00/700.24 c 528399 366 10568 566523 53 26688 17045 9912 867 609.22 700.00/700.24 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 -x13 -x14 -x15 -x16 x17 x18 -x19 x20 x21 x22 -x23 x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 x33 x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 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 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 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 x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 x57 x58 -x59 x60 x61 -x62 -x63 -x64 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 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 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 x306 -x307 x308 x309 -x310 -x311 -x312 x65 x66 -x67 -x68 -x69 x70 -x71 -x72 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 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 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x73 -x74 -x75 x76 x77 -x78 -x79 x80 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x377 -x378 -x379 x380 x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 x420 x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x113 x114 -x115 -x116 x117 -x118 -x119 -x120 700.00/700.24 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 700.00/700.24 c 33 581563 4959 596747 9710 405571 9054 830 700.05 700.00/700.24 c Objective: 3 700.00/700.24 s OPTIMUM FOUND 700.00/700.24 c Total time: 700.053 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-2670743-1276705865/watcher-2670743-1276705865 -o /tmp/evaluation-result-2670743-1276705865/solver-2670743-1276705865 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670743-1276705865.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.98 1.02 1.00 2/105 18837 /proc/meminfo: memFree=1890924/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=10924 CPUtime=0 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11880208 11186176 284 1992294400 134512640 137138936 4290131968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 2731 284 185 642 0 2087 0 [startup+0.085611 s] /proc/loadavg: 0.98 1.02 1.00 2/105 18837 /proc/meminfo: memFree=1890924/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=11316 CPUtime=0.08 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 489 0 0 0 8 0 0 0 25 0 1 0 11880208 11587584 402 1992294400 134512640 137138936 4290131968 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 2829 402 192 642 0 2185 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11316 [startup+0.100613 s] /proc/loadavg: 0.98 1.02 1.00 2/105 18837 /proc/meminfo: memFree=1890924/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=11444 CPUtime=0.09 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 513 0 0 0 9 0 0 0 25 0 1 0 11880208 11718656 426 1992294400 134512640 137138936 4290131968 18446744073709551615 134539492 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 2861 426 192 642 0 2217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11444 [startup+0.300635 s] /proc/loadavg: 0.98 1.02 1.00 2/105 18837 /proc/meminfo: memFree=1890924/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=12740 CPUtime=0.29 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 825 0 0 0 29 0 0 0 25 0 1 0 11880208 13045760 738 1992294400 134512640 137138936 4290131968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 3185 738 192 642 0 2541 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12740 [startup+0.700678 s] /proc/loadavg: 0.98 1.02 1.00 2/105 18837 /proc/meminfo: memFree=1890924/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=14552 CPUtime=0.69 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 1277 0 0 0 68 1 0 0 25 0 1 0 11880208 14901248 1190 1992294400 134512640 137138936 4290131968 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 3638 1190 192 642 0 2994 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14552 [startup+1.50077 s] /proc/loadavg: 0.98 1.02 1.00 2/106 18838 /proc/meminfo: memFree=1886328/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=16984 CPUtime=1.49 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 1893 0 0 0 148 1 0 0 25 0 1 0 11880208 17391616 1806 1992294400 134512640 137138936 4290131968 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 4246 1806 192 642 0 3602 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16984 [startup+3.10094 s] /proc/loadavg: 0.98 1.02 1.00 2/106 18838 /proc/meminfo: memFree=1884344/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=17372 CPUtime=3.09 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 2006 0 0 0 307 2 0 0 25 0 1 0 11880208 17788928 1919 1992294400 134512640 137138936 4290131968 18446744073709551615 134575604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 4343 1919 192 642 0 3699 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17372 [startup+6.3013 s] /proc/loadavg: 0.98 1.02 1.00 2/106 18838 /proc/meminfo: memFree=1883848/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=18148 CPUtime=6.29 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 2188 0 0 0 627 2 0 0 25 0 1 0 11880208 18583552 2101 1992294400 134512640 137138936 4290131968 18446744073709551615 134551198 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 4537 2101 192 642 0 3893 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18148 [startup+12.701 s] /proc/loadavg: 0.98 1.02 1.00 2/106 18838 /proc/meminfo: memFree=1882484/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=18928 CPUtime=12.69 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 2392 0 0 0 1265 4 0 0 25 0 1 0 11880208 19382272 2305 1992294400 134512640 137138936 4290131968 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 4732 2305 192 642 0 4088 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18928 [startup+25.5004 s] /proc/loadavg: 0.98 1.02 1.00 2/106 18838 /proc/meminfo: memFree=1880500/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=21288 CPUtime=25.49 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 2964 0 0 0 2541 8 0 0 25 0 1 0 11880208 21798912 2877 1992294400 134512640 137138936 4290131968 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 5322 2877 192 642 0 4678 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21288 [startup+51.1003 s] /proc/loadavg: 0.99 1.02 1.00 2/106 18840 /proc/meminfo: memFree=1878020/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=23472 CPUtime=51.07 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 3513 0 0 0 5095 12 0 0 25 0 1 0 11880208 24035328 3426 1992294400 134512640 137138936 4290131968 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 5868 3426 192 642 0 5224 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23472 [startup+102.308 s] /proc/loadavg: 0.99 1.01 1.00 2/106 18843 /proc/meminfo: memFree=1876780/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=24152 CPUtime=102.27 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 3685 0 0 0 10203 24 0 0 25 0 1 0 11880208 24731648 3598 1992294400 134512640 137138936 4290131968 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6038 3598 192 642 0 5394 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24152 [startup+162.301 s] /proc/loadavg: 0.99 1.01 1.00 2/106 18845 /proc/meminfo: memFree=1875664/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25296 CPUtime=162.24 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 3978 0 0 0 16189 35 0 0 25 0 1 0 11880208 25903104 3891 1992294400 134512640 137138936 4290131968 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6324 3891 192 642 0 5680 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 25296 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18847 /proc/meminfo: memFree=1875664/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25296 CPUtime=222.23 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 3978 0 0 0 22176 47 0 0 25 0 1 0 11880208 25903104 3891 1992294400 134512640 137138936 4290131968 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6324 3891 192 642 0 5680 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 25296 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18849 /proc/meminfo: memFree=1875664/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25296 CPUtime=282.22 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 3978 0 0 0 28161 61 0 0 25 0 1 0 11880208 25903104 3891 1992294400 134512640 137138936 4290131968 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6324 3891 192 642 0 5680 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 25296 [startup+342.3 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18851 /proc/meminfo: memFree=1875664/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25296 CPUtime=342.2 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 3978 0 0 0 34147 73 0 0 25 0 1 0 11880208 25903104 3891 1992294400 134512640 137138936 4290131968 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6324 3891 192 642 0 5680 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 25296 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18851 /proc/meminfo: memFree=1875664/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25296 CPUtime=402.18 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 3978 0 0 0 40133 85 0 0 25 0 1 0 11880208 25903104 3891 1992294400 134512640 137138936 4290131968 18446744073709551615 134575364 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6324 3891 192 642 0 5680 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 25296 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18853 /proc/meminfo: memFree=1875664/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25296 CPUtime=462.17 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 3978 0 0 0 46119 98 0 0 25 0 1 0 11880208 25903104 3891 1992294400 134512640 137138936 4290131968 18446744073709551615 134542880 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6324 3891 192 642 0 5680 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 25296 [startup+522.3 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18855 /proc/meminfo: memFree=1875664/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25296 CPUtime=522.15 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 3978 0 0 0 52107 108 0 0 25 0 1 0 11880208 25903104 3891 1992294400 134512640 137138936 4290131968 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6324 3891 192 642 0 5680 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 25296 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18857 /proc/meminfo: memFree=1875664/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25296 CPUtime=582.14 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 3978 0 0 0 58094 120 0 0 25 0 1 0 11880208 25903104 3891 1992294400 134512640 137138936 4290131968 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6324 3891 192 642 0 5680 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 25296 [startup+642.3 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18859 /proc/meminfo: memFree=1875664/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25424 CPUtime=642.13 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 4008 0 0 0 64081 132 0 0 25 0 1 0 11880208 26034176 3921 1992294400 134512640 137138936 4290131968 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6356 3921 192 642 0 5712 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 25424 Solver just ended. Dumping a history of the last processes samples [startup+665.509 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18859 /proc/meminfo: memFree=1875416/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25424 CPUtime=665.33 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 4008 0 0 0 66395 138 0 0 25 0 1 0 11880208 26034176 3921 1992294400 134512640 137138936 4290131968 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6356 3921 192 642 0 5712 0 Current children cumulated CPU time (s) 665.33 Current children cumulated vsize (KiB) 25424 [startup+678.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18859 /proc/meminfo: memFree=1875416/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25424 CPUtime=678.11 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 4008 0 0 0 67671 140 0 0 25 0 1 0 11880208 26034176 3921 1992294400 134512640 137138936 4290131968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6356 3921 192 642 0 5712 0 Current children cumulated CPU time (s) 678.11 Current children cumulated vsize (KiB) 25424 [startup+691.102 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18859 /proc/meminfo: memFree=1875416/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25424 CPUtime=690.91 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 4008 0 0 0 68949 142 0 0 25 0 1 0 11880208 26034176 3921 1992294400 134512640 137138936 4290131968 18446744073709551615 136500274 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6356 3921 192 642 0 5712 0 Current children cumulated CPU time (s) 690.91 Current children cumulated vsize (KiB) 25424 [startup+694.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18859 /proc/meminfo: memFree=1875416/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25424 CPUtime=694.11 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 4008 0 0 0 69268 143 0 0 25 0 1 0 11880208 26034176 3921 1992294400 134512640 137138936 4290131968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6356 3921 192 642 0 5712 0 Current children cumulated CPU time (s) 694.11 Current children cumulated vsize (KiB) 25424 [startup+697.502 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18859 /proc/meminfo: memFree=1875416/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25424 CPUtime=697.31 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 4008 0 0 0 69588 143 0 0 25 0 1 0 11880208 26034176 3921 1992294400 134512640 137138936 4290131968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6356 3921 192 642 0 5712 0 Current children cumulated CPU time (s) 697.31 Current children cumulated vsize (KiB) 25424 [startup+699.102 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18859 /proc/meminfo: memFree=1875416/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25424 CPUtime=698.9 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 4008 0 0 0 69747 143 0 0 25 0 1 0 11880208 26034176 3921 1992294400 134512640 137138936 4290131968 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6356 3921 192 642 0 5712 0 Current children cumulated CPU time (s) 698.9 Current children cumulated vsize (KiB) 25424 [startup+699.902 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18859 /proc/meminfo: memFree=1875416/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25424 CPUtime=699.7 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 4008 0 0 0 69827 143 0 0 25 0 1 0 11880208 26034176 3921 1992294400 134512640 137138936 4290131968 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6356 3921 192 642 0 5712 0 Current children cumulated CPU time (s) 699.7 Current children cumulated vsize (KiB) 25424 [startup+700.102 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18859 /proc/meminfo: memFree=1875416/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25424 CPUtime=699.9 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 4008 0 0 0 69847 143 0 0 25 0 1 0 11880208 26034176 3921 1992294400 134512640 137138936 4290131968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6356 3921 192 642 0 5712 0 Current children cumulated CPU time (s) 699.9 Current children cumulated vsize (KiB) 25424 [startup+700.202 s] /proc/loadavg: 0.99 1.00 1.00 2/106 18859 /proc/meminfo: memFree=1875416/2059040 swapFree=4136376/4192956 [pid=18837] ppid=18835 vsize=25424 CPUtime=700 /proc/18837/stat : 18837 (bsolo_pb10) R 18835 18837 18230 0 -1 4202496 4008 0 0 0 69857 143 0 0 25 0 1 0 11880208 26034176 3921 1992294400 134512640 137138936 4290131968 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18837/statm: 6356 3921 192 642 0 5712 0 Current children cumulated CPU time (s) 700 Current children cumulated vsize (KiB) 25424 Child status: 0 Real time (s): 700.242 CPU time (s): 700.057 CPU user time (s): 698.615 CPU system time (s): 1.44178 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 25424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 698.615 system time used= 1.44178 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4009 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= 9795 runsolver used 1.15082 second user time and 3.3145 second system time The end
Begin job on node086 at 2010-06-16 18:31:05 IDJOB=2670743 IDBENCH=48088 IDSOLVER=1162 FILE ID=node086/2670743-1276705865 PBS_JOBID= 11174080 Free space on /tmp= 62576 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=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670743-1276705865/watcher-2670743-1276705865 -o /tmp/evaluation-result-2670743-1276705865/solver-2670743-1276705865 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670743-1276705865.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2f50a7c4db6c104684b2cc399418ffd9 RANDOM SEED=482004017 node086.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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1892072 kB Buffers: 12512 kB Cached: 89936 kB SwapCached: 10456 kB Active: 85456 kB Inactive: 30236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1892072 kB SwapTotal: 4192956 kB SwapFree: 4136376 kB Dirty: 3972 kB Writeback: 0 kB AnonPages: 10828 kB Mapped: 9204 kB Slab: 29736 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182148 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-2670743-1276705865.opb Free space on /tmp at the end= 62572 MiB End job on node086 at 2010-06-16 18:42:45