Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 772.588 | 772.78 |
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 | 0.509922 |
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.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-2670510-1276702279.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.004 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.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 17.99/18.10 c 104 432 765 11196 14 2510 4058 104 4952 0.02 17.99/18.10 c 255 432 916 22638 24 2755 4464 255 5930 0.04 17.99/18.10 c 481 432 1142 42547 37 3139 4911 481 6413 0.07 17.99/18.10 c 820 432 1481 72593 49 3855 5403 820 5985 0.14 17.99/18.10 c 1328 432 1989 112397 56 4877 5944 1328 6264 0.21 17.99/18.10 c 2091 432 2752 173400 63 6377 6539 2091 5713 0.37 17.99/18.10 c 3237 432 3898 257943 66 8675 7193 3237 5187 0.62 17.99/18.10 c 4958 432 5619 389849 69 12122 7913 4958 4219 1.18 17.99/18.10 c 7542 432 8203 609755 74 17308 8705 7542 4078 1.85 17.99/18.10 c 11422 432 7435 558721 75 15782 9576 6774 3225 3.54 17.99/18.10 c 17244 432 8398 592857 70 17711 10534 7737 2641 6.53 17.99/18.10 c 25981 432 6445 441076 68 13784 11588 5784 2081 12.48 17.99/18.10 o 33 614.84/615.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 614.84/615.02 c 37856 432 6456 470174 72 13898 3707 5795 2072 18.26 614.84/615.02 c 37957 432 2617 172006 65 6261 4078 1956 2073 18.30 614.84/615.02 c 38208 432 2868 191103 66 6723 4486 2207 2082 18.34 614.84/615.02 c 38684 432 3344 240905 72 7665 4935 2683 2099 18.43 614.84/615.02 c 39498 432 4158 317439 76 9268 5429 3497 2124 18.59 614.84/615.02 c 40818 432 5478 429814 78 11927 5972 4817 2157 18.92 614.84/615.02 c 42899 432 4377 323626 73 9727 6570 3716 2197 19.52 614.84/615.02 c 46122 432 4209 285597 67 9362 7228 3548 2259 20.41 614.84/615.02 c 51059 432 5337 365287 68 11667 7951 4676 2281 22.38 614.84/615.02 c 58566 432 4638 340102 73 10205 8747 3977 2356 24.86 614.84/615.02 c 69929 421 6473 453768 70 13968 9622 5812 2308 30.30 614.84/615.02 c 87074 399 8374 655785 78 17747 10585 7713 2201 39.55 614.84/615.02 c 112894 399 7007 550197 78 14971 11644 6346 2014 56.05 614.84/615.02 c 151727 399 8724 672425 77 18387 12809 8063 1897 79.96 614.84/615.02 c 210081 399 13356 989861 74 27730 14090 12695 1644 127.78 614.84/615.02 c 297713 399 13879 1054899 76 28739 15500 13218 1449 205.44 614.84/615.02 c 429265 398 10481 837248 79 21931 17051 9820 1385 309.77 614.84/615.02 c 626698 397 15931 1235595 77 32899 18757 15270 1108 565.14 614.84/615.02 o 29 618.44/618.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 618.44/618.63 c 659769 397 10775 780791 72 22551 3701 10114 1073 614.87 618.44/618.63 c 659870 397 2619 113179 43 6209 4072 1958 1072 614.99 618.44/618.63 c 660120 397 2869 135154 47 6723 4480 2208 1073 615.03 618.44/618.63 c 660596 386 3345 169353 50 7675 4929 2684 1073 615.14 618.44/618.63 c 661410 386 4159 241522 58 9289 5422 3498 1074 615.33 618.44/618.63 c 662730 386 5479 357214 65 11919 5965 4818 1076 615.89 618.44/618.63 c 664812 386 4455 329303 73 9876 6562 3794 1077 617.16 618.44/618.63 o 9 618.54/618.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 618.54/618.75 c 667751 386 3949 239214 60 8925 3699 3288 1079 618.54 618.54/618.75 c 667853 386 4051 246244 60 9109 4069 3390 1079 618.56 618.54/618.75 o 5 622.24/622.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 622.24/622.48 c 668007 386 4206 254672 60 9443 3699 3545 1079 618.60 622.24/622.48 c 668107 386 4306 263206 61 9578 4069 3645 1079 618.62 622.24/622.48 c 668358 386 4557 283479 62 10139 4476 3896 1080 618.71 622.24/622.48 c 668833 386 5032 323097 64 11073 4924 4371 1080 618.87 622.24/622.48 c 669646 386 3252 193592 59 7529 5417 2591 1081 619.17 622.24/622.48 c 670967 386 4573 303674 66 10159 5959 3912 1082 619.57 622.24/622.48 c 673048 386 6654 476186 71 14326 6555 5993 1084 620.54 622.24/622.48 c 676271 376 6470 484686 74 13952 7211 5809 1086 622.31 622.24/622.48 o 3 772.50/772.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 772.50/772.77 c 676451 364 6651 491672 73 14352 3695 5990 1086 622.33 772.50/772.77 c 676552 363 2617 157207 60 6192 4065 1956 1087 622.39 772.50/772.77 c 676803 363 2868 177035 61 6695 4472 2207 1087 622.43 772.50/772.77 c 677279 341 3344 214365 64 7658 4920 2683 1087 622.53 772.50/772.77 c 678092 341 4157 282595 67 9284 5413 3496 1088 622.87 772.50/772.77 c 679414 341 5479 386189 70 11925 5955 4818 1089 623.40 772.50/772.77 c 681495 341 4415 315202 71 9846 6551 3754 1091 624.44 772.50/772.77 c 684719 341 4194 298254 71 9412 7207 3533 1092 626.48 772.50/772.77 c 689655 341 5365 391316 72 11721 7928 4704 1096 629.23 772.50/772.77 c 697162 341 4639 327778 70 10279 8721 3978 1100 633.58 772.50/772.77 c 708524 341 6945 505111 72 14888 9594 6284 1107 639.80 772.50/772.77 c 725668 341 9192 698836 76 19379 10554 8531 1115 650.80 772.50/772.77 c 751488 341 7803 601510 77 16601 11610 7142 1120 670.42 772.50/772.77 c 790321 341 10827 772136 71 22641 12772 10166 1121 704.92 772.50/772.77 c 848673 328 10232 680003 66 21471 14050 9571 1121 757.00 772.50/772.77 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 772.50/772.77 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 772.50/772.77 c 62 866498 5428 888546 13696 830826 13035 1121 772.58 772.50/772.77 c Objective: 3 772.50/772.77 s OPTIMUM FOUND 772.50/772.77 c Total time: 772.583 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-2670510-1276702279/watcher-2670510-1276702279 -o /tmp/evaluation-result-2670510-1276702279/solver-2670510-1276702279 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670510-1276702279.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.01 1.06 1.00 3/106 18581 /proc/meminfo: memFree=1708584/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=10924 CPUtime=0 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 11520831 11186176 284 1992294400 134512640 137138936 4290406112 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 2731 284 185 642 0 2087 0 [startup+0.015438 s] /proc/loadavg: 1.01 1.06 1.00 3/106 18581 /proc/meminfo: memFree=1708584/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=10924 CPUtime=0.01 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 380 0 0 0 1 0 0 0 20 0 1 0 11520831 11186176 292 1992294400 134512640 137138936 4290406112 18446744073709551615 134544876 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 2731 292 190 642 0 2087 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10924 [startup+0.100446 s] /proc/loadavg: 1.01 1.06 1.00 3/106 18581 /proc/meminfo: memFree=1708584/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=11556 CPUtime=0.09 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 549 0 0 0 9 0 0 0 20 0 1 0 11520831 11833344 461 1992294400 134512640 137138936 4290406112 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 2889 461 190 642 0 2245 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11556 [startup+0.300465 s] /proc/loadavg: 1.01 1.06 1.00 3/106 18581 /proc/meminfo: memFree=1708584/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=12928 CPUtime=0.29 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 866 0 0 0 29 0 0 0 20 0 1 0 11520831 13238272 778 1992294400 134512640 137138936 4290406112 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 3232 778 190 642 0 2588 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12928 [startup+0.700506 s] /proc/loadavg: 1.01 1.06 1.00 3/106 18581 /proc/meminfo: memFree=1708584/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=14808 CPUtime=0.69 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 1335 0 0 0 68 1 0 0 21 0 1 0 11520831 15163392 1247 1992294400 134512640 137138936 4290406112 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 3702 1247 190 642 0 3058 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14808 [startup+1.50058 s] /proc/loadavg: 1.01 1.06 1.00 2/107 18582 /proc/meminfo: memFree=1703864/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=17180 CPUtime=1.49 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 1940 0 0 0 147 2 0 0 23 0 1 0 11520831 17592320 1852 1992294400 134512640 137138936 4290406112 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 4295 1852 190 642 0 3651 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17180 [startup+3.10074 s] /proc/loadavg: 1.01 1.06 1.00 2/107 18582 /proc/meminfo: memFree=1699276/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=21180 CPUtime=3.09 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 2933 0 0 0 305 4 0 0 25 0 1 0 11520831 21688320 2845 1992294400 134512640 137138936 4290406112 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 5295 2845 190 642 0 4651 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21180 [startup+6.30105 s] /proc/loadavg: 1.01 1.06 1.00 2/107 18582 /proc/meminfo: memFree=1697292/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=21808 CPUtime=6.29 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 3112 0 0 0 624 5 0 0 25 0 1 0 11520831 22331392 3024 1992294400 134512640 137138936 4290406112 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 5452 3024 190 642 0 4808 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21808 [startup+12.7017 s] /proc/loadavg: 1.01 1.06 1.00 2/107 18584 /proc/meminfo: memFree=1696672/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=22420 CPUtime=12.69 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 3245 0 0 0 1262 7 0 0 25 0 1 0 11520831 22958080 3157 1992294400 134512640 137138936 4290406112 18446744073709551615 134599709 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 5605 3157 190 642 0 4961 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22420 [startup+25.5009 s] /proc/loadavg: 1.07 1.07 1.00 2/107 18584 /proc/meminfo: memFree=1695060/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=24152 CPUtime=25.48 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 3680 0 0 0 2537 11 0 0 25 0 1 0 11520831 24731648 3592 1992294400 134512640 137138936 4290406112 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 6038 3592 191 642 0 5394 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24152 [startup+51.1004 s] /proc/loadavg: 1.11 1.08 1.01 2/107 18587 /proc/meminfo: memFree=1694432/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=24152 CPUtime=51.07 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 3680 0 0 0 5088 19 0 0 25 0 1 0 11520831 24731648 3592 1992294400 134512640 137138936 4290406112 18446744073709551615 134543247 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 6038 3592 191 642 0 5394 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24152 [startup+102.308 s] /proc/loadavg: 1.05 1.06 1.00 2/107 18589 /proc/meminfo: memFree=1692084/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=26672 CPUtime=102.27 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 4319 0 0 0 10193 34 0 0 25 0 1 0 11520831 27312128 4231 1992294400 134512640 137138936 4290406112 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 6668 4231 191 642 0 6024 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 26672 [startup+162.3 s] /proc/loadavg: 1.02 1.05 1.00 2/107 18591 /proc/meminfo: memFree=1691464/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=27380 CPUtime=162.25 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 4491 0 0 0 16174 51 0 0 25 0 1 0 11520831 28037120 4403 1992294400 134512640 137138936 4290406112 18446744073709551615 134542930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 6845 4403 191 642 0 6201 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 27380 [startup+222.301 s] /proc/loadavg: 1.00 1.04 1.00 2/107 18591 /proc/meminfo: memFree=1690348/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=28612 CPUtime=222.24 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 4799 0 0 0 22156 68 0 0 25 0 1 0 11520831 29298688 4711 1992294400 134512640 137138936 4290406112 18446744073709551615 136504169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 7153 4711 191 642 0 6509 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 28612 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 18593 /proc/meminfo: memFree=1690348/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=28580 CPUtime=282.22 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 4800 0 0 0 28136 86 0 0 25 0 1 0 11520831 29265920 4712 1992294400 134512640 137138936 4290406112 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 7145 4712 191 642 0 6501 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 28580 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 18595 /proc/meminfo: memFree=1687000/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=31952 CPUtime=342.21 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5636 0 0 0 34118 103 0 0 25 0 1 0 11520831 32718848 5548 1992294400 134512640 137138936 4290406112 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 7988 5548 191 642 0 7344 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 31952 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 18597 /proc/meminfo: memFree=1687000/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=31948 CPUtime=402.2 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5636 0 0 0 40104 116 0 0 25 0 1 0 11520831 32714752 5548 1992294400 134512640 137138936 4290406112 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 7987 5548 191 642 0 7343 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 31948 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18599 /proc/meminfo: memFree=1686876/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=31944 CPUtime=462.18 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5636 0 0 0 46089 129 0 0 25 0 1 0 11520831 32710656 5548 1992294400 134512640 137138936 4290406112 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 7986 5548 191 642 0 7342 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 31944 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18599 /proc/meminfo: memFree=1686752/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=31936 CPUtime=522.16 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5636 0 0 0 52072 144 0 0 25 0 1 0 11520831 32702464 5548 1992294400 134512640 137138936 4290406112 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 7984 5548 191 642 0 7340 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 31936 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18601 /proc/meminfo: memFree=1686132/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=32808 CPUtime=582.14 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5852 0 0 0 58056 158 0 0 25 0 1 0 11520831 33595392 5764 1992294400 134512640 137138936 4290406112 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 8202 5764 191 642 0 7558 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 32808 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 18603 /proc/meminfo: memFree=1685512/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=33208 CPUtime=642.13 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5968 0 0 0 64040 173 0 0 25 0 1 0 11520831 34004992 5877 1992294400 134512640 137138936 4290406112 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 8302 5877 191 642 0 7658 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 33208 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18605 /proc/meminfo: memFree=1685264/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=33208 CPUtime=702.12 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5968 0 0 0 70024 188 0 0 25 0 1 0 11520831 34004992 5877 1992294400 134512640 137138936 4290406112 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 8302 5877 191 642 0 7658 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 33208 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18607 /proc/meminfo: memFree=1685140/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=33208 CPUtime=762.1 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5968 0 0 0 76008 202 0 0 25 0 1 0 11520831 34004992 5877 1992294400 134512640 137138936 4290406112 18446744073709551615 134575602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 8302 5877 191 642 0 7658 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 33208 Solver just ended. Dumping a history of the last processes samples [startup+767.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18607 /proc/meminfo: memFree=1685140/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=33208 CPUtime=767.7 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5968 0 0 0 76567 203 0 0 25 0 1 0 11520831 34004992 5877 1992294400 134512640 137138936 4290406112 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 8302 5877 191 642 0 7658 0 Current children cumulated CPU time (s) 767.7 Current children cumulated vsize (KiB) 33208 [startup+771.109 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18607 /proc/meminfo: memFree=1685140/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=33208 CPUtime=770.9 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5968 0 0 0 76886 204 0 0 25 0 1 0 11520831 34004992 5877 1992294400 134512640 137138936 4290406112 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 8302 5877 191 642 0 7658 0 Current children cumulated CPU time (s) 770.9 Current children cumulated vsize (KiB) 33208 [startup+771.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18607 /proc/meminfo: memFree=1685140/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=33208 CPUtime=771.7 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5968 0 0 0 76965 205 0 0 25 0 1 0 11520831 34004992 5877 1992294400 134512640 137138936 4290406112 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 8302 5877 191 642 0 7658 0 Current children cumulated CPU time (s) 771.7 Current children cumulated vsize (KiB) 33208 [startup+772.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18607 /proc/meminfo: memFree=1685140/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=33208 CPUtime=772.1 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5968 0 0 0 77005 205 0 0 25 0 1 0 11520831 34004992 5877 1992294400 134512640 137138936 4290406112 18446744073709551615 136504131 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 8302 5877 191 642 0 7658 0 Current children cumulated CPU time (s) 772.1 Current children cumulated vsize (KiB) 33208 [startup+772.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18607 /proc/meminfo: memFree=1685140/2059040 swapFree=4192952/4192956 [pid=18581] ppid=18579 vsize=33208 CPUtime=772.5 /proc/18581/stat : 18581 (bsolo_pb10) R 18579 18581 18278 0 -1 4202496 5968 0 0 0 77045 205 0 0 25 0 1 0 11520831 34004992 5877 1992294400 134512640 137138936 4290406112 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18581/statm: 8302 5877 191 642 0 7658 0 Current children cumulated CPU time (s) 772.5 Current children cumulated vsize (KiB) 33208 Child status: 0 Real time (s): 772.78 CPU time (s): 772.588 CPU user time (s): 770.529 CPU system time (s): 2.05869 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 33276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 770.529 system time used= 2.05869 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5969 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= 6903 runsolver used 1.23481 second user time and 3.69644 second system time The end
Begin job on node036 at 2010-06-16 17:31:19 IDJOB=2670510 IDBENCH=47971 IDSOLVER=1163 FILE ID=node036/2670510-1276702279 PBS_JOBID= 11174106 Free space on /tmp= 62524 MiB SOLVER NAME= bsolo 3.2 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_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670510-1276702279/watcher-2670510-1276702279 -o /tmp/evaluation-result-2670510-1276702279/solver-2670510-1276702279 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670510-1276702279.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 39b4faf02952fa93fd33b15cbf6e7d18 RANDOM SEED=1680827147 node036.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.251 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.50 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.251 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 : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1709608 kB Buffers: 71724 kB Cached: 136184 kB SwapCached: 4 kB Active: 132828 kB Inactive: 134524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1709608 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 4216 kB Writeback: 0 kB AnonPages: 59368 kB Mapped: 15340 kB Slab: 60236 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179820 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-2670510-1276702279.opb Free space on /tmp at the end= 62520 MiB End job on node036 at 2010-06-16 17:44:12