Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 3 | 1798.01 | 1798.48 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb |
MD5SUM | 773aedb43187ca11a13e2d0d2a59ebe9 |
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 | 5.44217 |
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 | 135 |
Total number of constraints | 11 |
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 | 11 |
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) | 405 |
Sum of products size (including duplicates) | 810 |
Number of different products | 405 |
Sum of products size | 810 |
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-2670670-1276704133.opb 0.00/0.00 c File size is 30042 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.005 s 0.00/0.00 c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117 0.00/0.00 c Obj. Vars: 9 (1.66667 % of total variables) 0.00/0.01 c Pre-processing Time: 0.012 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 540 826 3456 4 2973 4616 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 426.78/426.96 c 104 540 930 13349 14 3115 5078 104 4160 0.03 426.78/426.96 c 256 540 1082 27730 25 3312 5586 256 4491 0.06 426.78/426.96 c 481 540 1307 47155 36 3932 6145 481 5344 0.09 426.78/426.96 c 820 540 1646 79222 48 4539 6760 820 5655 0.14 426.78/426.96 c 1328 540 2154 120391 55 5540 7437 1328 6009 0.22 426.78/426.96 c 2092 540 2918 188425 64 7027 8181 2092 5563 0.38 426.78/426.96 c 3238 540 4064 280345 68 9326 9000 3238 5378 0.60 426.78/426.96 c 4959 540 5785 422521 73 12700 9901 4959 5049 0.98 426.78/426.96 c 7543 540 8369 646927 77 17933 10892 7543 3482 2.17 426.78/426.96 c 11423 540 6610 502460 76 14362 11982 5784 3106 3.68 426.78/426.96 c 17246 540 12433 917724 73 26031 13181 11607 2736 6.30 426.78/426.96 c 25985 540 7826 525105 67 16816 14500 7000 1870 13.89 426.78/426.96 c 39095 540 13616 955600 70 28381 15951 12790 1530 25.54 426.78/426.96 c 58765 540 16755 1395660 83 34679 17547 15929 1431 41.06 426.78/426.96 c 88277 540 10048 761525 75 21240 19302 9222 1274 69.29 426.78/426.96 c 132548 540 14560 1087626 74 30278 21233 13734 1176 112.69 426.78/426.96 c 198959 540 16853 1184432 70 34862 23357 16027 997 199.49 426.78/426.96 c 298580 540 17882 1760095 98 36916 25693 17056 893 334.19 426.78/426.96 o 5 1137.49/1137.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1137.49/1137.88 c 373743 539 17744 1297176 73 36660 4634 16918 875 426.85 1137.49/1137.88 c 373844 509 3246 211493 65 7692 5098 2420 875 427.07 1137.49/1137.88 c 374094 509 3496 232857 66 8234 5608 2670 875 427.12 1137.49/1137.88 c 374569 509 3971 273431 68 9127 6169 3145 876 427.25 1137.49/1137.88 c 375383 484 4785 354007 73 10737 6786 3959 878 427.45 1137.49/1137.88 c 376703 484 6105 473498 77 13424 7465 5279 880 427.86 1137.49/1137.88 c 378784 484 8186 650690 79 17534 8212 7360 882 429.32 1137.49/1137.88 c 382008 473 7164 543120 75 15591 9034 6338 886 431.02 1137.49/1137.88 c 386944 473 7433 557125 74 16102 9938 6607 889 435.05 1137.49/1137.88 c 394451 473 9846 760945 77 20927 10932 9020 894 441.08 1137.49/1137.88 c 405812 473 9613 767438 79 20444 12026 8787 907 447.36 1137.49/1137.88 c 422956 473 8053 599087 74 17304 13229 7227 916 461.30 1137.49/1137.88 c 448777 473 13328 1073638 80 27848 14552 12502 924 485.19 1137.49/1137.88 c 487609 473 14888 1136065 76 30941 16008 14062 917 531.53 1137.49/1137.88 c 545961 473 14678 1186213 80 30532 17609 13852 929 587.18 1137.49/1137.88 c 633593 473 11167 831654 74 23539 19370 10341 923 686.16 1137.49/1137.88 c 765145 473 11501 918952 79 24142 21308 10675 888 860.89 1137.49/1137.88 o 3 1797.93/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.47 c 956552 472 17164 1390123 80 35522 4622 16338 840 1137.59 1797.93/1798.47 c 956653 472 3250 207802 63 7710 5085 2424 840 1137.89 1797.93/1798.47 c 956903 472 3500 228628 65 8231 5594 2674 840 1137.92 1797.93/1798.47 c 957378 472 3975 270120 67 9148 6154 3149 841 1138.01 1797.93/1798.47 c 958192 472 4789 344883 72 10811 6770 3963 841 1138.21 1797.93/1798.47 c 959513 449 6110 456792 74 13431 7448 5284 842 1138.69 1797.93/1798.47 c 961594 449 8191 624871 76 17641 8193 7365 843 1139.76 1797.93/1798.47 c 964817 449 7084 521261 73 15401 9013 6258 845 1141.25 1797.93/1798.47 c 969753 449 7337 559054 76 15909 9915 6511 847 1144.31 1797.93/1798.47 c 977259 449 9722 759473 78 20641 10907 8896 849 1149.86 1797.93/1798.47 c 988620 449 9691 738994 76 20581 11998 8865 852 1159.68 1797.93/1798.47 c 1005764 449 7760 590383 76 16754 13198 6934 860 1168.78 1797.93/1798.47 c 1031584 449 13066 1015776 77 27341 14518 12240 863 1195.29 1797.93/1798.47 c 1070416 449 13791 1061463 76 28821 15970 12965 869 1230.67 1797.93/1798.47 c 1128768 449 14851 1126136 75 30917 17568 14025 859 1313.46 1797.93/1798.47 c 1216400 449 10702 792950 74 22601 19325 9876 871 1395.75 1797.93/1798.47 c 1347952 449 14169 1035638 73 29512 21258 13343 835 1612.98 1797.93/1798.47 c Resources Exceeded 1797.93/1798.47 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 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 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 x55 -x56 x57 x58 -x59 -x60 x61 x62 -x63 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 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 -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 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 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 -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 x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 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 x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 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 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 1797.93/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.47 c 52 1487081 9879 1520558 21365 1556184 20539 827 1798.00 1797.93/1798.47 c Objective: 3 1797.93/1798.47 s SATISFIABLE 1797.93/1798.47 c Total time: 1798 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-2670670-1276704133/watcher-2670670-1276704133 -o /tmp/evaluation-result-2670670-1276704133/solver-2670670-1276704133 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670670-1276704133.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.94 3/106 11350 /proc/meminfo: memFree=1829228/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=10924 CPUtime=0 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 45999766 11186176 284 1992294400 134512640 137138936 4291497856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 2731 284 184 642 0 2087 0 [startup+0.019119 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11350 /proc/meminfo: memFree=1829228/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=11052 CPUtime=0.01 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 398 0 0 0 1 0 0 0 20 0 1 0 45999766 11317248 308 1992294400 134512640 137138936 4291497856 18446744073709551615 134544903 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 2763 308 190 642 0 2119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11052 [startup+0.101126 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11350 /proc/meminfo: memFree=1829228/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=11684 CPUtime=0.09 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 558 0 0 0 9 0 0 0 20 0 1 0 45999766 11964416 468 1992294400 134512640 137138936 4291497856 18446744073709551615 134599754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 2921 468 190 642 0 2277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11684 [startup+0.301147 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11350 /proc/meminfo: memFree=1829228/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=13064 CPUtime=0.29 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 925 0 0 0 29 0 0 0 20 0 1 0 45999766 13377536 835 1992294400 134512640 137138936 4291497856 18446744073709551615 136504404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 3266 835 190 642 0 2622 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13064 [startup+0.701186 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11350 /proc/meminfo: memFree=1829228/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=15196 CPUtime=0.69 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 1458 0 0 0 68 1 0 0 21 0 1 0 45999766 15560704 1368 1992294400 134512640 137138936 4291497856 18446744073709551615 134543151 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 3799 1369 190 642 0 3155 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15196 [startup+1.50139 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11351 /proc/meminfo: memFree=1822896/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=18444 CPUtime=1.49 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 2261 0 0 0 147 2 0 0 23 0 1 0 45999766 18886656 2171 1992294400 134512640 137138936 4291497856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 4611 2171 190 642 0 3967 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18444 [startup+3.10144 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11351 /proc/meminfo: memFree=1819796/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=23224 CPUtime=3.09 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 3449 0 0 0 306 3 0 0 25 0 1 0 45999766 23781376 3359 1992294400 134512640 137138936 4291497856 18446744073709551615 136297639 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11350/statm: 5806 3359 190 642 0 5162 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23224 [startup+6.30175 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11351 /proc/meminfo: memFree=1815208/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=24360 CPUtime=6.28 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 3740 0 0 0 625 3 0 0 25 0 1 0 45999766 24944640 3650 1992294400 134512640 137138936 4291497856 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 6090 3650 190 642 0 5446 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24360 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11351 /proc/meminfo: memFree=1813720/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=25692 CPUtime=12.68 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 4069 0 0 0 1263 5 0 0 25 0 1 0 45999766 26308608 3979 1992294400 134512640 137138936 4291497856 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 6423 3979 190 642 0 5779 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25692 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11351 /proc/meminfo: memFree=1812852/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=26560 CPUtime=25.48 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 4287 0 0 0 2540 8 0 0 25 0 1 0 45999766 27197440 4197 1992294400 134512640 137138936 4291497856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 6640 4197 190 642 0 5996 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26560 [startup+51.1002 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11353 /proc/meminfo: memFree=1806528/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=32864 CPUtime=51.07 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 5877 0 0 0 5090 17 0 0 25 0 1 0 45999766 33652736 5787 1992294400 134512640 137138936 4291497856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 8216 5787 190 642 0 7572 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32864 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11353 /proc/meminfo: memFree=1806404/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=33000 CPUtime=102.27 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 5903 0 0 0 10199 28 0 0 25 0 1 0 45999766 33792000 5813 1992294400 134512640 137138936 4291497856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 8250 5813 190 642 0 7606 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33000 [startup+162.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11355 /proc/meminfo: memFree=1805040/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=34320 CPUtime=162.25 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 6248 0 0 0 16183 42 0 0 25 0 1 0 45999766 35143680 6155 1992294400 134512640 137138936 4291497856 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 8580 6155 190 642 0 7936 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 34320 [startup+222.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11357 /proc/meminfo: memFree=1799336/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=39800 CPUtime=222.22 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 7610 0 0 0 22164 58 0 0 25 0 1 0 45999766 40755200 7517 1992294400 134512640 137138936 4291497856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 9950 7517 190 642 0 9306 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 39800 [startup+282.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11359 /proc/meminfo: memFree=1796732/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=42360 CPUtime=282.22 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8255 0 0 0 28148 74 0 0 25 0 1 0 45999766 43376640 8162 1992294400 134512640 137138936 4291497856 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 10590 8162 190 642 0 9946 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 42360 [startup+342.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11359 /proc/meminfo: memFree=1794004/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=45136 CPUtime=342.19 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8946 0 0 0 34131 88 0 0 25 0 1 0 45999766 46219264 8853 1992294400 134512640 137138936 4291497856 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11284 8853 190 642 0 10640 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 45136 [startup+402.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11361 /proc/meminfo: memFree=1793880/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=45128 CPUtime=402.18 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8946 0 0 0 40114 104 0 0 25 0 1 0 45999766 46211072 8853 1992294400 134512640 137138936 4291497856 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11282 8853 190 642 0 10638 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 45128 [startup+462.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11363 /proc/meminfo: memFree=1793880/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=45072 CPUtime=462.17 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 46094 123 0 0 25 0 1 0 45999766 46153728 8844 1992294400 134512640 137138936 4291497856 18446744073709551615 134600306 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11268 8844 191 642 0 10624 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 45072 [startup+522.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11365 /proc/meminfo: memFree=1793880/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=45068 CPUtime=522.15 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 52078 137 0 0 25 0 1 0 45999766 46149632 8843 1992294400 134512640 137138936 4291497856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11267 8843 191 642 0 10623 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 45068 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11367 /proc/meminfo: memFree=1793880/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=45064 CPUtime=582.13 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 58060 153 0 0 25 0 1 0 45999766 46145536 8842 1992294400 134512640 137138936 4291497856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11266 8842 191 642 0 10622 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 45064 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11367 /proc/meminfo: memFree=1793880/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=45064 CPUtime=642.13 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 64045 168 0 0 25 0 1 0 45999766 46145536 8842 1992294400 134512640 137138936 4291497856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11266 8842 191 642 0 10622 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 45064 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1793136/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=45056 CPUtime=1122 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 111930 270 0 0 25 0 1 0 45999766 46137344 8840 1992294400 134512640 137138936 4291497856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11264 8840 191 642 0 10620 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 45056 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11386 /proc/meminfo: memFree=1793136/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1181.99 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 117910 289 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134575640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 44728 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11386 /proc/meminfo: memFree=1793136/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1241.97 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 123893 304 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 44728 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11388 /proc/meminfo: memFree=1793136/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1301.96 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 129878 318 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 44728 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11390 /proc/meminfo: memFree=1793136/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1361.94 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 135862 332 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 44728 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11392 /proc/meminfo: memFree=1793136/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1421.93 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 141846 347 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 44728 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11394 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1481.9 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 147834 356 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 44728 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11394 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1541.89 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 153820 369 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 44728 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11396 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1601.88 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 159806 382 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 44728 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11398 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1661.86 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 165789 397 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 44728 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11400 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1721.85 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 171775 410 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 44728 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11402 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1781.83 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 177758 425 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 44728 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11402 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1791.43 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 178716 427 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 44728 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11402 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1794.64 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 179036 428 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 44728 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11402 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1796.22 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 179194 428 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 44728 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11402 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1797.03 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 179274 429 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 44728 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11402 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1797.43 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 179314 429 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 44728 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11402 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1797.83 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 179354 429 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 44728 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11402 /proc/meminfo: memFree=1793260/2059040 swapFree=4134608/4192956 [pid=11350] ppid=11348 vsize=44728 CPUtime=1797.93 /proc/11350/stat : 11350 (bsolo_pb10) R 11348 11350 10952 0 -1 4202496 8947 0 0 0 179364 429 0 0 25 0 1 0 45999766 45801472 8758 1992294400 134512640 137138936 4291497856 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11350/statm: 11182 8758 191 642 0 10538 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 44728 Child status: 0 Real time (s): 1798.48 CPU time (s): 1798.01 CPU user time (s): 1793.71 CPU system time (s): 4.29735 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 45240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.71 system time used= 4.29735 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8948 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= 6102 runsolver used 2.93455 second user time and 8.5237 second system time The end
Begin job on node017 at 2010-06-16 18:02:13 IDJOB=2670670 IDBENCH=48051 IDSOLVER=1163 FILE ID=node017/2670670-1276704133 PBS_JOBID= 11174118 Free space on /tmp= 62540 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=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670670-1276704133/watcher-2670670-1276704133 -o /tmp/evaluation-result-2670670-1276704133/solver-2670670-1276704133 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670670-1276704133.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9 RANDOM SEED=988051126 node017.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.201 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.40 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1830004 kB Buffers: 18548 kB Cached: 116096 kB SwapCached: 11648 kB Active: 77408 kB Inactive: 71812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1830004 kB SwapTotal: 4192956 kB SwapFree: 4134608 kB Dirty: 4104 kB Writeback: 0 kB AnonPages: 13048 kB Mapped: 9432 kB Slab: 58036 kB PageTables: 3908 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184760 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-2670670-1276704133.opb Free space on /tmp at the end= 62536 MiB End job on node017 at 2010-06-16 18:32:12