Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 486.126 | 486.623 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=127-P1=59-P2=127-P3=89-P4=17-P5=43-P6=53-B.opb |
MD5SUM | 2a6a0a2817e3d179ce21769d61c8a844 |
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 | 2.33065 |
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 | 126 |
Total number of constraints | 13 |
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 | 13 |
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) | 294 |
Sum of products size (including duplicates) | 588 |
Number of different products | 294 |
Sum of products size | 588 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879499-1245244398.opb 0.00/0.00 c File size is 21870 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.003 s 0.00/0.00 c Var: 420 Constr: 607 294/0/313 Lit: 2555 Watch. Lit: 1580 0.00/0.00 c Obj. Vars: 7 (1.66667 % 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 420 607 2555 4 2191 3443 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 32.73/33.18 c 100 420 801 15846 19 3963 3788 194 3125 0.03 32.73/33.18 c 251 420 1064 30612 28 5798 4167 457 3391 0.07 32.73/33.18 c 476 420 1359 46748 34 6826 4584 752 3869 0.12 32.73/33.18 c 815 420 1993 78786 39 11666 5043 1386 3286 0.25 32.73/33.18 c 1323 420 2937 128117 43 21250 5548 2330 2739 0.48 32.73/33.18 c 2087 420 4329 203836 47 32539 6103 3722 2300 0.91 32.73/33.18 c 3234 420 6488 314799 48 54522 6714 5881 937 3.45 32.73/33.18 c 4955 420 5885 282001 47 45797 7386 5278 822 6.03 32.73/33.18 c 7540 420 6486 304890 47 41289 8125 5879 649 11.60 32.73/33.18 c 11419 420 4671 224045 47 26857 8938 4064 642 17.76 32.73/33.18 c 17242 420 5929 292316 49 31940 9832 5322 569 30.29 32.73/33.18 o 33 88.41/88.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 88.41/88.86 c 19305 420 9636 486721 50 59720 3457 9029 588 32.82 88.41/88.86 c 19405 420 2520 104019 41 16115 3803 1913 587 33.04 88.41/88.86 c 19657 420 2956 124760 42 17221 4184 2349 592 33.19 88.41/88.86 c 20132 420 3771 162869 43 23274 4603 3164 598 33.63 88.41/88.86 c 20945 420 2913 110577 37 19951 5064 2306 598 35.00 88.41/88.86 c 22267 420 5311 228188 42 39084 5571 4704 590 37.74 88.41/88.86 c 24349 420 3411 145319 42 24753 6129 2804 598 40.67 88.41/88.86 c 27572 411 6194 296056 47 51793 6742 5587 560 49.19 88.41/88.86 c 32509 411 3980 190208 47 24588 7417 3373 532 60.99 88.41/88.86 c 40016 411 6889 341332 49 68955 8159 6282 474 84.31 88.41/88.86 o 21 99.51/99.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 99.51/99.97 c 42631 411 7351 365186 49 70231 3455 6744 481 88.49 99.51/99.97 c 42732 411 2534 103984 41 17239 3801 1927 481 88.73 99.51/99.97 c 42982 402 3015 129659 43 20953 4182 2408 483 88.88 99.51/99.97 c 43458 402 3925 180172 45 30687 4601 3318 487 89.15 99.51/99.97 c 44271 402 3029 134372 44 23575 5062 2422 491 90.02 99.51/99.97 c 45592 402 5585 275415 49 54525 5569 4978 494 92.19 99.51/99.97 c 47674 402 3398 160211 47 30682 6126 2791 499 95.50 99.51/99.97 c 50898 402 5636 256352 45 47311 6739 5029 512 99.37 99.51/99.97 o 19 124.31/124.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 124.31/124.73 c 51202 402 6217 287098 46 55485 3453 5610 514 99.59 124.31/124.73 c 51303 402 2532 100626 39 19445 3799 1925 514 99.76 124.31/124.73 c 51555 402 3026 129706 42 23882 4179 2419 516 99.84 124.31/124.73 c 52031 402 3962 178433 45 39302 4597 3355 519 100.09 124.31/124.73 c 52845 401 2912 122836 42 18274 5057 2305 525 100.60 124.31/124.73 c 54166 401 5412 254111 46 47121 5563 4805 529 102.24 124.31/124.73 c 56247 401 6129 314201 51 52458 6120 5522 532 105.65 124.31/124.73 c 59470 401 5813 284994 49 72127 6733 5206 517 115.03 124.31/124.73 o 7 134.10/134.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 134.10/134.53 c 63166 401 5343 260565 48 38195 3453 4736 507 124.34 134.10/134.53 c 63268 383 2540 105631 41 17317 3799 1933 508 124.50 134.10/134.53 c 63518 383 3031 133783 44 23771 4179 2424 509 124.58 134.10/134.53 c 63993 383 3899 181597 46 29771 4597 3292 512 124.89 134.10/134.53 c 64807 383 3011 132546 44 24062 5057 2404 513 126.11 134.10/134.53 c 66128 383 5493 269140 48 55920 5563 4886 519 127.25 134.10/134.53 c 68209 383 3404 158970 46 35923 6120 2797 516 132.08 134.10/134.53 o 5 135.00/135.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 135.00/135.43 c 69586 383 5851 283693 48 56557 3449 5244 518 134.14 135.00/135.43 c 69687 383 2525 99636 39 17756 3794 1918 518 134.48 135.00/135.43 c 69938 383 3014 128137 42 20299 4174 2407 519 134.56 135.00/135.43 c 70414 383 3928 177901 45 25826 4592 3321 522 134.85 135.00/135.43 o 3 486.10/486.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 486.10/486.62 c 70782 383 4633 217216 46 33572 3449 4026 524 135.04 486.10/486.62 c 70883 364 2540 107552 42 18090 3794 1933 524 135.14 486.10/486.62 c 71134 364 3037 136044 44 24402 4174 2430 525 135.27 486.10/486.62 c 71609 364 3891 185907 47 35730 4592 3284 528 135.52 486.10/486.62 c 72423 364 2919 128755 44 22136 5052 2312 530 136.61 486.10/486.62 c 73743 364 5430 263991 48 50988 5558 4823 532 138.49 486.10/486.62 c 75824 364 3409 153327 44 24094 6114 2802 526 144.03 486.10/486.62 c 79048 364 6415 308413 48 58671 6726 5808 518 152.51 486.10/486.62 c 83985 363 4890 231360 47 47207 7399 4283 490 171.12 486.10/486.62 c 91491 363 7519 368252 48 78878 8139 6912 413 221.10 486.10/486.62 c 102852 363 7368 363021 49 62598 8953 6761 369 278.21 486.10/486.62 c 119996 361 6606 320977 48 52702 9849 5999 307 390.25 486.10/486.62 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 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 x50 -x51 -x52 -x53 -x54 -x55 x56 -x85 x86 -x87 -x88 -x89 -x90 -x91 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 x57 -x58 -x59 -x60 -x61 -x62 -x63 x92 -x93 -x94 -x95 -x96 x97 -x98 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 x64 x65 -x66 -x67 -x68 -x69 -x70 -x99 -x100 -x101 -x102 -x103 -x104 -x105 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 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x71 -x72 -x73 -x74 -x75 -x76 -x77 x106 -x107 -x108 -x109 -x110 -x111 -x112 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 x78 x79 -x80 -x81 -x82 -x83 -x84 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x372 x373 -x374 -x375 -x376 -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 -x120 x121 -x122 -x123 -x124 -x125 -x126 486.10/486.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 486.10/486.62 c 60 128392 2412 140605 7017 304757 6410 264 486.12 486.10/486.62 c Objective: 3 486.10/486.62 s OPTIMUM FOUND 486.10/486.62 c Total time: 486.122 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-1879499-1245244398/watcher-1879499-1245244398 -o /tmp/evaluation-result-1879499-1245244398/solver-1879499-1245244398 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879499-1245244398.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.91 3/64 17060 /proc/meminfo: memFree=1633320/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=10712 CPUtime=0 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 192039840 10969088 266 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 2678 267 188 640 0 2034 0 [startup+0.0923919 s] /proc/loadavg: 0.99 0.97 0.91 3/64 17060 /proc/meminfo: memFree=1633320/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=11372 CPUtime=0.08 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 443 0 0 0 8 0 0 0 18 0 1 0 192039840 11644928 421 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 2843 421 198 640 0 2199 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11372 [startup+0.101392 s] /proc/loadavg: 0.99 0.97 0.91 3/64 17060 /proc/meminfo: memFree=1633320/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=11372 CPUtime=0.09 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 452 0 0 0 9 0 0 0 18 0 1 0 192039840 11644928 430 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 2843 430 198 640 0 2199 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11372 [startup+0.301414 s] /proc/loadavg: 0.99 0.97 0.91 3/64 17060 /proc/meminfo: memFree=1633320/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=12528 CPUtime=0.29 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 737 0 0 0 29 0 0 0 19 0 1 0 192039840 12828672 715 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 3132 715 198 640 0 2488 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12528 [startup+0.70146 s] /proc/loadavg: 0.99 0.97 0.91 3/64 17060 /proc/meminfo: memFree=1633320/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=13700 CPUtime=0.69 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 1032 0 0 0 69 0 0 0 22 0 1 0 192039840 14028800 1010 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 3425 1010 198 640 0 2781 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13700 [startup+1.50155 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1629088/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=15004 CPUtime=1.5 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 1358 0 0 0 149 1 0 0 25 0 1 0 192039840 15364096 1336 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 3751 1336 198 640 0 3107 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 15004 [startup+3.10174 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1628000/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=16460 CPUtime=3.09 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 1716 0 0 0 308 1 0 0 25 0 1 0 192039840 16855040 1694 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 4115 1695 198 640 0 3471 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16460 [startup+6.3011 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1625440/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=17992 CPUtime=5.94 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 2095 0 0 0 592 2 0 0 25 0 1 0 192039840 18423808 2073 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 4498 2073 198 640 0 3854 0 Current children cumulated CPU time (s) 5.94 Current children cumulated vsize (KiB) 17992 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1625184/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=18256 CPUtime=12.34 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 2171 0 0 0 1231 3 0 0 25 0 1 0 192039840 18694144 2149 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 4564 2149 198 640 0 3920 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 18256 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1623904/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=19568 CPUtime=25.13 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 2492 0 0 0 2509 4 0 0 25 0 1 0 192039840 20037632 2470 1992294400 134512640 137136520 4294956256 18446744073709551615 136502388 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 4892 2470 198 640 0 4248 0 Current children cumulated CPU time (s) 25.13 Current children cumulated vsize (KiB) 19568 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1623904/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=19560 CPUtime=50.72 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 2492 0 0 0 5066 6 0 0 25 0 1 0 192039840 20029440 2470 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 4890 2470 198 640 0 4246 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 19560 [startup+102.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1623264/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=20200 CPUtime=101.91 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 2664 0 0 0 10181 10 0 0 25 0 1 0 192039840 20684800 2642 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5050 2642 198 640 0 4406 0 Current children cumulated CPU time (s) 101.91 Current children cumulated vsize (KiB) 20200 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1623200/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=20200 CPUtime=161.89 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 2664 0 0 0 16175 14 0 0 25 0 1 0 192039840 20684800 2642 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5050 2642 198 640 0 4406 0 Current children cumulated CPU time (s) 161.89 Current children cumulated vsize (KiB) 20200 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1623200/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=20200 CPUtime=221.87 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 2664 0 0 0 22170 17 0 0 25 0 1 0 192039840 20684800 2642 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5050 2642 198 640 0 4406 0 Current children cumulated CPU time (s) 221.87 Current children cumulated vsize (KiB) 20200 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1622816/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=20588 CPUtime=281.85 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 2756 0 0 0 28166 19 0 0 25 0 1 0 192039840 21082112 2734 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5147 2734 198 640 0 4503 0 Current children cumulated CPU time (s) 281.85 Current children cumulated vsize (KiB) 20588 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1621856/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=21504 CPUtime=341.83 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 2978 0 0 0 34162 21 0 0 25 0 1 0 192039840 22020096 2956 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5376 2956 198 640 0 4732 0 Current children cumulated CPU time (s) 341.83 Current children cumulated vsize (KiB) 21504 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1621856/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=21504 CPUtime=401.82 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 2978 0 0 0 40158 24 0 0 25 0 1 0 192039840 22020096 2956 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5376 2956 198 640 0 4732 0 Current children cumulated CPU time (s) 401.82 Current children cumulated vsize (KiB) 21504 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1621344/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=21988 CPUtime=461.8 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 3097 0 0 0 46156 24 0 0 25 0 1 0 192039840 22515712 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5497 3075 198 640 0 4853 0 Current children cumulated CPU time (s) 461.8 Current children cumulated vsize (KiB) 21988 Solver just ended. Dumping a history of the last processes samples [startup+473.902 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1621344/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=21988 CPUtime=473.4 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 3097 0 0 0 47315 25 0 0 25 0 1 0 192039840 22515712 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5497 3075 198 640 0 4853 0 Current children cumulated CPU time (s) 473.4 Current children cumulated vsize (KiB) 21988 [startup+480.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1621344/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=21988 CPUtime=479.8 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 3097 0 0 0 47955 25 0 0 25 0 1 0 192039840 22515712 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5497 3075 198 640 0 4853 0 Current children cumulated CPU time (s) 479.8 Current children cumulated vsize (KiB) 21988 [startup+483.502 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1621344/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=21988 CPUtime=483 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 3097 0 0 0 48275 25 0 0 25 0 1 0 192039840 22515712 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134544550 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5497 3075 198 640 0 4853 0 Current children cumulated CPU time (s) 483 Current children cumulated vsize (KiB) 21988 [startup+485.101 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1621344/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=21988 CPUtime=484.6 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 3097 0 0 0 48435 25 0 0 25 0 1 0 192039840 22515712 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5497 3075 198 640 0 4853 0 Current children cumulated CPU time (s) 484.6 Current children cumulated vsize (KiB) 21988 [startup+485.901 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1621344/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=21988 CPUtime=485.4 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 3097 0 0 0 48515 25 0 0 25 0 1 0 192039840 22515712 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5497 3075 198 640 0 4853 0 Current children cumulated CPU time (s) 485.4 Current children cumulated vsize (KiB) 21988 [startup+486.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1621344/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=21988 CPUtime=485.8 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 3097 0 0 0 48555 25 0 0 25 0 1 0 192039840 22515712 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5497 3075 198 640 0 4853 0 Current children cumulated CPU time (s) 485.8 Current children cumulated vsize (KiB) 21988 [startup+486.501 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1621344/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=21988 CPUtime=486 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 3097 0 0 0 48575 25 0 0 25 0 1 0 192039840 22515712 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5497 3075 198 640 0 4853 0 Current children cumulated CPU time (s) 486 Current children cumulated vsize (KiB) 21988 [startup+486.605 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17061 /proc/meminfo: memFree=1621344/2055920 swapFree=4181368/4192956 [pid=17060] ppid=17058 vsize=21988 CPUtime=486.1 /proc/17060/stat : 17060 (bsolo) R 17058 17060 16785 0 -1 4194304 3097 0 0 0 48585 25 0 0 25 0 1 0 192039840 22515712 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17060/statm: 5497 3075 198 640 0 4853 0 Current children cumulated CPU time (s) 486.1 Current children cumulated vsize (KiB) 21988 Child status: 0 Real time (s): 486.623 CPU time (s): 486.126 CPU user time (s): 485.871 CPU system time (s): 0.254961 CPU usage (%): 99.8978 Max. virtual memory (cumulated for all children) (KiB): 21988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 485.871 system time used= 0.254961 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3099 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= 2 involuntary context switches= 923 runsolver used 0.399939 second user time and 1.09083 second system time The end
Begin job on node28 at 2009-06-17 15:13:18 IDJOB=1879499 IDBENCH=48049 IDSOLVER=701 FILE ID=node28/1879499-1245244398 PBS_JOBID= 9372310 Free space on /tmp= 66176 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=127-P1=59-P2=127-P3=89-P4=17-P5=43-P6=53-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879499-1245244398/watcher-1879499-1245244398 -o /tmp/evaluation-result-1879499-1245244398/solver-1879499-1245244398 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879499-1245244398.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2a6a0a2817e3d179ce21769d61c8a844 RANDOM SEED=923281875 node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.231 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.231 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1633928 kB Buffers: 29828 kB Cached: 306232 kB SwapCached: 5164 kB Active: 56132 kB Inactive: 289480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1633928 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 3976 kB Writeback: 0 kB Mapped: 14688 kB Slab: 62236 kB Committed_AS: 185892 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879499-1245244398.opb Free space on /tmp at the end= 66176 MiB End job on node28 at 2009-06-17 15:21:25