Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 3 | 1798.01 | 1798.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb |
MD5SUM | 55e3096e9013fd2f39f8572a635bf07d |
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 | 2.66559 |
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.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-1878065-1245188795.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.004 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.01 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. 100.16/100.20 c 100 540 926 10794 11 3104 5078 100 4347 0.02 100.16/100.20 c 253 540 1079 22968 21 3381 5586 253 6170 0.04 100.16/100.20 c 479 540 1305 40016 30 3804 6145 479 6652 0.07 100.16/100.20 c 818 540 1644 68409 41 4495 6760 818 7369 0.11 100.16/100.20 c 1327 540 2153 108788 50 5530 7437 1327 6984 0.19 100.16/100.20 c 2090 540 2916 161528 55 7044 8181 2090 6411 0.33 100.16/100.20 c 3236 540 4062 239798 59 9336 9000 3236 5304 0.61 100.16/100.20 c 4958 540 5784 366924 63 12784 9901 4958 4686 1.06 100.16/100.20 c 7542 540 8368 568102 67 17934 10892 7542 3287 2.29 100.16/100.20 c 11421 540 6614 451598 68 14429 11982 5788 3032 3.77 100.16/100.20 c 17243 540 12436 910307 73 26043 13181 11610 2902 5.94 100.16/100.20 c 25981 540 7815 534831 68 16796 14500 6989 2096 12.39 100.16/100.20 c 39093 540 13591 993846 73 28320 15951 12765 1754 22.28 100.16/100.20 c 58764 540 8803 703282 79 18747 17547 7977 1704 34.48 100.16/100.20 c 88275 540 11190 872399 77 23527 19302 10364 1718 51.37 100.16/100.20 c 132545 540 16383 1152103 70 33872 21233 15557 1364 97.12 100.16/100.20 o 257 165.35/165.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 165.35/165.45 c 136473 540 20312 1473488 72 41771 4634 19486 1362 100.17 165.35/165.45 c 136573 540 3244 212327 65 7698 5098 2418 1359 100.50 165.35/165.45 c 136824 540 3495 233797 66 8141 5608 2669 1361 100.53 165.35/165.45 c 137299 540 3970 271794 68 9092 6169 3144 1364 100.61 165.35/165.45 c 138113 540 4784 335660 70 10713 6786 3958 1370 100.80 165.35/165.45 c 139434 540 6105 450173 73 13325 7465 5279 1378 101.16 165.35/165.45 c 141516 540 8187 610483 74 17584 8212 7361 1390 101.76 165.35/165.45 c 144739 540 7105 518185 72 15337 9034 6279 1409 102.67 165.35/165.45 c 149675 540 7116 510431 71 15457 9938 6290 1433 104.42 165.35/165.45 c 157181 540 9454 732409 77 20103 10932 8628 1461 107.54 165.35/165.45 c 168542 540 9590 658599 68 20353 12026 8764 1487 113.31 165.35/165.45 c 185687 540 8124 599327 73 17496 13229 7298 1486 124.89 165.35/165.45 c 211507 540 13787 952356 69 28775 14552 12961 1473 143.57 165.35/165.45 o 3 1797.97/1798.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.53 c 242687 540 15256 1181621 77 31678 4634 14430 1467 165.41 1797.97/1798.53 c 242787 530 3244 228009 70 7693 5098 2418 1466 165.53 1797.97/1798.53 c 243037 530 3494 248105 71 8198 5608 2668 1467 165.56 1797.97/1798.53 c 243512 530 3969 285619 71 9136 6169 3143 1470 165.64 1797.97/1798.53 c 244326 530 4783 349917 73 10763 6786 3957 1473 165.79 1797.97/1798.53 c 245646 530 6103 450035 73 13400 7465 5277 1478 166.18 1797.97/1798.53 c 247727 530 8184 612612 74 17558 8212 7358 1482 167.14 1797.97/1798.53 c 250950 520 7216 492429 68 15581 9034 6390 1486 168.83 1797.97/1798.53 c 255887 510 7223 553997 76 15600 9938 6397 1501 170.40 1797.97/1798.53 c 263393 510 9581 651220 67 20311 10932 8755 1514 173.96 1797.97/1798.53 c 274754 500 9286 663473 71 19710 12026 8460 1532 179.32 1797.97/1798.53 c 291899 500 8064 539873 66 17253 13229 7238 1514 192.71 1797.97/1798.53 c 317719 500 13672 985412 72 28481 14552 12846 1514 209.78 1797.97/1798.53 c 356551 500 15351 1077428 70 31831 16008 14525 1447 246.33 1797.97/1798.53 c 414903 500 14976 1263653 84 31112 17609 14150 1401 295.96 1797.97/1798.53 c 502536 500 11215 852431 76 23612 19370 10389 1343 374.02 1797.97/1798.53 c 634089 448 12681 1018582 80 26499 21308 11855 1271 498.60 1797.97/1798.53 c 831521 448 21627 1702140 78 44487 23439 20801 1118 743.39 1797.97/1798.53 c 1127773 448 18234 1454600 79 37681 25783 17408 980 1149.72 1797.97/1798.53 c Resources Exceeded 1797.97/1798.53 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.97/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.53 c 48 1539707 9954 1571851 26503 2118130 25677 856 1798.00 1797.97/1798.53 c Objective: 3 1797.97/1798.53 s SATISFIABLE 1797.97/1798.53 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-1878065-1245188795/watcher-1878065-1245188795 -o /tmp/evaluation-result-1878065-1245188795/solver-1878065-1245188795 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878065-1245188795.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: 0.91 0.97 0.99 3/65 31250 /proc/meminfo: memFree=1861928/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=10740 CPUtime=0 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 257 0 0 0 0 0 0 0 20 0 1 0 186477535 10997760 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 2685 241 176 640 0 2033 0 [startup+0.024803 s] /proc/loadavg: 0.91 0.97 0.99 3/65 31250 /proc/meminfo: memFree=1861928/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=10968 CPUtime=0.02 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 347 0 0 0 2 0 0 0 20 0 1 0 186477535 11231232 323 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 2742 323 196 640 0 2098 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10968 [startup+0.101811 s] /proc/loadavg: 0.91 0.97 0.99 3/65 31250 /proc/meminfo: memFree=1861928/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=11724 CPUtime=0.1 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 523 0 0 0 10 0 0 0 20 0 1 0 186477535 12005376 499 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 2931 499 196 640 0 2287 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11724 [startup+0.301832 s] /proc/loadavg: 0.91 0.97 0.99 3/65 31250 /proc/meminfo: memFree=1861928/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=12980 CPUtime=0.29 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 847 0 0 0 29 0 0 0 22 0 1 0 186477535 13291520 823 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 3245 823 196 640 0 2601 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12980 [startup+0.701874 s] /proc/loadavg: 0.91 0.97 0.99 3/65 31250 /proc/meminfo: memFree=1861928/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=14484 CPUtime=0.69 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 1234 0 0 0 69 0 0 0 25 0 1 0 186477535 14831616 1210 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 3621 1210 196 640 0 2977 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14484 [startup+1.50296 s] /proc/loadavg: 0.91 0.97 0.99 2/66 31251 /proc/meminfo: memFree=1856672/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=17112 CPUtime=1.5 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 1877 0 0 0 149 1 0 0 25 0 1 0 186477535 17522688 1853 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 4278 1853 196 640 0 3634 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 17112 [startup+3.10113 s] /proc/loadavg: 0.91 0.97 0.99 2/66 31251 /proc/meminfo: memFree=1853792/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=21620 CPUtime=3.09 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 3007 0 0 0 308 1 0 0 25 0 1 0 186477535 22138880 2983 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 5405 2983 196 640 0 4761 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21620 [startup+6.30147 s] /proc/loadavg: 0.92 0.97 0.99 2/66 31251 /proc/meminfo: memFree=1849312/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=24216 CPUtime=6.29 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 3645 0 0 0 626 3 0 0 25 0 1 0 186477535 24797184 3621 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 6054 3621 196 640 0 5410 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24216 [startup+12.7011 s] /proc/loadavg: 0.93 0.97 0.99 2/66 31251 /proc/meminfo: memFree=1846496/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=25584 CPUtime=12.69 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 4006 0 0 0 1265 4 0 0 25 0 1 0 186477535 26198016 3982 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 6396 3982 196 640 0 5752 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25584 [startup+25.5015 s] /proc/loadavg: 0.94 0.97 0.99 2/66 31251 /proc/meminfo: memFree=1844576/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=27832 CPUtime=25.48 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 4552 0 0 0 2541 7 0 0 25 0 1 0 186477535 28499968 4528 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 6958 4528 196 640 0 6314 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27832 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.99 2/66 31251 /proc/meminfo: memFree=1839968/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=32132 CPUtime=51.08 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 5641 0 0 0 5094 14 0 0 25 0 1 0 186477535 32903168 5617 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 8033 5617 196 640 0 7389 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32132 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/66 31251 /proc/meminfo: memFree=1838880/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=33100 CPUtime=102.26 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 5901 0 0 0 10202 24 0 0 25 0 1 0 186477535 33894400 5874 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 8275 5874 197 640 0 7631 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33100 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31251 /proc/meminfo: memFree=1838944/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=32872 CPUtime=162.24 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 5901 0 0 0 16188 36 0 0 25 0 1 0 186477535 33660928 5817 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 8218 5817 197 640 0 7574 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32872 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31251 /proc/meminfo: memFree=1838944/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=32872 CPUtime=222.22 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 5901 0 0 0 22174 48 0 0 25 0 1 0 186477535 33660928 5817 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 8218 5817 197 640 0 7574 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 32872 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31251 /proc/meminfo: memFree=1838944/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=32872 CPUtime=282.21 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 5901 0 0 0 28162 59 0 0 25 0 1 0 186477535 33660928 5817 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 8218 5817 197 640 0 7574 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 32872 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31251 /proc/meminfo: memFree=1838560/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=33368 CPUtime=342.19 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 6024 0 0 0 34149 70 0 0 25 0 1 0 186477535 34168832 5940 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 8342 5940 197 640 0 7698 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 33368 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31253 /proc/meminfo: memFree=1837792/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=33992 CPUtime=402.17 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 6178 0 0 0 40137 80 0 0 25 0 1 0 186477535 34807808 6094 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 8498 6094 197 640 0 7854 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 33992 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31253 /proc/meminfo: memFree=1833632/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=38104 CPUtime=462.15 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 7205 0 0 0 46128 87 0 0 25 0 1 0 186477535 39018496 7121 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 9526 7121 197 640 0 8882 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 38104 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31253 /proc/meminfo: memFree=1833632/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=38112 CPUtime=522.13 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 7207 0 0 0 52117 96 0 0 25 0 1 0 186477535 39026688 7123 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 9528 7123 197 640 0 8884 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 38112 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31253 /proc/meminfo: memFree=1833568/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=38112 CPUtime=582.12 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 7207 0 0 0 58105 107 0 0 25 0 1 0 186477535 39026688 7123 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 9528 7123 197 640 0 8884 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 38112 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31253 /proc/meminfo: memFree=1833568/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=38112 CPUtime=642.1 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 7207 0 0 0 64095 115 0 0 25 0 1 0 186477535 39026688 7123 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 9528 7123 197 640 0 8884 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 38112 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1828760/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=42632 CPUtime=1061.97 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 8462 0 0 0 106021 176 0 0 25 0 1 0 186477535 43655168 8257 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 10658 8257 197 640 0 10014 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 42632 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1828760/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=42632 CPUtime=1121.96 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 8462 0 0 0 112011 185 0 0 25 0 1 0 186477535 43655168 8257 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 10658 8257 197 640 0 10014 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 42632 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1830048/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=41536 CPUtime=1181.94 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 8511 0 0 0 118000 194 0 0 25 0 1 0 186477535 42532864 7976 1992294400 134512640 137136520 4294956256 18446744073709551615 136502115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 10384 7976 197 640 0 9740 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 41536 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1829984/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=41528 CPUtime=1241.93 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 8511 0 0 0 123991 202 0 0 25 0 1 0 186477535 42524672 7976 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 10382 7976 197 640 0 9738 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 41528 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826784/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44692 CPUtime=1301.91 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 129983 208 0 0 25 0 1 0 186477535 45764608 8766 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11173 8766 197 640 0 10529 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 44692 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826784/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44560 CPUtime=1361.89 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 135971 218 0 0 25 0 1 0 186477535 45629440 8739 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11140 8739 197 640 0 10496 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 44560 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826784/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44560 CPUtime=1421.87 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 141962 225 0 0 25 0 1 0 186477535 45629440 8739 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11140 8739 197 640 0 10496 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 44560 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826784/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44560 CPUtime=1481.86 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 147951 235 0 0 25 0 1 0 186477535 45629440 8739 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11140 8739 197 640 0 10496 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 44560 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826784/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44388 CPUtime=1541.84 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 153941 243 0 0 25 0 1 0 186477535 45453312 8696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11097 8696 197 640 0 10453 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 44388 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826784/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44384 CPUtime=1601.82 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 159929 253 0 0 25 0 1 0 186477535 45449216 8695 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11096 8695 197 640 0 10452 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 44384 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826784/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44384 CPUtime=1661.8 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 165919 261 0 0 25 0 1 0 186477535 45449216 8695 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11096 8695 197 640 0 10452 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 44384 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826784/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44384 CPUtime=1721.79 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 171910 269 0 0 25 0 1 0 186477535 45449216 8695 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11096 8695 197 640 0 10452 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 44384 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826720/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44364 CPUtime=1781.77 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 177898 279 0 0 25 0 1 0 186477535 45428736 8690 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11091 8690 197 640 0 10447 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 44364 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826720/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44364 CPUtime=1791.37 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 178857 280 0 0 25 0 1 0 186477535 45428736 8690 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11091 8690 197 640 0 10447 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 44364 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826720/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44364 CPUtime=1794.57 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 179177 280 0 0 25 0 1 0 186477535 45428736 8690 1992294400 134512640 137136520 4294956256 18446744073709551615 136502192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11091 8690 197 640 0 10447 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 44364 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826720/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44364 CPUtime=1796.16 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 179336 280 0 0 25 0 1 0 186477535 45428736 8690 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11091 8690 197 640 0 10447 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 44364 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826720/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44364 CPUtime=1796.96 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 179416 280 0 0 25 0 1 0 186477535 45428736 8690 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11091 8690 197 640 0 10447 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 44364 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826720/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44364 CPUtime=1797.76 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 179496 280 0 0 25 0 1 0 186477535 45428736 8690 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11091 8690 197 640 0 10447 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 44364 [startup+1798.51 s] /proc/loadavg: 0.99 0.97 0.99 2/66 31259 /proc/meminfo: memFree=1826720/2055920 swapFree=4179968/4192956 [pid=31250] ppid=31248 vsize=44364 CPUtime=1797.97 /proc/31250/stat : 31250 (bsolo) R 31248 31250 31205 0 -1 4194304 9301 0 0 0 179517 280 0 0 25 0 1 0 186477535 45428736 8690 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31250/statm: 11091 8690 197 640 0 10447 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 44364 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798.01 CPU user time (s): 1795.2 CPU system time (s): 2.81357 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 44692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.2 system time used= 2.81357 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9303 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= 2158 runsolver used 1.9957 second user time and 4.54631 second system time The end
Begin job on node82 at 2009-06-16 23:46:35 IDJOB=1878065 IDBENCH=48045 IDSOLVER=700 FILE ID=node82/1878065-1245188795 PBS_JOBID= 9368301 Free space on /tmp= 66404 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=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878065-1245188795/watcher-1878065-1245188795 -o /tmp/evaluation-result-1878065-1245188795/solver-1878065-1245188795 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878065-1245188795.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 55e3096e9013fd2f39f8572a635bf07d RANDOM SEED=1742083537 node82.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.232 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.232 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1862544 kB Buffers: 35420 kB Cached: 90176 kB SwapCached: 6596 kB Active: 61252 kB Inactive: 77740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862544 kB SwapTotal: 4192956 kB SwapFree: 4179968 kB Dirty: 4164 kB Writeback: 0 kB Mapped: 18988 kB Slab: 40360 kB Committed_AS: 91680 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878065-1245188795.opb Free space on /tmp at the end= 66400 MiB End job on node82 at 2009-06-17 00:16:34