Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 143.713 | 143.749 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb |
MD5SUM | c07fae5b4c60769a268376cf318d4faa |
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.725888 |
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 | 147 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 343 |
Sum of products size (including duplicates) | 686 |
Number of different products | 343 |
Sum of products size | 686 |
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-2670385-1276701571.opb 0.00/0.00 c File size is 25525 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 490 Constr: 708 343/0/365 Lit: 2982 Watch. Lit: 1843 0.00/0.00 c Obj. Vars: 7 (1.42857 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 490 708 2982 4 2557 4020 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 22.79/22.80 c 100 490 900 9667 10 3022 4423 192 3703 0.03 22.79/22.80 c 250 490 1183 23338 19 3635 4866 475 4237 0.06 22.79/22.80 c 476 490 1606 42476 26 4789 5353 898 4760 0.10 22.79/22.80 c 814 490 2266 73344 32 6423 5889 1558 4423 0.18 22.79/22.80 c 1323 490 3210 117385 36 8741 6478 2502 4226 0.31 22.79/22.80 c 2087 490 4665 187730 40 11938 7126 3957 4021 0.52 22.79/22.80 c 3233 490 6824 290275 42 16900 7839 6116 3305 0.98 22.79/22.80 c 4954 490 5829 246559 42 13761 8623 5121 2855 1.74 22.79/22.80 c 7538 490 6223 238194 38 15605 9486 5515 2664 2.83 22.79/22.80 c 11418 490 8797 359609 40 21548 10435 8089 2200 5.19 22.79/22.80 c 17240 490 9355 380353 40 22653 11479 8647 1900 9.07 22.79/22.80 c 25978 489 7726 343237 44 17823 12627 7018 1932 13.45 22.79/22.80 c 39088 489 11368 491515 43 27640 13890 10660 1806 21.64 22.79/22.80 o 9 56.08/56.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.08/56.12 c 41448 489 8459 348728 41 20678 4034 7751 1817 22.80 56.08/56.12 c 41548 471 2898 106386 36 7311 4438 2190 1817 22.86 56.08/56.12 c 41799 471 3365 129544 38 8387 4882 2657 1822 22.93 56.08/56.12 c 42274 471 4216 171168 40 10338 5371 3508 1832 23.07 56.08/56.12 c 43087 462 5741 238302 41 14105 5909 5033 1847 23.32 56.08/56.12 c 44407 462 4842 193159 39 12376 6500 4134 1863 23.82 56.08/56.12 c 46488 462 5042 205658 40 12626 7151 4334 1882 24.70 56.08/56.12 c 49711 462 6865 274842 40 16596 7867 6157 1903 26.12 56.08/56.12 c 54648 462 7369 306988 41 17891 8654 6661 1898 28.79 56.08/56.12 c 62157 462 7371 316348 42 18137 9520 6663 1843 33.72 56.08/56.12 c 73518 462 8258 388672 47 19626 10473 7550 1736 42.33 56.08/56.12 o 3 143.65/143.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 143.65/143.74 c 90398 461 5954 249765 41 14175 4028 5246 1608 56.19 143.65/143.74 c 90498 452 2921 113934 39 7262 4431 2213 1609 56.24 143.65/143.74 c 90749 452 3398 138222 40 8422 4875 2690 1611 56.30 143.65/143.74 c 91225 452 4319 181107 41 10781 5363 3611 1616 56.42 143.65/143.74 c 92038 452 5882 252044 42 14708 5900 5174 1623 56.71 143.65/143.74 c 93358 452 5247 211572 40 13616 6491 4539 1632 57.20 143.65/143.74 c 95439 452 5733 217057 37 15258 7141 5025 1635 58.37 143.65/143.74 c 98662 452 4289 163555 38 10932 7856 3581 1639 60.16 143.65/143.74 c 103598 433 5070 196656 38 12394 8642 4362 1648 62.85 143.65/143.74 c 111105 433 9121 365214 40 22793 9507 8413 1615 68.77 143.65/143.74 c 122466 430 9531 384236 40 23126 10458 8823 1560 78.49 143.65/143.74 c 139611 429 8295 331034 39 21063 11504 7587 1548 90.15 143.65/143.74 c 165431 429 9557 411190 43 23309 12655 8849 1486 111.31 143.65/143.74 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 -x55 x56 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 x57 -x58 -x59 x60 -x61 -x62 -x63 -x99 -x100 -x101 -x102 -x103 -x104 -x105 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 x64 -x65 -x66 -x67 -x68 x69 x70 x106 -x107 -x108 -x109 -x110 -x111 -x112 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 x71 -x72 -x73 -x74 -x75 -x76 -x77 x113 -x114 -x115 x116 x117 -x118 -x119 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 x78 -x79 x80 -x81 -x82 -x83 -x84 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 x388 -x389 -x390 -x391 -x392 x85 -x86 -x87 -x88 -x89 -x90 -x91 x127 x128 -x129 -x130 -x131 -x132 -x133 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 x92 x93 -x94 -x95 -x96 -x97 -x98 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -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 x141 -x142 -x143 -x144 -x145 -x146 -x147 143.65/143.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 143.65/143.74 c 37 191766 2763 204023 11800 428748 11092 1334 143.71 143.65/143.74 c Objective: 3 143.65/143.74 s OPTIMUM FOUND 143.65/143.74 c Total time: 143.711 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-2670385-1276701571/watcher-2670385-1276701571 -o /tmp/evaluation-result-2670385-1276701571/solver-2670385-1276701571 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670385-1276701571.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.02 1.03 0.96 3/106 12505 /proc/meminfo: memFree=1715808/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=10924 CPUtime=0 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 364 0 0 0 0 0 0 0 19 0 1 0 43813499 11186176 275 1992294400 134512640 137138936 4292560960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 2731 275 184 642 0 2087 0 [startup+0.0393141 s] /proc/loadavg: 1.02 1.03 0.96 3/106 12505 /proc/meminfo: memFree=1715808/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=11052 CPUtime=0.03 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 418 0 0 0 3 0 0 0 19 0 1 0 43813499 11317248 329 1992294400 134512640 137138936 4292560960 18446744073709551615 136511197 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 2763 329 192 642 0 2119 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11052 [startup+0.101315 s] /proc/loadavg: 1.02 1.03 0.96 3/106 12505 /proc/meminfo: memFree=1715808/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=11572 CPUtime=0.09 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 530 0 0 0 9 0 0 0 20 0 1 0 43813499 11849728 441 1992294400 134512640 137138936 4292560960 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 2893 441 192 642 0 2249 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11572 [startup+0.300334 s] /proc/loadavg: 1.02 1.03 0.96 3/106 12505 /proc/meminfo: memFree=1715808/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=12604 CPUtime=0.29 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 802 0 0 0 29 0 0 0 20 0 1 0 43813499 12906496 713 1992294400 134512640 137138936 4292560960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 3151 713 192 642 0 2507 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12604 [startup+0.700372 s] /proc/loadavg: 1.02 1.03 0.96 3/106 12505 /proc/meminfo: memFree=1715808/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=14528 CPUtime=0.68 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 1268 0 0 0 68 0 0 0 21 0 1 0 43813499 14876672 1179 1992294400 134512640 137138936 4292560960 18446744073709551615 134606623 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 3632 1179 192 642 0 2988 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 14528 [startup+1.50045 s] /proc/loadavg: 1.02 1.03 0.96 2/107 12506 /proc/meminfo: memFree=1711088/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=16724 CPUtime=1.49 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 1846 0 0 0 148 1 0 0 23 0 1 0 43813499 17125376 1757 1992294400 134512640 137138936 4292560960 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 4181 1757 192 642 0 3537 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16724 [startup+3.1006 s] /proc/loadavg: 1.02 1.03 0.96 2/107 12506 /proc/meminfo: memFree=1709352/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=17112 CPUtime=3.09 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 1940 0 0 0 307 2 0 0 25 0 1 0 43813499 17522688 1851 1992294400 134512640 137138936 4292560960 18446744073709551615 136504426 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 4278 1851 192 642 0 3634 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17112 [startup+6.30191 s] /proc/loadavg: 1.02 1.03 0.96 2/107 12506 /proc/meminfo: memFree=1708608/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=18008 CPUtime=6.29 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2151 0 0 0 626 3 0 0 25 0 1 0 43813499 18440192 2062 1992294400 134512640 137138936 4292560960 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 4502 2062 192 642 0 3858 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18008 [startup+12.7015 s] /proc/loadavg: 1.02 1.03 0.96 2/107 12506 /proc/meminfo: memFree=1706748/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=19424 CPUtime=12.69 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2521 0 0 0 1264 5 0 0 25 0 1 0 43813499 19890176 2432 1992294400 134512640 137138936 4292560960 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 4856 2432 192 642 0 4212 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19424 [startup+25.5007 s] /proc/loadavg: 1.01 1.03 0.96 2/107 12506 /proc/meminfo: memFree=1705136/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=21124 CPUtime=25.49 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2928 0 0 0 2540 9 0 0 25 0 1 0 43813499 21630976 2839 1992294400 134512640 137138936 4292560960 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 5281 2839 192 642 0 4637 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21124 [startup+51.1002 s] /proc/loadavg: 1.01 1.03 0.96 2/107 12508 /proc/meminfo: memFree=1705136/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=21120 CPUtime=51.08 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2928 0 0 0 5093 15 0 0 25 0 1 0 43813499 21626880 2839 1992294400 134512640 137138936 4292560960 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 5280 2839 192 642 0 4636 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21120 [startup+102.308 s] /proc/loadavg: 1.00 1.02 0.96 2/107 12510 /proc/meminfo: memFree=1705012/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=21116 CPUtime=102.28 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2928 0 0 0 10199 29 0 0 25 0 1 0 43813499 21622784 2839 1992294400 134512640 137138936 4292560960 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 5279 2839 192 642 0 4635 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 21116 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 1.00 1.02 0.96 2/107 12510 /proc/meminfo: memFree=1705012/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=21116 CPUtime=127.86 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2928 0 0 0 12751 35 0 0 25 0 1 0 43813499 21622784 2839 1992294400 134512640 137138936 4292560960 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 5279 2839 192 642 0 4635 0 Current children cumulated CPU time (s) 127.86 Current children cumulated vsize (KiB) 21116 [startup+134.301 s] /proc/loadavg: 1.00 1.02 0.96 2/107 12510 /proc/meminfo: memFree=1705012/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=21116 CPUtime=134.25 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2928 0 0 0 13390 35 0 0 25 0 1 0 43813499 21622784 2839 1992294400 134512640 137138936 4292560960 18446744073709551615 134600160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 5279 2839 192 642 0 4635 0 Current children cumulated CPU time (s) 134.25 Current children cumulated vsize (KiB) 21116 [startup+140.701 s] /proc/loadavg: 1.00 1.02 0.96 2/107 12510 /proc/meminfo: memFree=1705012/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=21116 CPUtime=140.66 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2928 0 0 0 14030 36 0 0 25 0 1 0 43813499 21622784 2839 1992294400 134512640 137138936 4292560960 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 5279 2839 192 642 0 4635 0 Current children cumulated CPU time (s) 140.66 Current children cumulated vsize (KiB) 21116 [startup+142.301 s] /proc/loadavg: 1.00 1.02 0.96 2/107 12510 /proc/meminfo: memFree=1705012/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=21116 CPUtime=142.26 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2928 0 0 0 14189 37 0 0 25 0 1 0 43813499 21622784 2839 1992294400 134512640 137138936 4292560960 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 5279 2839 192 642 0 4635 0 Current children cumulated CPU time (s) 142.26 Current children cumulated vsize (KiB) 21116 [startup+143.101 s] /proc/loadavg: 1.00 1.02 0.96 2/107 12510 /proc/meminfo: memFree=1705012/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=21116 CPUtime=143.06 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2928 0 0 0 14269 37 0 0 25 0 1 0 43813499 21622784 2839 1992294400 134512640 137138936 4292560960 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 5279 2839 192 642 0 4635 0 Current children cumulated CPU time (s) 143.06 Current children cumulated vsize (KiB) 21116 [startup+143.501 s] /proc/loadavg: 1.00 1.02 0.96 2/107 12510 /proc/meminfo: memFree=1705012/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=21116 CPUtime=143.45 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2928 0 0 0 14308 37 0 0 25 0 1 0 43813499 21622784 2839 1992294400 134512640 137138936 4292560960 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 5279 2839 192 642 0 4635 0 Current children cumulated CPU time (s) 143.45 Current children cumulated vsize (KiB) 21116 [startup+143.701 s] /proc/loadavg: 1.00 1.02 0.96 2/107 12510 /proc/meminfo: memFree=1705012/2059040 swapFree=4140256/4192956 [pid=12505] ppid=12503 vsize=21116 CPUtime=143.65 /proc/12505/stat : 12505 (bsolo_pb10) R 12503 12505 12260 0 -1 4202496 2928 0 0 0 14328 37 0 0 25 0 1 0 43813499 21622784 2839 1992294400 134512640 137138936 4292560960 18446744073709551615 134618342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12505/statm: 5279 2839 192 642 0 4635 0 Current children cumulated CPU time (s) 143.65 Current children cumulated vsize (KiB) 21116 Child status: 0 Real time (s): 143.749 CPU time (s): 143.713 CPU user time (s): 143.334 CPU system time (s): 0.378942 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 21124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 143.334 system time used= 0.378942 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2929 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= 603 runsolver used 0.242963 second user time and 0.680896 second system time The end
Begin job on node018 at 2010-06-16 17:19:31 IDJOB=2670385 IDBENCH=47909 IDSOLVER=1162 FILE ID=node018/2670385-1276701571 PBS_JOBID= 11174117 Free space on /tmp= 62488 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670385-1276701571/watcher-2670385-1276701571 -o /tmp/evaluation-result-2670385-1276701571/solver-2670385-1276701571 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670385-1276701571.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c07fae5b4c60769a268376cf318d4faa RANDOM SEED=422895529 node018.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.248 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.49 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1718756 kB Buffers: 126504 kB Cached: 122692 kB SwapCached: 6364 kB Active: 105404 kB Inactive: 157384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1718756 kB SwapTotal: 4192956 kB SwapFree: 4140256 kB Dirty: 3988 kB Writeback: 0 kB AnonPages: 11644 kB Mapped: 13084 kB Slab: 55752 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182072 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-2670385-1276701571.opb Free space on /tmp at the end= 62484 MiB End job on node018 at 2010-06-16 17:21:55