Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 2 | 267.178 | 267.265 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=11-P1=2-P2=41-P3=47-P4=37-P5=17-P6=41-P7=43-P8=59-B.opb |
MD5SUM | 703541714091bf2de3415b24b852b4fc |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 4.05138 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 144 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 288 |
Sum of products size (including duplicates) | 576 |
Number of different products | 288 |
Sum of products size | 576 |
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-1879503-1245244408.opb 0.00/0.00 c File size is 21533 bytes. 0.00/0.00 c Highest Coefficient sum: 8064 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 432 Constr: 601 288/0/313 Lit: 2538 Watch. Lit: 1586 0.00/0.00 c Obj. Vars: 6 (1.38889 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 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 601 2538 4 2172 3443 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 12.09/12.16 c 100 432 784 9093 11 3622 3788 183 4761 0.02 12.09/12.16 c 250 432 1046 22717 21 5360 4167 445 3623 0.07 12.09/12.16 c 476 432 1470 42098 28 9139 4584 869 3606 0.13 12.09/12.16 c 814 432 2053 66246 32 12125 5043 1452 3666 0.22 12.09/12.16 c 1322 432 3014 107376 35 18137 5548 2413 3053 0.43 12.09/12.16 c 2086 432 4390 166707 37 25897 6103 3789 2547 0.82 12.09/12.16 c 3232 432 6563 274004 41 49096 6714 5962 1378 2.35 12.09/12.16 c 4954 432 6094 242802 39 40065 7386 5493 1295 3.83 12.09/12.16 c 7538 432 6861 289945 42 45109 8125 6260 883 8.53 12.09/12.16 o 5 40.28/40.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.28/40.34 c 10974 432 8530 352013 41 55572 3455 7929 902 12.16 40.28/40.34 c 11075 408 2503 79794 31 12137 3801 1902 897 12.34 40.28/40.34 c 11325 408 2892 96720 33 13272 4182 2291 911 12.42 40.28/40.34 c 11800 408 3672 130665 35 14963 4601 3071 934 12.63 40.28/40.34 c 12613 408 5183 191098 36 28494 5062 4582 974 12.94 40.28/40.34 c 13933 408 4744 173001 36 32354 5569 4143 988 14.10 40.28/40.34 c 16016 408 5336 195759 36 29104 6126 4735 1018 15.73 40.28/40.34 c 19240 408 4267 167660 39 20332 6739 3666 967 19.88 40.28/40.34 c 24177 408 5981 228611 38 27989 7413 5380 955 25.29 40.28/40.34 c 31683 408 7972 329071 41 47554 8155 7371 797 39.74 40.28/40.34 o 3 267.10/267.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 267.10/267.25 c 32417 408 4849 178308 36 31776 3449 4248 803 40.33 267.10/267.25 c 32518 391 2499 81012 32 17036 3794 1898 804 40.41 267.10/267.25 c 32768 391 2967 101357 34 18264 4174 2366 808 40.55 267.10/267.25 c 33244 391 3830 136471 35 24634 4592 3229 814 40.83 267.10/267.25 c 34057 391 2902 97027 33 16544 5052 2301 816 41.70 267.10/267.25 c 35380 391 5395 201925 37 35221 5558 4794 833 42.45 267.10/267.25 c 37461 391 5988 231881 38 36704 6114 5387 851 43.99 267.10/267.25 c 40685 391 4809 192881 40 20011 6726 4208 859 47.35 267.10/267.25 c 45621 384 6263 230119 36 35488 7399 5662 868 52.54 267.10/267.25 c 53128 384 7708 279474 36 49915 8139 7107 849 62.54 267.10/267.25 c 64490 384 6988 290883 41 48516 8953 6387 759 84.91 267.10/267.25 c 81634 384 8082 286405 35 42042 9849 7481 656 124.43 267.10/267.25 c 107453 384 8539 382935 44 55244 10834 7938 504 213.14 267.10/267.25 o 2 267.10/267.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 267.10/267.26 c 131660 383 6510 338475 51 51313 3443 5909 492 267.17 267.10/267.26 v -x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 x10 x11 -x12 x13 x14 -x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 x30 x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 x42 x43 x44 -x45 -x46 -x47 -x48 x49 x50 -x51 x52 -x53 -x54 -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 -x55 x56 -x57 -x58 x59 x60 -x97 -x98 -x99 -x100 -x101 -x102 -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 -x61 x62 x63 -x64 x65 -x66 -x103 x104 -x105 -x106 -x107 -x108 -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 -x67 x68 -x69 -x70 -x71 -x72 x109 -x110 -x111 -x112 -x113 -x114 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x73 x74 -x75 -x76 -x77 -x78 x115 -x116 -x117 -x118 -x119 -x120 -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 -x79 x80 -x81 -x82 -x83 -x84 x121 -x122 -x123 -x124 -x125 -x126 -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 -x85 x86 -x87 -x88 -x89 -x90 x127 -x128 -x129 -x130 -x131 -x132 -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 -x91 x92 x93 -x94 -x95 -x96 -x133 -x134 -x135 -x136 -x137 -x138 -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 x139 -x140 -x141 -x142 -x143 -x144 267.10/267.26 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 267.10/267.26 c 33 131660 6513 153707 6510 338475 5909 492 267.17 267.10/267.26 c Objective: 2 267.10/267.26 s OPTIMUM FOUND 267.10/267.26 c Total time: 267.173 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879503-1245244408/watcher-1879503-1245244408 -o /tmp/evaluation-result-1879503-1245244408/solver-1879503-1245244408 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879503-1245244408.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.94 3/64 8998 /proc/meminfo: memFree=1713440/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=10712 CPUtime=0 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 192033716 10969088 267 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 2678 267 188 640 0 2034 0 [startup+0.0598201 s] /proc/loadavg: 1.00 1.00 0.94 3/64 8998 /proc/meminfo: memFree=1713440/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=11100 CPUtime=0.05 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 382 0 0 0 5 0 0 0 18 0 1 0 192033716 11366400 360 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 2775 360 198 640 0 2131 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11100 [startup+0.101825 s] /proc/loadavg: 1.00 1.00 0.94 3/64 8998 /proc/meminfo: memFree=1713440/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=11360 CPUtime=0.09 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 455 0 0 0 9 0 0 0 18 0 1 0 192033716 11632640 433 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 2840 433 198 640 0 2196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11360 [startup+0.301853 s] /proc/loadavg: 1.00 1.00 0.94 3/64 8998 /proc/meminfo: memFree=1713440/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=12400 CPUtime=0.29 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 698 0 0 0 29 0 0 0 19 0 1 0 192033716 12697600 676 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 3100 676 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.94 3/64 8998 /proc/meminfo: memFree=1713440/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=13564 CPUtime=0.69 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 994 0 0 0 68 1 0 0 22 0 1 0 192033716 13889536 972 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 3391 972 198 640 0 2747 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13564 [startup+1.50202 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1709784/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=15124 CPUtime=1.49 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 1392 0 0 0 148 1 0 0 25 0 1 0 192033716 15486976 1370 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 3781 1370 198 640 0 3137 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15124 [startup+3.10126 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1707928/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=16684 CPUtime=3.09 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 1793 0 0 0 308 1 0 0 25 0 1 0 192033716 17084416 1771 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 4171 1771 198 640 0 3527 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16684 [startup+6.30171 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1706720/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=17080 CPUtime=6.29 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 1890 0 0 0 627 2 0 0 25 0 1 0 192033716 17489920 1868 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 4270 1868 198 640 0 3626 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17080 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1705696/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=17984 CPUtime=12.69 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 2106 0 0 0 1266 3 0 0 25 0 1 0 192033716 18415616 2084 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 4496 2084 198 640 0 3852 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17984 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1705696/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=17984 CPUtime=25.48 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 2106 0 0 0 2544 4 0 0 25 0 1 0 192033716 18415616 2084 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 4496 2084 198 640 0 3852 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17984 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1705632/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=17984 CPUtime=51.08 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 2106 0 0 0 5100 8 0 0 25 0 1 0 192033716 18415616 2084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 4496 2084 198 640 0 3852 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17984 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1705184/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=18480 CPUtime=102.26 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 2220 0 0 0 10214 12 0 0 25 0 1 0 192033716 18923520 2198 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 4620 2198 198 640 0 3976 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18480 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1702880/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=20732 CPUtime=162.24 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 2786 0 0 0 16208 16 0 0 25 0 1 0 192033716 21229568 2764 1992294400 134512640 137136520 4294956256 18446744073709551615 134605682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 5183 2764 198 640 0 4539 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20732 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1702688/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=20856 CPUtime=222.21 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 2815 0 0 0 22201 20 0 0 25 0 1 0 192033716 21356544 2793 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 5214 2793 198 640 0 4570 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 20856 Solver just ended. Dumping a history of the last processes samples [startup+230.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1702688/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=20856 CPUtime=230.22 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 2815 0 0 0 23001 21 0 0 25 0 1 0 192033716 21356544 2793 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 5214 2793 198 640 0 4570 0 Current children cumulated CPU time (s) 230.22 Current children cumulated vsize (KiB) 20856 [startup+243.105 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1702688/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=20852 CPUtime=243.02 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 2815 0 0 0 24280 22 0 0 25 0 1 0 192033716 21352448 2793 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 5213 2793 198 640 0 4569 0 Current children cumulated CPU time (s) 243.02 Current children cumulated vsize (KiB) 20852 [startup+255.901 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1702688/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=20852 CPUtime=255.81 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 2815 0 0 0 25558 23 0 0 25 0 1 0 192033716 21352448 2793 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 5213 2793 198 640 0 4569 0 Current children cumulated CPU time (s) 255.81 Current children cumulated vsize (KiB) 20852 [startup+262.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1701856/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=21636 CPUtime=262.2 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 3024 0 0 0 26197 23 0 0 25 0 1 0 192033716 22155264 3002 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 5409 3002 198 640 0 4765 0 Current children cumulated CPU time (s) 262.2 Current children cumulated vsize (KiB) 21636 [startup+265.501 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1701536/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=22016 CPUtime=265.4 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 3117 0 0 0 26517 23 0 0 25 0 1 0 192033716 22544384 3095 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 5504 3095 198 640 0 4860 0 Current children cumulated CPU time (s) 265.4 Current children cumulated vsize (KiB) 22016 [startup+266.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1701280/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=22272 CPUtime=266.2 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 3159 0 0 0 26597 23 0 0 25 0 1 0 192033716 22806528 3137 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 5568 3137 198 640 0 4924 0 Current children cumulated CPU time (s) 266.2 Current children cumulated vsize (KiB) 22272 [startup+266.702 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1701280/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=22528 CPUtime=266.6 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 3244 0 0 0 26637 23 0 0 25 0 1 0 192033716 23068672 3222 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 5632 3222 198 640 0 4988 0 Current children cumulated CPU time (s) 266.6 Current children cumulated vsize (KiB) 22528 [startup+267.102 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1701280/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=22528 CPUtime=267 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 3244 0 0 0 26677 23 0 0 25 0 1 0 192033716 23068672 3222 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 5632 3222 198 640 0 4988 0 Current children cumulated CPU time (s) 267 Current children cumulated vsize (KiB) 22528 [startup+267.202 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8999 /proc/meminfo: memFree=1700960/2055920 swapFree=4181384/4192956 [pid=8998] ppid=8996 vsize=22528 CPUtime=267.1 /proc/8998/stat : 8998 (bsolo) R 8996 8998 8499 0 -1 4194304 3244 0 0 0 26687 23 0 0 25 0 1 0 192033716 23068672 3222 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8998/statm: 5632 3222 198 640 0 4988 0 Current children cumulated CPU time (s) 267.1 Current children cumulated vsize (KiB) 22528 Child status: 0 Real time (s): 267.265 CPU time (s): 267.178 CPU user time (s): 266.935 CPU system time (s): 0.242963 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 22528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 266.935 system time used= 0.242963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3246 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= 221 runsolver used 0.188971 second user time and 0.601908 second system time The end
Begin job on node49 at 2009-06-17 15:13:28 IDJOB=1879503 IDBENCH=48053 IDSOLVER=701 FILE ID=node49/1879503-1245244408 PBS_JOBID= 9372291 Free space on /tmp= 66028 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=11-P1=2-P2=41-P3=47-P4=37-P5=17-P6=41-P7=43-P8=59-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879503-1245244408/watcher-1879503-1245244408 -o /tmp/evaluation-result-1879503-1245244408/solver-1879503-1245244408 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879503-1245244408.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 703541714091bf2de3415b24b852b4fc RANDOM SEED=1460448396 node49.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.232 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.232 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: 1713984 kB Buffers: 65388 kB Cached: 205024 kB SwapCached: 4580 kB Active: 89636 kB Inactive: 188884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1713984 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13852 kB Slab: 49292 kB Committed_AS: 195892 kB PageTables: 1388 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-1879503-1245244408.opb Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-17 15:17:55