Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 3 | 35.6886 | 35.702 |
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: Cardinality Constraint 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-1876618-1245188521.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.002 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. 9.08/9.11 c 100 432 834 11619 13 2825 4058 173 3571 0.03 9.08/9.11 c 251 432 987 23950 24 3116 4464 326 5122 0.05 9.08/9.11 c 476 432 1241 43409 34 3618 4911 580 5230 0.09 9.08/9.11 c 815 432 1620 71116 43 4466 5403 959 4851 0.17 9.08/9.11 c 1323 422 2203 117512 53 5689 5944 1542 4936 0.27 9.08/9.11 c 2087 412 3129 181738 58 7804 6539 2468 4440 0.47 9.08/9.11 c 3234 412 4388 275961 62 10445 7193 3727 3503 0.92 9.08/9.11 c 4955 412 6231 426216 68 14264 7913 5570 3403 1.46 9.08/9.11 c 7540 402 4830 335828 69 10879 8705 4169 2910 2.59 9.08/9.11 c 11419 402 5018 263244 52 11843 9576 4357 2674 4.27 9.08/9.11 c 17242 390 6993 420109 60 16055 10534 6332 2517 6.85 9.08/9.11 o 321 19.39/19.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.39/19.40 c 23197 373 8568 502651 58 19547 3707 7907 2545 9.11 19.39/19.40 c 23297 373 2641 158869 60 6463 4078 1980 2540 9.17 19.39/19.40 c 23550 373 2937 178854 60 7102 4486 2276 2553 9.22 19.39/19.40 c 24026 373 3558 218598 61 8441 4935 2897 2572 9.34 19.39/19.40 c 24840 373 4604 261396 56 10859 5429 3943 2601 9.55 19.39/19.40 c 26160 365 3390 150266 44 8358 5972 2729 2630 9.94 19.39/19.40 c 28241 364 5861 254948 43 13899 6570 5200 2654 10.64 19.39/19.40 c 31464 355 5798 316961 54 13042 7228 5137 2691 11.69 19.39/19.40 c 36401 343 7275 474455 65 16218 7951 6614 2694 13.51 19.39/19.40 c 43907 335 7823 421796 53 18483 8747 7162 2507 17.51 19.39/19.40 o 291 21.99/22.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.99/22.02 c 47924 335 8117 440977 54 18960 3707 7456 2471 19.39 21.99/22.02 c 48024 335 2641 128971 48 6510 4078 1980 2469 19.45 21.99/22.02 c 48275 335 2903 147090 50 7056 4486 2242 2476 19.49 21.99/22.02 c 48750 335 3403 181415 53 8070 4935 2742 2486 19.60 21.99/22.02 c 49563 335 4268 236309 55 9855 5429 3607 2495 19.86 21.99/22.02 c 50884 335 5727 326942 57 12977 5972 5066 2496 20.38 21.99/22.02 c 52966 335 5032 268906 53 11732 6570 4371 2474 21.40 21.99/22.02 o 177 23.58/23.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.58/23.70 c 54565 326 6925 385798 55 15967 3707 6264 2478 22.01 23.58/23.70 c 54665 326 2655 126469 47 6601 4078 1994 2476 22.07 23.58/23.70 c 54915 326 2907 141379 48 7090 4486 2246 2481 22.13 23.58/23.70 c 55390 326 3435 169032 49 8225 4935 2774 2486 22.28 23.58/23.70 c 56205 316 4349 212127 48 10159 5429 3688 2491 22.56 23.58/23.70 c 57529 316 5797 281216 48 13241 5972 5136 2496 23.04 23.58/23.70 c 59610 308 4881 196742 40 11127 6570 4220 2531 23.55 23.58/23.70 o 27 24.48/24.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.48/24.59 c 60195 300 5509 229339 41 12453 3707 4848 2540 23.69 24.48/24.59 c 60296 291 2672 99946 37 6411 4078 2011 2541 23.73 24.48/24.59 c 60546 291 2957 115244 38 7018 4486 2296 2545 23.79 24.48/24.59 c 61021 291 3526 139523 39 8269 4935 2865 2551 23.92 24.48/24.59 c 61835 291 4520 180525 39 10439 5429 3859 2557 24.18 24.48/24.59 o 5 25.29/25.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.29/25.36 c 62767 260 5616 226784 40 12813 3699 4955 2553 24.58 25.29/25.36 c 62867 260 2646 88834 33 6409 4069 1985 2552 24.63 25.29/25.36 c 63118 251 2907 104087 35 6915 4476 2246 2557 24.68 25.29/25.36 c 63594 251 3407 130949 38 7944 4924 2746 2564 24.80 25.29/25.36 c 64407 251 4419 175584 39 10202 5417 3758 2568 25.07 25.29/25.36 o 3 35.57/35.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.57/35.69 c 65609 240 5727 234795 40 12986 3695 5066 2587 25.36 35.57/35.69 c 65710 239 2651 96439 36 6347 4065 1990 2587 25.39 35.57/35.69 c 65963 239 2936 112903 38 6990 4472 2275 2590 25.46 35.57/35.69 c 66439 239 3559 141012 39 8427 4920 2898 2593 25.62 35.57/35.69 c 67253 218 4420 189722 42 10191 5413 3759 2593 25.93 35.57/35.69 c 68574 218 5797 269046 46 13025 5955 5136 2580 26.58 35.57/35.69 c 70655 218 4735 232424 49 10565 6551 4074 2547 27.73 35.57/35.69 c 73878 218 4567 219379 48 10241 7207 3906 2482 29.77 35.57/35.69 c 78814 209 5966 270709 45 13337 7928 5305 2418 32.59 35.57/35.69 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 35.57/35.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 35.57/35.70 c 54 83085 1220 92658 6284 258091 5623 2328 35.69 35.57/35.70 c Objective: 3 35.57/35.70 s OPTIMUM FOUND 35.57/35.70 c Total time: 35.685 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-1876618-1245188521/watcher-1876618-1245188521 -o /tmp/evaluation-result-1876618-1245188521/solver-1876618-1245188521 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876618-1245188521.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 1.00 3/64 32243 /proc/meminfo: memFree=1891400/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=10708 CPUtime=0 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 186451858 10964992 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136352656 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 2677 244 184 640 0 2033 0 [startup+0.071844 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32243 /proc/meminfo: memFree=1891400/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=11232 CPUtime=0.06 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 421 0 0 0 6 0 0 0 18 0 1 0 186451858 11501568 399 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 2808 399 198 640 0 2164 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11232 [startup+0.102846 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32243 /proc/meminfo: memFree=1891400/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=11488 CPUtime=0.09 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 466 0 0 0 9 0 0 0 18 0 1 0 186451858 11763712 444 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 2872 444 198 640 0 2228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11488 [startup+0.302864 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32243 /proc/meminfo: memFree=1891400/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=12648 CPUtime=0.29 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 761 0 0 0 29 0 0 0 19 0 1 0 186451858 12951552 739 1992294400 134512640 137136520 4294956256 18446744073709551615 136502193 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 3162 739 198 640 0 2518 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12648 [startup+0.7019 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32243 /proc/meminfo: memFree=1891400/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=14056 CPUtime=0.69 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 1108 0 0 0 68 1 0 0 22 0 1 0 186451858 14393344 1086 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 3514 1086 198 640 0 2870 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14056 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32244 /proc/meminfo: memFree=1886912/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=16992 CPUtime=1.49 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 1865 0 0 0 148 1 0 0 25 0 1 0 186451858 17399808 1843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 4248 1843 198 640 0 3604 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16992 [startup+3.10112 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32244 /proc/meminfo: memFree=1883136/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=19796 CPUtime=3.08 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 2567 0 0 0 307 1 0 0 25 0 1 0 186451858 20271104 2545 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 4949 2545 198 640 0 4305 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19796 [startup+6.30141 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32244 /proc/meminfo: memFree=1881664/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=20060 CPUtime=6.29 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 2617 0 0 0 626 3 0 0 25 0 1 0 186451858 20541440 2595 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 5015 2595 198 640 0 4371 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20060 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32244 /proc/meminfo: memFree=1880704/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=20776 CPUtime=12.68 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 2801 0 0 0 1264 4 0 0 25 0 1 0 186451858 21274624 2779 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 5194 2779 198 640 0 4550 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20776 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32244 /proc/meminfo: memFree=1880704/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=20776 CPUtime=25.49 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 2801 0 0 0 2540 9 0 0 25 0 1 0 186451858 21274624 2779 1992294400 134512640 137136520 4294956256 18446744073709551615 134616827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 5194 2779 198 640 0 4550 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20776 Solver just ended. Dumping a history of the last processes samples [startup+31.9057 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32244 /proc/meminfo: memFree=1880704/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=20776 CPUtime=31.89 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 2801 0 0 0 3179 10 0 0 25 0 1 0 186451858 21274624 2779 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 5194 2779 198 640 0 4550 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 20776 [startup+33.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32244 /proc/meminfo: memFree=1880704/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=20776 CPUtime=33.48 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 2801 0 0 0 3338 10 0 0 25 0 1 0 186451858 21274624 2779 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 5194 2779 198 640 0 4550 0 Current children cumulated CPU time (s) 33.48 Current children cumulated vsize (KiB) 20776 [startup+35.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32244 /proc/meminfo: memFree=1880704/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=20776 CPUtime=35.08 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 2801 0 0 0 3498 10 0 0 25 0 1 0 186451858 21274624 2779 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 5194 2779 198 640 0 4550 0 Current children cumulated CPU time (s) 35.08 Current children cumulated vsize (KiB) 20776 [startup+35.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32244 /proc/meminfo: memFree=1880704/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=20776 CPUtime=35.47 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194304 2801 0 0 0 3537 10 0 0 25 0 1 0 186451858 21274624 2779 1992294400 134512640 137136520 4294956256 18446744073709551615 136509008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 5194 2779 198 640 0 4550 0 Current children cumulated CPU time (s) 35.47 Current children cumulated vsize (KiB) 20776 [startup+35.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32244 /proc/meminfo: memFree=1880704/2055920 swapFree=4181496/4192956 [pid=32243] ppid=32241 vsize=0 CPUtime=35.67 /proc/32243/stat : 32243 (bsolo) R 32241 32243 31261 0 -1 4194308 2803 0 0 0 3557 10 0 0 25 0 1 0 186451858 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32243/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 35.67 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 35.702 CPU time (s): 35.6886 CPU user time (s): 35.5786 CPU system time (s): 0.109983 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 20792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 35.5786 system time used= 0.109983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2803 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= 57 runsolver used 0.026995 second user time and 0.087986 second system time The end
Begin job on node25 at 2009-06-16 23:42:01 IDJOB=1876618 IDBENCH=48028 IDSOLVER=699 FILE ID=node25/1876618-1245188521 PBS_JOBID= 9363949 Free space on /tmp= 66312 MiB SOLVER NAME= bsolo 3.1 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 -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876618-1245188521/watcher-1876618-1245188521 -o /tmp/evaluation-result-1876618-1245188521/solver-1876618-1245188521 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876618-1245188521.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 854cc656dc0682d745f606d1e6722452 RANDOM SEED=2108162978 node25.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.238 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.238 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: 1891944 kB Buffers: 40628 kB Cached: 68608 kB SwapCached: 5888 kB Active: 64716 kB Inactive: 52992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1891944 kB SwapTotal: 4192956 kB SwapFree: 4181496 kB Dirty: 3988 kB Writeback: 0 kB Mapped: 13548 kB Slab: 32320 kB Committed_AS: 205864 kB PageTables: 1464 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-1876618-1245188521.opb Free space on /tmp at the end= 66308 MiB End job on node25 at 2009-06-16 23:42:37