Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 475.505 | 475.619 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=59-P1=67-P2=97-P3=53-P4=41-P5=89-B.opb |
MD5SUM | 8dfafc2d5e0fe7665bfa4fcefe292d97 |
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.56061 |
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 | 105 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 245 |
Sum of products size (including duplicates) | 490 |
Number of different products | 245 |
Sum of products size | 490 |
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-1879379-1245243558.opb 0.00/0.00 c File size is 18216 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 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: 350 Constr: 506 245/0/261 Lit: 2128 Watch. Lit: 1317 0.00/0.00 c Obj. Vars: 7 (2 % 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 350 506 2128 4 1825 2867 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 39.67/39.80 c 101 350 695 13332 19 4008 3154 189 3366 0.03 39.67/39.80 c 252 350 988 28104 28 6945 3470 482 3405 0.07 39.67/39.80 c 477 350 1415 49136 34 9473 3818 909 3000 0.16 39.67/39.80 c 815 350 2028 84310 41 13163 4200 1522 3326 0.24 39.67/39.80 c 1324 350 3018 133031 44 21971 4621 2512 2098 0.63 39.67/39.80 c 2088 350 4445 205639 46 36843 5084 3939 1366 1.53 39.67/39.80 c 3234 350 4022 175592 43 35712 5593 3516 919 3.52 39.67/39.80 c 4956 350 4252 198681 46 32089 6153 3746 961 5.16 39.67/39.80 c 7540 350 5777 294235 50 33549 6769 5271 1025 7.36 39.67/39.80 c 11419 350 5622 380443 67 50509 7446 5116 831 13.73 39.67/39.80 c 17242 350 4433 203544 45 26039 8191 3927 653 26.39 39.67/39.80 o 9 50.98/51.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.98/51.09 c 22388 350 4964 242259 48 30484 2881 4458 562 39.78 50.98/51.09 c 22488 323 2142 89758 41 15774 3170 1636 563 39.93 50.98/51.09 c 22738 323 2566 112986 44 18670 3488 2060 567 40.04 50.98/51.09 c 23213 323 3487 163206 46 28640 3837 2981 576 40.26 50.98/51.09 c 24026 323 2924 124458 42 15731 4221 2418 583 41.15 50.98/51.09 c 25346 323 3129 126170 40 21065 4644 2623 585 43.26 50.98/51.09 c 27427 323 4683 206291 44 43543 5109 4177 584 46.93 50.98/51.09 c 30650 323 4701 231917 49 25528 5620 4195 615 49.77 50.98/51.09 o 5 56.37/56.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.37/56.43 c 32316 323 4706 217948 46 34181 2875 4200 632 51.08 56.37/56.43 c 32417 314 2141 84928 39 16407 3163 1635 633 51.19 56.37/56.43 c 32667 314 2603 106432 40 20364 3480 2097 635 51.39 56.37/56.43 c 33142 314 3450 146299 42 24018 3829 2944 637 51.98 56.37/56.43 c 33956 314 2796 125837 45 23424 4212 2290 643 52.73 56.37/56.43 c 35276 314 2928 131246 44 23940 4634 2422 646 54.58 56.37/56.43 o 3 475.47/475.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 475.47/475.61 c 36928 314 3415 157726 46 22610 2873 2909 654 56.42 475.47/475.61 c 37028 295 1971 80310 40 12506 3161 1465 655 56.47 475.47/475.61 c 37278 295 2427 103148 42 16578 3478 1921 657 56.67 475.47/475.61 c 37754 295 3310 147745 44 22547 3826 2804 661 57.09 475.47/475.61 c 38567 295 2661 115504 43 19949 4209 2155 668 57.68 475.47/475.61 c 39887 295 2814 113854 40 19562 4630 2308 670 59.45 475.47/475.61 c 41968 295 4105 197004 47 33248 5094 3599 668 62.78 475.47/475.61 c 45192 295 4945 239311 48 59059 5604 4439 599 75.33 475.47/475.61 c 50128 294 4752 228788 48 31408 6165 4246 565 88.66 475.47/475.61 c 57635 294 5666 278616 49 71657 6782 5160 442 130.18 475.47/475.61 c 68997 294 4423 216281 48 36133 7461 3917 412 167.25 475.47/475.61 c 86141 293 5150 245690 47 40214 8208 4644 371 231.96 475.47/475.61 c 111960 293 6426 323979 50 48323 9029 5920 354 315.79 475.47/475.61 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 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 x43 -x44 -x45 -x46 -x47 -x48 -x49 x71 -x72 -x73 -x74 -x75 -x76 -x77 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 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x50 -x51 x52 x53 -x54 -x55 -x56 -x78 -x79 -x80 -x81 -x82 -x83 -x84 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 x57 -x58 x59 x60 -x61 -x62 x63 -x85 x86 x87 -x88 -x89 -x90 -x91 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 x64 -x65 -x66 -x67 -x68 -x69 -x70 x92 x93 -x94 -x95 -x96 -x97 -x98 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 -x99 -x100 -x101 -x102 -x103 -x104 -x105 475.47/475.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 475.47/475.61 c 38 136974 1589 144446 9484 431897 8978 288 475.50 475.47/475.61 c Objective: 3 475.47/475.61 s OPTIMUM FOUND 475.47/475.61 c Total time: 475.501 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-1879379-1245243558/watcher-1879379-1245243558 -o /tmp/evaluation-result-1879379-1245243558/solver-1879379-1245243558 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879379-1245243558.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.95 3/64 7133 /proc/meminfo: memFree=1558512/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=10712 CPUtime=0 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 191955323 10969088 263 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 2678 263 189 640 0 2034 0 [startup+0.087658 s] /proc/loadavg: 1.00 1.00 0.95 3/64 7133 /proc/meminfo: memFree=1558512/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=11364 CPUtime=0.08 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 432 0 0 0 8 0 0 0 18 0 1 0 191955323 11636736 411 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 2841 411 198 640 0 2197 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11364 [startup+0.101658 s] /proc/loadavg: 1.00 1.00 0.95 3/64 7133 /proc/meminfo: memFree=1558512/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=11364 CPUtime=0.09 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 449 0 0 0 9 0 0 0 18 0 1 0 191955323 11636736 428 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 2841 428 198 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.301671 s] /proc/loadavg: 1.00 1.00 0.95 3/64 7133 /proc/meminfo: memFree=1558512/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=12400 CPUtime=0.29 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 716 0 0 0 29 0 0 0 19 0 1 0 191955323 12697600 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 3100 695 198 640 0 2456 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12400 [startup+0.701696 s] /proc/loadavg: 1.00 1.00 0.95 3/64 7133 /proc/meminfo: memFree=1558512/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=13324 CPUtime=0.69 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 952 0 0 0 69 0 0 0 22 0 1 0 191955323 13643776 931 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 3331 931 198 640 0 2687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13324 [startup+1.50174 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7134 /proc/meminfo: memFree=1555176/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=14632 CPUtime=1.49 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 1250 0 0 0 149 0 0 0 25 0 1 0 191955323 14983168 1229 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 3658 1229 198 640 0 3014 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14632 [startup+3.10185 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7134 /proc/meminfo: memFree=1553576/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=15676 CPUtime=3.09 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 1535 0 0 0 309 0 0 0 25 0 1 0 191955323 16052224 1514 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 3919 1514 198 640 0 3275 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15676 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7134 /proc/meminfo: memFree=1552360/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=16964 CPUtime=6.29 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 1859 0 0 0 628 1 0 0 25 0 1 0 191955323 17371136 1838 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 4241 1838 198 640 0 3597 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16964 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7134 /proc/meminfo: memFree=1549672/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=18908 CPUtime=12.68 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2338 0 0 0 1266 2 0 0 25 0 1 0 191955323 19361792 2317 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 4727 2317 198 640 0 4083 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18908 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7134 /proc/meminfo: memFree=1549160/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=19424 CPUtime=25.48 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2475 0 0 0 2545 3 0 0 25 0 1 0 191955323 19890176 2454 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 4856 2454 198 640 0 4212 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19424 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7134 /proc/meminfo: memFree=1549224/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=19424 CPUtime=51.08 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2476 0 0 0 5103 5 0 0 25 0 1 0 191955323 19890176 2455 1992294400 134512640 137136520 4294956256 18446744073709551615 134555615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 4856 2455 198 640 0 4212 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19424 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7134 /proc/meminfo: memFree=1549224/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=19424 CPUtime=102.26 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2476 0 0 0 10218 8 0 0 25 0 1 0 191955323 19890176 2455 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 4856 2455 198 640 0 4212 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19424 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1548968/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=19424 CPUtime=162.24 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2476 0 0 0 16213 11 0 0 25 0 1 0 191955323 19890176 2455 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 4856 2455 198 640 0 4212 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 19424 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1548968/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=19424 CPUtime=222.23 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2476 0 0 0 22209 14 0 0 25 0 1 0 191955323 19890176 2455 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 4856 2455 198 640 0 4212 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 19424 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1548136/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=20336 CPUtime=282.22 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2683 0 0 0 28205 17 0 0 25 0 1 0 191955323 20824064 2662 1992294400 134512640 137136520 4294956256 18446744073709551615 134556181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 5084 2662 198 640 0 4440 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 20336 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1547560/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=20848 CPUtime=342.2 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2820 0 0 0 34201 19 0 0 25 0 1 0 191955323 21348352 2799 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 5212 2799 198 640 0 4568 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 20848 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1547560/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=20848 CPUtime=402.19 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2820 0 0 0 40197 22 0 0 25 0 1 0 191955323 21348352 2799 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 5212 2799 198 640 0 4568 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 20848 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1547496/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=20944 CPUtime=462.18 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2834 0 0 0 46194 24 0 0 25 0 1 0 191955323 21446656 2813 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 5236 2813 198 640 0 4592 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 20944 Solver just ended. Dumping a history of the last processes samples [startup+467.102 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1547496/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=20944 CPUtime=466.98 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2834 0 0 0 46674 24 0 0 25 0 1 0 191955323 21446656 2813 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 5236 2813 198 640 0 4592 0 Current children cumulated CPU time (s) 466.98 Current children cumulated vsize (KiB) 20944 [startup+470.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1547496/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=20944 CPUtime=470.18 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2834 0 0 0 46994 24 0 0 25 0 1 0 191955323 21446656 2813 1992294400 134512640 137136520 4294956256 18446744073709551615 134544398 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 5236 2813 198 640 0 4592 0 Current children cumulated CPU time (s) 470.18 Current children cumulated vsize (KiB) 20944 [startup+473.501 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1547496/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=20944 CPUtime=473.38 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2834 0 0 0 47314 24 0 0 25 0 1 0 191955323 21446656 2813 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 5236 2813 198 640 0 4592 0 Current children cumulated CPU time (s) 473.38 Current children cumulated vsize (KiB) 20944 [startup+474.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1547496/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=20944 CPUtime=474.17 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2834 0 0 0 47393 24 0 0 25 0 1 0 191955323 21446656 2813 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 5236 2813 198 640 0 4592 0 Current children cumulated CPU time (s) 474.17 Current children cumulated vsize (KiB) 20944 [startup+475.101 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1547496/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=20944 CPUtime=474.98 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2834 0 0 0 47474 24 0 0 25 0 1 0 191955323 21446656 2813 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 5236 2813 198 640 0 4592 0 Current children cumulated CPU time (s) 474.98 Current children cumulated vsize (KiB) 20944 [startup+475.501 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1547496/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=20944 CPUtime=475.37 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2834 0 0 0 47513 24 0 0 25 0 1 0 191955323 21446656 2813 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 5236 2813 198 640 0 4592 0 Current children cumulated CPU time (s) 475.37 Current children cumulated vsize (KiB) 20944 [startup+475.601 s] /proc/loadavg: 1.00 1.00 0.95 2/65 7140 /proc/meminfo: memFree=1547496/2055920 swapFree=4182416/4192956 [pid=7133] ppid=7131 vsize=20944 CPUtime=475.47 /proc/7133/stat : 7133 (bsolo) R 7131 7133 6923 0 -1 4194304 2834 0 0 0 47523 24 0 0 25 0 1 0 191955323 21446656 2813 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7133/statm: 5236 2813 198 640 0 4592 0 Current children cumulated CPU time (s) 475.47 Current children cumulated vsize (KiB) 20944 Child status: 0 Real time (s): 475.619 CPU time (s): 475.505 CPU user time (s): 475.256 CPU system time (s): 0.248962 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 20944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 475.256 system time used= 0.248962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2836 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= 453 runsolver used 0.354946 second user time and 1.03484 second system time The end
Begin job on node29 at 2009-06-17 14:59:18 IDJOB=1879379 IDBENCH=47929 IDSOLVER=701 FILE ID=node29/1879379-1245243558 PBS_JOBID= 9372309 Free space on /tmp= 66212 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=59-P1=67-P2=97-P3=53-P4=41-P5=89-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879379-1245243558/watcher-1879379-1245243558 -o /tmp/evaluation-result-1879379-1245243558/solver-1879379-1245243558 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879379-1245243558.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8dfafc2d5e0fe7665bfa4fcefe292d97 RANDOM SEED=589101020 node29.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.237 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.237 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: 1559056 kB Buffers: 25832 kB Cached: 388388 kB SwapCached: 4660 kB Active: 56328 kB Inactive: 365584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1559056 kB SwapTotal: 4192956 kB SwapFree: 4182416 kB Dirty: 4004 kB Writeback: 0 kB Mapped: 13920 kB Slab: 60908 kB Committed_AS: 196288 kB PageTables: 1472 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-1879379-1245243558.opb Free space on /tmp at the end= 66208 MiB End job on node29 at 2009-06-17 15:07:13