Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 2 | 43.9733 | 43.9914 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb |
MD5SUM | 48d9b1801c3e1b4883cb62109d96eb3c |
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 | 1.3458 |
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-1879383-1245243563.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.002 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. 9.89/9.96 c 102 486 870 9819 11 4119 4263 194 4857 0.02 9.89/9.96 c 252 486 1111 19763 17 5128 4690 435 5361 0.05 9.89/9.96 c 480 486 1493 35485 23 6955 5160 817 5161 0.09 9.89/9.96 c 818 486 2085 61313 29 9600 5677 1409 5381 0.15 9.89/9.96 c 1326 486 3066 103536 33 17777 6245 2390 3331 0.40 9.89/9.96 c 2089 486 4387 155216 35 25066 6870 3711 2460 0.85 9.89/9.96 c 3235 486 6344 237733 37 33762 7558 5668 2675 1.21 9.89/9.96 c 4956 486 5222 203512 38 25361 8314 4546 2093 2.37 9.89/9.96 c 7540 486 5375 197114 36 30214 9146 4699 1777 4.24 9.89/9.96 c 11420 486 7343 354177 48 36380 10061 6667 1182 9.66 9.89/9.96 o 13 39.58/39.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.58/39.60 c 12180 486 8677 412044 47 46246 3887 8001 1222 9.96 39.58/39.60 c 12280 486 2793 97627 34 14241 4276 2117 1212 10.13 39.58/39.60 c 12532 486 3282 120824 36 16090 4704 2606 1226 10.22 39.58/39.60 c 13008 470 4134 158716 38 21294 5175 3458 1239 10.50 39.58/39.60 c 13822 470 5636 223046 39 29609 5693 4960 1280 10.79 39.58/39.60 c 15142 470 4987 188646 37 28185 6263 4311 1335 11.33 39.58/39.60 c 17223 470 5312 202377 38 29090 6890 4636 1362 12.64 39.58/39.60 c 20446 470 7223 289001 40 36430 7580 6547 1367 14.95 39.58/39.60 c 25382 470 7931 306248 38 49757 8339 7255 1159 21.90 39.58/39.60 c 32888 470 8170 314027 38 50060 9173 7494 1038 31.65 39.58/39.60 o 11 41.58/41.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.58/41.70 c 40144 470 6249 244740 39 28714 3883 5573 1013 39.59 41.58/41.70 c 40245 470 2791 89723 32 13035 4272 2115 1014 39.68 41.58/41.70 c 40496 470 3263 110192 33 15951 4700 2587 1018 39.74 41.58/41.70 c 40971 470 4124 146627 35 20447 5171 3448 1027 39.89 41.58/41.70 c 41784 470 5608 209314 37 31346 5689 4932 1035 40.34 41.58/41.70 c 43105 470 4841 184287 38 27311 6258 4165 1045 41.25 41.58/41.70 o 5 43.27/43.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.27/43.36 c 43932 470 6349 246295 38 39514 3883 5673 1053 41.69 43.27/43.36 c 44034 462 2821 93526 33 17442 4272 2145 1054 41.77 43.27/43.36 c 44285 462 3278 114928 35 20331 4700 2602 1058 41.85 43.27/43.36 c 44760 462 4148 153308 36 25979 5171 3472 1064 42.07 43.27/43.36 c 45573 462 5598 218100 38 33482 5689 4922 1068 42.63 43.27/43.36 o 3 43.87/43.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.87/43.98 c 46888 462 4817 173253 35 30992 3881 4141 1081 43.34 43.87/43.98 c 46989 462 2812 87176 31 17244 4270 2136 1082 43.40 43.87/43.98 c 47240 462 3250 103002 31 20944 4698 2574 1085 43.51 43.87/43.98 c 47715 445 4039 134375 33 25534 5168 3363 1089 43.81 43.87/43.98 o 2 43.87/43.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.87/43.98 c 48183 445 4906 174072 35 32714 3875 4230 1095 43.97 43.87/43.98 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 43.87/43.98 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 43.87/43.98 c 36 48183 2655 60262 4906 174072 4230 1095 43.97 43.87/43.98 c Objective: 2 43.87/43.98 s OPTIMUM FOUND 43.87/43.98 c Total time: 43.97 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-1879383-1245243563/watcher-1879383-1245243563 -o /tmp/evaluation-result-1879383-1245243563/solver-1879383-1245243563 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879383-1245243563.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.03 1.05 0.95 3/64 6346 /proc/meminfo: memFree=1757680/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=10844 CPUtime=0 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 191957395 11104256 272 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 2711 272 188 640 0 2067 0 [startup+0.028572 s] /proc/loadavg: 1.03 1.05 0.95 3/64 6346 /proc/meminfo: memFree=1757680/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=10972 CPUtime=0.02 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 354 0 0 0 2 0 0 0 18 0 1 0 191957395 11235328 332 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 2743 332 198 640 0 2099 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10972 [startup+0.10158 s] /proc/loadavg: 1.03 1.05 0.95 3/64 6346 /proc/meminfo: memFree=1757680/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=11484 CPUtime=0.09 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 467 0 0 0 9 0 0 0 18 0 1 0 191957395 11759616 445 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 2871 445 198 640 0 2227 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11484 [startup+0.3016 s] /proc/loadavg: 1.03 1.05 0.95 3/64 6346 /proc/meminfo: memFree=1757680/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=12516 CPUtime=0.29 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 722 0 0 0 29 0 0 0 19 0 1 0 191957395 12816384 700 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 3129 700 198 640 0 2485 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12516 [startup+0.701641 s] /proc/loadavg: 1.03 1.05 0.95 3/64 6346 /proc/meminfo: memFree=1757680/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=13304 CPUtime=0.69 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 947 0 0 0 69 0 0 0 23 0 1 0 191957395 13623296 925 1992294400 134512640 137136520 4294956256 18446744073709551615 134609088 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 3326 925 198 640 0 2682 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13304 [startup+1.50172 s] /proc/loadavg: 1.03 1.05 0.95 2/65 6347 /proc/meminfo: memFree=1753768/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=16268 CPUtime=1.49 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 1685 0 0 0 148 1 0 0 25 0 1 0 191957395 16658432 1663 1992294400 134512640 137136520 4294956256 18446744073709551615 134605995 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 4067 1663 198 640 0 3423 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16268 [startup+3.10189 s] /proc/loadavg: 1.03 1.05 0.95 2/65 6347 /proc/meminfo: memFree=1750824/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=17048 CPUtime=3.09 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 1877 0 0 0 308 1 0 0 25 0 1 0 191957395 17457152 1855 1992294400 134512640 137136520 4294956256 18446744073709551615 134544893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 4262 1855 198 640 0 3618 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17048 [startup+6.30121 s] /proc/loadavg: 1.03 1.05 0.95 2/65 6347 /proc/meminfo: memFree=1750312/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=17568 CPUtime=6.28 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 2010 0 0 0 627 1 0 0 25 0 1 0 191957395 17989632 1988 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 4392 1988 198 640 0 3748 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17568 [startup+12.7019 s] /proc/loadavg: 1.02 1.05 0.95 2/65 6347 /proc/meminfo: memFree=1749104/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=18732 CPUtime=12.69 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 2297 0 0 0 1266 3 0 0 25 0 1 0 191957395 19181568 2275 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 4683 2275 198 640 0 4039 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18732 [startup+25.5012 s] /proc/loadavg: 1.02 1.05 0.95 2/65 6347 /proc/meminfo: memFree=1749168/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=18732 CPUtime=25.48 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 2297 0 0 0 2543 5 0 0 25 0 1 0 191957395 19181568 2275 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 4683 2275 198 640 0 4039 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18732 Solver just ended. Dumping a history of the last processes samples [startup+31.9068 s] /proc/loadavg: 1.02 1.04 0.95 2/65 6347 /proc/meminfo: memFree=1749168/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=18732 CPUtime=31.89 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 2297 0 0 0 3183 6 0 0 25 0 1 0 191957395 19181568 2275 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 4683 2275 198 640 0 4039 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 18732 [startup+38.3015 s] /proc/loadavg: 1.02 1.04 0.95 2/65 6347 /proc/meminfo: memFree=1749168/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=18736 CPUtime=38.27 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 2298 0 0 0 3821 6 0 0 25 0 1 0 191957395 19185664 2276 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 4684 2276 198 640 0 4040 0 Current children cumulated CPU time (s) 38.27 Current children cumulated vsize (KiB) 18736 [startup+41.5018 s] /proc/loadavg: 1.01 1.04 0.95 2/65 6347 /proc/meminfo: memFree=1749168/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=18736 CPUtime=41.48 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 2298 0 0 0 4141 7 0 0 25 0 1 0 191957395 19185664 2276 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 4684 2276 198 640 0 4040 0 Current children cumulated CPU time (s) 41.48 Current children cumulated vsize (KiB) 18736 [startup+43.102 s] /proc/loadavg: 1.01 1.04 0.95 2/65 6347 /proc/meminfo: memFree=1749168/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=18736 CPUtime=43.07 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 2298 0 0 0 4300 7 0 0 25 0 1 0 191957395 19185664 2276 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 4684 2276 198 640 0 4040 0 Current children cumulated CPU time (s) 43.07 Current children cumulated vsize (KiB) 18736 [startup+43.501 s] /proc/loadavg: 1.01 1.04 0.95 2/65 6347 /proc/meminfo: memFree=1749168/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=18736 CPUtime=43.47 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 2298 0 0 0 4340 7 0 0 25 0 1 0 191957395 19185664 2276 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 4684 2276 198 640 0 4040 0 Current children cumulated CPU time (s) 43.47 Current children cumulated vsize (KiB) 18736 [startup+43.9011 s] /proc/loadavg: 1.01 1.04 0.95 2/65 6347 /proc/meminfo: memFree=1749168/2055920 swapFree=4181984/4192956 [pid=6346] ppid=6344 vsize=18736 CPUtime=43.87 /proc/6346/stat : 6346 (bsolo) R 6344 6346 6135 0 -1 4194304 2298 0 0 0 4380 7 0 0 25 0 1 0 191957395 19185664 2276 1992294400 134512640 137136520 4294956256 18446744073709551615 134574475 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6346/statm: 4684 2276 198 640 0 4040 0 Current children cumulated CPU time (s) 43.87 Current children cumulated vsize (KiB) 18736 Child status: 0 Real time (s): 43.9914 CPU time (s): 43.9733 CPU user time (s): 43.8903 CPU system time (s): 0.082987 CPU usage (%): 99.959 Max. virtual memory (cumulated for all children) (KiB): 18736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 43.8903 system time used= 0.082987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2300 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= 149 runsolver used 0.044993 second user time and 0.124981 second system time The end
Begin job on node2 at 2009-06-17 14:59:23 IDJOB=1879383 IDBENCH=47933 IDSOLVER=701 FILE ID=node2/1879383-1245243563 PBS_JOBID= 9372334 Free space on /tmp= 66420 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=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879383-1245243563/watcher-1879383-1245243563 -o /tmp/evaluation-result-1879383-1245243563/solver-1879383-1245243563 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879383-1245243563.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 48d9b1801c3e1b4883cb62109d96eb3c RANDOM SEED=162526323 node2.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 : 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.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1758224 kB Buffers: 37256 kB Cached: 194656 kB SwapCached: 5068 kB Active: 95460 kB Inactive: 144560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1758224 kB SwapTotal: 4192956 kB SwapFree: 4181984 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 14412 kB Slab: 43572 kB Committed_AS: 215560 kB PageTables: 1468 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-1879383-1245243563.opb Free space on /tmp at the end= 66416 MiB End job on node2 at 2009-06-17 15:00:08