Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.01 | 1798.44 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb |
MD5SUM | 854cc656dc0682d745f606d1e6722452 |
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.14367 |
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 | 108 |
Total number of constraints | 9 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 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) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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-1879478-1245244160.opb 0.00/0.00 c File size is 24019 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.003 s 0.00/0.00 c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694 0.00/0.00 c Obj. Vars: 9 (2.08333 % 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 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 6.29/6.39 c 100 432 859 18072 21 6085 4058 198 2325 0.04 6.29/6.39 c 250 432 1144 41930 36 10956 4464 483 2777 0.09 6.29/6.39 c 476 432 1578 77456 49 17025 4911 917 1927 0.25 6.29/6.39 c 815 432 2224 130200 58 30049 5403 1563 974 0.84 6.29/6.39 c 1324 432 3227 227548 70 52971 5944 2566 1007 1.31 6.29/6.39 c 2089 432 4739 348978 73 76871 6539 4078 697 2.99 6.29/6.39 o 171 225.64/225.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 225.64/225.74 c 2817 432 6148 465517 75 132167 3707 5487 440 6.40 225.64/225.74 c 2918 432 2620 167357 63 32080 4078 1959 338 8.63 225.64/225.74 c 3169 432 3049 215637 70 36418 4486 2388 334 9.48 225.64/225.74 c 3645 432 3962 287397 72 59763 4935 3301 350 10.39 225.64/225.74 c 4458 432 5535 411253 74 98368 5429 4874 322 13.83 225.64/225.74 c 5778 432 5271 368741 69 98065 5972 4610 252 22.90 225.64/225.74 c 7860 432 6208 459723 74 105416 6570 5547 209 37.57 225.64/225.74 c 11083 432 5522 396369 71 64436 7228 4861 195 56.59 225.64/225.74 c 16020 432 6700 548247 81 47657 7951 6039 203 78.86 225.64/225.74 c 23526 432 4638 333697 71 70610 8747 3977 196 119.47 225.64/225.74 c 34887 421 7353 541712 73 90232 9622 6692 167 208.58 225.64/225.74 o 3 1797.98/1798.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.43 c 37828 421 8012 617024 77 165138 3705 7351 167 225.69 1797.98/1798.43 c 37928 343 2708 172387 63 43681 4076 2047 166 227.43 1797.98/1798.43 c 38179 343 3187 211777 66 47242 4484 2526 167 227.71 1797.98/1798.43 c 38654 343 4104 295744 72 67454 4933 3443 169 228.54 1797.98/1798.43 c 39470 343 5660 420034 74 112938 5427 4999 171 230.74 1797.98/1798.43 c 40790 343 5277 369884 70 91404 5970 4616 171 237.86 1797.98/1798.43 c 42871 343 5765 439827 76 76866 6568 5104 176 243.43 1797.98/1798.43 c 46094 343 4605 321536 69 58634 7225 3944 179 257.37 1797.98/1798.43 c 51031 343 5827 466287 80 54002 7948 5166 179 284.71 1797.98/1798.43 c 58537 343 7711 579622 75 122790 8743 7050 171 341.57 1797.98/1798.43 c 69898 343 5513 434191 78 80383 9618 4852 156 446.12 1797.98/1798.43 c 87042 343 7326 610761 83 123809 10580 6665 138 627.39 1797.98/1798.43 c 112861 343 9691 809618 83 109297 11639 9030 124 903.10 1797.98/1798.43 c 151693 343 9435 753947 79 190806 12803 8774 96 1574.30 1797.98/1798.43 c Resources Exceeded 1797.98/1798.43 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 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -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 x46 x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 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 -x249 -x250 -x251 -x252 x253 x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 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 -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 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 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 -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 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1797.98/1798.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.43 c 31 170358 1555 178342 10683 892811 10022 94 1798.01 1797.98/1798.43 c Objective: 3 1797.98/1798.43 s SATISFIABLE 1797.98/1798.43 c Total time: 1798.01 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-1879478-1245244160/watcher-1879478-1245244160 -o /tmp/evaluation-result-1879478-1245244160/solver-1879478-1245244160 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879478-1245244160.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.93 3/64 4762 /proc/meminfo: memFree=1855080/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=10732 CPUtime=0 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 192017039 10989568 235 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 2677 240 180 640 0 2033 0 [startup+0.0978621 s] /proc/loadavg: 1.00 1.00 0.93 3/64 4762 /proc/meminfo: memFree=1855080/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=11624 CPUtime=0.09 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 505 0 0 0 9 0 0 0 18 0 1 0 192017039 11902976 483 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 2906 483 198 640 0 2262 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11624 [startup+0.101862 s] /proc/loadavg: 1.00 1.00 0.93 3/64 4762 /proc/meminfo: memFree=1855080/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=11624 CPUtime=0.09 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 508 0 0 0 9 0 0 0 18 0 1 0 192017039 11902976 486 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 2906 486 198 640 0 2262 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11624 [startup+0.301878 s] /proc/loadavg: 1.00 1.00 0.93 3/64 4762 /proc/meminfo: memFree=1855080/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=12400 CPUtime=0.29 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 704 0 0 0 29 0 0 0 19 0 1 0 192017039 12697600 682 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 3100 682 198 640 0 2456 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12400 [startup+0.70191 s] /proc/loadavg: 1.00 1.00 0.93 3/64 4762 /proc/meminfo: memFree=1855080/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=13312 CPUtime=0.69 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 919 0 0 0 69 0 0 0 22 0 1 0 192017039 13631488 897 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 3328 897 198 640 0 2684 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13312 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1851680/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=15888 CPUtime=1.49 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 1576 0 0 0 148 1 0 0 25 0 1 0 192017039 16269312 1554 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 3972 1554 198 640 0 3328 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15888 [startup+3.10111 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1848864/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=18496 CPUtime=3.09 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 2230 0 0 0 308 1 0 0 25 0 1 0 192017039 18939904 2208 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 4624 2208 198 640 0 3980 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18496 [startup+6.30137 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1845856/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=20720 CPUtime=6.29 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 2800 0 0 0 627 2 0 0 25 0 1 0 192017039 21217280 2778 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 5180 2778 198 640 0 4536 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20720 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1844320/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=20984 CPUtime=12.68 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 2857 0 0 0 1266 2 0 0 25 0 1 0 192017039 21487616 2835 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 5246 2835 198 640 0 4602 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20984 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1844384/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=20984 CPUtime=25.49 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 2857 0 0 0 2546 3 0 0 25 0 1 0 192017039 21487616 2835 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 5246 2835 198 640 0 4602 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20984 [startup+51.102 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1843424/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=22012 CPUtime=51.08 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 3117 0 0 0 5103 5 0 0 25 0 1 0 192017039 22540288 3095 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 5503 3095 198 640 0 4859 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22012 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1841696/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=23792 CPUtime=102.27 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 3546 0 0 0 10219 8 0 0 25 0 1 0 192017039 24363008 3524 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 5948 3524 198 640 0 5304 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23792 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1840480/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=24932 CPUtime=162.25 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 3853 0 0 0 16215 10 0 0 25 0 1 0 192017039 25530368 3831 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 6233 3831 198 640 0 5589 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 24932 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1838688/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=26752 CPUtime=222.24 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 4297 0 0 0 22211 13 0 0 25 0 1 0 192017039 27394048 4275 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 6688 4275 198 640 0 6044 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 26752 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1838688/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=26696 CPUtime=282.22 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 4297 0 0 0 28206 16 0 0 25 0 1 0 192017039 27336704 4274 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 6674 4274 198 640 0 6030 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 26696 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1838696/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=26696 CPUtime=342.21 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 4297 0 0 0 34204 17 0 0 25 0 1 0 192017039 27336704 4274 1992294400 134512640 137136520 4294956256 18446744073709551615 136502129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 6674 4274 198 640 0 6030 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 26696 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1838632/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=26796 CPUtime=402.19 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 4299 0 0 0 40199 20 0 0 25 0 1 0 192017039 27439104 4276 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 6699 4276 198 640 0 6055 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 26796 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1836968/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=28456 CPUtime=462.18 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 4723 0 0 0 46196 22 0 0 25 0 1 0 192017039 29138944 4700 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 7114 4700 198 640 0 6470 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 28456 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1834792/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=30640 CPUtime=522.17 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 5267 0 0 0 52192 25 0 0 25 0 1 0 192017039 31375360 5244 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 7660 5244 198 640 0 7016 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 30640 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1834792/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=30640 CPUtime=582.15 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 5267 0 0 0 58189 26 0 0 25 0 1 0 192017039 31375360 5244 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 7660 5244 198 640 0 7016 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 30640 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4763 /proc/meminfo: memFree=1834664/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=30644 CPUtime=642.15 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 5268 0 0 0 64187 28 0 0 25 0 1 0 192017039 31379456 5245 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 7661 5245 198 640 0 7017 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 30644 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1833448/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=31684 CPUtime=1122.03 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 5524 0 0 0 112162 41 0 0 25 0 1 0 192017039 32444416 5501 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 7921 5501 198 640 0 7277 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 31684 [startup+1182.3 s] /proc/loadavg: 1.02 1.02 0.94 2/65 4763 /proc/meminfo: memFree=1832936/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=32076 CPUtime=1182.01 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 5637 0 0 0 118160 41 0 0 25 0 1 0 192017039 32845824 5614 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8019 5614 198 640 0 7375 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 32076 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 0.94 2/65 4763 /proc/meminfo: memFree=1832808/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=32076 CPUtime=1242 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 5637 0 0 0 124158 42 0 0 25 0 1 0 192017039 32845824 5614 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8019 5614 198 640 0 7375 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 32076 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 0.94 2/65 4763 /proc/meminfo: memFree=1831336/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=33528 CPUtime=1301.99 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 5999 0 0 0 130156 43 0 0 25 0 1 0 192017039 34332672 5976 1992294400 134512640 137136520 4294956256 18446744073709551615 134544893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8382 5976 198 640 0 7738 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 33528 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.94 2/65 4763 /proc/meminfo: memFree=1831272/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=33528 CPUtime=1361.97 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 5999 0 0 0 136153 44 0 0 25 0 1 0 192017039 34332672 5976 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8382 5976 198 640 0 7738 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 33528 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1831272/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=33528 CPUtime=1421.96 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 5999 0 0 0 142151 45 0 0 25 0 1 0 192017039 34332672 5976 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8382 5976 198 640 0 7738 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 33528 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1831208/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=33528 CPUtime=1481.94 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 5999 0 0 0 148147 47 0 0 25 0 1 0 192017039 34332672 5976 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8382 5976 198 640 0 7738 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 33528 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1831208/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=33528 CPUtime=1541.93 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 5999 0 0 0 154145 48 0 0 25 0 1 0 192017039 34332672 5976 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8382 5976 198 640 0 7738 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 33528 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1830696/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=34052 CPUtime=1601.92 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 6118 0 0 0 160142 50 0 0 25 0 1 0 192017039 34869248 6095 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8513 6095 198 640 0 7869 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 34052 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1830632/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=34052 CPUtime=1661.9 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 6134 0 0 0 166139 51 0 0 25 0 1 0 192017039 34869248 6111 1992294400 134512640 137136520 4294956256 18446744073709551615 134574390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8513 6111 198 640 0 7869 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 34052 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1830632/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=34052 CPUtime=1721.89 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 6134 0 0 0 172137 52 0 0 25 0 1 0 192017039 34869248 6111 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8513 6111 198 640 0 7869 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 34052 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1829928/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=34680 CPUtime=1781.87 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 6274 0 0 0 178134 53 0 0 25 0 1 0 192017039 35512320 6251 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8670 6251 198 640 0 8026 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 34680 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1829928/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=34680 CPUtime=1791.47 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 6274 0 0 0 179094 53 0 0 25 0 1 0 192017039 35512320 6251 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8670 6251 198 640 0 8026 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 34680 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1829928/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=34680 CPUtime=1794.67 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 6274 0 0 0 179414 53 0 0 25 0 1 0 192017039 35512320 6251 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8670 6251 198 640 0 8026 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 34680 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1829928/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=34680 CPUtime=1796.27 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 6274 0 0 0 179574 53 0 0 25 0 1 0 192017039 35512320 6251 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8670 6251 198 640 0 8026 0 Current children cumulated CPU time (s) 1796.27 Current children cumulated vsize (KiB) 34680 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1829928/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=34680 CPUtime=1797.07 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 6274 0 0 0 179653 54 0 0 25 0 1 0 192017039 35512320 6251 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8670 6251 198 640 0 8026 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (KiB) 34680 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1829928/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=34680 CPUtime=1797.47 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 6274 0 0 0 179693 54 0 0 25 0 1 0 192017039 35512320 6251 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8670 6251 198 640 0 8026 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 34680 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1829928/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=34680 CPUtime=1797.87 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 6274 0 0 0 179733 54 0 0 25 0 1 0 192017039 35512320 6251 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8670 6251 198 640 0 8026 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 34680 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 0.94 2/65 4763 /proc/meminfo: memFree=1829928/2055920 swapFree=4181964/4192956 [pid=4762] ppid=4760 vsize=34680 CPUtime=1797.98 /proc/4762/stat : 4762 (bsolo) R 4760 4762 4436 0 -1 4194304 6274 0 0 0 179744 54 0 0 25 0 1 0 192017039 35512320 6251 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4762/statm: 8670 6251 198 640 0 8026 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 34680 Child status: 0 Real time (s): 1798.44 CPU time (s): 1798.01 CPU user time (s): 1797.47 CPU system time (s): 0.545917 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 34680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.47 system time used= 0.545917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6276 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= 1014 runsolver used 1.56676 second user time and 3.45147 second system time The end
Begin job on node3 at 2009-06-17 15:09:20 IDJOB=1879478 IDBENCH=48028 IDSOLVER=701 FILE ID=node3/1879478-1245244160 PBS_JOBID= 9372333 Free space on /tmp= 66292 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879478-1245244160/watcher-1879478-1245244160 -o /tmp/evaluation-result-1879478-1245244160/solver-1879478-1245244160 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879478-1245244160.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 854cc656dc0682d745f606d1e6722452 RANDOM SEED=300957518 node3.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.236 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.236 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: 1855624 kB Buffers: 8856 kB Cached: 119236 kB SwapCached: 4984 kB Active: 18888 kB Inactive: 117256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855624 kB SwapTotal: 4192956 kB SwapFree: 4181964 kB Dirty: 4164 kB Writeback: 0 kB Mapped: 14284 kB Slab: 50232 kB Committed_AS: 181564 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879478-1245244160.opb Free space on /tmp at the end= 66288 MiB End job on node3 at 2009-06-17 15:39:19