Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 3 | 1798 | 1798.49 |
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 | 9.76751 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670528-1276702358.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.006 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.01/0.01 c Pre-processing Time: 0.014 s 0.01/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.01 c 0 704 1049 4408 4 3786 5914 0 0 0.01 0.01/0.01 c Switching off lower bounding mode. 314.42/314.56 c 100 704 1149 9486 8 3902 6506 100 4166 0.02 314.42/314.56 c 252 704 1301 18556 14 4180 7157 252 6000 0.04 314.42/314.56 c 479 704 1528 32029 20 4624 7873 479 7257 0.07 314.42/314.56 c 817 704 1866 55143 29 5304 8661 817 7780 0.10 314.42/314.56 c 1326 704 2375 91080 38 6262 9528 1326 7325 0.18 314.42/314.56 c 2089 704 3138 137920 43 7803 10481 2089 6589 0.32 314.42/314.56 c 3236 704 4285 213458 49 10113 11530 3236 5375 0.60 314.42/314.56 c 4957 704 6006 315325 52 13535 12684 4957 4000 1.24 314.42/314.56 c 7541 704 8590 486671 56 18700 13953 7541 4381 1.72 314.42/314.56 c 11420 704 12469 708329 56 26431 15349 11420 2769 4.12 314.42/314.56 c 17243 704 10540 553838 52 22617 16884 9491 1884 9.15 314.42/314.56 c 25981 704 10703 568669 53 22909 18573 9654 1432 18.13 314.42/314.56 c 39096 704 14320 940982 65 30091 20431 13271 1499 26.07 314.42/314.56 c 58767 704 13170 790000 59 27844 22475 12121 1134 51.79 314.42/314.56 c 88277 704 18492 1172606 63 38506 24723 17443 1221 72.27 314.42/314.56 c 132547 704 21202 1326207 62 43958 27196 20153 895 148.08 314.42/314.56 c 198957 704 22554 1461180 64 46500 29916 21505 869 228.80 314.42/314.56 o 163 321.51/321.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 321.51/321.64 c 272966 704 20917 1346777 64 43390 5930 19868 867 314.48 321.51/321.64 c 273067 704 4120 213620 51 9847 6524 3071 867 314.70 321.51/321.64 c 273317 704 4370 228381 52 10329 7177 3321 868 314.74 321.51/321.64 c 273793 704 4846 255677 52 11260 7895 3797 869 314.81 321.51/321.64 c 274606 704 5659 308002 54 12903 8685 4610 871 314.94 321.51/321.64 c 275926 704 6979 401757 57 15477 9554 5930 875 315.15 321.51/321.64 c 278008 704 9061 556697 61 19590 10510 8012 880 315.67 321.51/321.64 c 281234 704 6548 368160 56 14630 11562 5499 888 316.56 321.51/321.64 c 286171 704 11485 749602 65 24510 12719 10436 899 318.15 321.51/321.64 c 293677 704 11999 789745 65 25540 13991 10950 914 321.08 321.51/321.64 o 129 323.51/323.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 323.51/323.68 c 295827 704 14150 946190 66 29889 5930 13101 919 321.56 323.51/323.68 c 295928 704 4119 225496 54 9794 6524 3070 919 321.67 323.51/323.68 c 296186 704 4377 245819 56 10341 7177 3328 920 321.71 323.51/323.68 c 296661 704 4852 274241 56 11263 7895 3803 921 321.78 323.51/323.68 c 297475 704 5666 321973 56 12895 8685 4617 924 321.91 323.51/323.68 c 298795 704 6986 411920 58 15561 9554 5937 927 322.12 323.51/323.68 c 300876 704 9067 558794 61 19654 10510 8018 932 322.50 323.51/323.68 c 304099 704 6580 390443 59 14648 11562 5531 940 323.32 323.51/323.68 o 87 621.24/621.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 621.24/621.44 c 305892 704 8374 500892 59 18273 5930 7325 945 323.60 621.24/621.44 c 305994 704 4117 199083 48 9744 6524 3068 945 323.65 621.24/621.44 c 306244 704 4367 214798 49 10273 7177 3318 946 323.68 621.24/621.44 c 306720 704 4843 248317 51 11305 7895 3794 947 323.78 621.24/621.44 c 307533 704 5656 305036 53 12876 8685 4607 949 323.91 621.24/621.44 c 308854 704 6977 399146 57 15523 9554 5928 952 324.24 621.24/621.44 c 310936 704 9059 545065 60 19715 10510 8010 957 324.65 621.24/621.44 c 314160 704 6698 383474 57 14913 11562 5649 965 325.46 621.24/621.44 c 319096 704 11634 682106 58 24736 12719 10585 975 326.97 621.24/621.44 c 326603 704 12665 748295 59 26812 13991 11616 990 329.74 621.24/621.44 c 337964 694 9164 587759 64 19896 15391 8115 1012 333.70 621.24/621.44 c 355108 693 10411 604802 58 22420 16931 9362 1041 340.86 621.24/621.44 c 380927 693 10084 581622 57 21738 18625 9035 1062 358.69 621.24/621.44 c 419759 690 10786 626284 58 23034 20488 9737 1066 393.66 621.24/621.44 c 478111 690 15527 1227953 79 32644 22537 14478 1055 452.98 621.24/621.44 c 565744 690 18558 1272934 68 38689 24791 17509 1007 561.75 621.24/621.44 o 65 687.81/688.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 687.81/688.07 c 621278 690 17117 1053458 61 35730 5928 16068 999 621.28 687.81/688.07 c 621379 690 4126 194627 47 9824 6521 3077 999 621.47 687.81/688.07 c 621629 690 4376 212999 48 10302 7174 3327 1000 621.51 687.81/688.07 c 622104 690 4851 248303 51 11260 7892 3802 1000 621.58 687.81/688.07 c 622917 690 5664 305299 53 12935 8682 4615 1001 621.75 687.81/688.07 c 624237 690 6984 401029 57 15560 9551 5935 1003 621.97 687.81/688.07 c 626319 690 9066 541307 59 19693 10507 8017 1006 622.55 687.81/688.07 c 629543 690 6971 401859 57 15461 11558 5922 1008 624.20 687.81/688.07 c 634481 690 11909 724481 60 25450 12714 10860 1012 626.70 687.81/688.07 c 641987 690 12662 771070 60 26883 13986 11613 1017 631.22 687.81/688.07 c 653349 690 9908 580133 58 21422 15385 8859 1014 643.90 687.81/688.07 c 670494 690 11226 630616 56 23949 16924 10177 1021 656.12 687.81/688.07 c 696314 690 11034 639479 57 23555 18617 9985 1027 677.48 687.81/688.07 o 3 1797.91/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.48 c 713582 690 18521 1261698 68 38657 5928 17472 1037 687.90 1797.91/1798.48 c 713682 654 4124 220121 53 9785 6521 3075 1037 688.09 1797.91/1798.48 c 713933 654 4375 237987 54 10287 7174 3326 1037 688.13 1797.91/1798.48 c 714408 654 4850 270899 55 11262 7892 3801 1038 688.22 1797.91/1798.48 c 715222 654 5664 324339 57 12876 8682 4615 1038 688.43 1797.91/1798.48 c 716543 654 6985 413432 59 15537 9551 5936 1040 688.92 1797.91/1798.48 c 718625 654 9067 550114 60 19691 10507 8018 1041 690.10 1797.91/1798.48 c 721849 654 6935 392468 56 15412 11558 5886 1042 692.18 1797.91/1798.48 c 726785 654 11871 719527 60 25298 12714 10822 1044 695.69 1797.91/1798.48 c 734292 654 12917 774740 59 27356 13986 11868 1045 702.35 1797.91/1798.48 c 745654 629 9884 567801 57 21292 15385 8835 1045 713.21 1797.91/1798.48 c 762798 629 11398 655069 57 24350 16924 10349 1040 732.78 1797.91/1798.48 c 788619 629 10429 568662 54 22371 18617 9380 1051 749.75 1797.91/1798.48 c 827452 628 10379 665063 64 22302 20479 9330 1077 767.63 1797.91/1798.48 c 885804 628 15605 950862 60 32832 22527 14556 1046 846.79 1797.91/1798.48 c 973437 628 18970 1134595 59 39546 24780 17921 1060 917.83 1797.91/1798.48 c 1104990 627 22322 1406228 62 46191 27259 21273 1016 1086.57 1797.91/1798.48 c 1302422 617 22921 1398135 60 47397 29985 21872 945 1377.81 1797.91/1798.48 c Resources Exceeded 1797.91/1798.48 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.91/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.48 c 82 1526860 14706 1582448 21192 1185440 20143 849 1798.00 1797.91/1798.48 c Objective: 3 1797.91/1798.48 s SATISFIABLE 1797.91/1798.48 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-2670528-1276702358/watcher-2670528-1276702358 -o /tmp/evaluation-result-2670528-1276702358/solver-2670528-1276702358 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670528-1276702358.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.02 1.04 0.98 3/106 16391 /proc/meminfo: memFree=1695324/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=10928 CPUtime=0 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 11530859 11190272 283 1992294400 134512640 137138936 4289730288 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 2732 285 182 642 0 2088 0 [startup+0.0154771 s] /proc/loadavg: 1.02 1.04 0.98 3/106 16391 /proc/meminfo: memFree=1695324/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=11060 CPUtime=0.01 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 414 0 0 0 1 0 0 0 20 0 1 0 11530859 11325440 323 1992294400 134512640 137138936 4289730288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 2765 323 185 642 0 2121 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11060 [startup+0.101484 s] /proc/loadavg: 1.02 1.04 0.98 3/106 16391 /proc/meminfo: memFree=1695324/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=11688 CPUtime=0.09 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 576 0 0 0 9 0 0 0 20 0 1 0 11530859 11968512 485 1992294400 134512640 137138936 4289730288 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 2922 485 190 642 0 2278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11688 [startup+0.300497 s] /proc/loadavg: 1.02 1.04 0.98 3/106 16391 /proc/meminfo: memFree=1695324/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=12816 CPUtime=0.29 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 856 0 0 0 29 0 0 0 20 0 1 0 11530859 13123584 765 1992294400 134512640 137138936 4289730288 18446744073709551615 134572682 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 3204 765 190 642 0 2560 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12816 [startup+0.700526 s] /proc/loadavg: 1.02 1.04 0.98 3/106 16391 /proc/meminfo: memFree=1695324/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=14192 CPUtime=0.69 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 1210 0 0 0 69 0 0 0 21 0 1 0 11530859 14532608 1119 1992294400 134512640 137138936 4289730288 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 3548 1119 190 642 0 2904 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14192 [startup+1.50158 s] /proc/loadavg: 1.02 1.03 0.98 2/107 16392 /proc/meminfo: memFree=1691100/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=16584 CPUtime=1.49 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 1800 0 0 0 148 1 0 0 22 0 1 0 11530859 16982016 1709 1992294400 134512640 137138936 4289730288 18446744073709551615 134575747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 4146 1709 190 642 0 3502 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16584 [startup+3.10169 s] /proc/loadavg: 1.02 1.03 0.98 2/107 16392 /proc/meminfo: memFree=1687132/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=20112 CPUtime=3.09 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 2689 0 0 0 307 2 0 0 25 0 1 0 11530859 20594688 2598 1992294400 134512640 137138936 4289730288 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 5028 2598 190 642 0 4384 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20112 [startup+6.30091 s] /proc/loadavg: 1.02 1.03 0.98 2/107 16392 /proc/meminfo: memFree=1683288/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=23244 CPUtime=6.29 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 3472 0 0 0 625 4 0 0 25 0 1 0 11530859 23801856 3381 1992294400 134512640 137138936 4289730288 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 5811 3381 190 642 0 5167 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23244 [startup+12.7014 s] /proc/loadavg: 1.01 1.03 0.98 2/107 16392 /proc/meminfo: memFree=1680808/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=24828 CPUtime=12.69 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 3856 0 0 0 1263 6 0 0 25 0 1 0 11530859 25423872 3765 1992294400 134512640 137138936 4289730288 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 6207 3765 190 642 0 5563 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24828 [startup+25.5013 s] /proc/loadavg: 1.01 1.03 0.98 3/107 16392 /proc/meminfo: memFree=1676964/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=28680 CPUtime=25.49 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 4831 0 0 0 2539 10 0 0 25 0 1 0 11530859 29368320 4740 1992294400 134512640 137138936 4289730288 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 7170 4740 190 642 0 6526 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28680 [startup+51.101 s] /proc/loadavg: 1.01 1.03 0.98 2/107 16392 /proc/meminfo: memFree=1673740/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=31900 CPUtime=51.08 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 5629 0 0 0 5094 14 0 0 25 0 1 0 11530859 32665600 5538 1992294400 134512640 137138936 4289730288 18446744073709551615 136501687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 7975 5538 190 642 0 7331 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31900 [startup+102.309 s] /proc/loadavg: 1.00 1.02 0.98 2/107 16394 /proc/meminfo: memFree=1670144/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=35464 CPUtime=102.27 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 6524 0 0 0 10200 27 0 0 25 0 1 0 11530859 36315136 6433 1992294400 134512640 137138936 4289730288 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 8866 6433 190 642 0 8222 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 35464 [startup+162.301 s] /proc/loadavg: 1.00 1.02 0.98 2/107 16396 /proc/meminfo: memFree=1667912/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=38064 CPUtime=162.25 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 7176 0 0 0 16183 42 0 0 25 0 1 0 11530859 38977536 7085 1992294400 134512640 137138936 4289730288 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 9516 7085 190 642 0 8872 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38064 [startup+222.301 s] /proc/loadavg: 1.00 1.01 0.98 2/107 16398 /proc/meminfo: memFree=1667044/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=38396 CPUtime=222.23 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 7259 0 0 0 22167 56 0 0 25 0 1 0 11530859 39317504 7168 1992294400 134512640 137138936 4289730288 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 9599 7168 190 642 0 8955 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 38396 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16398 /proc/meminfo: memFree=1663944/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41548 CPUtime=282.22 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8051 0 0 0 28150 72 0 0 25 0 1 0 11530859 42545152 7960 1992294400 134512640 137138936 4289730288 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10387 7960 190 642 0 9743 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 41548 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16400 /proc/meminfo: memFree=1663820/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41404 CPUtime=342.2 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 34127 93 0 0 25 0 1 0 11530859 42397696 7927 1992294400 134512640 137138936 4289730288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10351 7927 191 642 0 9707 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 41404 [startup+402.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16402 /proc/meminfo: memFree=1663820/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41396 CPUtime=402.18 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 40109 109 0 0 25 0 1 0 11530859 42389504 7925 1992294400 134512640 137138936 4289730288 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10349 7925 191 642 0 9705 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 41396 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16404 /proc/meminfo: memFree=1663820/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41396 CPUtime=462.17 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 46093 124 0 0 25 0 1 0 11530859 42389504 7925 1992294400 134512640 137138936 4289730288 18446744073709551615 136504142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10349 7925 191 642 0 9705 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 41396 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16406 /proc/meminfo: memFree=1663696/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41388 CPUtime=522.15 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 52077 138 0 0 25 0 1 0 11530859 42381312 7923 1992294400 134512640 137138936 4289730288 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10347 7923 191 642 0 9703 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 41388 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16406 /proc/meminfo: memFree=1663572/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41388 CPUtime=582.14 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 58061 153 0 0 25 0 1 0 11530859 42381312 7923 1992294400 134512640 137138936 4289730288 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10347 7923 191 642 0 9703 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 41388 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16408 /proc/meminfo: memFree=1663572/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41388 CPUtime=642.14 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 64044 170 0 0 25 0 1 0 11530859 42381312 7923 1992294400 134512640 137138936 4289730288 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10347 7923 191 642 0 9703 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 41388 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1663076/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41368 CPUtime=1121.99 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 111906 293 0 0 25 0 1 0 11530859 42360832 7918 1992294400 134512640 137138936 4289730288 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10342 7918 191 642 0 9698 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 41368 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16422 /proc/meminfo: memFree=1662952/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41368 CPUtime=1181.98 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 117890 308 0 0 25 0 1 0 11530859 42360832 7918 1992294400 134512640 137138936 4289730288 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10342 7918 191 642 0 9698 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 41368 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16424 /proc/meminfo: memFree=1662828/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41368 CPUtime=1241.96 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 123875 321 0 0 25 0 1 0 11530859 42360832 7918 1992294400 134512640 137138936 4289730288 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10342 7918 191 642 0 9698 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 41368 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 0.99 2/107 16426 /proc/meminfo: memFree=1662704/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41368 CPUtime=1301.95 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 129862 333 0 0 25 0 1 0 11530859 42360832 7918 1992294400 134512640 137138936 4289730288 18446744073709551615 136500213 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10342 7918 191 642 0 9698 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 41368 [startup+1362.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 16428 /proc/meminfo: memFree=1662704/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41368 CPUtime=1361.92 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 135847 345 0 0 25 0 1 0 11530859 42360832 7918 1992294400 134512640 137138936 4289730288 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10342 7918 191 642 0 9698 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 41368 [startup+1422.31 s] /proc/loadavg: 1.07 1.03 1.00 3/107 16430 /proc/meminfo: memFree=1662704/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41360 CPUtime=1421.92 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 141836 356 0 0 25 0 1 0 11530859 42352640 7916 1992294400 134512640 137138936 4289730288 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10340 7916 191 642 0 9696 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 41360 [startup+1482.3 s] /proc/loadavg: 1.02 1.02 1.00 2/107 16430 /proc/meminfo: memFree=1662704/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1481.89 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 147821 368 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 41344 [startup+1542.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 16432 /proc/meminfo: memFree=1662704/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1541.88 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 153808 380 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 41344 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16434 /proc/meminfo: memFree=1662704/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1601.86 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 159795 391 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 41344 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16436 /proc/meminfo: memFree=1662704/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1661.85 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 165783 402 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 41344 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16447 /proc/meminfo: memFree=1662084/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1721.82 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 171768 414 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 41344 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16447 /proc/meminfo: memFree=1662208/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1781.81 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 177755 426 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134542554 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 41344 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16449 /proc/meminfo: memFree=1662208/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1791.42 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 178714 428 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 41344 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16449 /proc/meminfo: memFree=1662208/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1794.61 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 179033 428 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 41344 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16449 /proc/meminfo: memFree=1662208/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1796.2 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 179192 428 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 41344 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16449 /proc/meminfo: memFree=1662208/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1797 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 179272 428 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134545119 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 41344 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16449 /proc/meminfo: memFree=1662208/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1797.4 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 179312 428 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (KiB) 41344 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16449 /proc/meminfo: memFree=1662208/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1797.8 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 179352 428 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134575377 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 41344 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16449 /proc/meminfo: memFree=1662208/2059040 swapFree=4192956/4192956 [pid=16391] ppid=16389 vsize=41344 CPUtime=1797.91 /proc/16391/stat : 16391 (bsolo_pb10) R 16389 16391 16083 0 -1 4202496 8052 0 0 0 179363 428 0 0 25 0 1 0 11530859 42336256 7912 1992294400 134512640 137138936 4289730288 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16391/statm: 10336 7912 191 642 0 9692 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 41344 Child status: 0 Real time (s): 1798.49 CPU time (s): 1798 CPU user time (s): 1793.71 CPU system time (s): 4.29535 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 41548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.71 system time used= 4.29535 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8053 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 5401 runsolver used 2.81657 second user time and 8.63969 second system time The end
Begin job on node034 at 2010-06-16 17:32:38 IDJOB=2670528 IDBENCH=47980 IDSOLVER=1163 FILE ID=node034/2670528-1276702358 PBS_JOBID= 11174108 Free space on /tmp= 62516 MiB SOLVER NAME= bsolo 3.2 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_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670528-1276702358/watcher-2670528-1276702358 -o /tmp/evaluation-result-2670528-1276702358/solver-2670528-1276702358 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670528-1276702358.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8f717fbc7f85484ebc0de379ab09a890 RANDOM SEED=1680827147 node034.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1696224 kB Buffers: 93072 kB Cached: 142928 kB SwapCached: 0 kB Active: 129224 kB Inactive: 166468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1696224 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3968 kB Writeback: 0 kB AnonPages: 59660 kB Mapped: 15488 kB Slab: 45320 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181704 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670528-1276702358.opb Free space on /tmp at the end= 62512 MiB End job on node034 at 2010-06-16 18:02:37