Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 2 | 46.6849 | 46.7195 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=5-P1=53-P2=2-P3=3-P4=59-P5=29-P6=47-P7=67-P8=37-P9=43-B.opb |
MD5SUM | 25f560c7f1432359ec7ec03d2820d955 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 7.50186 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 162 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 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: 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-1879497-1245244351.opb 0.00/0.00 c File size is 24339 bytes. 0.00/0.00 c Highest Coefficient sum: 8064 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 486 Constr: 676 324/0/352 Lit: 2856 Watch. Lit: 1784 0.00/0.00 c Obj. Vars: 6 (1.23457 % 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 486 676 2856 4 2444 3875 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 14.19/14.28 c 100 486 873 10218 11 4025 4263 197 4545 0.02 14.19/14.28 c 251 486 1078 18241 16 5212 4690 402 5976 0.04 14.19/14.28 c 476 486 1438 31099 21 6604 5160 762 6102 0.08 14.19/14.28 c 816 486 2071 56936 27 11348 5677 1395 4508 0.18 14.19/14.28 c 1325 486 3006 97773 32 17211 6245 2330 4114 0.32 14.19/14.28 c 2088 486 4441 158069 35 25784 6870 3765 3061 0.68 14.19/14.28 c 3235 486 6346 237679 37 35880 7558 5670 2539 1.27 14.19/14.28 c 4960 486 5429 215067 39 27872 8314 4753 2024 2.45 14.19/14.28 c 7545 486 5687 241161 42 35879 9146 5011 1530 4.93 14.19/14.28 c 11425 486 8332 368125 44 54698 10061 7656 888 12.86 14.19/14.28 o 37 14.78/14.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.78/14.81 c 12419 486 10056 437956 43 71034 3887 9380 869 14.28 14.78/14.81 c 12519 486 2812 89404 31 17273 4276 2136 860 14.54 14.78/14.81 c 12770 486 3299 112159 33 22136 4704 2623 865 14.76 14.78/14.81 o 13 24.48/24.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.48/24.54 c 12897 486 3542 122512 34 25128 3887 2866 870 14.81 24.48/24.54 c 13000 470 3739 131590 35 26816 4276 3063 873 14.88 24.48/24.54 c 13250 470 4188 154801 36 30551 4704 3512 883 14.99 24.48/24.54 c 13726 470 5027 189678 37 36454 5175 4351 903 15.19 24.48/24.54 c 14539 470 3563 127771 35 23512 5693 2887 925 15.72 24.48/24.54 c 15860 470 5998 225900 37 38973 6263 5322 968 16.37 24.48/24.54 c 17941 470 6245 234244 37 36838 6890 5569 987 18.17 24.48/24.54 c 21166 470 4643 165414 35 24940 7580 3967 1016 20.82 24.48/24.54 o 11 37.66/37.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.66/37.70 c 25534 470 4470 166721 37 27385 3883 3794 1038 24.58 37.66/37.70 c 25634 470 2622 83887 31 15473 4272 1946 1039 24.66 37.66/37.70 c 25885 470 3097 104908 33 19391 4700 2421 1044 24.77 37.66/37.70 c 26360 470 3811 134656 35 23028 5171 3135 1058 24.91 37.66/37.70 c 27174 470 5181 193221 37 30475 5689 4505 1074 25.29 37.66/37.70 c 28495 470 4618 157653 34 25159 6258 3942 1098 25.93 37.66/37.70 c 30577 470 4840 198617 41 23848 6884 4164 1130 27.05 37.66/37.70 c 33801 470 6502 256704 39 34760 7573 5826 1148 29.43 37.66/37.70 c 38737 470 6674 327632 49 31533 8331 5998 1103 35.10 37.66/37.70 o 3 46.55/46.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.55/46.66 c 44130 470 7599 289377 38 41179 3883 6923 1171 37.68 46.55/46.66 c 44231 445 2781 85467 30 14322 4272 2105 1170 37.80 46.55/46.66 c 44482 445 3241 104148 32 17292 4700 2565 1173 37.90 46.55/46.66 c 44958 445 4125 142553 34 22635 5171 3449 1180 38.07 46.55/46.66 c 45771 445 5668 203183 35 32517 5689 4992 1191 38.40 46.55/46.66 c 47091 445 5102 185747 36 34586 6258 4426 1201 39.19 46.55/46.66 c 49172 445 5306 195436 36 30335 6884 4630 1216 40.42 46.55/46.66 c 52395 445 7400 275795 37 47374 7573 6724 1194 43.86 46.55/46.66 o 2 46.65/46.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.65/46.71 c 55370 445 4470 172663 38 27521 3883 3794 1186 46.68 46.65/46.71 v -x1 x2 -x3 -x4 -x5 -x6 x7 x8 -x9 x10 -x11 -x12 x13 x14 -x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 x25 -x26 x27 -x28 -x29 -x30 x31 x32 x33 -x34 x35 -x36 x37 x38 -x39 -x40 -x41 -x42 x43 x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 x55 -x56 x57 x58 -x59 -x60 -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 -x61 x62 x63 -x64 x65 -x66 -x109 -x110 -x111 -x112 -x113 -x114 -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 -x67 x68 -x69 -x70 -x71 -x72 x115 -x116 -x117 -x118 -x119 -x120 -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 -x73 x74 x75 -x76 -x77 -x78 -x121 -x122 -x123 -x124 -x125 -x126 -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 -x79 x80 x81 x82 x83 -x84 -x127 -x128 -x129 -x130 -x131 -x132 -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 -x85 x86 -x87 -x88 x89 x90 -x133 x134 -x135 x136 -x137 -x138 -x343 x344 -x345 -x346 x347 x348 -x349 x350 -x351 -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 -x91 x92 x93 -x94 x95 -x96 -x139 x140 -x141 -x142 -x143 -x144 -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 -x97 x98 -x99 -x100 -x101 -x102 x145 -x146 -x147 -x148 -x149 -x150 -x415 x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x103 x104 x105 -x106 -x107 -x108 -x151 -x152 -x153 -x154 -x155 -x156 -x451 x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 x465 -x466 -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x157 -x158 -x159 -x160 -x161 -x162 46.65/46.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 46.65/46.71 c 39 55370 2653 67343 4470 172663 3794 1186 46.68 46.65/46.71 c Objective: 2 46.65/46.71 s OPTIMUM FOUND 46.65/46.71 c Total time: 46.677 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879497-1245244351/watcher-1879497-1245244351 -o /tmp/evaluation-result-1879497-1245244351/solver-1879497-1245244351 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879497-1245244351.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.92 0.98 0.94 3/64 10873 /proc/meminfo: memFree=1851312/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=10844 CPUtime=0 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 192031501 11104256 277 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 2711 277 189 640 0 2067 0 [startup+0.00865898 s] /proc/loadavg: 0.92 0.98 0.94 3/64 10873 /proc/meminfo: memFree=1851312/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=10844 CPUtime=0 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 314 0 0 0 0 0 0 0 18 0 1 0 192031501 11104256 292 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 2711 292 191 640 0 2067 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10844 [startup+0.101673 s] /proc/loadavg: 0.92 0.98 0.94 3/64 10873 /proc/meminfo: memFree=1851312/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=11364 CPUtime=0.09 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 462 0 0 0 9 0 0 0 18 0 1 0 192031501 11636736 440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 2841 440 198 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.301708 s] /proc/loadavg: 0.92 0.98 0.94 3/64 10873 /proc/meminfo: memFree=1851312/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=12392 CPUtime=0.29 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 713 0 0 0 29 0 0 0 19 0 1 0 192031501 12689408 691 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 3098 691 198 640 0 2454 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12392 [startup+0.701777 s] /proc/loadavg: 0.92 0.98 0.94 3/64 10873 /proc/meminfo: memFree=1851312/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=13816 CPUtime=0.69 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 1052 0 0 0 69 0 0 0 23 0 1 0 192031501 14147584 1030 1992294400 134512640 137136520 4294956256 18446744073709551615 136502090 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 3454 1030 198 640 0 2810 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13816 [startup+1.50191 s] /proc/loadavg: 0.92 0.98 0.94 2/65 10874 /proc/meminfo: memFree=1847136/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=15512 CPUtime=1.49 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 1481 0 0 0 149 0 0 0 25 0 1 0 192031501 15884288 1459 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 3878 1459 198 640 0 3234 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15512 [startup+3.10119 s] /proc/loadavg: 0.92 0.98 0.94 2/65 10874 /proc/meminfo: memFree=1844704/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=16792 CPUtime=3.09 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 1796 0 0 0 308 1 0 0 25 0 1 0 192031501 17195008 1774 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 4198 1774 198 640 0 3554 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16792 [startup+6.30274 s] /proc/loadavg: 0.93 0.98 0.94 2/65 10874 /proc/meminfo: memFree=1843488/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=17936 CPUtime=6.29 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 2082 0 0 0 628 1 0 0 25 0 1 0 192031501 18366464 2060 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 4484 2060 198 640 0 3840 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17936 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.94 2/65 10874 /proc/meminfo: memFree=1842856/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=18568 CPUtime=12.69 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 2241 0 0 0 1267 2 0 0 25 0 1 0 192031501 19013632 2219 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 4642 2219 198 640 0 3998 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18568 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.94 2/65 10874 /proc/meminfo: memFree=1842536/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=18944 CPUtime=25.48 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 2346 0 0 0 2544 4 0 0 25 0 1 0 192031501 19398656 2324 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 4736 2324 198 640 0 4092 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18944 Solver just ended. Dumping a history of the last processes samples [startup+38.3013 s] /proc/loadavg: 0.95 0.98 0.94 2/65 10874 /proc/meminfo: memFree=1842536/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=18944 CPUtime=38.26 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 2346 0 0 0 3820 6 0 0 25 0 1 0 192031501 19398656 2324 1992294400 134512640 137136520 4294956256 18446744073709551615 136295684 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 4736 2324 198 640 0 4092 0 Current children cumulated CPU time (s) 38.26 Current children cumulated vsize (KiB) 18944 [startup+41.5018 s] /proc/loadavg: 0.96 0.98 0.94 2/65 10874 /proc/meminfo: memFree=1842536/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=18944 CPUtime=41.46 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 2346 0 0 0 4139 7 0 0 25 0 1 0 192031501 19398656 2324 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 4736 2324 198 640 0 4092 0 Current children cumulated CPU time (s) 41.46 Current children cumulated vsize (KiB) 18944 [startup+44.7014 s] /proc/loadavg: 0.96 0.98 0.94 2/65 10874 /proc/meminfo: memFree=1842536/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=18944 CPUtime=44.66 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 2346 0 0 0 4459 7 0 0 25 0 1 0 192031501 19398656 2324 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 4736 2324 198 640 0 4092 0 Current children cumulated CPU time (s) 44.66 Current children cumulated vsize (KiB) 18944 [startup+45.5015 s] /proc/loadavg: 0.96 0.98 0.94 2/65 10874 /proc/meminfo: memFree=1842536/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=18944 CPUtime=45.46 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 2346 0 0 0 4539 7 0 0 25 0 1 0 192031501 19398656 2324 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 4736 2324 198 640 0 4092 0 Current children cumulated CPU time (s) 45.46 Current children cumulated vsize (KiB) 18944 [startup+46.3017 s] /proc/loadavg: 0.96 0.98 0.94 2/65 10874 /proc/meminfo: memFree=1842536/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=18944 CPUtime=46.25 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 2346 0 0 0 4618 7 0 0 25 0 1 0 192031501 19398656 2324 1992294400 134512640 137136520 4294956256 18446744073709551615 134605304 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 4736 2324 198 640 0 4092 0 Current children cumulated CPU time (s) 46.25 Current children cumulated vsize (KiB) 18944 [startup+46.7017 s] /proc/loadavg: 0.96 0.98 0.94 2/65 10874 /proc/meminfo: memFree=1842536/2055920 swapFree=4181252/4192956 [pid=10873] ppid=10871 vsize=18944 CPUtime=46.65 /proc/10873/stat : 10873 (bsolo) R 10871 10873 10594 0 -1 4194304 2346 0 0 0 4658 7 0 0 25 0 1 0 192031501 19398656 2324 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10873/statm: 4736 2324 198 640 0 4092 0 Current children cumulated CPU time (s) 46.65 Current children cumulated vsize (KiB) 18944 Child status: 0 Real time (s): 46.7195 CPU time (s): 46.6849 CPU user time (s): 46.6059 CPU system time (s): 0.078987 CPU usage (%): 99.926 Max. virtual memory (cumulated for all children) (KiB): 18944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.6059 system time used= 0.078987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2348 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= 202 runsolver used 0.040993 second user time and 0.136979 second system time The end
Begin job on node48 at 2009-06-17 15:12:31 IDJOB=1879497 IDBENCH=48047 IDSOLVER=701 FILE ID=node48/1879497-1245244351 PBS_JOBID= 9372292 Free space on /tmp= 66236 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=5-P1=53-P2=2-P3=3-P4=59-P5=29-P6=47-P7=67-P8=37-P9=43-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879497-1245244351/watcher-1879497-1245244351 -o /tmp/evaluation-result-1879497-1245244351/solver-1879497-1245244351 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879497-1245244351.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 25f560c7f1432359ec7ec03d2820d955 RANDOM SEED=1812696836 node48.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.270 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.270 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: 1851792 kB Buffers: 24884 kB Cached: 112516 kB SwapCached: 5468 kB Active: 31196 kB Inactive: 114008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1851792 kB SwapTotal: 4192956 kB SwapFree: 4181252 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 13516 kB Slab: 44912 kB Committed_AS: 173960 kB PageTables: 1372 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-1879497-1245244351.opb Free space on /tmp at the end= 66232 MiB End job on node48 at 2009-06-17 15:13:18