Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 3 | 1798.01 | 1798.67 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb |
MD5SUM | 8f717fbc7f85484ebc0de379ab09a890 |
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.22566 |
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 | 192 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 512 |
Sum of products size (including duplicates) | 1024 |
Number of different products | 512 |
Sum of products size | 1024 |
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-1878000-1245187508.opb 0.00/0.00 c File size is 38507 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706 0.00/0.00 c Obj. Vars: 8 (1.13636 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 704 1049 4408 4 3786 5914 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 313.38/313.54 c 100 704 1149 9486 8 3902 6506 100 4545 0.02 313.38/313.54 c 252 704 1301 18556 14 4180 7157 252 6461 0.04 313.38/313.54 c 479 704 1528 32029 20 4624 7873 479 7603 0.06 313.38/313.54 c 817 704 1866 55143 29 5304 8661 817 8009 0.10 313.38/313.54 c 1326 704 2375 91080 38 6262 9528 1326 7449 0.18 313.38/313.54 c 2089 704 3138 137920 43 7803 10481 2089 6674 0.31 313.38/313.54 c 3236 704 4285 213458 49 10113 11530 3236 5420 0.60 313.38/313.54 c 4957 704 6006 315325 52 13535 12684 4957 4039 1.23 313.38/313.54 c 7541 704 8590 486671 56 18700 13953 7541 4417 1.71 313.38/313.54 c 11420 704 12469 708329 56 26431 15349 11420 2794 4.09 313.38/313.54 c 17243 704 10540 553838 52 22617 16884 9491 1895 9.10 313.38/313.54 c 25981 704 10703 568669 53 22909 18573 9654 1439 18.05 313.38/313.54 c 39096 704 14320 940982 65 30091 20431 13271 1508 25.91 313.38/313.54 c 58767 704 13170 790000 59 27844 22475 12121 1139 51.56 313.38/313.54 c 88277 704 18492 1172606 63 38506 24723 17443 1226 71.96 313.38/313.54 c 132547 704 21202 1326207 62 43958 27196 20153 897 147.64 313.38/313.54 c 198957 704 22554 1461180 64 46500 29916 21505 872 228.02 313.38/313.54 o 163 320.37/320.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 320.37/320.56 c 272966 704 20917 1346777 64 43390 5930 19868 870 313.42 320.37/320.56 c 273067 704 4120 213620 51 9847 6524 3071 870 313.65 320.37/320.56 c 273317 704 4370 228381 52 10329 7177 3321 871 313.68 320.37/320.56 c 273793 704 4846 255677 52 11260 7895 3797 872 313.75 320.37/320.56 c 274606 704 5659 308002 54 12903 8685 4610 874 313.88 320.37/320.56 c 275926 704 6979 401757 57 15477 9554 5930 878 314.10 320.37/320.56 c 278008 704 9061 556697 61 19590 10510 8012 883 314.62 320.37/320.56 c 281234 704 6548 368160 56 14630 11562 5499 891 315.51 320.37/320.56 c 286171 704 11485 749602 65 24510 12719 10436 902 317.09 320.37/320.56 c 293677 704 11999 789745 65 25540 13991 10950 917 319.97 320.37/320.56 o 129 322.37/322.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 322.37/322.59 c 295827 704 14150 946190 66 29889 5930 13101 923 320.45 322.37/322.59 c 295928 704 4119 225496 54 9794 6524 3070 923 320.56 322.37/322.59 c 296186 704 4377 245819 56 10341 7177 3328 923 320.60 322.37/322.59 c 296661 704 4852 274241 56 11263 7895 3803 925 320.67 322.37/322.59 c 297475 704 5666 321973 56 12895 8685 4617 927 320.79 322.37/322.59 c 298795 704 6986 411920 58 15561 9554 5937 930 321.01 322.37/322.59 c 300876 704 9067 558794 61 19654 10510 8018 936 321.39 322.37/322.59 c 304099 704 6580 390443 59 14648 11562 5531 943 322.19 322.37/322.59 o 87 619.27/619.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 619.27/619.54 c 305892 704 8374 500892 59 18273 5930 7325 948 322.47 619.27/619.54 c 305994 704 4117 199083 48 9744 6524 3068 948 322.53 619.27/619.54 c 306244 704 4367 214798 49 10273 7177 3318 949 322.56 619.27/619.54 c 306720 704 4843 248317 51 11305 7895 3794 950 322.65 619.27/619.54 c 307533 704 5656 305036 53 12876 8685 4607 952 322.78 619.27/619.54 c 308854 704 6977 399146 57 15523 9554 5928 955 323.11 619.27/619.54 c 310936 704 9059 545065 60 19715 10510 8010 961 323.51 619.27/619.54 c 314160 704 6698 383474 57 14913 11562 5649 968 324.32 619.27/619.54 c 319096 704 11634 682106 58 24736 12719 10585 979 325.81 619.27/619.54 c 326603 704 12665 748295 59 26812 13991 11616 993 328.57 619.27/619.54 c 337964 694 9164 587759 64 19896 15391 8115 1016 332.52 619.27/619.54 c 355108 693 10411 604802 58 22420 16931 9362 1045 339.65 619.27/619.54 c 380927 693 10084 581622 57 21738 18625 9035 1065 357.44 619.27/619.54 c 419759 690 10786 626284 58 23034 20488 9737 1070 392.27 619.27/619.54 c 478111 690 15527 1227953 79 32644 22537 14478 1058 451.52 619.27/619.54 c 565744 690 18558 1272934 68 38689 24791 17509 1010 560.02 619.27/619.54 o 65 685.34/685.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 685.34/685.68 c 621278 690 17117 1053458 61 35730 5928 16068 1003 619.32 685.34/685.68 c 621379 690 4126 194627 47 9824 6521 3077 1003 619.50 685.34/685.68 c 621629 690 4376 212999 48 10302 7174 3327 1003 619.54 685.34/685.68 c 622104 690 4851 248303 51 11260 7892 3802 1004 619.61 685.34/685.68 c 622917 690 5664 305299 53 12935 8682 4615 1005 619.78 685.34/685.68 c 624237 690 6984 401029 57 15560 9551 5935 1006 620.00 685.34/685.68 c 626319 690 9066 541307 59 19693 10507 8017 1009 620.57 685.34/685.68 c 629543 690 6971 401859 57 15461 11558 5922 1011 622.20 685.34/685.68 c 634481 690 11909 724481 60 25450 12714 10860 1015 624.67 685.34/685.68 c 641987 690 12662 771070 60 26883 13986 11613 1020 629.15 685.34/685.68 c 653349 690 9908 580133 58 21422 15385 8859 1018 641.74 685.34/685.68 c 670494 690 11226 630616 56 23949 16924 10177 1025 653.89 685.34/685.68 c 696314 690 11034 639479 57 23555 18617 9985 1031 675.12 685.34/685.68 o 3 1797.93/1798.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.66 c 713582 690 18521 1261698 68 38657 5928 17472 1041 685.43 1797.93/1798.66 c 713682 654 4124 220121 53 9785 6521 3075 1040 685.63 1797.93/1798.66 c 713933 654 4375 237987 54 10287 7174 3326 1041 685.66 1797.93/1798.66 c 714408 654 4850 270899 55 11262 7892 3801 1041 685.75 1797.93/1798.66 c 715222 654 5664 324339 57 12876 8682 4615 1042 685.97 1797.93/1798.66 c 716543 654 6985 413432 59 15537 9551 5936 1043 686.46 1797.93/1798.66 c 718625 654 9067 550114 60 19691 10507 8018 1045 687.62 1797.93/1798.66 c 721849 654 6935 392468 56 15412 11558 5886 1046 689.70 1797.93/1798.66 c 726785 654 11871 719527 60 25298 12714 10822 1048 693.21 1797.93/1798.66 c 734292 654 12917 774740 59 27356 13986 11868 1049 699.83 1797.93/1798.66 c 745654 629 9884 567801 57 21292 15385 8835 1049 710.65 1797.93/1798.66 c 762798 629 11398 655069 57 24350 16924 10349 1044 730.16 1797.93/1798.66 c 788619 629 10429 568662 54 22371 18617 9380 1055 747.06 1797.93/1798.66 c 827452 628 10379 665063 64 22302 20479 9330 1081 764.85 1797.93/1798.66 c 885804 628 15605 950862 60 32832 22527 14556 1049 843.95 1797.93/1798.66 c 973437 628 18970 1134595 59 39546 24780 17921 1064 914.80 1797.93/1798.66 c 1104990 627 22322 1406228 62 46191 27259 21273 1020 1083.10 1797.93/1798.66 c 1302422 617 22921 1398135 60 47397 29985 21872 948 1373.78 1797.93/1798.66 c Resources Exceeded 1797.93/1798.66 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 x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 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 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 -x379 -x380 -x381 -x382 -x383 -x384 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 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 x97 -x98 -x99 x100 x101 x102 -x103 -x104 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 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 -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 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 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 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 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 x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x177 x178 x179 -x180 -x181 -x182 -x183 -x184 x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1797.93/1798.66 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.66 c 82 1528989 14711 1584584 23321 1312563 22272 850 1798.00 1797.93/1798.66 c Objective: 3 1797.93/1798.66 s SATISFIABLE 1797.93/1798.66 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-1878000-1245187508/watcher-1878000-1245187508 -o /tmp/evaluation-result-1878000-1245187508/solver-1878000-1245187508 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878000-1245187508.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.06 0.99 0.99 3/64 4134 /proc/meminfo: memFree=1857808/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=10748 CPUtime=0 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 186351490 11005952 238 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 2687 238 175 640 0 2033 0 [startup+0.0198169 s] /proc/loadavg: 1.06 0.99 0.99 3/64 4134 /proc/meminfo: memFree=1857808/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=10984 CPUtime=0.01 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 358 0 0 0 1 0 0 0 18 0 1 0 186351490 11247616 332 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 2746 332 196 640 0 2102 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10984 [startup+0.101834 s] /proc/loadavg: 1.06 0.99 0.99 3/64 4134 /proc/meminfo: memFree=1857808/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=11612 CPUtime=0.09 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 520 0 0 0 9 0 0 0 18 0 1 0 186351490 11890688 494 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 2903 494 196 640 0 2259 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11612 [startup+0.301877 s] /proc/loadavg: 1.06 0.99 0.99 3/64 4134 /proc/meminfo: memFree=1857808/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=12740 CPUtime=0.29 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 799 0 0 0 29 0 0 0 19 0 1 0 186351490 13045760 773 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 3185 773 196 640 0 2541 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12740 [startup+0.701963 s] /proc/loadavg: 1.06 0.99 0.99 3/64 4134 /proc/meminfo: memFree=1857808/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=14240 CPUtime=0.69 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 1155 0 0 0 69 0 0 0 22 0 1 0 186351490 14581760 1129 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 3560 1129 196 640 0 2916 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14240 [startup+1.50113 s] /proc/loadavg: 1.06 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1853256/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=16640 CPUtime=1.49 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 1763 0 0 0 148 1 0 0 25 0 1 0 186351490 17039360 1737 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 4160 1737 196 640 0 3516 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16640 [startup+3.10148 s] /proc/loadavg: 1.06 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1849416/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=20160 CPUtime=3.09 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 2638 0 0 0 307 2 0 0 25 0 1 0 186351490 20643840 2612 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 5040 2612 196 640 0 4396 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20160 [startup+6.30116 s] /proc/loadavg: 1.06 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1845576/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=23292 CPUtime=6.29 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 3420 0 0 0 626 3 0 0 25 0 1 0 186351490 23851008 3394 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 5823 3394 196 640 0 5179 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23292 [startup+12.7015 s] /proc/loadavg: 1.05 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1843080/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=24752 CPUtime=12.69 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 3795 0 0 0 1264 5 0 0 25 0 1 0 186351490 25346048 3769 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 6188 3769 196 640 0 5544 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24752 [startup+25.5013 s] /proc/loadavg: 1.04 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1839240/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=28604 CPUtime=25.48 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 4770 0 0 0 2540 8 0 0 25 0 1 0 186351490 29290496 4744 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 7151 4744 196 640 0 6507 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28604 [startup+51.1018 s] /proc/loadavg: 1.03 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1836104/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=31824 CPUtime=51.08 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 5568 0 0 0 5096 12 0 0 25 0 1 0 186351490 32587776 5542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 7956 5542 196 640 0 7312 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31824 [startup+102.306 s] /proc/loadavg: 1.01 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1832456/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=35388 CPUtime=102.26 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 6463 0 0 0 10207 19 0 0 25 0 1 0 186351490 36237312 6437 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 8847 6437 196 640 0 8203 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 35388 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1829896/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=37988 CPUtime=162.23 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7115 0 0 0 16196 27 0 0 25 0 1 0 186351490 38899712 7089 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 9497 7089 196 640 0 8853 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 37988 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1829512/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=38320 CPUtime=222.21 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7198 0 0 0 22188 33 0 0 25 0 1 0 186351490 39239680 7172 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 9580 7172 196 640 0 8936 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 38320 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826312/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41472 CPUtime=282.18 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7990 0 0 0 28176 42 0 0 25 0 1 0 186351490 42467328 7964 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10368 7964 196 640 0 9724 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 41472 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826248/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41328 CPUtime=342.16 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 34160 56 0 0 25 0 1 0 186351490 42319872 7931 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10332 7931 197 640 0 9688 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 41328 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826248/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41320 CPUtime=402.15 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 40148 67 0 0 25 0 1 0 186351490 42311680 7929 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10330 7929 197 640 0 9686 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 41320 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826312/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41320 CPUtime=462.12 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 46138 74 0 0 25 0 1 0 186351490 42311680 7929 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10330 7929 197 640 0 9686 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 41320 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826376/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41312 CPUtime=522.1 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 52126 84 0 0 25 0 1 0 186351490 42303488 7927 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10328 7927 197 640 0 9684 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 41312 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826440/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41312 CPUtime=582.07 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 58114 93 0 0 25 0 1 0 186351490 42303488 7927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10328 7927 197 640 0 9684 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 41312 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826376/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41312 CPUtime=642.06 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 64103 103 0 0 25 0 1 0 186351490 42303488 7927 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10328 7927 197 640 0 9684 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 41312 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1826248/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41292 CPUtime=1121.88 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 112013 175 0 0 25 0 1 0 186351490 42283008 7922 1992294400 134512640 137136520 4294956256 18446744073709551615 134598513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10323 7922 197 640 0 9679 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 41292 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826248/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41292 CPUtime=1181.85 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 118003 182 0 0 25 0 1 0 186351490 42283008 7922 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10323 7922 197 640 0 9679 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 41292 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826248/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41292 CPUtime=1241.83 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 123993 190 0 0 25 0 1 0 186351490 42283008 7922 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10323 7922 197 640 0 9679 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 41292 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826184/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41292 CPUtime=1301.82 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 129984 198 0 0 25 0 1 0 186351490 42283008 7922 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10323 7922 197 640 0 9679 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 41292 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826248/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41292 CPUtime=1361.8 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 135976 204 0 0 25 0 1 0 186351490 42283008 7922 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10323 7922 197 640 0 9679 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 41292 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/65 4135 /proc/meminfo: memFree=1826184/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41284 CPUtime=1421.78 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 141967 211 0 0 25 0 1 0 186351490 42274816 7920 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10321 7920 197 640 0 9677 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 41284 [startup+1482.3 s] /proc/loadavg: 1.07 1.01 1.00 2/65 4135 /proc/meminfo: memFree=1826248/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1481.75 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 147957 218 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 41268 [startup+1542.3 s] /proc/loadavg: 1.13 1.04 1.01 2/65 4135 /proc/meminfo: memFree=1826184/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1541.72 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 153947 225 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 41268 [startup+1602.3 s] /proc/loadavg: 1.11 1.04 1.01 2/65 4135 /proc/meminfo: memFree=1826184/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1601.71 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 159939 232 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 41268 [startup+1662.3 s] /proc/loadavg: 1.09 1.05 1.01 2/65 4137 /proc/meminfo: memFree=1825984/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1661.68 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 165931 237 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 41268 [startup+1722.3 s] /proc/loadavg: 1.03 1.04 1.00 2/65 4137 /proc/meminfo: memFree=1825992/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1721.66 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 171923 243 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 41268 [startup+1782.3 s] /proc/loadavg: 1.01 1.03 1.00 2/65 4137 /proc/meminfo: memFree=1826056/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1781.64 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 177914 250 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 41268 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.01 1.02 1.00 3/65 4137 /proc/meminfo: memFree=1826056/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1791.24 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 178873 251 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1791.24 Current children cumulated vsize (KiB) 41268 [startup+1795.1 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4137 /proc/meminfo: memFree=1826056/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1794.44 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 179192 252 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (KiB) 41268 [startup+1796.7 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4137 /proc/meminfo: memFree=1826056/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1796.04 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 179352 252 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1796.04 Current children cumulated vsize (KiB) 41268 [startup+1797.5 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4137 /proc/meminfo: memFree=1826056/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1796.84 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 179432 252 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1796.84 Current children cumulated vsize (KiB) 41268 [startup+1798.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4137 /proc/meminfo: memFree=1826056/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1797.63 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 179511 252 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (KiB) 41268 [startup+1798.51 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4137 /proc/meminfo: memFree=1826056/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1797.83 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 179531 252 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 41268 [startup+1798.6 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4137 /proc/meminfo: memFree=1826056/2055920 swapFree=4192812/4192956 [pid=4134] ppid=4132 vsize=41268 CPUtime=1797.93 /proc/4134/stat : 4134 (bsolo) R 4132 4134 2685 0 -1 4194304 7991 0 0 0 179541 252 0 0 25 0 1 0 186351490 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4134/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 41268 Child status: 0 Real time (s): 1798.67 CPU time (s): 1798.01 CPU user time (s): 1795.48 CPU system time (s): 2.53061 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (KiB): 41472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.48 system time used= 2.53062 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7993 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= 4 involuntary context switches= 1514 runsolver used 1.3018 second user time and 3.9424 second system time The end
Begin job on node10 at 2009-06-16 23:25:08 IDJOB=1878000 IDBENCH=47980 IDSOLVER=700 FILE ID=node10/1878000-1245187508 PBS_JOBID= 9363937 Free space on /tmp= 65988 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878000-1245187508/watcher-1878000-1245187508 -o /tmp/evaluation-result-1878000-1245187508/solver-1878000-1245187508 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878000-1245187508.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8f717fbc7f85484ebc0de379ab09a890 RANDOM SEED=1484111220 node10.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.263 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.263 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: 1858288 kB Buffers: 48176 kB Cached: 83064 kB SwapCached: 0 kB Active: 16492 kB Inactive: 128136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858288 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 23232 kB Slab: 38976 kB Committed_AS: 190720 kB PageTables: 1376 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-1878000-1245187508.opb Free space on /tmp at the end= 65984 MiB End job on node10 at 2009-06-16 23:55:07