Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 67.7867 | 67.8039 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb |
MD5SUM | c07fae5b4c60769a268376cf318d4faa |
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 | 0.725888 |
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 | 147 |
Total number of constraints | 15 |
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 | 15 |
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) | 343 |
Sum of products size (including duplicates) | 686 |
Number of different products | 343 |
Sum of products size | 686 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670386-1276701574.opb 0.00/0.00 c File size is 25525 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: 490 Constr: 708 343/0/365 Lit: 2982 Watch. Lit: 1843 0.00/0.00 c Obj. Vars: 7 (1.42857 % of total variables) 0.00/0.01 c Pre-processing Time: 0.008 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 490 708 2982 4 2557 4020 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 6.60/6.68 c 100 490 808 7053 8 2711 4423 100 6250 0.02 6.60/6.68 c 250 490 958 15020 15 2987 4866 250 8620 0.03 6.60/6.68 c 476 490 1184 27396 23 3453 5353 476 9916 0.05 6.60/6.68 c 814 490 1522 45917 30 4121 5889 814 9807 0.08 6.60/6.68 c 1322 490 2030 74110 36 5124 6478 1322 10015 0.13 6.60/6.68 c 2085 490 2793 115157 41 6585 7126 2085 9976 0.21 6.60/6.68 c 3231 490 3939 173224 43 8894 7839 3231 8458 0.38 6.60/6.68 c 4954 490 5662 265004 46 12328 8623 4954 7067 0.70 6.60/6.68 c 7540 490 8248 381654 46 17548 9486 7540 6032 1.25 6.60/6.68 c 11419 490 6932 338571 48 14822 10435 6224 5846 1.95 6.60/6.68 c 17241 490 7335 383581 52 15669 11479 6627 5754 3.00 6.60/6.68 c 25979 489 10199 483752 47 21465 12627 9491 5554 4.68 6.60/6.68 o 3 67.77/67.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.77/67.80 c 33750 489 11241 570990 50 23529 4034 10533 5050 6.68 67.77/67.80 c 33850 456 2827 112487 39 6718 4438 2119 5013 6.75 67.77/67.80 c 34100 456 3077 126091 40 7210 4882 2369 5025 6.79 67.77/67.80 c 34576 456 3553 151681 42 8052 5371 2845 5046 6.85 67.77/67.80 c 35390 456 4367 194767 44 9752 5909 3659 5081 6.96 67.77/67.80 c 36710 456 5687 260488 45 12345 6500 4979 5058 7.26 67.77/67.80 c 38791 434 4242 184196 43 9610 7151 3534 5090 7.62 67.77/67.80 c 42014 434 7465 358294 47 16003 7867 6757 5016 8.38 67.77/67.80 c 46950 434 8377 390539 46 17805 8654 7669 4525 10.37 67.77/67.80 c 54457 434 6563 301832 45 14194 9520 5855 4457 12.22 67.77/67.80 c 65819 434 7655 339468 44 16369 10473 6947 4037 16.30 67.77/67.80 c 82964 434 7874 355643 45 16790 11521 7166 3796 21.85 67.77/67.80 c 108784 432 9564 443101 46 20210 12674 8856 3292 33.04 67.77/67.80 c 147616 429 9116 411179 45 19247 13942 8408 2740 53.86 67.77/67.80 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 x148 x149 -x150 -x151 -x152 -x153 -x154 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 x57 -x58 -x59 x60 -x61 -x62 -x63 -x99 -x100 -x101 -x102 -x103 -x104 -x105 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 -x244 -x245 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x106 -x107 x108 -x109 -x110 -x111 -x112 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 x71 -x72 -x73 x74 x75 x76 -x77 -x113 -x114 -x115 -x116 -x117 -x118 -x119 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 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x78 x79 -x80 x81 -x82 x83 -x84 x120 -x121 -x122 -x123 -x124 -x125 -x126 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 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x85 -x86 -x87 -x88 -x89 -x90 -x91 x127 -x128 -x129 -x130 -x131 -x132 -x133 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -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 x92 -x93 -x94 -x95 -x96 -x97 x98 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x442 -x443 -x444 -x445 -x446 -x447 x448 x449 -x450 -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 -x487 -x488 -x489 -x490 x141 -x142 -x143 -x144 -x145 -x146 -x147 67.77/67.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 67.77/67.80 c 26 172816 2362 183731 13072 521245 12364 2549 67.78 67.77/67.80 c Objective: 3 67.77/67.80 s OPTIMUM FOUND 67.77/67.80 c Total time: 67.784 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-2670386-1276701574/watcher-2670386-1276701574 -o /tmp/evaluation-result-2670386-1276701574/solver-2670386-1276701574 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670386-1276701574.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.98 2/105 17169 /proc/meminfo: memFree=1889772/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=10924 CPUtime=0 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11450962 11186176 284 1992294400 134512640 137138936 4287929088 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 2731 286 185 642 0 2087 0 [startup+0.021649 s] /proc/loadavg: 1.00 1.00 0.98 2/105 17169 /proc/meminfo: memFree=1889772/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=11048 CPUtime=0.02 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 395 0 0 0 2 0 0 0 25 0 1 0 11450962 11313152 307 1992294400 134512640 137138936 4287929088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 2762 307 190 642 0 2118 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11048 [startup+0.101656 s] /proc/loadavg: 1.00 1.00 0.98 2/105 17169 /proc/meminfo: memFree=1889772/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=11680 CPUtime=0.09 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 564 0 0 0 9 0 0 0 25 0 1 0 11450962 11960320 476 1992294400 134512640 137138936 4287929088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 2920 476 190 642 0 2276 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11680 [startup+0.301675 s] /proc/loadavg: 1.00 1.00 0.98 2/105 17169 /proc/meminfo: memFree=1889772/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=13076 CPUtime=0.3 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 917 0 0 0 29 1 0 0 25 0 1 0 11450962 13389824 829 1992294400 134512640 137138936 4287929088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 3269 829 190 642 0 2625 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 13076 [startup+0.701714 s] /proc/loadavg: 1.00 1.00 0.98 2/105 17169 /proc/meminfo: memFree=1889772/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=14852 CPUtime=0.69 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 1349 0 0 0 68 1 0 0 25 0 1 0 11450962 15208448 1261 1992294400 134512640 137138936 4287929088 18446744073709551615 134574754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 3713 1261 190 642 0 3069 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14852 [startup+1.50179 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17170 /proc/meminfo: memFree=1884556/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=18156 CPUtime=1.49 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 2198 0 0 0 147 2 0 0 25 0 1 0 11450962 18591744 2110 1992294400 134512640 137138936 4287929088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 4539 2110 190 642 0 3895 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18156 [startup+3.10195 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17170 /proc/meminfo: memFree=1881704/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=19660 CPUtime=3.09 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 2555 0 0 0 306 3 0 0 25 0 1 0 11450962 20131840 2467 1992294400 134512640 137138936 4287929088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 4915 2467 190 642 0 4271 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19660 [startup+6.30125 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17170 /proc/meminfo: memFree=1878984/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=21144 CPUtime=6.29 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 2944 0 0 0 623 6 0 0 25 0 1 0 11450962 21651456 2856 1992294400 134512640 137138936 4287929088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 5286 2856 190 642 0 4642 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21144 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17170 /proc/meminfo: memFree=1878860/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=21144 CPUtime=12.69 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 2945 0 0 0 1260 9 0 0 25 0 1 0 11450962 21651456 2857 1992294400 134512640 137138936 4287929088 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 5286 2857 191 642 0 4642 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21144 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17170 /proc/meminfo: memFree=1878860/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=21144 CPUtime=25.49 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 2945 0 0 0 2535 14 0 0 25 0 1 0 11450962 21651456 2857 1992294400 134512640 137138936 4287929088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 5286 2857 191 642 0 4642 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21144 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17170 /proc/meminfo: memFree=1878488/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=21652 CPUtime=51.08 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 3059 0 0 0 5085 23 0 0 25 0 1 0 11450962 22171648 2971 1992294400 134512640 137138936 4287929088 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 5413 2971 191 642 0 4769 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21652 Solver just ended. Dumping a history of the last processes samples [startup+57.5012 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17170 /proc/meminfo: memFree=1878488/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=21656 CPUtime=57.48 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 3060 0 0 0 5723 25 0 0 25 0 1 0 11450962 22175744 2972 1992294400 134512640 137138936 4287929088 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 5414 2972 191 642 0 4770 0 Current children cumulated CPU time (s) 57.48 Current children cumulated vsize (KiB) 21656 [startup+63.9008 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17172 /proc/meminfo: memFree=1878488/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=21656 CPUtime=63.87 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 3060 0 0 0 6360 27 0 0 25 0 1 0 11450962 22175744 2972 1992294400 134512640 137138936 4287929088 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 5414 2972 191 642 0 4770 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 21656 [startup+65.501 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17172 /proc/meminfo: memFree=1878488/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=21656 CPUtime=65.48 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 3060 0 0 0 6520 28 0 0 25 0 1 0 11450962 22175744 2972 1992294400 134512640 137138936 4287929088 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 5414 2972 191 642 0 4770 0 Current children cumulated CPU time (s) 65.48 Current children cumulated vsize (KiB) 21656 [startup+67.1081 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17172 /proc/meminfo: memFree=1878488/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=21656 CPUtime=67.08 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 3060 0 0 0 6680 28 0 0 25 0 1 0 11450962 22175744 2972 1992294400 134512640 137138936 4287929088 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 5414 2972 191 642 0 4770 0 Current children cumulated CPU time (s) 67.08 Current children cumulated vsize (KiB) 21656 [startup+67.5012 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17172 /proc/meminfo: memFree=1878488/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=21656 CPUtime=67.47 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 3060 0 0 0 6719 28 0 0 25 0 1 0 11450962 22175744 2972 1992294400 134512640 137138936 4287929088 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 5414 2972 191 642 0 4770 0 Current children cumulated CPU time (s) 67.47 Current children cumulated vsize (KiB) 21656 [startup+67.7012 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17172 /proc/meminfo: memFree=1878488/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=21656 CPUtime=67.67 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 3060 0 0 0 6739 28 0 0 25 0 1 0 11450962 22175744 2972 1992294400 134512640 137138936 4287929088 18446744073709551615 134599964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 5414 2972 191 642 0 4770 0 Current children cumulated CPU time (s) 67.67 Current children cumulated vsize (KiB) 21656 [startup+67.8012 s] /proc/loadavg: 1.00 1.00 0.98 2/106 17172 /proc/meminfo: memFree=1878488/2059040 swapFree=4140136/4192956 [pid=17169] ppid=17167 vsize=21656 CPUtime=67.77 /proc/17169/stat : 17169 (bsolo_pb10) R 17167 17169 16848 0 -1 4202496 3060 0 0 0 6749 28 0 0 25 0 1 0 11450962 22175744 2972 1992294400 134512640 137138936 4287929088 18446744073709551615 136501669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17169/statm: 5414 2972 191 642 0 4770 0 Current children cumulated CPU time (s) 67.77 Current children cumulated vsize (KiB) 21656 Child status: 0 Real time (s): 67.8039 CPU time (s): 67.7867 CPU user time (s): 67.4957 CPU system time (s): 0.290955 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 21656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 67.4957 system time used= 0.290955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3061 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= 1 involuntary context switches= 128 runsolver used 0.119981 second user time and 0.319951 second system time The end
Begin job on node089 at 2010-06-16 17:19:35 IDJOB=2670386 IDBENCH=47909 IDSOLVER=1163 FILE ID=node089/2670386-1276701574 PBS_JOBID= 11174077 Free space on /tmp= 62556 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670386-1276701574/watcher-2670386-1276701574 -o /tmp/evaluation-result-2670386-1276701574/solver-2670386-1276701574 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670386-1276701574.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c07fae5b4c60769a268376cf318d4faa RANDOM SEED=1714571017 node089.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1890804 kB Buffers: 11100 kB Cached: 83344 kB SwapCached: 5632 kB Active: 84816 kB Inactive: 21896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1890804 kB SwapTotal: 4192956 kB SwapFree: 4140136 kB Dirty: 3968 kB Writeback: 0 kB AnonPages: 10920 kB Mapped: 12936 kB Slab: 39940 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180400 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670386-1276701574.opb Free space on /tmp at the end= 62556 MiB End job on node089 at 2010-06-16 17:20:43