Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.01 | 1798.5 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb |
MD5SUM | 616d60d0b9e17d59a77d69efb2609a49 |
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 | 7.55585 |
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-1879354-1245243532.opb 0.00/0.00 c File size is 24020 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.008 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. 601.12/601.31 c 102 432 863 18077 20 7041 4058 202 2684 0.04 601.12/601.31 c 254 432 1154 43752 37 12283 4464 493 2152 0.12 601.12/601.31 c 480 432 1585 84194 53 26086 4911 924 1708 0.28 601.12/601.31 c 820 432 2245 136854 60 33697 5403 1584 1261 0.65 601.12/601.31 c 1329 432 3196 219053 68 56513 5944 2535 683 1.94 601.12/601.31 c 2092 432 4682 340716 72 80018 6539 4021 485 4.31 601.12/601.31 c 3239 432 6838 534362 78 122846 7193 6177 344 9.40 601.12/601.31 c 4960 432 6402 488491 76 99943 7913 5741 294 16.83 601.12/601.31 c 7545 432 7037 540261 76 94098 8705 6376 223 33.80 601.12/601.31 c 11425 432 5267 421237 79 51273 9576 4606 244 46.68 601.12/601.31 c 17248 432 6102 442165 72 93337 10534 5441 178 96.57 601.12/601.31 c 25987 432 10990 924676 84 131764 11588 10329 142 182.32 601.12/601.31 c 39098 432 10894 866855 79 203530 12747 10233 105 369.56 601.12/601.31 o 9 763.57/763.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 763.57/763.86 c 54215 432 12482 1060102 84 230640 3707 11821 90 601.15 763.57/763.86 c 54316 377 2702 184007 68 24972 4078 2041 89 608.19 763.57/763.86 c 54566 377 3140 219200 69 29076 4486 2479 89 608.33 763.57/763.86 c 55042 377 4032 292187 72 38561 4935 3371 90 608.93 763.57/763.86 c 55855 377 5597 420787 75 63350 5429 4936 91 610.81 763.57/763.86 c 57175 377 5214 369564 70 63591 5972 4553 92 617.55 763.57/763.86 c 59257 377 5772 444671 77 94626 6570 5111 94 625.59 763.57/763.86 c 62480 377 4976 354411 71 46876 7228 4315 97 640.15 763.57/763.86 c 67416 377 6614 520966 78 91630 7951 5953 101 667.17 763.57/763.86 c 74923 377 8154 653317 80 176963 8747 7493 100 743.09 763.57/763.86 o 3 1797.90/1798.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.49 c 78523 377 5292 410578 77 46178 3697 4631 102 763.65 1797.90/1798.49 c 78624 343 2712 177413 65 26381 4067 2051 102 763.96 1797.90/1798.49 c 78875 343 3199 216671 67 37308 4474 2538 103 764.18 1797.90/1798.49 c 79350 343 4121 292301 70 56414 4922 3460 103 764.94 1797.90/1798.49 c 80163 343 3129 196949 62 43516 5415 2468 104 768.39 1797.90/1798.49 c 81484 343 5644 401503 71 108352 5957 4983 105 771.28 1797.90/1798.49 c 83567 343 6357 507216 79 125468 6553 5696 106 781.75 1797.90/1798.49 c 86790 343 5451 407181 74 86062 7209 4790 108 796.88 1797.90/1798.49 c 91726 343 6844 520156 76 123318 7930 6183 109 834.25 1797.90/1798.49 c 99232 343 7414 578667 78 150580 8724 6753 112 878.65 1797.90/1798.49 c 110593 343 5207 400828 76 75957 9597 4546 105 1047.12 1797.90/1798.49 c 127737 343 5891 466473 79 109260 10557 5230 104 1226.81 1797.90/1798.49 c 153556 343 9425 711852 75 143384 11613 8764 97 1582.51 1797.90/1798.49 c Resources Exceeded 1797.90/1798.49 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.90/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.49 c 36 183021 2323 192221 10464 982142 9803 101 1798.00 1797.90/1798.49 c Objective: 3 1797.90/1798.49 s SATISFIABLE 1797.90/1798.49 c Total time: 1798 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-1879354-1245243532/watcher-1879354-1245243532 -o /tmp/evaluation-result-1879354-1245243532/solver-1879354-1245243532 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879354-1245243532.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 23176 /proc/meminfo: memFree=1817368/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=10708 CPUtime=0 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 77062029 10964992 255 1992294400 134512640 137136520 4294956256 18446744073709551615 134542816 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 2677 256 186 640 0 2033 0 [startup+0.0456521 s] /proc/loadavg: 1.00 1.00 0.93 3/64 23176 /proc/meminfo: memFree=1817368/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=11240 CPUtime=0.04 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 420 0 0 0 4 0 0 0 18 0 1 0 77062029 11509760 398 1992294400 134512640 137136520 4294956256 18446744073709551615 134612112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 2810 398 198 640 0 2166 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11240 [startup+0.101657 s] /proc/loadavg: 1.00 1.00 0.93 3/64 23176 /proc/meminfo: memFree=1817368/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=11500 CPUtime=0.09 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 483 0 0 0 9 0 0 0 18 0 1 0 77062029 11776000 461 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 2875 461 198 640 0 2231 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11500 [startup+0.301673 s] /proc/loadavg: 1.00 1.00 0.93 3/64 23176 /proc/meminfo: memFree=1817368/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=12664 CPUtime=0.29 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 760 0 0 0 29 0 0 0 19 0 1 0 77062029 12967936 738 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 3166 738 198 640 0 2522 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12664 [startup+0.701708 s] /proc/loadavg: 1.00 1.00 0.93 3/64 23176 /proc/meminfo: memFree=1817368/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=13712 CPUtime=0.69 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 1050 0 0 0 68 1 0 0 22 0 1 0 77062029 14041088 1028 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 3428 1028 198 640 0 2784 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13712 [startup+1.50178 s] /proc/loadavg: 1.00 1.00 0.93 2/65 23177 /proc/meminfo: memFree=1813584/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=14892 CPUtime=1.49 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 1345 0 0 0 148 1 0 0 25 0 1 0 77062029 15249408 1323 1992294400 134512640 137136520 4294956256 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 3723 1323 198 640 0 3079 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14892 [startup+3.10292 s] /proc/loadavg: 1.00 1.00 0.93 2/65 23177 /proc/meminfo: memFree=1811984/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=16588 CPUtime=3.09 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 1766 0 0 0 308 1 0 0 25 0 1 0 77062029 16986112 1744 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 4147 1744 198 640 0 3503 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16588 [startup+6.3012 s] /proc/loadavg: 1.00 1.00 0.93 2/65 23177 /proc/meminfo: memFree=1808336/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=19852 CPUtime=6.29 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 2582 0 0 0 627 2 0 0 25 0 1 0 77062029 20328448 2560 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 4963 2560 198 640 0 4319 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19852 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 0.93 2/65 23177 /proc/meminfo: memFree=1803672/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=24032 CPUtime=12.68 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 3605 0 0 0 1266 2 0 0 25 0 1 0 77062029 24608768 3583 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 6008 3583 198 640 0 5364 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24032 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 0.93 2/65 23177 /proc/meminfo: memFree=1803288/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=24300 CPUtime=25.48 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 3674 0 0 0 2545 3 0 0 25 0 1 0 77062029 24883200 3652 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 6075 3652 198 640 0 5431 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24300 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.93 2/65 23177 /proc/meminfo: memFree=1800984/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=26476 CPUtime=51.07 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 4217 0 0 0 5102 5 0 0 25 0 1 0 77062029 27111424 4195 1992294400 134512640 137136520 4294956256 18446744073709551615 134600775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 6619 4195 198 640 0 5975 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26476 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.93 2/65 23177 /proc/meminfo: memFree=1800280/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=27128 CPUtime=102.26 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 4397 0 0 0 10219 7 0 0 25 0 1 0 77062029 27779072 4375 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 6782 4375 198 640 0 6138 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 27128 [startup+162.302 s] /proc/loadavg: 1.08 1.02 0.94 2/65 23183 /proc/meminfo: memFree=1798360/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=29060 CPUtime=162.24 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 4866 0 0 0 16215 9 0 0 25 0 1 0 77062029 29757440 4844 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 7265 4844 198 640 0 6621 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 29060 [startup+222.301 s] /proc/loadavg: 1.03 1.01 0.94 2/65 23183 /proc/meminfo: memFree=1796376/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=30988 CPUtime=222.22 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 5349 0 0 0 22212 10 0 0 25 0 1 0 77062029 31731712 5327 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 7747 5327 198 640 0 7103 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 30988 [startup+282.301 s] /proc/loadavg: 1.01 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1796312/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=30988 CPUtime=282.2 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 5349 0 0 0 28209 11 0 0 25 0 1 0 77062029 31731712 5327 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 7747 5327 198 640 0 7103 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 30988 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1796312/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=30988 CPUtime=342.18 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 5349 0 0 0 34206 12 0 0 25 0 1 0 77062029 31731712 5327 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 7747 5327 198 640 0 7103 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 30988 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1793624/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=33664 CPUtime=402.17 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6018 0 0 0 40203 14 0 0 25 0 1 0 77062029 34471936 5996 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8416 5996 198 640 0 7772 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 33664 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792792/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34512 CPUtime=462.16 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 46200 16 0 0 25 0 1 0 77062029 35340288 6209 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8628 6209 198 640 0 7984 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 34512 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792728/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34512 CPUtime=522.14 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 52198 16 0 0 25 0 1 0 77062029 35340288 6209 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8628 6209 198 640 0 7984 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 34512 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792728/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34512 CPUtime=582.13 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 58196 17 0 0 25 0 1 0 77062029 35340288 6209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8628 6209 198 640 0 7984 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 34512 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792664/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=642.11 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 64192 19 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 34376 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1792536/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1121.98 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 112166 32 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 34376 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792472/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1181.96 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 118162 34 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 34376 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792472/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1241.94 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 124159 35 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 34376 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792408/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1301.93 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 130156 37 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 34376 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792472/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1361.92 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 136153 39 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 34376 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792408/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1421.9 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 142150 40 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 34376 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792408/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1481.89 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 148147 42 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134544297 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 34376 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792408/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1541.87 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 154144 43 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 34376 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23183 /proc/meminfo: memFree=1792344/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1601.85 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 160141 44 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134576268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 34376 [startup+1662.3 s] /proc/loadavg: 1.07 1.02 0.94 2/65 23183 /proc/meminfo: memFree=1792344/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1661.84 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 166138 46 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 34376 [startup+1722.3 s] /proc/loadavg: 1.15 1.04 0.95 2/65 23183 /proc/meminfo: memFree=1792280/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1721.82 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 172135 47 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 34376 [startup+1782.3 s] /proc/loadavg: 1.05 1.03 0.95 2/65 23183 /proc/meminfo: memFree=1792280/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1781.8 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 178132 48 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 34376 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.04 1.03 0.95 2/65 23183 /proc/meminfo: memFree=1792216/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1791.4 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 179092 48 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 34376 [startup+1795.1 s] /proc/loadavg: 1.04 1.03 0.95 2/65 23183 /proc/meminfo: memFree=1792216/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1794.6 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 179412 48 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 34376 [startup+1796.7 s] /proc/loadavg: 1.04 1.03 0.95 2/65 23183 /proc/meminfo: memFree=1792216/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1796.2 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 179572 48 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 34376 [startup+1797.5 s] /proc/loadavg: 1.04 1.03 0.95 2/65 23183 /proc/meminfo: memFree=1792216/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1797 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 179652 48 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 34376 [startup+1797.9 s] /proc/loadavg: 1.04 1.03 0.95 2/65 23183 /proc/meminfo: memFree=1792216/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1797.4 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 179692 48 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (KiB) 34376 [startup+1798.3 s] /proc/loadavg: 1.04 1.03 0.95 2/65 23183 /proc/meminfo: memFree=1792216/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1797.8 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 179732 48 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 34376 [startup+1798.4 s] /proc/loadavg: 1.04 1.03 0.95 2/65 23183 /proc/meminfo: memFree=1792216/2055920 swapFree=4192044/4192956 [pid=23176] ppid=23174 vsize=34376 CPUtime=1797.9 /proc/23176/stat : 23176 (bsolo) R 23174 23176 22937 0 -1 4194304 6231 0 0 0 179742 48 0 0 25 0 1 0 77062029 35201024 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23176/statm: 8594 6194 198 640 0 7950 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 34376 Child status: 0 Real time (s): 1798.5 CPU time (s): 1798.01 CPU user time (s): 1797.52 CPU system time (s): 0.494924 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 34512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.52 system time used= 0.494924 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6233 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= 3846 runsolver used 1.19482 second user time and 3.86941 second system time The end
Begin job on node41 at 2009-06-17 14:58:52 IDJOB=1879354 IDBENCH=47904 IDSOLVER=701 FILE ID=node41/1879354-1245243532 PBS_JOBID= 9372298 Free space on /tmp= 65960 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=251-P1=139-P2=89-P3=173-P4=107-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879354-1245243532/watcher-1879354-1245243532 -o /tmp/evaluation-result-1879354-1245243532/solver-1879354-1245243532 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879354-1245243532.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 616d60d0b9e17d59a77d69efb2609a49 RANDOM SEED=1311409756 node41.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.216 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.216 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: 1817784 kB Buffers: 34176 kB Cached: 122964 kB SwapCached: 416 kB Active: 42576 kB Inactive: 127468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1817784 kB SwapTotal: 4192956 kB SwapFree: 4192044 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 22048 kB Slab: 54120 kB Committed_AS: 75924 kB PageTables: 1360 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-1879354-1245243532.opb Free space on /tmp at the end= 65960 MiB End job on node41 at 2009-06-17 15:28:51