Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 3 | 1798.01 | 1798.75 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb |
MD5SUM | 133707692e98c55077a0d19203c18204 |
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 | 12.7321 |
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 | 162 |
Total number of constraints | 13 |
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 | 13 |
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) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
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-1878041-1245188392.opb 0.00/0.00 c File size is 36228 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: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540 0.00/0.00 c Obj. Vars: 9 (1.38889 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 648 991 4149 4 3569 5544 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 51.67/51.76 c 126 648 1117 13091 11 3750 6099 126 5478 0.02 51.67/51.76 c 276 648 1267 25138 19 3915 6709 276 3780 0.07 51.67/51.76 c 501 648 1492 44457 29 4405 7380 501 4960 0.10 51.67/51.76 c 839 648 1830 74454 40 5100 8119 839 5630 0.15 51.67/51.76 c 1348 648 2339 117819 50 6157 8931 1348 6127 0.22 51.67/51.76 c 2111 648 3102 177408 57 7658 9825 2111 6172 0.34 51.67/51.76 c 3257 648 4248 265570 62 9923 10808 3257 5121 0.64 51.67/51.76 c 4978 648 5969 410271 68 13329 11889 4978 5089 0.98 51.67/51.76 c 7562 648 8553 602751 70 18509 13078 7562 4294 1.76 51.67/51.76 c 11441 648 12432 883063 71 26280 14386 11441 2422 4.72 51.67/51.76 c 17263 648 10982 745493 67 23361 15825 9991 1833 9.41 51.67/51.76 c 26001 648 11720 808725 69 24788 17408 10729 1399 18.57 51.67/51.76 c 39112 648 16046 1137884 70 33494 19149 15055 1242 31.48 51.67/51.76 c 58782 648 15937 1279119 80 33297 21064 14946 1170 50.23 51.67/51.76 o 345 357.93/358.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 357.93/358.10 c 63965 648 21121 1716430 81 43646 5562 20130 1236 51.74 357.93/358.10 c 64065 648 3873 249199 64 9223 6119 2882 1230 52.08 357.93/358.10 c 64316 648 4124 272090 65 9772 6731 3133 1234 52.12 357.93/358.10 c 64791 648 4599 315295 68 10659 7405 3608 1240 52.22 357.93/358.10 c 65605 648 5413 380402 70 12340 8146 4422 1253 52.35 357.93/358.10 c 66925 648 6733 480798 71 15003 8961 5742 1270 52.66 357.93/358.10 c 69006 648 8814 631848 71 19101 9858 7823 1290 53.49 357.93/358.10 c 72230 648 6510 425450 65 14543 10844 5519 1315 54.91 357.93/358.10 c 77167 648 11447 828581 72 24398 11929 10456 1337 57.70 357.93/358.10 c 84674 648 6957 437429 62 15410 13122 5966 1298 65.18 357.93/358.10 c 96035 648 11673 809887 69 24805 14435 10682 1323 72.58 357.93/358.10 c 113180 648 13892 1084484 78 29185 15879 12901 1377 82.19 357.93/358.10 c 139000 648 15122 1073364 70 31639 17467 14131 1388 100.07 357.93/358.10 c 177833 648 9957 623941 62 21301 19214 8966 1198 148.36 357.93/358.10 c 236185 645 19921 1447814 72 41214 21136 18930 1124 209.98 357.93/358.10 c 323817 645 19821 1659172 83 41124 23250 18830 981 330.00 357.93/358.10 o 9 1236.18/1236.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1236.18/1236.72 c 351237 645 22039 1825770 82 45539 5562 21048 981 357.95 1236.18/1236.72 c 351337 603 3875 275950 71 9254 6119 2884 980 358.22 1236.18/1236.72 c 351587 603 4125 296085 71 9728 6731 3134 981 358.26 1236.18/1236.72 c 352063 603 4601 336701 73 10676 7405 3610 982 358.36 1236.18/1236.72 c 352877 603 5415 404404 74 12307 8146 4424 984 358.54 1236.18/1236.72 c 354197 603 6735 514463 76 14951 8961 5744 986 359.10 1236.18/1236.72 c 356280 603 8818 686772 77 19080 9858 7827 990 359.66 1236.18/1236.72 c 359503 603 6660 484780 72 14815 10844 5669 995 361.17 1236.18/1236.72 c 364439 603 11596 906371 78 24595 11929 10605 1004 362.88 1236.18/1236.72 c 371946 603 12952 1031948 79 27301 13122 11961 1013 366.98 1236.18/1236.72 c 383310 603 10939 831610 76 23323 14435 9948 1018 376.27 1236.18/1236.72 c 400454 603 12984 1003864 77 27419 15879 11993 1027 389.82 1236.18/1236.72 c 426273 603 13675 1150361 84 28826 17467 12684 1024 416.14 1236.18/1236.72 c 465106 590 15559 1203455 77 32629 19214 14568 1010 460.39 1236.18/1236.72 c 523459 590 13114 1035922 78 27639 21136 12123 1002 522.11 1236.18/1236.72 c 611092 590 14809 1127337 76 31072 23250 13818 922 662.75 1236.18/1236.72 c 742645 590 20538 1678217 81 42544 25576 19547 847 876.78 1236.18/1236.72 c 940079 590 24934 1978138 79 51304 28134 23943 823 1141.51 1236.18/1236.72 o 5 1453.78/1454.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1453.78/1454.43 c 1019477 590 17286 1341290 77 36041 5552 16295 824 1236.20 1453.78/1454.43 c 1019577 590 3875 238739 61 9240 6108 2884 824 1236.39 1453.78/1454.43 c 1019828 579 4126 260011 63 9754 6719 3135 824 1236.46 1453.78/1454.43 c 1020303 579 4601 301215 65 10685 7391 3610 825 1236.54 1453.78/1454.43 c 1021116 579 5414 370691 68 12335 8131 4423 825 1236.71 1453.78/1454.43 c 1022436 579 6734 481774 71 14974 8945 5743 826 1237.24 1453.78/1454.43 c 1024517 579 8815 652312 74 19079 9840 7824 827 1238.50 1453.78/1454.43 c 1027741 579 6969 495991 71 15412 10825 5978 828 1240.44 1453.78/1454.43 c 1032677 579 6413 465332 72 14296 11908 5422 830 1243.96 1453.78/1454.43 c 1040183 579 7753 593499 76 16985 13099 6762 832 1249.82 1453.78/1454.43 c 1051545 579 12441 950672 76 26336 14409 11450 833 1262.34 1453.78/1454.43 c 1068689 579 14895 1137555 76 31253 15850 13904 835 1279.38 1453.78/1454.43 c 1094508 579 16074 1256798 78 33497 17436 15083 838 1304.58 1453.78/1454.43 c 1133340 579 10240 759918 74 21923 19180 9249 836 1355.04 1453.78/1454.43 c 1191693 579 19936 1534102 76 41298 21099 18945 833 1430.57 1453.78/1454.43 o 3 1797.96/1798.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.74 c 1220200 579 15489 1228110 79 32384 5550 14498 839 1453.83 1797.96/1798.74 c 1220301 556 3876 244221 63 9205 6106 2885 839 1454.00 1797.96/1798.74 c 1220552 556 4127 266251 64 9719 6717 3136 839 1454.04 1797.96/1798.74 c 1221027 556 4602 305469 66 10675 7389 3611 839 1454.17 1797.96/1798.74 c 1221840 556 5415 376350 69 12296 8128 4424 840 1454.34 1797.96/1798.74 c 1223161 556 6736 488375 72 14913 8941 5745 840 1454.80 1797.96/1798.74 c 1225243 556 8818 660448 74 19089 9836 7827 841 1455.74 1797.96/1798.74 c 1228467 556 6947 495932 71 15322 10820 5956 842 1458.05 1797.96/1798.74 c 1233403 556 11883 901693 75 25239 11903 10892 843 1461.51 1797.96/1798.74 c 1240909 556 7141 508057 71 15721 13094 6150 845 1467.61 1797.96/1798.74 c 1252271 556 11435 899963 78 24329 14404 10444 850 1472.77 1797.96/1798.74 c 1269415 556 13268 1033435 77 28017 15845 12277 853 1487.08 1797.96/1798.74 c 1295234 556 14510 1146771 79 30442 17430 13519 856 1512.25 1797.96/1798.74 c 1334068 556 17177 1448803 84 35839 19174 16186 858 1553.22 1797.96/1798.74 c 1392421 556 16849 1284143 76 35177 21092 15858 853 1632.10 1797.96/1798.74 c 1480053 556 16537 1315281 79 34526 23202 15546 849 1743.04 1797.96/1798.74 c Resources Exceeded 1797.96/1798.74 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 x12 -x13 x14 -x15 x16 -x17 x18 x19 -x20 x21 x22 x23 -x24 -x25 -x26 x27 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 x40 -x41 x42 -x43 -x44 -x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 x57 x58 -x59 x60 -x61 -x62 x63 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 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 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 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 -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 x73 -x74 -x75 -x76 x77 -x78 -x79 x80 x81 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 -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 x82 -x83 -x84 x85 x86 -x87 -x88 -x89 -x90 x127 x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 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 -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 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1797.96/1798.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.74 c 79 1515802 10556 1554298 14552 1122483 13561 843 1798.00 1797.96/1798.74 c Objective: 3 1797.96/1798.74 s SATISFIABLE 1797.96/1798.74 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-1878041-1245188392/watcher-1878041-1245188392 -o /tmp/evaluation-result-1878041-1245188392/solver-1878041-1245188392 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878041-1245188392.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 1.00 3/64 5587 /proc/meminfo: memFree=1833760/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=10740 CPUtime=0 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 186439218 10997760 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 2685 244 177 640 0 2032 0 [startup+0.0807179 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5587 /proc/meminfo: memFree=1833760/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=11240 CPUtime=0.07 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 422 0 0 0 7 0 0 0 18 0 1 0 186439218 11509760 397 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 2810 397 196 640 0 2166 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11240 [startup+0.10172 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5587 /proc/meminfo: memFree=1833760/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=11492 CPUtime=0.09 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 475 0 0 0 9 0 0 0 18 0 1 0 186439218 11767808 450 1992294400 134512640 137136520 4294956256 18446744073709551615 136503164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 2873 450 196 640 0 2229 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11492 [startup+0.301741 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5587 /proc/meminfo: memFree=1833760/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=12988 CPUtime=0.29 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 869 0 0 0 29 0 0 0 19 0 1 0 186439218 13299712 844 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 3247 844 196 640 0 2603 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12988 [startup+0.701783 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5587 /proc/meminfo: memFree=1833760/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=14864 CPUtime=0.69 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 1316 0 0 0 69 0 0 0 23 0 1 0 186439218 15220736 1291 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 3716 1291 196 640 0 3072 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14864 [startup+1.50187 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1827480/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=18624 CPUtime=1.49 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 2270 0 0 0 149 0 0 0 25 0 1 0 186439218 19070976 2245 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 4656 2245 196 640 0 4012 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18624 [startup+3.10204 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1823960/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=21632 CPUtime=3.09 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 3010 0 0 0 308 1 0 0 25 0 1 0 186439218 22151168 2985 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 5408 2985 196 640 0 4764 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21632 [startup+6.30139 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1819672/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=25640 CPUtime=6.28 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 4004 0 0 0 626 2 0 0 25 0 1 0 186439218 26255360 3979 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 6410 3979 196 640 0 5766 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25640 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1817120/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=26764 CPUtime=12.68 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 4301 0 0 0 1265 3 0 0 25 0 1 0 186439218 27406336 4276 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 6691 4276 196 640 0 6047 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26764 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1815072/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=29264 CPUtime=25.48 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 4927 0 0 0 2542 6 0 0 25 0 1 0 186439218 29966336 4902 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 7316 4902 196 640 0 6672 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29264 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1811040/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=33016 CPUtime=51.07 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 5873 0 0 0 5095 12 0 0 25 0 1 0 186439218 33808384 5848 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 8254 5848 196 640 0 7610 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33016 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1808864/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=35104 CPUtime=102.24 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 6388 0 0 0 10202 22 0 0 25 0 1 0 186439218 35946496 6363 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 8776 6363 197 640 0 8132 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 35104 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1808864/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=35104 CPUtime=162.21 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 6388 0 0 0 16191 30 0 0 25 0 1 0 186439218 35946496 6363 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 8776 6363 197 640 0 8132 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 35104 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1806688/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=37304 CPUtime=222.19 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 6940 0 0 0 22181 38 0 0 25 0 1 0 186439218 38199296 6915 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 9326 6915 197 640 0 8682 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 37304 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1806304/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=37688 CPUtime=282.17 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 7035 0 0 0 28172 45 0 0 25 0 1 0 186439218 38592512 7010 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 9422 7010 197 640 0 8778 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 37688 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1804512/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=39604 CPUtime=342.15 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 7516 0 0 0 34161 54 0 0 25 0 1 0 186439218 40554496 7491 1992294400 134512640 137136520 4294956256 18446744073709551615 134544071 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 9901 7491 197 640 0 9257 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 39604 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1804512/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=39500 CPUtime=402.12 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 7516 0 0 0 40147 65 0 0 25 0 1 0 186439218 40448000 7474 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 9875 7474 197 640 0 9231 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 39500 [startup+462.302 s] /proc/loadavg: 1.06 1.01 1.00 2/65 5588 /proc/meminfo: memFree=1804448/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=39500 CPUtime=462.09 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 7516 0 0 0 46136 73 0 0 25 0 1 0 186439218 40448000 7474 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 9875 7474 197 640 0 9231 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 39500 [startup+522.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 5588 /proc/meminfo: memFree=1804448/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=39500 CPUtime=522.07 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 7516 0 0 0 52125 82 0 0 25 0 1 0 186439218 40448000 7474 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 9875 7474 197 640 0 9231 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 39500 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1804384/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=39492 CPUtime=582.05 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 7516 0 0 0 58115 90 0 0 25 0 1 0 186439218 40439808 7472 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 9873 7472 197 640 0 9229 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 39492 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5588 /proc/meminfo: memFree=1804384/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=39492 CPUtime=642.03 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 7516 0 0 0 64105 98 0 0 25 0 1 0 186439218 40439808 7472 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 9873 7472 197 640 0 9229 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 39492 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1793824/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=50228 CPUtime=1061.84 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10194 0 0 0 106035 149 0 0 25 0 1 0 186439218 51433472 10149 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12557 10149 197 640 0 11913 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 50228 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5590 /proc/meminfo: memFree=1793696/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=50224 CPUtime=1121.82 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10194 0 0 0 112026 156 0 0 25 0 1 0 186439218 51429376 10149 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12556 10149 197 640 0 11912 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 50224 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5590 /proc/meminfo: memFree=1793632/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=50228 CPUtime=1181.79 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 118016 163 0 0 25 0 1 0 186439218 51433472 10151 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12557 10151 197 640 0 11913 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 50228 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5590 /proc/meminfo: memFree=1793632/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=49952 CPUtime=1241.77 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 124004 173 0 0 25 0 1 0 186439218 51150848 10086 1992294400 134512640 137136520 4294956256 18446744073709551615 136500569 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12488 10086 197 640 0 11844 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 49952 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1793568/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=49952 CPUtime=1301.75 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 129993 182 0 0 25 0 1 0 186439218 51150848 10086 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12488 10086 197 640 0 11844 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 49952 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1793568/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=49952 CPUtime=1361.73 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 135983 190 0 0 25 0 1 0 186439218 51150848 10086 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12488 10086 197 640 0 11844 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 49952 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1793504/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=49952 CPUtime=1421.71 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 141973 198 0 0 25 0 1 0 186439218 51150848 10086 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12488 10086 197 640 0 11844 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 49952 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794528/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1481.68 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 147961 207 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 134544396 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 48972 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794528/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1541.66 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 153950 216 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 48972 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794592/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1601.62 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 159942 220 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 48972 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794592/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1661.61 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 165931 230 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 48972 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794592/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1721.59 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 171924 235 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 134600585 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 48972 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794464/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1781.56 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 177914 242 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 48972 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794464/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1791.16 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 178873 243 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1791.16 Current children cumulated vsize (KiB) 48972 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794464/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1794.36 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 179193 243 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1794.36 Current children cumulated vsize (KiB) 48972 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794464/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1795.95 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 179352 243 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (KiB) 48972 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794464/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1796.75 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 179432 243 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 48972 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794464/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1797.56 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 179512 244 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (KiB) 48972 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5596 /proc/meminfo: memFree=1794464/2055920 swapFree=4182492/4192956 [pid=5587] ppid=5585 vsize=48972 CPUtime=1797.96 /proc/5587/stat : 5587 (bsolo) R 5585 5587 4970 0 -1 4194304 10196 0 0 0 179552 244 0 0 25 0 1 0 186439218 50147328 9841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5587/statm: 12243 9841 197 640 0 11599 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 48972 Child status: 0 Real time (s): 1798.75 CPU time (s): 1798.01 CPU user time (s): 1795.56 CPU system time (s): 2.44863 CPU usage (%): 99.959 Max. virtual memory (cumulated for all children) (KiB): 50228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.56 system time used= 2.44863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10198 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= 3 involuntary context switches= 6974 runsolver used 1.62175 second user time and 4.92625 second system time The end
Begin job on node21 at 2009-06-16 23:39:52 IDJOB=1878041 IDBENCH=48021 IDSOLVER=700 FILE ID=node21/1878041-1245188392 PBS_JOBID= 9368278 Free space on /tmp= 66092 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878041-1245188392/watcher-1878041-1245188392 -o /tmp/evaluation-result-1878041-1245188392/solver-1878041-1245188392 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878041-1245188392.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 133707692e98c55077a0d19203c18204 RANDOM SEED=1773271767 node21.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1834304 kB Buffers: 52416 kB Cached: 93880 kB SwapCached: 4256 kB Active: 52476 kB Inactive: 101188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834304 kB SwapTotal: 4192956 kB SwapFree: 4182492 kB Dirty: 4064 kB Writeback: 0 kB Mapped: 13420 kB Slab: 53952 kB Committed_AS: 177920 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878041-1245188392.opb Free space on /tmp at the end= 66088 MiB End job on node21 at 2009-06-17 00:09:51