Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.01 | 1798.86 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=19-P1=337-P2=467-P3=53-B.opb |
MD5SUM | 1214df7607414e67bdb9a74c838a7ae9 |
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.37064 |
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-1879528-1245244961.opb 0.00/0.00 c File size is 17961 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. 1.99/2.00 c 101 324 697 16934 24 6028 3039 201 2885 0.04 1.99/2.00 c 255 324 983 40316 41 12733 3343 487 1992 0.13 1.99/2.00 c 480 324 1411 79142 56 21570 3678 915 1415 0.34 1.99/2.00 c 819 324 2064 134326 65 35076 4046 1568 1269 0.65 1.99/2.00 c 1328 324 3080 227413 73 74582 4451 2584 1219 1.09 1.99/2.00 o 331 7.09/7.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.14 c 1650 324 3692 280134 75 84808 2780 3196 823 2.00 7.09/7.14 c 1751 324 2083 135890 65 26186 3059 1587 759 2.30 7.09/7.14 c 2002 324 2567 174605 68 31323 3365 2071 797 2.51 7.09/7.14 c 2477 324 3499 251215 71 50309 3702 3003 812 3.05 7.09/7.14 c 3290 324 3157 217318 68 47686 4073 2661 690 4.77 7.09/7.14 o 205 196.51/196.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 196.51/196.66 c 4058 324 2534 171083 67 31874 2780 2038 545 7.44 196.51/196.66 c 4158 324 2724 186517 68 44757 3059 2228 544 7.63 196.51/196.66 c 4408 324 3212 229932 71 59188 3365 2716 557 7.90 196.51/196.66 c 4890 324 2248 150656 67 15184 3702 1752 553 8.83 196.51/196.66 c 5704 324 3780 276103 73 29802 4073 3284 583 9.77 196.51/196.66 c 7025 324 4182 300874 71 61718 4481 3686 534 13.13 196.51/196.66 c 9107 313 3165 219768 69 53138 4930 2669 419 21.73 196.51/196.66 c 12331 313 3423 259868 75 42382 5424 2927 374 32.92 196.51/196.66 c 17269 313 4369 316952 72 49617 5967 3873 324 53.17 196.51/196.66 c 24777 313 6275 471213 75 98397 6564 5779 247 100.09 196.51/196.66 c 36138 313 6821 566122 82 83370 7221 6325 197 183.39 196.51/196.66 o 57 233.29/233.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 233.29/233.46 c 39042 313 4950 358009 72 79507 2778 4454 198 196.59 233.29/233.46 c 39143 291 2087 128976 61 28172 3056 1591 198 197.32 233.29/233.46 c 39393 291 2569 168242 65 39282 3362 2073 199 197.55 233.29/233.46 c 39868 291 3486 238966 68 63874 3699 2990 200 198.61 233.29/233.46 c 40681 291 2971 207008 69 42846 4069 2475 202 200.50 233.29/233.46 c 42002 291 3319 225817 68 44765 4476 2823 206 203.02 233.29/233.46 c 44084 291 4815 368950 76 57278 4924 4319 209 210.72 233.29/233.46 c 47307 291 3010 205361 68 26623 5417 2514 211 223.15 233.29/233.46 o 33 249.67/249.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 249.67/249.85 c 51393 291 4702 362149 77 55817 2774 4206 220 233.36 249.67/249.85 c 51494 291 2085 127493 61 22864 3052 1589 220 233.56 249.67/249.85 c 51744 291 2556 166053 64 29589 3358 2060 221 233.77 249.67/249.85 c 52220 291 3470 240637 69 44061 3694 2974 222 234.50 249.67/249.85 c 53033 291 3099 214629 69 44617 4064 2603 224 236.36 249.67/249.85 c 54353 291 3346 250298 74 49408 4471 2850 227 238.93 249.67/249.85 c 56434 291 4973 367690 73 81431 4919 4477 230 244.83 249.67/249.85 o 9 273.47/273.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 273.47/273.62 c 57803 291 5072 346551 68 88359 2774 4576 231 249.75 273.47/273.62 c 57903 269 2079 111655 53 24439 3052 1583 231 250.14 273.47/273.62 c 58153 269 2560 150533 58 33186 3358 2064 232 250.50 273.47/273.62 c 58629 269 3484 224434 64 50097 3694 2988 233 251.40 273.47/273.62 c 59442 269 3070 203495 66 54777 4064 2574 234 254.02 273.47/273.62 c 60762 269 3493 242657 69 59540 4471 2997 233 260.31 273.47/273.62 c 62844 269 2738 178371 65 44105 4919 2242 230 272.65 273.47/273.62 o 5 416.10/416.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 416.10/416.34 c 63481 269 3972 266147 67 72045 2770 3476 232 273.50 416.10/416.34 c 63581 258 2082 112793 54 24736 3048 1586 232 273.80 416.10/416.34 c 63833 258 2584 155098 60 27753 3353 2088 233 273.96 416.10/416.34 c 64308 258 3504 228189 65 52995 3689 3008 233 274.99 416.10/416.34 c 65121 258 3058 204190 66 47088 4058 2562 234 277.78 416.10/416.34 c 66441 258 3393 235126 69 48271 4464 2897 234 282.97 416.10/416.34 c 68524 258 4966 360460 72 81073 4911 4470 234 292.25 416.10/416.34 c 71748 258 2960 212098 71 38716 5403 2464 236 302.97 416.10/416.34 c 76684 258 3733 266126 71 40282 5944 3237 235 324.95 416.10/416.34 c 84190 258 5718 428508 74 101829 6539 5222 226 372.26 416.10/416.34 o 3 1797.94/1798.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.85 c 89963 258 6346 468908 73 99376 2768 5850 216 416.15 1797.94/1798.85 c 90063 235 2081 123413 59 24316 3045 1585 215 417.49 1797.94/1798.85 c 90313 235 2564 164103 64 39033 3350 2068 216 417.86 1797.94/1798.85 c 90788 235 3470 238334 68 50007 3686 2974 216 419.08 1797.94/1798.85 c 91601 235 3037 207857 68 50040 4055 2541 217 421.34 1797.94/1798.85 c 92921 235 3335 227080 68 53969 4461 2839 218 425.18 1797.94/1798.85 c 95002 235 4954 355387 71 90196 4908 4458 219 433.00 1797.94/1798.85 c 98226 235 3114 213645 68 46671 5399 2618 217 451.22 1797.94/1798.85 c 103162 235 3807 280902 73 59736 5939 3311 215 479.12 1797.94/1798.85 c 110668 235 4126 311170 75 38625 6533 3630 215 513.55 1797.94/1798.85 c 122031 235 4792 349913 73 59781 7187 4296 216 564.42 1797.94/1798.85 c 139176 235 5465 401563 73 81290 7906 4969 214 648.33 1797.94/1798.85 c 164995 235 8250 647045 78 145715 8697 7754 193 851.35 1797.94/1798.85 c 203827 235 8520 715470 83 143299 9567 8024 149 1365.27 1797.94/1798.85 c Resources Exceeded 1797.94/1798.85 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.94/1798.85 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.85 c 67 239553 3228 252544 6176 474305 5680 133 1798.00 1797.94/1798.85 c Objective: 3 1797.94/1798.85 s SATISFIABLE 1797.94/1798.85 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-1879528-1245244961/watcher-1879528-1245244961 -o /tmp/evaluation-result-1879528-1245244961/solver-1879528-1245244961 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879528-1245244961.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: 0.94 0.98 0.99 3/65 13953 /proc/meminfo: memFree=1856048/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=10712 CPUtime=0 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 192094545 10969088 261 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 2678 261 189 640 0 2034 0 [startup+0.0318959 s] /proc/loadavg: 0.94 0.98 0.99 3/65 13953 /proc/meminfo: memFree=1856048/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=10972 CPUtime=0.02 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 357 0 0 0 2 0 0 0 18 0 1 0 192094545 11235328 336 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 2743 336 197 640 0 2099 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10972 [startup+0.101903 s] /proc/loadavg: 0.94 0.98 0.99 3/65 13953 /proc/meminfo: memFree=1856048/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=11492 CPUtime=0.09 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 478 0 0 0 9 0 0 0 18 0 1 0 192094545 11767808 457 1992294400 134512640 137136520 4294956256 18446744073709551615 134606752 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 2873 457 198 640 0 2229 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11492 [startup+0.301926 s] /proc/loadavg: 0.94 0.98 0.99 3/65 13953 /proc/meminfo: memFree=1856048/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=12148 CPUtime=0.29 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 652 0 0 0 29 0 0 0 19 0 1 0 192094545 12439552 631 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 3037 631 198 640 0 2393 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12148 [startup+0.701971 s] /proc/loadavg: 0.94 0.98 0.99 3/65 13953 /proc/meminfo: memFree=1856048/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=13852 CPUtime=0.69 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 1073 0 0 0 69 0 0 0 23 0 1 0 192094545 14184448 1052 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 3463 1052 198 640 0 2819 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13852 [startup+1.50106 s] /proc/loadavg: 0.94 0.98 0.99 2/66 13954 /proc/meminfo: memFree=1851240/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=16460 CPUtime=1.49 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 1731 0 0 0 148 1 0 0 25 0 1 0 192094545 16855040 1710 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 4115 1710 198 640 0 3471 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16460 [startup+3.10224 s] /proc/loadavg: 0.94 0.98 0.99 2/66 13954 /proc/meminfo: memFree=1849320/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=16980 CPUtime=3.09 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 1855 0 0 0 308 1 0 0 25 0 1 0 192094545 17387520 1834 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 4245 1834 198 640 0 3601 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16980 [startup+6.30161 s] /proc/loadavg: 0.95 0.98 0.99 2/66 13954 /proc/meminfo: memFree=1849192/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=16984 CPUtime=6.29 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 1856 0 0 0 628 1 0 0 25 0 1 0 192094545 17391616 1835 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 4246 1835 198 640 0 3602 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16984 [startup+12.7013 s] /proc/loadavg: 0.95 0.98 0.99 2/66 13954 /proc/meminfo: memFree=1848616/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=17504 CPUtime=12.69 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 1972 0 0 0 1267 2 0 0 25 0 1 0 192094545 17924096 1951 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 4376 1951 198 640 0 3732 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17504 [startup+25.5018 s] /proc/loadavg: 1.04 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1847336/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=18944 CPUtime=25.48 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 2355 0 0 0 2544 4 0 0 25 0 1 0 192094545 19398656 2334 1992294400 134512640 137136520 4294956256 18446744073709551615 136518971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 4736 2334 198 640 0 4092 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18944 [startup+51.1017 s] /proc/loadavg: 1.03 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1846760/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=19464 CPUtime=51.08 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 2477 0 0 0 5103 5 0 0 25 0 1 0 192094545 19931136 2456 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 4866 2456 198 640 0 4222 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19464 [startup+102.306 s] /proc/loadavg: 1.07 1.01 1.00 2/66 13954 /proc/meminfo: memFree=1844328/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=21820 CPUtime=102.25 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 3075 0 0 0 10218 7 0 0 25 0 1 0 192094545 22343680 3054 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 5455 3054 198 640 0 4811 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 21820 [startup+162.301 s] /proc/loadavg: 1.12 1.04 1.01 2/66 13954 /proc/meminfo: memFree=1843624/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=22480 CPUtime=162.23 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 3239 0 0 0 16213 10 0 0 25 0 1 0 192094545 23019520 3218 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 5620 3218 198 640 0 4976 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 22480 [startup+222.301 s] /proc/loadavg: 1.09 1.04 1.01 2/66 13954 /proc/meminfo: memFree=1842856/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=23260 CPUtime=222.19 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 3422 0 0 0 22206 13 0 0 25 0 1 0 192094545 23818240 3401 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 5815 3401 198 640 0 5171 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 23260 [startup+282.301 s] /proc/loadavg: 1.08 1.05 1.01 2/66 13954 /proc/meminfo: memFree=1842792/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=23256 CPUtime=282.16 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 3422 0 0 0 28199 17 0 0 25 0 1 0 192094545 23814144 3401 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 5814 3401 198 640 0 5170 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 23256 [startup+342.302 s] /proc/loadavg: 1.13 1.07 1.01 2/66 13954 /proc/meminfo: memFree=1842728/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=23256 CPUtime=342.12 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 3422 0 0 0 34192 20 0 0 25 0 1 0 192094545 23814144 3401 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 5814 3401 198 640 0 5170 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 23256 [startup+402.302 s] /proc/loadavg: 1.15 1.08 1.02 2/66 13954 /proc/meminfo: memFree=1842664/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=23256 CPUtime=402.09 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 3422 0 0 0 40188 21 0 0 25 0 1 0 192094545 23814144 3401 1992294400 134512640 137136520 4294956256 18446744073709551615 134544408 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 5814 3401 198 640 0 5170 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 23256 [startup+462.302 s] /proc/loadavg: 1.09 1.08 1.02 2/66 13954 /proc/meminfo: memFree=1842600/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=23256 CPUtime=462.07 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 3422 0 0 0 46183 24 0 0 25 0 1 0 192094545 23814144 3401 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 5814 3401 198 640 0 5170 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 23256 [startup+522.301 s] /proc/loadavg: 1.06 1.08 1.02 2/66 13954 /proc/meminfo: memFree=1842536/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=23256 CPUtime=522.04 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 3422 0 0 0 52178 26 0 0 25 0 1 0 192094545 23814144 3401 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 5814 3401 198 640 0 5170 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 23256 [startup+582.301 s] /proc/loadavg: 1.09 1.08 1.02 2/66 13954 /proc/meminfo: memFree=1842600/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=23256 CPUtime=582.02 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 3422 0 0 0 58173 29 0 0 25 0 1 0 192094545 23814144 3401 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 5814 3401 198 640 0 5170 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 23256 [startup+642.301 s] /proc/loadavg: 1.03 1.06 1.01 2/66 13954 /proc/meminfo: memFree=1842536/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=23256 CPUtime=642 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 3422 0 0 0 64169 31 0 0 25 0 1 0 192094545 23814144 3401 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 5814 3401 198 640 0 5170 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 23256 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1838696/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=26980 CPUtime=1121.78 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4364 0 0 0 112132 46 0 0 25 0 1 0 192094545 27627520 4343 1992294400 134512640 137136520 4294956256 18446744073709551615 134544338 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 6745 4343 198 640 0 6101 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 26980 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1838632/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=26980 CPUtime=1181.75 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4364 0 0 0 118128 47 0 0 25 0 1 0 192094545 27627520 4343 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 6745 4343 198 640 0 6101 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 26980 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1837864/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=27632 CPUtime=1241.7 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4528 0 0 0 124121 49 0 0 25 0 1 0 192094545 28295168 4507 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 6908 4507 198 640 0 6264 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 27632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1837800/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=27632 CPUtime=1301.68 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4528 0 0 0 130118 50 0 0 25 0 1 0 192094545 28295168 4507 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 6908 4507 198 640 0 6264 0 Current children cumulated CPU time (s) 1301.68 Current children cumulated vsize (KiB) 27632 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1837800/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=27632 CPUtime=1361.65 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4528 0 0 0 136113 52 0 0 25 0 1 0 192094545 28295168 4507 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 6908 4507 198 640 0 6264 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 27632 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836904/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28680 CPUtime=1421.63 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 142109 54 0 0 25 0 1 0 192094545 29368320 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7170 4749 198 640 0 6526 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 28680 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836904/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28680 CPUtime=1481.6 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 148105 55 0 0 25 0 1 0 192094545 29368320 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7170 4749 198 640 0 6526 0 Current children cumulated CPU time (s) 1481.6 Current children cumulated vsize (KiB) 28680 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836840/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28680 CPUtime=1541.58 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 154102 56 0 0 25 0 1 0 192094545 29368320 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7170 4749 198 640 0 6526 0 Current children cumulated CPU time (s) 1541.58 Current children cumulated vsize (KiB) 28680 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836776/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28676 CPUtime=1601.53 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 160096 57 0 0 25 0 1 0 192094545 29364224 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7169 4749 198 640 0 6525 0 Current children cumulated CPU time (s) 1601.53 Current children cumulated vsize (KiB) 28676 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836712/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28676 CPUtime=1661.5 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 166092 58 0 0 25 0 1 0 192094545 29364224 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7169 4749 198 640 0 6525 0 Current children cumulated CPU time (s) 1661.5 Current children cumulated vsize (KiB) 28676 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836648/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28676 CPUtime=1721.48 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 172089 59 0 0 25 0 1 0 192094545 29364224 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7169 4749 198 640 0 6525 0 Current children cumulated CPU time (s) 1721.48 Current children cumulated vsize (KiB) 28676 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836520/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28676 CPUtime=1781.45 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 178084 61 0 0 25 0 1 0 192094545 29364224 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7169 4749 198 640 0 6525 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (KiB) 28676 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836520/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28676 CPUtime=1791.04 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 179043 61 0 0 25 0 1 0 192094545 29364224 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7169 4749 198 640 0 6525 0 Current children cumulated CPU time (s) 1791.04 Current children cumulated vsize (KiB) 28676 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836520/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28676 CPUtime=1794.24 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 179363 61 0 0 25 0 1 0 192094545 29364224 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7169 4749 198 640 0 6525 0 Current children cumulated CPU time (s) 1794.24 Current children cumulated vsize (KiB) 28676 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836520/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28676 CPUtime=1795.84 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 179523 61 0 0 25 0 1 0 192094545 29364224 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7169 4749 198 640 0 6525 0 Current children cumulated CPU time (s) 1795.84 Current children cumulated vsize (KiB) 28676 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836520/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28676 CPUtime=1796.64 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 179603 61 0 0 25 0 1 0 192094545 29364224 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7169 4749 198 640 0 6525 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (KiB) 28676 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836520/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28676 CPUtime=1797.44 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 179682 62 0 0 25 0 1 0 192094545 29364224 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7169 4749 198 640 0 6525 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (KiB) 28676 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836520/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28676 CPUtime=1797.84 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 179722 62 0 0 25 0 1 0 192094545 29364224 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7169 4749 198 640 0 6525 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 28676 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13954 /proc/meminfo: memFree=1836520/2055920 swapFree=4181856/4192956 [pid=13953] ppid=13951 vsize=28676 CPUtime=1797.94 /proc/13953/stat : 13953 (bsolo) R 13951 13953 13618 0 -1 4194304 4770 0 0 0 179732 62 0 0 25 0 1 0 192094545 29364224 4749 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13953/statm: 7169 4749 198 640 0 6525 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 28676 Child status: 0 Real time (s): 1798.86 CPU time (s): 1798.01 CPU user time (s): 1797.38 CPU system time (s): 0.623905 CPU usage (%): 99.9526 Max. virtual memory (cumulated for all children) (KiB): 28688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.38 system time used= 0.623905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4772 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= 6767 runsolver used 2.23666 second user time and 3.88641 second system time The end
Begin job on node88 at 2009-06-17 15:22:41 IDJOB=1879528 IDBENCH=48078 IDSOLVER=701 FILE ID=node88/1879528-1245244961 PBS_JOBID= 9372264 Free space on /tmp= 66520 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=19-P1=337-P2=467-P3=53-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879528-1245244961/watcher-1879528-1245244961 -o /tmp/evaluation-result-1879528-1245244961/solver-1879528-1245244961 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879528-1245244961.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1214df7607414e67bdb9a74c838a7ae9 RANDOM SEED=1694414382 node88.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.214 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 : 5931.00 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.214 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1856528 kB Buffers: 10088 kB Cached: 125620 kB SwapCached: 4780 kB Active: 28400 kB Inactive: 114668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856528 kB SwapTotal: 4192956 kB SwapFree: 4181856 kB Dirty: 4096 kB Writeback: 0 kB Mapped: 13196 kB Slab: 42216 kB Committed_AS: 123552 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-1879528-1245244961.opb Free space on /tmp at the end= 66516 MiB End job on node88 at 2009-06-17 15:52:40