Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 3 | 1798.01 | 1798.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=223-P1=61-P2=13-P3=127-P4=37-P5=37-P6=137-P7=37-P8=223-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.35064 |
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-1877966-1245187066.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.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 704 1049 4408 4 3786 5914 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 302.34/302.58 c 100 704 1149 9486 8 3902 6506 100 5000 0.02 302.34/302.58 c 252 704 1301 18556 14 4180 7157 252 6810 0.04 302.34/302.58 c 479 704 1528 32029 20 4624 7873 479 7983 0.06 302.34/302.58 c 817 704 1866 55143 29 5304 8661 817 8510 0.10 302.34/302.58 c 1326 704 2375 91080 38 6262 9528 1326 7892 0.17 302.34/302.58 c 2089 704 3138 137920 43 7803 10481 2089 7105 0.29 302.34/302.58 c 3236 704 4285 213458 49 10113 11530 3236 5768 0.56 302.34/302.58 c 4957 704 6006 315325 52 13535 12684 4957 4299 1.15 302.34/302.58 c 7541 704 8590 486671 56 18700 13953 7541 4707 1.60 302.34/302.58 c 11420 704 12469 708329 56 26431 15349 11420 2957 3.86 302.34/302.58 c 17243 704 10540 553838 52 22617 16884 9491 1993 8.65 302.34/302.58 c 25981 704 10703 568669 53 22909 18573 9654 1504 17.27 302.34/302.58 c 39096 704 14320 940982 65 30091 20431 13271 1575 24.82 302.34/302.58 c 58767 704 13170 790000 59 27844 22475 12121 1185 49.56 302.34/302.58 c 88277 704 18492 1172606 63 38506 24723 17443 1277 69.12 302.34/302.58 c 132547 704 21202 1326207 62 43958 27196 20153 930 142.43 302.34/302.58 c 198957 704 22554 1461180 64 46500 29916 21505 904 219.97 302.34/302.58 o 163 309.04/309.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 309.04/309.20 c 272966 704 20917 1346777 64 43390 5930 19868 902 302.43 309.04/309.20 c 273067 704 4120 213620 51 9847 6524 3071 902 302.64 309.04/309.20 c 273317 704 4370 228381 52 10329 7177 3321 903 302.68 309.04/309.20 c 273793 704 4846 255677 52 11260 7895 3797 904 302.74 309.04/309.20 c 274606 704 5659 308002 54 12903 8685 4610 906 302.86 309.04/309.20 c 275926 704 6979 401757 57 15477 9554 5930 910 303.06 309.04/309.20 c 278008 704 9061 556697 61 19590 10510 8012 915 303.54 309.04/309.20 c 281234 704 6548 368160 56 14630 11562 5499 923 304.37 309.04/309.20 c 286171 704 11485 749602 65 24510 12719 10436 935 305.86 309.04/309.20 c 293677 704 11999 789745 65 25540 13991 10950 951 308.59 309.04/309.20 o 129 310.83/311.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 310.83/311.09 c 295827 704 14150 946190 66 29889 5930 13101 957 309.04 310.83/311.09 c 295928 704 4119 225496 54 9794 6524 3070 957 309.15 310.83/311.09 c 296186 704 4377 245819 56 10341 7177 3328 957 309.18 310.83/311.09 c 296661 704 4852 274241 56 11263 7895 3803 959 309.25 310.83/311.09 c 297475 704 5666 321973 56 12895 8685 4617 961 309.37 310.83/311.09 c 298795 704 6986 411920 58 15561 9554 5937 965 309.57 310.83/311.09 c 300876 704 9067 558794 61 19654 10510 8018 970 309.92 310.83/311.09 c 304099 704 6580 390443 59 14648 11562 5531 978 310.68 310.83/311.09 o 87 596.42/596.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 596.42/596.77 c 305892 704 8374 500892 59 18273 5930 7325 983 310.94 596.42/596.77 c 305994 704 4117 199083 48 9744 6524 3068 983 310.98 596.42/596.77 c 306244 704 4367 214798 49 10273 7177 3318 984 311.01 596.42/596.77 c 306720 704 4843 248317 51 11305 7895 3794 985 311.10 596.42/596.77 c 307533 704 5656 305036 53 12876 8685 4607 988 311.22 596.42/596.77 c 308854 704 6977 399146 57 15523 9554 5928 991 311.53 596.42/596.77 c 310936 704 9059 545065 60 19715 10510 8010 996 311.91 596.42/596.77 c 314160 704 6698 383474 57 14913 11562 5649 1004 312.67 596.42/596.77 c 319096 704 11634 682106 58 24736 12719 10585 1015 314.09 596.42/596.77 c 326603 704 12665 748295 59 26812 13991 11616 1031 316.70 596.42/596.77 c 337964 694 9164 587759 64 19896 15391 8115 1054 320.44 596.42/596.77 c 355108 693 10411 604802 58 22420 16931 9362 1085 327.22 596.42/596.77 c 380927 693 10084 581622 57 21738 18625 9035 1106 344.25 596.42/596.77 c 419759 690 10786 626284 58 23034 20488 9737 1111 377.71 596.42/596.77 c 478111 690 15527 1227953 79 32644 22537 14478 1099 434.71 596.42/596.77 c 565744 690 18558 1272934 68 38689 24791 17509 1048 539.33 596.42/596.77 o 65 659.79/660.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 659.79/660.17 c 621278 690 17117 1053458 61 35730 5928 16068 1041 596.50 659.79/660.17 c 621379 690 4126 194627 47 9824 6521 3077 1041 596.67 659.79/660.17 c 621629 690 4376 212999 48 10302 7174 3327 1041 596.71 659.79/660.17 c 622104 690 4851 248303 51 11260 7892 3802 1042 596.77 659.79/660.17 c 622917 690 5664 305299 53 12935 8682 4615 1043 596.94 659.79/660.17 c 624237 690 6984 401029 57 15560 9551 5935 1045 597.14 659.79/660.17 c 626319 690 9066 541307 59 19693 10507 8017 1047 597.68 659.79/660.17 c 629543 690 6971 401859 57 15461 11558 5922 1050 599.24 659.79/660.17 c 634481 690 11909 724481 60 25450 12714 10860 1054 601.62 659.79/660.17 c 641987 690 12662 771070 60 26883 13986 11613 1059 605.88 659.79/660.17 c 653349 690 9908 580133 58 21422 15385 8859 1057 618.02 659.79/660.17 c 670494 690 11226 630616 56 23949 16924 10177 1064 629.64 659.79/660.17 c 696314 690 11034 639479 57 23555 18617 9985 1071 649.96 659.79/660.17 o 3 1797.92/1798.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.78 c 713582 690 18521 1261698 68 38657 5928 17472 1081 659.88 1797.92/1798.78 c 713682 654 4124 220121 53 9785 6521 3075 1081 660.06 1797.92/1798.78 c 713933 654 4375 237987 54 10287 7174 3326 1081 660.10 1797.92/1798.78 c 714408 654 4850 270899 55 11262 7892 3801 1082 660.18 1797.92/1798.78 c 715222 654 5664 324339 57 12876 8682 4615 1083 660.38 1797.92/1798.78 c 716543 654 6985 413432 59 15537 9551 5936 1084 660.84 1797.92/1798.78 c 718625 654 9067 550114 60 19691 10507 8018 1085 661.92 1797.92/1798.78 c 721849 654 6935 392468 56 15412 11558 5886 1087 663.86 1797.92/1798.78 c 726785 654 11871 719527 60 25298 12714 10822 1089 667.14 1797.92/1798.78 c 734292 654 12917 774740 59 27356 13986 11868 1090 673.43 1797.92/1798.78 c 745654 629 9884 567801 57 21292 15385 8835 1090 683.77 1797.92/1798.78 c 762798 629 11398 655069 57 24350 16924 10349 1085 702.49 1797.92/1798.78 c 788619 629 10429 568662 54 22371 18617 9380 1097 718.66 1797.92/1798.78 c 827452 628 10379 665063 64 22302 20479 9330 1124 735.52 1797.92/1798.78 c 885804 628 15605 950862 60 32832 22527 14556 1091 811.76 1797.92/1798.78 c 973437 628 18970 1134595 59 39546 24780 17921 1106 879.71 1797.92/1798.78 c 1104990 627 22322 1406228 62 46191 27259 21273 1060 1042.33 1797.92/1798.78 c 1302422 617 22921 1398135 60 47397 29985 21872 984 1323.21 1797.92/1798.78 c Resources Exceeded 1797.92/1798.78 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.92/1798.78 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.78 c 82 1555963 14762 1611619 31184 1777465 30135 865 1798.00 1797.92/1798.78 c Objective: 3 1797.92/1798.78 s SATISFIABLE 1797.92/1798.78 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-1877966-1245187066/watcher-1877966-1245187066 -o /tmp/evaluation-result-1877966-1245187066/solver-1877966-1245187066 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877966-1245187066.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/65 11248 /proc/meminfo: memFree=1840240/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=10748 CPUtime=0 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 186304604 11005952 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 2687 242 176 640 0 2033 0 [startup+0.0570579 s] /proc/loadavg: 1.00 1.00 1.00 3/65 11248 /proc/meminfo: memFree=1840240/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=11236 CPUtime=0.05 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 431 0 0 0 5 0 0 0 18 0 1 0 186304604 11505664 405 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 2809 405 196 640 0 2165 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11236 [startup+0.101065 s] /proc/loadavg: 1.00 1.00 1.00 3/65 11248 /proc/meminfo: memFree=1840240/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=11736 CPUtime=0.09 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 529 0 0 0 9 0 0 0 18 0 1 0 186304604 12017664 503 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 2934 503 196 640 0 2290 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11736 [startup+0.301087 s] /proc/loadavg: 1.00 1.00 1.00 3/65 11248 /proc/meminfo: memFree=1840240/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=12864 CPUtime=0.29 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 829 0 0 0 29 0 0 0 19 0 1 0 186304604 13172736 803 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 3216 803 196 640 0 2572 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12864 [startup+0.70113 s] /proc/loadavg: 1.00 1.00 1.00 3/65 11248 /proc/meminfo: memFree=1840240/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=14368 CPUtime=0.69 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 1187 0 0 0 69 0 0 0 23 0 1 0 186304604 14712832 1161 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 3592 1161 196 640 0 2948 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14368 [startup+1.50122 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1835560/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=17272 CPUtime=1.49 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 1940 0 0 0 148 1 0 0 25 0 1 0 186304604 17686528 1914 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 4318 1914 196 640 0 3674 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17272 [startup+3.1024 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1831592/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=20412 CPUtime=3.09 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 2714 0 0 0 308 1 0 0 25 0 1 0 186304604 20901888 2688 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 5103 2688 196 640 0 4459 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20412 [startup+6.30175 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1827752/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=23540 CPUtime=6.29 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 3500 0 0 0 627 2 0 0 25 0 1 0 186304604 24104960 3474 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 5885 3474 196 640 0 5241 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23540 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1825512/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=24752 CPUtime=12.69 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 3795 0 0 0 1266 3 0 0 25 0 1 0 186304604 25346048 3769 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 6188 3769 196 640 0 5544 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24752 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1821800/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=28604 CPUtime=25.49 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 4770 0 0 0 2543 6 0 0 25 0 1 0 186304604 29290496 4744 1992294400 134512640 137136520 4294956256 18446744073709551615 134599977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 7151 4744 196 640 0 6507 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28604 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1818600/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=31824 CPUtime=51.05 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 5568 0 0 0 5094 11 0 0 25 0 1 0 186304604 32587776 5542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 7956 5542 196 640 0 7312 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 31824 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1814952/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=35388 CPUtime=102.23 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 6463 0 0 0 10204 19 0 0 25 0 1 0 186304604 36237312 6437 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 8847 6437 196 640 0 8203 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 35388 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1812328/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=37988 CPUtime=162.2 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7115 0 0 0 16192 28 0 0 25 0 1 0 186304604 38899712 7089 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 9497 7089 196 640 0 8853 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 37988 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1810536/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=40424 CPUtime=222.17 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7728 0 0 0 22181 36 0 0 25 0 1 0 186304604 41394176 7702 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10106 7702 196 640 0 9462 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 40424 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808744/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41468 CPUtime=282.15 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7990 0 0 0 28169 46 0 0 25 0 1 0 186304604 42463232 7964 1992294400 134512640 137136520 4294956256 18446744073709551615 134544138 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10367 7964 196 640 0 9723 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 41468 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808744/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41324 CPUtime=342.13 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 34150 63 0 0 25 0 1 0 186304604 42315776 7930 1992294400 134512640 137136520 4294956256 18446744073709551615 134542190 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10331 7930 197 640 0 9687 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 41324 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808744/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41320 CPUtime=402.09 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 40135 74 0 0 25 0 1 0 186304604 42311680 7929 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10330 7929 197 640 0 9686 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 41320 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808744/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41316 CPUtime=462.08 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 46125 83 0 0 25 0 1 0 186304604 42307584 7928 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10329 7928 197 640 0 9685 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 41316 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808808/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41312 CPUtime=522.05 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 52112 93 0 0 25 0 1 0 186304604 42303488 7927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10328 7927 197 640 0 9684 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 41312 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808808/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41312 CPUtime=582.02 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 58101 101 0 0 25 0 1 0 186304604 42303488 7927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10328 7927 197 640 0 9684 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 41312 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808744/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41312 CPUtime=642.01 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 64089 112 0 0 25 0 1 0 186304604 42303488 7927 1992294400 134512640 137136520 4294956256 18446744073709551615 136500542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10328 7927 197 640 0 9684 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 41312 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1808616/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41292 CPUtime=1061.81 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 105999 182 0 0 25 0 1 0 186304604 42283008 7922 1992294400 134512640 137136520 4294956256 18446744073709551615 136518971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10323 7922 197 640 0 9679 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 41292 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808680/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41292 CPUtime=1121.79 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 111989 190 0 0 25 0 1 0 186304604 42283008 7922 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10323 7922 197 640 0 9679 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 41292 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808616/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41292 CPUtime=1181.76 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 117979 197 0 0 25 0 1 0 186304604 42283008 7922 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10323 7922 197 640 0 9679 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 41292 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808424/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41292 CPUtime=1241.73 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 123971 202 0 0 25 0 1 0 186304604 42283008 7922 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10323 7922 197 640 0 9679 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 41292 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808424/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41292 CPUtime=1301.71 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 129962 209 0 0 25 0 1 0 186304604 42283008 7922 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10323 7922 197 640 0 9679 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 41292 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808424/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41284 CPUtime=1361.68 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 135953 215 0 0 25 0 1 0 186304604 42274816 7920 1992294400 134512640 137136520 4294956256 18446744073709551615 136502397 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10321 7920 197 640 0 9677 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 41284 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808424/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1421.67 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 141944 223 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 41268 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808424/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1481.63 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 147932 231 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 41268 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808360/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1541.62 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 153923 239 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134616028 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 41268 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808360/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1601.59 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 159915 244 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1601.59 Current children cumulated vsize (KiB) 41268 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808360/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1661.56 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 165905 251 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134544252 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1661.56 Current children cumulated vsize (KiB) 41268 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808296/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1721.54 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 171896 258 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 41268 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808296/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1781.52 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 177886 266 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 41268 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808296/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1791.12 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 178845 267 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1791.12 Current children cumulated vsize (KiB) 41268 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808296/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1794.31 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 179164 267 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1794.31 Current children cumulated vsize (KiB) 41268 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808296/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1795.92 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 179324 268 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1795.92 Current children cumulated vsize (KiB) 41268 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808296/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1796.72 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 179404 268 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (KiB) 41268 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808296/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1797.52 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 179484 268 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (KiB) 41268 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11249 /proc/meminfo: memFree=1808296/2055920 swapFree=4180892/4192956 [pid=11248] ppid=11246 vsize=41268 CPUtime=1797.92 /proc/11248/stat : 11248 (bsolo) R 11246 11248 10406 0 -1 4194304 7991 0 0 0 179524 268 0 0 25 0 1 0 186304604 42258432 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11248/statm: 10317 7916 197 640 0 9673 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 41268 Child status: 0 Real time (s): 1798.79 CPU time (s): 1798.01 CPU user time (s): 1795.32 CPU system time (s): 2.68559 CPU usage (%): 99.9566 Max. virtual memory (cumulated for all children) (KiB): 41592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.32 system time used= 2.68559 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= 3 involuntary context switches= 6719 runsolver used 2.09868 second user time and 3.86841 second system time The end
Begin job on node87 at 2009-06-16 23:17:46 IDJOB=1877966 IDBENCH=47946 IDSOLVER=700 FILE ID=node87/1877966-1245187066 PBS_JOBID= 9363913 Free space on /tmp= 66540 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=223-P1=61-P2=13-P3=127-P4=37-P5=37-P6=137-P7=37-P8=223-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877966-1245187066/watcher-1877966-1245187066 -o /tmp/evaluation-result-1877966-1245187066/solver-1877966-1245187066 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877966-1245187066.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8f717fbc7f85484ebc0de379ab09a890 RANDOM SEED=1914825009 node87.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.235 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.235 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: 1840728 kB Buffers: 49008 kB Cached: 100196 kB SwapCached: 6176 kB Active: 62508 kB Inactive: 95392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840728 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 14440 kB Slab: 43156 kB Committed_AS: 84620 kB PageTables: 1460 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-1877966-1245187066.opb Free space on /tmp at the end= 66536 MiB End job on node87 at 2009-06-16 23:47:45