Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 742.605 | 742.924 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb |
MD5SUM | 39b4faf02952fa93fd33b15cbf6e7d18 |
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 | 3.50447 |
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 | 108 |
Total number of constraints | 9 |
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 | 9 |
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) | 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: Clause 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-1877991-1245187391.opb 0.00/0.00 c File size is 24020 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.003 s 0.00/0.00 c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694 0.00/0.00 c Obj. Vars: 9 (2.08333 % 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 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 17.18/17.21 c 104 432 765 11196 14 2510 4058 104 5473 0.02 17.18/17.21 c 255 432 916 22638 24 2755 4464 255 6538 0.04 17.18/17.21 c 481 432 1142 42547 37 3139 4911 481 6971 0.07 17.18/17.21 c 820 432 1481 72593 49 3855 5403 820 6456 0.13 17.18/17.21 c 1328 432 1989 112397 56 4877 5944 1328 6741 0.20 17.18/17.21 c 2091 432 2752 173400 63 6377 6539 2091 6131 0.34 17.18/17.21 c 3237 432 3898 257943 66 8675 7193 3237 5552 0.58 17.18/17.21 c 4958 432 5619 389849 69 12122 7913 4958 4499 1.10 17.18/17.21 c 7542 432 8203 609755 74 17308 8705 7542 4341 1.74 17.18/17.21 c 11422 432 7435 558721 75 15782 9576 6774 3418 3.34 17.18/17.21 c 17244 432 8398 592857 70 17711 10534 7737 2791 6.18 17.18/17.21 c 25981 432 6445 441076 68 13784 11588 5784 2194 11.84 17.18/17.21 o 33 591.44/591.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 591.44/591.70 c 37856 432 6456 470174 72 13898 3707 5795 2179 17.37 591.44/591.70 c 37957 432 2617 172006 65 6261 4078 1956 2180 17.41 591.44/591.70 c 38208 432 2868 191103 66 6723 4486 2207 2190 17.44 591.44/591.70 c 38684 432 3344 240905 72 7665 4935 2683 2208 17.52 591.44/591.70 c 39498 432 4158 317439 76 9268 5429 3497 2234 17.68 591.44/591.70 c 40818 432 5478 429814 78 11927 5972 4817 2266 18.01 591.44/591.70 c 42899 432 4377 323626 73 9727 6570 3716 2305 18.60 591.44/591.70 c 46122 432 4209 285597 67 9362 7228 3548 2371 19.45 591.44/591.70 c 51059 432 5337 365287 68 11667 7951 4676 2396 21.30 591.44/591.70 c 58566 432 4638 340102 73 10205 8747 3977 2478 23.63 591.44/591.70 c 69929 421 6473 453768 70 13968 9622 5812 2429 28.79 591.44/591.70 c 87074 399 8374 655785 78 17747 10585 7713 2313 37.63 591.44/591.70 c 112894 399 7007 550197 78 14971 11644 6346 2115 53.36 591.44/591.70 c 151727 399 8724 672425 77 18387 12809 8063 1989 76.25 591.44/591.70 c 210081 399 13356 989861 74 27730 14090 12695 1718 122.22 591.44/591.70 c 297713 399 13879 1054899 76 28739 15500 13218 1512 196.88 591.44/591.70 c 429265 398 10481 837248 79 21931 17051 9820 1444 297.08 591.44/591.70 c 626698 397 15931 1235595 77 32899 18757 15270 1153 543.42 591.44/591.70 o 29 594.84/595.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 594.84/595.13 c 659769 397 10775 780791 72 22551 3701 10114 1115 591.45 594.84/595.13 c 659870 397 2619 113179 43 6209 4072 1958 1115 591.56 594.84/595.13 c 660120 397 2869 135154 47 6723 4480 2208 1115 591.60 594.84/595.13 c 660596 386 3345 169353 50 7675 4929 2684 1116 591.70 594.84/595.13 c 661410 386 4159 241522 58 9289 5422 3498 1117 591.88 594.84/595.13 c 662730 386 5479 357214 65 11919 5965 4818 1118 592.41 594.84/595.13 c 664812 386 4455 329303 73 9876 6562 3794 1119 593.61 594.84/595.13 o 9 594.93/595.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 594.93/595.24 c 667751 386 3949 239214 60 8925 3699 3288 1122 594.93 594.93/595.24 c 667853 386 4051 246244 60 9109 4069 3390 1122 594.95 594.93/595.24 o 5 598.54/598.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 598.54/598.80 c 668007 386 4206 254672 60 9443 3699 3545 1122 594.99 598.54/598.80 c 668107 386 4306 263206 61 9578 4069 3645 1122 595.01 598.54/598.80 c 668358 386 4557 283479 62 10139 4476 3896 1123 595.09 598.54/598.80 c 668833 386 5032 323097 64 11073 4924 4371 1123 595.24 598.54/598.80 c 669646 386 3252 193592 59 7529 5417 2591 1124 595.53 598.54/598.80 c 670967 386 4573 303674 66 10159 5959 3912 1125 595.90 598.54/598.80 c 673048 386 6654 476186 71 14326 6555 5993 1127 596.83 598.54/598.80 c 676271 376 6470 484686 74 13952 7211 5809 1129 598.53 598.54/598.80 o 3 742.58/742.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 742.58/742.92 c 676451 364 6651 491672 73 14352 3695 5990 1130 598.55 742.58/742.92 c 676552 363 2617 157207 60 6192 4065 1956 1130 598.61 742.58/742.92 c 676803 363 2868 177035 61 6695 4472 2207 1130 598.64 742.58/742.92 c 677279 341 3344 214365 64 7658 4920 2683 1131 598.74 742.58/742.92 c 678092 341 4157 282595 67 9284 5413 3496 1131 599.05 742.58/742.92 c 679414 341 5479 386189 70 11925 5955 4818 1133 599.56 742.58/742.92 c 681495 341 4415 315202 71 9846 6551 3754 1134 600.54 742.58/742.92 c 684719 341 4194 298254 71 9412 7207 3533 1136 602.49 742.58/742.92 c 689655 341 5365 391316 72 11721 7928 4704 1139 605.10 742.58/742.92 c 697162 341 4639 327778 70 10279 8721 3978 1144 609.25 742.58/742.92 c 708524 341 6945 505111 72 14888 9594 6284 1151 615.20 742.58/742.92 c 725668 341 9192 698836 76 19379 10554 8531 1159 625.74 742.58/742.92 c 751488 341 7803 601510 77 16601 11610 7142 1165 644.68 742.58/742.92 c 790321 341 10827 772136 71 22641 12772 10166 1166 677.78 742.58/742.92 c 848673 328 10232 680003 66 21471 14050 9571 1166 727.63 742.58/742.92 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 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 -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 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 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 -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 x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 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 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x64 -x65 x66 -x67 x68 -x69 -x70 -x71 -x72 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 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 -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 x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 742.58/742.92 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 742.58/742.92 c 62 866498 5428 888546 13696 830826 13035 1166 742.60 742.58/742.92 c Objective: 3 742.58/742.92 s OPTIMUM FOUND 742.58/742.92 c Total time: 742.6 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-1877991-1245187391/watcher-1877991-1245187391 -o /tmp/evaluation-result-1877991-1245187391/solver-1877991-1245187391 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877991-1245187391.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.02 1.01 1.00 3/64 5457 /proc/meminfo: memFree=1834128/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=10844 CPUtime=0 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 186339088 11104256 273 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 2711 273 189 640 0 2067 0 [startup+0.078758 s] /proc/loadavg: 1.02 1.01 1.00 3/64 5457 /proc/meminfo: memFree=1834128/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=11476 CPUtime=0.07 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 460 0 0 0 7 0 0 0 18 0 1 0 186339088 11751424 438 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 2869 438 196 640 0 2225 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11476 [startup+0.101758 s] /proc/loadavg: 1.02 1.01 1.00 3/64 5457 /proc/meminfo: memFree=1834128/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=11600 CPUtime=0.09 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 505 0 0 0 9 0 0 0 18 0 1 0 186339088 11878400 483 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 2900 483 196 640 0 2256 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11600 [startup+0.30178 s] /proc/loadavg: 1.02 1.01 1.00 3/64 5457 /proc/meminfo: memFree=1834128/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=12972 CPUtime=0.29 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 839 0 0 0 29 0 0 0 19 0 1 0 186339088 13283328 817 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 3243 817 196 640 0 2599 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12972 [startup+0.701823 s] /proc/loadavg: 1.02 1.01 1.00 3/64 5457 /proc/meminfo: memFree=1834128/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=14852 CPUtime=0.69 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 1316 0 0 0 69 0 0 0 23 0 1 0 186339088 15208448 1294 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 3713 1294 196 640 0 3069 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14852 [startup+1.50191 s] /proc/loadavg: 1.02 1.01 1.00 2/65 5458 /proc/meminfo: memFree=1828680/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=17860 CPUtime=1.49 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 2069 0 0 0 148 1 0 0 25 0 1 0 186339088 18288640 2047 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 4465 2047 196 640 0 3821 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17860 [startup+3.10208 s] /proc/loadavg: 1.02 1.01 1.00 2/65 5458 /proc/meminfo: memFree=1824200/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=21100 CPUtime=3.09 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 2871 0 0 0 307 2 0 0 25 0 1 0 186339088 21606400 2849 1992294400 134512640 137136520 4294956256 18446744073709551615 134616345 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 5275 2849 196 640 0 4631 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21100 [startup+6.30143 s] /proc/loadavg: 1.02 1.01 1.00 2/65 5458 /proc/meminfo: memFree=1822664/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=21728 CPUtime=6.29 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 3050 0 0 0 627 2 0 0 25 0 1 0 186339088 22249472 3028 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 5432 3028 196 640 0 4788 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21728 [startup+12.7011 s] /proc/loadavg: 1.02 1.01 1.00 2/65 5458 /proc/meminfo: memFree=1822104/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=22340 CPUtime=12.68 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 3183 0 0 0 1264 4 0 0 25 0 1 0 186339088 22876160 3161 1992294400 134512640 137136520 4294956256 18446744073709551615 136502046 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 5585 3161 196 640 0 4941 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22340 [startup+25.5015 s] /proc/loadavg: 1.01 1.01 1.00 2/65 5458 /proc/meminfo: memFree=1820440/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=24072 CPUtime=25.48 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 3618 0 0 0 2540 8 0 0 25 0 1 0 186339088 24649728 3596 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 6018 3596 197 640 0 5374 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24072 [startup+51.1013 s] /proc/loadavg: 1.01 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1820440/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=24072 CPUtime=51.06 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 3618 0 0 0 5093 13 0 0 25 0 1 0 186339088 24649728 3596 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 6018 3596 197 640 0 5374 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 24072 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1818008/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=26592 CPUtime=102.24 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 4257 0 0 0 10200 24 0 0 25 0 1 0 186339088 27230208 4235 1992294400 134512640 137136520 4294956256 18446744073709551615 134575363 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 6648 4235 197 640 0 6004 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 26592 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1817240/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=27300 CPUtime=162.22 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 4429 0 0 0 16189 33 0 0 25 0 1 0 186339088 27955200 4407 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 6825 4407 197 640 0 6181 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 27300 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1816088/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=28508 CPUtime=222.19 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 4737 0 0 0 22176 43 0 0 25 0 1 0 186339088 29192192 4715 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 7127 4715 197 640 0 6483 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 28508 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1814552/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=30060 CPUtime=282.17 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5119 0 0 0 28163 54 0 0 25 0 1 0 186339088 30781440 5097 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 7515 5097 197 640 0 6871 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 30060 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1812760/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=31868 CPUtime=342.14 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5574 0 0 0 34151 63 0 0 25 0 1 0 186339088 32632832 5552 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 7967 5552 197 640 0 7323 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 31868 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1812696/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=31868 CPUtime=402.11 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5574 0 0 0 40140 71 0 0 25 0 1 0 186339088 32632832 5552 1992294400 134512640 137136520 4294956256 18446744073709551615 134617312 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 7967 5552 197 640 0 7323 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 31868 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1812632/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=31864 CPUtime=462.08 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5574 0 0 0 46130 78 0 0 25 0 1 0 186339088 32628736 5552 1992294400 134512640 137136520 4294956256 18446744073709551615 134544080 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 7966 5552 197 640 0 7322 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 31864 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1812632/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=31856 CPUtime=522.06 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5574 0 0 0 52119 87 0 0 25 0 1 0 186339088 32620544 5552 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 7964 5552 197 640 0 7320 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 31856 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1811352/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=33192 CPUtime=582.03 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5906 0 0 0 58109 94 0 0 25 0 1 0 186339088 33988608 5884 1992294400 134512640 137136520 4294956256 18446744073709551615 136502025 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 8298 5884 197 640 0 7654 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 33192 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1811352/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=33128 CPUtime=642.01 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5906 0 0 0 64096 105 0 0 25 0 1 0 186339088 33923072 5881 1992294400 134512640 137136520 4294956256 18446744073709551615 135982486 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 8282 5881 197 640 0 7638 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 33128 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1811160/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=33128 CPUtime=701.99 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5906 0 0 0 70084 115 0 0 25 0 1 0 186339088 33923072 5881 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 8282 5881 197 640 0 7638 0 Current children cumulated CPU time (s) 701.99 Current children cumulated vsize (KiB) 33128 Solver just ended. Dumping a history of the last processes samples [startup+716.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1811160/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=33128 CPUtime=716.38 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5906 0 0 0 71521 117 0 0 25 0 1 0 186339088 33923072 5881 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 8282 5881 197 640 0 7638 0 Current children cumulated CPU time (s) 716.38 Current children cumulated vsize (KiB) 33128 [startup+729.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1811160/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=33128 CPUtime=729.18 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5906 0 0 0 72799 119 0 0 25 0 1 0 186339088 33923072 5881 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 8282 5881 197 640 0 7638 0 Current children cumulated CPU time (s) 729.18 Current children cumulated vsize (KiB) 33128 [startup+735.905 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1811160/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=33128 CPUtime=735.58 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5906 0 0 0 73438 120 0 0 25 0 1 0 186339088 33923072 5881 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 8282 5881 197 640 0 7638 0 Current children cumulated CPU time (s) 735.58 Current children cumulated vsize (KiB) 33128 [startup+739.103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1811160/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=33128 CPUtime=738.78 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5906 0 0 0 73758 120 0 0 25 0 1 0 186339088 33923072 5881 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 8282 5881 197 640 0 7638 0 Current children cumulated CPU time (s) 738.78 Current children cumulated vsize (KiB) 33128 [startup+740.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1811160/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=33128 CPUtime=740.37 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5906 0 0 0 73917 120 0 0 25 0 1 0 186339088 33923072 5881 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 8282 5881 197 640 0 7638 0 Current children cumulated CPU time (s) 740.37 Current children cumulated vsize (KiB) 33128 [startup+742.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1811160/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=33128 CPUtime=741.97 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5906 0 0 0 74077 120 0 0 25 0 1 0 186339088 33923072 5881 1992294400 134512640 137136520 4294956256 18446744073709551615 134542125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 8282 5881 197 640 0 7638 0 Current children cumulated CPU time (s) 741.97 Current children cumulated vsize (KiB) 33128 [startup+742.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1811160/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=33128 CPUtime=742.38 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5906 0 0 0 74117 121 0 0 25 0 1 0 186339088 33923072 5881 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 8282 5881 197 640 0 7638 0 Current children cumulated CPU time (s) 742.38 Current children cumulated vsize (KiB) 33128 [startup+742.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5458 /proc/meminfo: memFree=1811160/2055920 swapFree=4182492/4192956 [pid=5457] ppid=5455 vsize=33128 CPUtime=742.58 /proc/5457/stat : 5457 (bsolo) R 5455 5457 4970 0 -1 4194304 5906 0 0 0 74137 121 0 0 25 0 1 0 186339088 33923072 5881 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5457/statm: 8282 5881 197 640 0 7638 0 Current children cumulated CPU time (s) 742.58 Current children cumulated vsize (KiB) 33128 Child status: 0 Real time (s): 742.924 CPU time (s): 742.605 CPU user time (s): 741.389 CPU system time (s): 1.21581 CPU usage (%): 99.957 Max. virtual memory (cumulated for all children) (KiB): 33196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 741.389 system time used= 1.21582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5908 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= 2906 runsolver used 0.650901 second user time and 2.05769 second system time The end
Begin job on node21 at 2009-06-16 23:23:11 IDJOB=1877991 IDBENCH=47971 IDSOLVER=700 FILE ID=node21/1877991-1245187391 PBS_JOBID= 9368278 Free space on /tmp= 66092 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877991-1245187391/watcher-1877991-1245187391 -o /tmp/evaluation-result-1877991-1245187391/solver-1877991-1245187391 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877991-1245187391.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 39b4faf02952fa93fd33b15cbf6e7d18 RANDOM SEED=1381440449 node21.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.239 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.239 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: 1834672 kB Buffers: 51964 kB Cached: 93788 kB SwapCached: 4256 kB Active: 51948 kB Inactive: 101180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834672 kB SwapTotal: 4192956 kB SwapFree: 4182492 kB Dirty: 4188 kB Writeback: 0 kB Mapped: 13420 kB Slab: 54128 kB Committed_AS: 176820 kB PageTables: 1384 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-1877991-1245187391.opb Free space on /tmp at the end= 66088 MiB End job on node21 at 2009-06-16 23:35:34