Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 205 | 1798 | 1798.48 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb |
MD5SUM | 773aedb43187ca11a13e2d0d2a59ebe9 |
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 | 5.44217 |
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 | 135 |
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 | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 405 |
Sum of products size (including duplicates) | 810 |
Number of different products | 405 |
Sum of products size | 810 |
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-2670669-1276704131.opb 0.00/0.00 c File size is 30042 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117 0.00/0.00 c Obj. Vars: 9 (1.66667 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 540 826 3456 4 2973 4616 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1446.41/1446.87 c 104 540 1033 19403 18 3475 5078 207 2600 0.04 1446.41/1446.87 c 256 540 1304 41370 31 4070 5586 478 2098 0.12 1446.41/1446.87 c 482 540 1738 68290 39 5412 6145 912 2536 0.19 1446.41/1446.87 c 821 540 2395 108304 45 7152 6760 1569 2718 0.30 1446.41/1446.87 c 1329 540 3370 164776 48 9765 7437 2544 2668 0.50 1446.41/1446.87 c 2092 540 4818 259190 53 13568 8181 3992 2579 0.81 1446.41/1446.87 c 3238 540 7060 410908 58 19631 9000 6234 2309 1.40 1446.41/1446.87 c 4960 540 5818 336816 57 15655 9901 4992 1735 2.86 1446.41/1446.87 c 7544 540 5788 341739 59 15046 10892 4962 1384 5.45 1446.41/1446.87 c 11423 540 7818 462860 59 20985 11982 6992 1224 9.33 1446.41/1446.87 c 17246 540 6889 407274 59 17662 13181 6063 1026 16.80 1446.41/1446.87 c 25983 540 10578 650328 61 27289 14500 9752 936 27.75 1446.41/1446.87 c 39093 540 13472 926884 68 33824 15951 12646 845 46.24 1446.41/1446.87 c 58764 540 11076 641888 57 28688 17547 10250 812 72.36 1446.41/1446.87 c 88274 540 15128 913420 60 39744 19302 14302 736 119.82 1446.41/1446.87 c 132545 540 18610 1327679 71 46158 21233 17784 657 201.69 1446.41/1446.87 c 198955 540 18687 1112098 59 48276 23357 17861 618 321.43 1446.41/1446.87 c 298576 540 14797 1045690 70 37051 25693 13971 592 503.97 1446.41/1446.87 c 448011 540 25743 1675936 65 68619 28263 24917 524 854.46 1446.41/1446.87 c 672170 540 20508 1410947 68 53778 31090 19682 471 1426.74 1446.41/1446.87 o 205 1797.92/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.47 c 685244 540 29787 2115893 71 75778 4634 28961 473 1446.49 1797.92/1798.47 c 685344 540 3322 192436 57 8793 5098 2496 473 1447.29 1797.92/1798.47 c 685596 540 3806 224342 58 10052 5608 2980 473 1447.38 1797.92/1798.47 c 686072 540 4734 288042 60 12409 6169 3908 473 1447.60 1797.92/1798.47 c 686885 540 6344 398484 62 16544 6786 5518 474 1448.00 1797.92/1798.47 c 688209 529 5264 329791 62 13868 7465 4438 475 1448.76 1797.92/1798.47 c 690290 529 5164 290218 56 13848 8212 4338 475 1450.22 1797.92/1798.47 c 693513 529 7217 395471 54 20004 9034 6391 477 1452.51 1797.92/1798.47 c 698449 529 7575 445669 58 19962 9938 6749 479 1456.87 1797.92/1798.47 c 705957 529 6829 388782 56 17771 10932 6003 482 1464.43 1797.92/1798.47 c 717319 529 6531 365355 55 17139 12026 5705 485 1476.08 1797.92/1798.47 c 734463 529 7044 494288 70 17267 13229 6218 492 1491.37 1797.92/1798.47 c 760283 529 9760 582193 59 25313 14552 8934 500 1520.56 1797.92/1798.47 c 799115 529 9603 653791 68 23889 16008 8777 508 1573.00 1797.92/1798.47 c 857467 529 16191 944183 58 41088 17609 15365 516 1660.74 1797.92/1798.47 c Resources Exceeded 1797.92/1798.47 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 -x49 -x50 x51 -x52 -x53 -x54 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 -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 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 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 -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 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 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 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 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 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 1797.92/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.47 c 35 941444 7323 962620 12306 989016 11480 523 1798.00 1797.92/1798.47 c Objective: 205 1797.92/1798.47 s SATISFIABLE 1797.92/1798.47 c Total time: 1798 s
OK 205
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670669-1276704131/watcher-2670669-1276704131 -o /tmp/evaluation-result-2670669-1276704131/solver-2670669-1276704131 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670669-1276704131.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 1.00 3/106 17396 /proc/meminfo: memFree=1813604/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=10924 CPUtime=0 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 11705609 11186176 283 1992294400 134512640 137138936 4288148256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 2731 283 184 642 0 2087 0 [startup+0.0714479 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17396 /proc/meminfo: memFree=1813604/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=11316 CPUtime=0.06 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 479 0 0 0 6 0 0 0 20 0 1 0 11705609 11587584 390 1992294400 134512640 137138936 4288148256 18446744073709551615 134573768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 2829 390 192 642 0 2185 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11316 [startup+0.100451 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17396 /proc/meminfo: memFree=1813604/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=11440 CPUtime=0.09 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 497 0 0 0 9 0 0 0 20 0 1 0 11705609 11714560 408 1992294400 134512640 137138936 4288148256 18446744073709551615 134575858 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 2860 408 192 642 0 2216 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11440 [startup+0.300472 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17396 /proc/meminfo: memFree=1813604/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=12460 CPUtime=0.29 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 768 0 0 0 29 0 0 0 20 0 1 0 11705609 12759040 679 1992294400 134512640 137138936 4288148256 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 3115 679 192 642 0 2471 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12460 [startup+0.700517 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17396 /proc/meminfo: memFree=1813604/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=14256 CPUtime=0.69 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 1201 0 0 0 68 1 0 0 21 0 1 0 11705609 14598144 1112 1992294400 134512640 137138936 4288148256 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 3564 1113 192 642 0 2920 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14256 [startup+1.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17397 /proc/meminfo: memFree=1809008/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=17088 CPUtime=1.49 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 1936 0 0 0 148 1 0 0 23 0 1 0 11705609 17498112 1847 1992294400 134512640 137138936 4288148256 18446744073709551615 134542857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 4272 1847 192 642 0 3628 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17088 [startup+3.10078 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17397 /proc/meminfo: memFree=1805536/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=19664 CPUtime=3.09 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 2568 0 0 0 307 2 0 0 25 0 1 0 11705609 20135936 2479 1992294400 134512640 137138936 4288148256 18446744073709551615 134576055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 4916 2479 192 642 0 4272 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19664 [startup+6.30113 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17397 /proc/meminfo: memFree=1803428/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=20800 CPUtime=6.29 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 2842 0 0 0 626 3 0 0 25 0 1 0 11705609 21299200 2753 1992294400 134512640 137138936 4288148256 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 5200 2753 192 642 0 4556 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20800 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17397 /proc/meminfo: memFree=1802436/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=22588 CPUtime=12.69 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 3296 0 0 0 1265 4 0 0 25 0 1 0 11705609 23130112 3207 1992294400 134512640 137138936 4288148256 18446744073709551615 136502109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 5647 3207 192 642 0 5003 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22588 [startup+25.5002 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17399 /proc/meminfo: memFree=1800452/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=23840 CPUtime=25.48 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 3606 0 0 0 2542 6 0 0 25 0 1 0 11705609 24412160 3517 1992294400 134512640 137138936 4288148256 18446744073709551615 134542930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 5960 3517 192 642 0 5316 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23840 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17399 /proc/meminfo: memFree=1796608/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=27588 CPUtime=51.08 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 4558 0 0 0 5096 12 0 0 25 0 1 0 11705609 28250112 4469 1992294400 134512640 137138936 4288148256 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 6897 4469 192 642 0 6253 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27588 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17401 /proc/meminfo: memFree=1796608/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=27596 CPUtime=102.27 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 4561 0 0 0 10207 20 0 0 25 0 1 0 11705609 28258304 4472 1992294400 134512640 137138936 4288148256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 6899 4472 192 642 0 6255 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27596 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17401 /proc/meminfo: memFree=1791772/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=32280 CPUtime=162.24 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 5723 0 0 0 16193 31 0 0 25 0 1 0 11705609 33054720 5634 1992294400 134512640 137138936 4288148256 18446744073709551615 136505794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 8070 5634 192 642 0 7426 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32280 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17403 /proc/meminfo: memFree=1790408/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=33536 CPUtime=222.24 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 6038 0 0 0 22183 41 0 0 25 0 1 0 11705609 34340864 5949 1992294400 134512640 137138936 4288148256 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 8384 5949 192 642 0 7740 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 33536 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17405 /proc/meminfo: memFree=1790408/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=33532 CPUtime=282.22 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 6038 0 0 0 28172 50 0 0 25 0 1 0 11705609 34336768 5949 1992294400 134512640 137138936 4288148256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 8383 5949 192 642 0 7739 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 33532 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17407 /proc/meminfo: memFree=1790408/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=33540 CPUtime=342.2 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 6042 0 0 0 34160 60 0 0 25 0 1 0 11705609 34344960 5953 1992294400 134512640 137138936 4288148256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 8385 5953 192 642 0 7741 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 33540 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 17409 /proc/meminfo: memFree=1785820/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=38004 CPUtime=402.19 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 7163 0 0 0 40146 73 0 0 25 0 1 0 11705609 38916096 7074 1992294400 134512640 137138936 4288148256 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 9501 7074 192 642 0 8857 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 38004 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17409 /proc/meminfo: memFree=1785820/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=38004 CPUtime=462.17 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 7163 0 0 0 46134 83 0 0 25 0 1 0 11705609 38916096 7074 1992294400 134512640 137138936 4288148256 18446744073709551615 134533442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 9501 7074 192 642 0 8857 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 38004 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17411 /proc/meminfo: memFree=1784952/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=38848 CPUtime=522.15 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 7370 0 0 0 52121 94 0 0 25 0 1 0 11705609 39780352 7281 1992294400 134512640 137138936 4288148256 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 9712 7281 192 642 0 9068 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 38848 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17413 /proc/meminfo: memFree=1784952/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=38844 CPUtime=582.14 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 7370 0 0 0 58111 103 0 0 25 0 1 0 11705609 39776256 7281 1992294400 134512640 137138936 4288148256 18446744073709551615 134544892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 9711 7281 192 642 0 9067 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 38844 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17415 /proc/meminfo: memFree=1784952/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=38836 CPUtime=642.13 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 7370 0 0 0 64101 112 0 0 25 0 1 0 11705609 39768064 7281 1992294400 134512640 137138936 4288148256 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 9709 7281 192 642 0 9065 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 38836 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1780488/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=42852 CPUtime=1122 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8378 0 0 0 112013 187 0 0 25 0 1 0 11705609 43880448 8289 1992294400 134512640 137138936 4288148256 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 10713 8289 192 642 0 10069 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 42852 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17429 /proc/meminfo: memFree=1779248/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44000 CPUtime=1181.98 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8661 0 0 0 118001 197 0 0 25 0 1 0 11705609 45056000 8572 1992294400 134512640 137138936 4288148256 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11000 8572 192 642 0 10356 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 44000 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17431 /proc/meminfo: memFree=1779124/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44000 CPUtime=1241.97 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8661 0 0 0 123989 208 0 0 25 0 1 0 11705609 45056000 8572 1992294400 134512640 137138936 4288148256 18446744073709551615 134618183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11000 8572 192 642 0 10356 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 44000 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17433 /proc/meminfo: memFree=1779124/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44000 CPUtime=1301.96 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8661 0 0 0 129979 217 0 0 25 0 1 0 11705609 45056000 8572 1992294400 134512640 137138936 4288148256 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11000 8572 192 642 0 10356 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 44000 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17433 /proc/meminfo: memFree=1779124/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=43980 CPUtime=1361.93 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8661 0 0 0 135966 227 0 0 25 0 1 0 11705609 45035520 8571 1992294400 134512640 137138936 4288148256 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 10995 8571 192 642 0 10351 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 43980 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17435 /proc/meminfo: memFree=1779124/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=43980 CPUtime=1421.92 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8661 0 0 0 141955 237 0 0 25 0 1 0 11705609 45035520 8571 1992294400 134512640 137138936 4288148256 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 10995 8571 192 642 0 10351 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 43980 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17437 /proc/meminfo: memFree=1778752/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44300 CPUtime=1481.9 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 147941 249 0 0 25 0 1 0 11705609 45363200 8651 1992294400 134512640 137138936 4288148256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11075 8651 192 642 0 10431 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 44300 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17439 /proc/meminfo: memFree=1778752/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44300 CPUtime=1541.89 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 153928 261 0 0 25 0 1 0 11705609 45363200 8651 1992294400 134512640 137138936 4288148256 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11075 8651 192 642 0 10431 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 44300 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17441 /proc/meminfo: memFree=1778752/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44300 CPUtime=1601.87 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 159915 272 0 0 25 0 1 0 11705609 45363200 8651 1992294400 134512640 137138936 4288148256 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11075 8651 192 642 0 10431 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 44300 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17441 /proc/meminfo: memFree=1778752/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44300 CPUtime=1661.85 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 165902 283 0 0 25 0 1 0 11705609 45363200 8651 1992294400 134512640 137138936 4288148256 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11075 8651 192 642 0 10431 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 44300 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17443 /proc/meminfo: memFree=1778752/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44296 CPUtime=1721.84 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 171890 294 0 0 25 0 1 0 11705609 45359104 8650 1992294400 134512640 137138936 4288148256 18446744073709551615 136500163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11074 8650 192 642 0 10430 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 44296 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17445 /proc/meminfo: memFree=1778380/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44296 CPUtime=1781.82 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 177879 303 0 0 25 0 1 0 11705609 45359104 8650 1992294400 134512640 137138936 4288148256 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11074 8650 192 642 0 10430 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 44296 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17445 /proc/meminfo: memFree=1778380/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44296 CPUtime=1791.43 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 178839 304 0 0 25 0 1 0 11705609 45359104 8650 1992294400 134512640 137138936 4288148256 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11074 8650 192 642 0 10430 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 44296 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17445 /proc/meminfo: memFree=1778380/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44296 CPUtime=1794.62 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179157 305 0 0 25 0 1 0 11705609 45359104 8650 1992294400 134512640 137138936 4288148256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11074 8650 192 642 0 10430 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 44296 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17445 /proc/meminfo: memFree=1778380/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44292 CPUtime=1796.22 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179317 305 0 0 25 0 1 0 11705609 45355008 8649 1992294400 134512640 137138936 4288148256 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11073 8649 192 642 0 10429 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 44292 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17447 /proc/meminfo: memFree=1778008/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44292 CPUtime=1797.02 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179397 305 0 0 25 0 1 0 11705609 45355008 8649 1992294400 134512640 137138936 4288148256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11073 8649 192 642 0 10429 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 44292 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17447 /proc/meminfo: memFree=1778008/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44292 CPUtime=1797.42 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179437 305 0 0 25 0 1 0 11705609 45355008 8649 1992294400 134512640 137138936 4288148256 18446744073709551615 136504614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11073 8649 192 642 0 10429 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (KiB) 44292 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17447 /proc/meminfo: memFree=1778008/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44292 CPUtime=1797.82 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179477 305 0 0 25 0 1 0 11705609 45355008 8649 1992294400 134512640 137138936 4288148256 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11073 8649 192 642 0 10429 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 44292 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 3/108 17448 /proc/meminfo: memFree=1776388/2059040 swapFree=4140124/4192956 [pid=17396] ppid=17394 vsize=44292 CPUtime=1797.92 /proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179487 305 0 0 25 0 1 0 11705609 45355008 8649 1992294400 134512640 137138936 4288148256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17396/statm: 11073 8649 192 642 0 10429 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 44292 Child status: 0 Real time (s): 1798.48 CPU time (s): 1798 CPU user time (s): 1794.94 CPU system time (s): 3.06053 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 44308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.94 system time used= 3.06053 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8743 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= 2738 runsolver used 3.02254 second user time and 8.43472 second system time The end
Begin job on node042 at 2010-06-16 18:02:11 IDJOB=2670669 IDBENCH=48051 IDSOLVER=1162 FILE ID=node042/2670669-1276704131 PBS_JOBID= 11174101 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670669-1276704131/watcher-2670669-1276704131 -o /tmp/evaluation-result-2670669-1276704131/solver-2670669-1276704131 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670669-1276704131.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9 RANDOM SEED=1031364808 node042.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.213 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.42 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.213 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: 1814628 kB Buffers: 44976 kB Cached: 119972 kB SwapCached: 6424 kB Active: 85552 kB Inactive: 92540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1814628 kB SwapTotal: 4192956 kB SwapFree: 4140124 kB Dirty: 3948 kB Writeback: 0 kB AnonPages: 10852 kB Mapped: 12988 kB Slab: 44488 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183988 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-2670669-1276704131.opb Free space on /tmp at the end= 62576 MiB End job on node042 at 2010-06-16 18:32:10