Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.01 | 1798.9 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=487-P1=163-P2=173-P3=211-B.opb |
MD5SUM | fb1c97600aa303ca13bb2482d5ad3e27 |
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.74158 |
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 | 81 |
Total number of constraints | 7 |
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 | 7 |
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) | 243 |
Sum of products size (including duplicates) | 486 |
Number of different products | 243 |
Sum of products size | 486 |
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-1879397-1245243616.opb 0.00/0.00 c File size is 17960 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: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271 0.00/0.00 c Obj. Vars: 9 (2.77778 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 324 496 2070 4 1781 2762 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 34.18/34.29 c 103 324 695 18076 26 5916 3039 199 2239 0.05 34.18/34.29 c 253 324 992 41091 41 13991 3343 496 2258 0.11 34.18/34.29 c 481 324 1440 77026 53 21394 3678 944 1410 0.34 34.18/34.29 c 819 324 2092 129709 62 37040 4046 1596 933 0.88 34.18/34.29 c 1328 324 3039 206038 67 59994 4451 2543 589 2.25 34.18/34.29 c 2092 324 4513 327403 72 83684 4897 4017 406 5.15 34.18/34.29 c 3239 324 3874 280365 72 48461 5387 3378 358 9.04 34.18/34.29 c 4960 324 4240 303197 71 68274 5926 3744 327 15.13 34.18/34.29 c 7545 324 6184 455746 73 107734 6519 5688 223 33.69 34.18/34.29 o 3 1797.89/1798.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.89/1798.90 c 7767 324 6595 488383 74 135374 2780 6099 226 34.28 1797.89/1798.90 c 7867 235 2077 130688 62 28177 3059 1581 211 37.19 1797.89/1798.90 c 8119 235 2565 168889 65 38616 3365 2069 215 37.66 1797.89/1798.90 c 8594 235 3472 240478 69 56817 3702 2976 219 39.15 1797.89/1798.90 c 9407 235 2566 175249 68 16074 4073 2070 233 40.32 1797.89/1798.90 c 10728 235 2538 165897 65 24499 4481 2042 251 42.58 1797.89/1798.90 c 12809 235 4083 280418 68 71819 4930 3587 244 52.31 1797.89/1798.90 c 16032 235 4438 350153 78 56196 5424 3942 252 63.38 1797.89/1798.90 c 20968 235 4964 403834 81 64429 5967 4468 258 80.99 1797.89/1798.90 c 28475 235 3648 249976 68 59867 6564 3152 217 130.81 1797.89/1798.90 c 39837 235 4466 320659 71 61718 7221 3970 176 225.61 1797.89/1798.90 c 56982 235 4943 396830 80 74322 7944 4447 172 329.50 1797.89/1798.90 c 82802 235 7106 560986 78 106719 8739 6610 154 537.12 1797.89/1798.90 c 121634 235 5021 392158 78 108192 9613 4525 112 1082.52 1797.89/1798.90 c 179987 235 6897 544816 78 116790 10575 6401 103 1747.24 1797.89/1798.90 c Resources Exceeded 1797.89/1798.90 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 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 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 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 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 -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 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -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 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1797.89/1798.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.89/1798.90 c 24 183870 3510 193204 8718 678497 8222 102 1798.00 1797.89/1798.90 c Objective: 3 1797.89/1798.90 s SATISFIABLE 1797.89/1798.90 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-1879397-1245243616/watcher-1879397-1245243616 -o /tmp/evaluation-result-1879397-1245243616/solver-1879397-1245243616 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879397-1245243616.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.02 0.97 3/64 8362 /proc/meminfo: memFree=1542832/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=10712 CPUtime=0 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 191957973 10969088 261 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 2678 261 189 640 0 2034 0 [startup+0.045739 s] /proc/loadavg: 1.00 1.02 0.97 3/64 8362 /proc/meminfo: memFree=1542832/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=11096 CPUtime=0.04 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 371 0 0 0 4 0 0 0 18 0 1 0 191957973 11362304 350 1992294400 134512640 137136520 4294956256 18446744073709551615 136502090 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 2774 350 197 640 0 2130 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11096 [startup+0.102748 s] /proc/loadavg: 1.00 1.02 0.97 3/64 8362 /proc/meminfo: memFree=1542832/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=11616 CPUtime=0.1 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 502 0 0 0 10 0 0 0 18 0 1 0 191957973 11894784 481 1992294400 134512640 137136520 4294956256 18446744073709551615 134605433 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 2904 481 198 640 0 2260 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11616 [startup+0.301787 s] /proc/loadavg: 1.00 1.02 0.97 3/64 8362 /proc/meminfo: memFree=1542832/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=12272 CPUtime=0.29 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 664 0 0 0 29 0 0 0 19 0 1 0 191957973 12566528 643 1992294400 134512640 137136520 4294956256 18446744073709551615 136499600 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 3068 643 198 640 0 2424 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12272 [startup+0.70286 s] /proc/loadavg: 1.00 1.02 0.97 3/64 8362 /proc/meminfo: memFree=1542832/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=13184 CPUtime=0.69 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 904 0 0 0 69 0 0 0 23 0 1 0 191957973 13500416 883 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 3296 883 198 640 0 2652 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13184 [startup+1.50201 s] /proc/loadavg: 1.00 1.02 0.97 2/65 8363 /proc/meminfo: memFree=1539304/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=14368 CPUtime=1.49 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 1202 0 0 0 149 0 0 0 25 0 1 0 191957973 14712832 1181 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 3592 1181 198 640 0 2948 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14368 [startup+3.10131 s] /proc/loadavg: 1.00 1.02 0.97 2/65 8363 /proc/meminfo: memFree=1538088/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=15944 CPUtime=3.09 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 1583 0 0 0 308 1 0 0 25 0 1 0 191957973 16326656 1562 1992294400 134512640 137136520 4294956256 18446744073709551615 134544353 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 3986 1562 198 640 0 3342 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15944 [startup+6.30191 s] /proc/loadavg: 1.00 1.02 0.97 2/65 8363 /proc/meminfo: memFree=1534824/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=18436 CPUtime=6.29 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 2224 0 0 0 628 1 0 0 25 0 1 0 191957973 18878464 2203 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 4609 2203 198 640 0 3965 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18436 [startup+12.7011 s] /proc/loadavg: 1.00 1.02 0.97 2/65 8363 /proc/meminfo: memFree=1533352/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=19480 CPUtime=12.68 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 2490 0 0 0 1266 2 0 0 25 0 1 0 191957973 19947520 2469 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 4870 2469 198 640 0 4226 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19480 [startup+25.5015 s] /proc/loadavg: 1.00 1.02 0.97 2/65 8363 /proc/meminfo: memFree=1532328/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=20764 CPUtime=25.48 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 2786 0 0 0 2545 3 0 0 25 0 1 0 191957973 21262336 2765 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 5191 2765 198 640 0 4547 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20764 [startup+51.1013 s] /proc/loadavg: 1.00 1.02 0.97 2/65 8369 /proc/meminfo: memFree=1531240/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=21680 CPUtime=51.06 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 3023 0 0 0 5102 4 0 0 25 0 1 0 191957973 22200320 3002 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 5420 3002 198 640 0 4776 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 21680 [startup+102.307 s] /proc/loadavg: 1.00 1.01 0.97 2/65 8369 /proc/meminfo: memFree=1531240/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=21680 CPUtime=102.22 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 3023 0 0 0 10216 6 0 0 25 0 1 0 191957973 22200320 3002 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8362/statm: 5420 3002 198 640 0 4776 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 21680 [startup+162.301 s] /proc/loadavg: 1.00 1.01 0.97 2/65 8369 /proc/meminfo: memFree=1531112/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=21944 CPUtime=162.18 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 3094 0 0 0 16210 8 0 0 25 0 1 0 191957973 22470656 3073 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 5486 3073 198 640 0 4842 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 21944 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1531112/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=21944 CPUtime=222.16 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 3094 0 0 0 22206 10 0 0 25 0 1 0 191957973 22470656 3073 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 5486 3073 198 640 0 4842 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 21944 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1529832/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=23236 CPUtime=282.13 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 3407 0 0 0 28201 12 0 0 25 0 1 0 191957973 23793664 3386 1992294400 134512640 137136520 4294956256 18446744073709551615 134544186 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 5809 3386 198 640 0 5165 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 23236 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1528360/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=24676 CPUtime=342.1 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 3769 0 0 0 34196 14 0 0 25 0 1 0 191957973 25268224 3748 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 6169 3748 198 640 0 5525 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 24676 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1528360/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=24676 CPUtime=402.07 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 3769 0 0 0 40190 17 0 0 25 0 1 0 191957973 25268224 3748 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 6169 3748 198 640 0 5525 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 24676 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1528360/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=24676 CPUtime=462.04 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 3769 0 0 0 46186 18 0 0 25 0 1 0 191957973 25268224 3748 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 6169 3748 198 640 0 5525 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 24676 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1528360/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=24676 CPUtime=522.02 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 3778 0 0 0 52182 20 0 0 25 0 1 0 191957973 25268224 3757 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 6169 3757 198 640 0 5525 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 24676 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1526632/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=26376 CPUtime=581.99 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4205 0 0 0 58177 22 0 0 25 0 1 0 191957973 27009024 4184 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 6594 4184 198 640 0 5950 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 26376 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1526632/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=26376 CPUtime=641.96 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4205 0 0 0 64173 23 0 0 25 0 1 0 191957973 27009024 4184 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 6594 4184 198 640 0 5950 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 26376 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1525864/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=27036 CPUtime=1061.75 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4368 0 0 0 106144 31 0 0 25 0 1 0 191957973 27684864 4347 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 6759 4347 198 640 0 6115 0 Current children cumulated CPU time (s) 1061.75 Current children cumulated vsize (KiB) 27036 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1525416/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=27564 CPUtime=1121.73 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4512 0 0 0 112141 32 0 0 25 0 1 0 191957973 28225536 4491 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 6891 4491 198 640 0 6247 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 27564 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1525288/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=27692 CPUtime=1181.7 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4531 0 0 0 118135 35 0 0 25 0 1 0 191957973 28356608 4510 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 6923 4510 198 640 0 6279 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 27692 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1525224/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=27692 CPUtime=1241.67 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4531 0 0 0 124130 37 0 0 25 0 1 0 191957973 28356608 4510 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 6923 4510 198 640 0 6279 0 Current children cumulated CPU time (s) 1241.67 Current children cumulated vsize (KiB) 27692 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1524904/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=27952 CPUtime=1301.65 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4600 0 0 0 130126 39 0 0 25 0 1 0 191957973 28622848 4579 1992294400 134512640 137136520 4294956256 18446744073709551615 136500569 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 6988 4579 198 640 0 6344 0 Current children cumulated CPU time (s) 1301.65 Current children cumulated vsize (KiB) 27952 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1524520/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=28340 CPUtime=1361.61 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4697 0 0 0 136121 40 0 0 25 0 1 0 191957973 29020160 4676 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7085 4676 198 640 0 6441 0 Current children cumulated CPU time (s) 1361.61 Current children cumulated vsize (KiB) 28340 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1524520/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=28340 CPUtime=1421.59 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4697 0 0 0 142118 41 0 0 25 0 1 0 191957973 29020160 4676 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7085 4676 198 640 0 6441 0 Current children cumulated CPU time (s) 1421.59 Current children cumulated vsize (KiB) 28340 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1524520/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=28284 CPUtime=1481.56 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4697 0 0 0 148113 43 0 0 25 0 1 0 191957973 28962816 4671 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7071 4671 198 640 0 6427 0 Current children cumulated CPU time (s) 1481.56 Current children cumulated vsize (KiB) 28284 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1524456/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=28544 CPUtime=1541.53 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4744 0 0 0 154109 44 0 0 25 0 1 0 191957973 29229056 4718 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7136 4718 198 640 0 6492 0 Current children cumulated CPU time (s) 1541.53 Current children cumulated vsize (KiB) 28544 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1524392/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=28544 CPUtime=1601.5 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4744 0 0 0 160104 46 0 0 25 0 1 0 191957973 29229056 4718 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7136 4718 198 640 0 6492 0 Current children cumulated CPU time (s) 1601.5 Current children cumulated vsize (KiB) 28544 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1524392/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=28544 CPUtime=1661.47 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4744 0 0 0 166100 47 0 0 25 0 1 0 191957973 29229056 4718 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7136 4718 198 640 0 6492 0 Current children cumulated CPU time (s) 1661.47 Current children cumulated vsize (KiB) 28544 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1524200/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=28672 CPUtime=1721.43 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 4788 0 0 0 172095 48 0 0 25 0 1 0 191957973 29360128 4762 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7168 4762 198 640 0 6524 0 Current children cumulated CPU time (s) 1721.43 Current children cumulated vsize (KiB) 28672 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1522088/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=30764 CPUtime=1781.4 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 5304 0 0 0 178091 49 0 0 25 0 1 0 191957973 31502336 5278 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7691 5278 198 640 0 7047 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (KiB) 30764 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1522088/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=30764 CPUtime=1791 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 5304 0 0 0 179051 49 0 0 25 0 1 0 191957973 31502336 5278 1992294400 134512640 137136520 4294956256 18446744073709551615 134605518 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7691 5278 198 640 0 7047 0 Current children cumulated CPU time (s) 1791 Current children cumulated vsize (KiB) 30764 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1522088/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=30764 CPUtime=1794.2 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 5304 0 0 0 179371 49 0 0 25 0 1 0 191957973 31502336 5278 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7691 5278 198 640 0 7047 0 Current children cumulated CPU time (s) 1794.2 Current children cumulated vsize (KiB) 30764 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1522088/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=30764 CPUtime=1795.8 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 5304 0 0 0 179531 49 0 0 25 0 1 0 191957973 31502336 5278 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7691 5278 198 640 0 7047 0 Current children cumulated CPU time (s) 1795.8 Current children cumulated vsize (KiB) 30764 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1522088/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=30764 CPUtime=1797.39 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 5304 0 0 0 179690 49 0 0 25 0 1 0 191957973 31502336 5278 1992294400 134512640 137136520 4294956256 18446744073709551615 134572235 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7691 5278 198 640 0 7047 0 Current children cumulated CPU time (s) 1797.39 Current children cumulated vsize (KiB) 30764 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1522088/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=30764 CPUtime=1797.79 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194304 5304 0 0 0 179730 49 0 0 25 0 1 0 191957973 31502336 5278 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 7691 5278 198 640 0 7047 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 30764 [startup+1798.9 s] /proc/loadavg: 1.00 1.00 0.97 2/65 8369 /proc/meminfo: memFree=1522088/2055920 swapFree=4182544/4192956 [pid=8362] ppid=8360 vsize=0 CPUtime=1798 /proc/8362/stat : 8362 (bsolo) R 8360 8362 8039 0 -1 4194308 5306 0 0 0 179750 50 0 0 25 0 1 0 191957973 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8362/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.9 CPU time (s): 1798.01 CPU user time (s): 1797.51 CPU system time (s): 0.501923 CPU usage (%): 99.9502 Max. virtual memory (cumulated for all children) (KiB): 30764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.51 system time used= 0.501923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5306 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= 6479 runsolver used 1.48377 second user time and 5.06423 second system time The end
Begin job on node47 at 2009-06-17 15:00:16 IDJOB=1879397 IDBENCH=47947 IDSOLVER=701 FILE ID=node47/1879397-1245243616 PBS_JOBID= 9372293 Free space on /tmp= 65952 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=487-P1=163-P2=173-P3=211-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879397-1245243616/watcher-1879397-1245243616 -o /tmp/evaluation-result-1879397-1245243616/solver-1879397-1245243616 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879397-1245243616.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fb1c97600aa303ca13bb2482d5ad3e27 RANDOM SEED=1437181105 node47.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.261 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.261 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: 1543376 kB Buffers: 68824 kB Cached: 356536 kB SwapCached: 4196 kB Active: 117020 kB Inactive: 316228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1543376 kB SwapTotal: 4192956 kB SwapFree: 4182544 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13676 kB Slab: 65300 kB Committed_AS: 203072 kB PageTables: 1448 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-1879397-1245243616.opb Free space on /tmp at the end= 65948 MiB End job on node47 at 2009-06-17 15:30:15