Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 3 | 1798 | 1798.68 |
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 | 9.46856 |
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-2670460-1276702238.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.00/0.01 c Pre-processing Time: 0.014 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. 311.97/312.12 c 100 704 1149 9486 8 3902 6506 100 4166 0.02 311.97/312.12 c 252 704 1301 18556 14 4180 7157 252 6146 0.04 311.97/312.12 c 479 704 1528 32029 20 4624 7873 479 7257 0.07 311.97/312.12 c 817 704 1866 55143 29 5304 8661 817 7780 0.10 311.97/312.12 c 1326 704 2375 91080 38 6262 9528 1326 7325 0.18 311.97/312.12 c 2089 704 3138 137920 43 7803 10481 2089 6610 0.32 311.97/312.12 c 3236 704 4285 213458 49 10113 11530 3236 5411 0.60 311.97/312.12 c 4957 704 6006 315325 52 13535 12684 4957 4033 1.23 311.97/312.12 c 7541 704 8590 486671 56 18700 13953 7541 4407 1.71 311.97/312.12 c 11420 704 12469 708329 56 26431 15349 11420 2786 4.10 311.97/312.12 c 17243 704 10540 553838 52 22617 16884 9491 1898 9.08 311.97/312.12 c 25981 704 10703 568669 53 22909 18573 9654 1443 18.00 311.97/312.12 c 39096 704 14320 940982 65 30091 20431 13271 1510 25.89 311.97/312.12 c 58767 704 13170 790000 59 27844 22475 12121 1143 51.39 311.97/312.12 c 88277 704 18492 1172606 63 38506 24723 17443 1230 71.74 311.97/312.12 c 132547 704 21202 1326207 62 43958 27196 20153 901 147.03 311.97/312.12 c 198957 704 22554 1461180 64 46500 29916 21505 876 227.04 311.97/312.12 o 163 318.97/319.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 318.97/319.13 c 272966 704 20917 1346777 64 43390 5930 19868 874 312.00 318.97/319.13 c 273067 704 4120 213620 51 9847 6524 3071 874 312.23 318.97/319.13 c 273317 704 4370 228381 52 10329 7177 3321 875 312.26 318.97/319.13 c 273793 704 4846 255677 52 11260 7895 3797 876 312.33 318.97/319.13 c 274606 704 5659 308002 54 12903 8685 4610 878 312.46 318.97/319.13 c 275926 704 6979 401757 57 15477 9554 5930 882 312.67 318.97/319.13 c 278008 704 9061 556697 61 19590 10510 8012 887 313.19 318.97/319.13 c 281234 704 6548 368160 56 14630 11562 5499 895 314.07 318.97/319.13 c 286171 704 11485 749602 65 24510 12719 10436 906 315.65 318.97/319.13 c 293677 704 11999 789745 65 25540 13991 10950 921 318.53 318.97/319.13 o 129 320.97/321.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 320.97/321.16 c 295827 704 14150 946190 66 29889 5930 13101 927 319.01 320.97/321.16 c 295928 704 4119 225496 54 9794 6524 3070 927 319.12 320.97/321.16 c 296186 704 4377 245819 56 10341 7177 3328 928 319.16 320.97/321.16 c 296661 704 4852 274241 56 11263 7895 3803 929 319.23 320.97/321.16 c 297475 704 5666 321973 56 12895 8685 4617 931 319.36 320.97/321.16 c 298795 704 6986 411920 58 15561 9554 5937 934 319.57 320.97/321.16 c 300876 704 9067 558794 61 19654 10510 8018 940 319.95 320.97/321.16 c 304099 704 6580 390443 59 14648 11562 5531 948 320.76 320.97/321.16 o 87 616.36/616.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 616.36/616.66 c 305892 704 8374 500892 59 18273 5930 7325 952 321.04 616.36/616.66 c 305994 704 4117 199083 48 9744 6524 3068 952 321.09 616.36/616.66 c 306244 704 4367 214798 49 10273 7177 3318 953 321.12 616.36/616.66 c 306720 704 4843 248317 51 11305 7895 3794 954 321.22 616.36/616.66 c 307533 704 5656 305036 53 12876 8685 4607 957 321.35 616.36/616.66 c 308854 704 6977 399146 57 15523 9554 5928 960 321.68 616.36/616.66 c 310936 704 9059 545065 60 19715 10510 8010 965 322.08 616.36/616.66 c 314160 704 6698 383474 57 14913 11562 5649 972 322.89 616.36/616.66 c 319096 704 11634 682106 58 24736 12719 10585 983 324.38 616.36/616.66 c 326603 704 12665 748295 59 26812 13991 11616 998 327.12 616.36/616.66 c 337964 694 9164 587759 64 19896 15391 8115 1020 331.03 616.36/616.66 c 355108 693 10411 604802 58 22420 16931 9362 1050 338.15 616.36/616.66 c 380927 693 10084 581622 57 21738 18625 9035 1070 355.85 616.36/616.66 c 419759 690 10786 626284 58 23034 20488 9737 1074 390.53 616.36/616.66 c 478111 690 15527 1227953 79 32644 22537 14478 1063 449.52 616.36/616.66 c 565744 690 18558 1272934 68 38689 24791 17509 1014 557.42 616.36/616.66 o 65 682.33/682.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 682.33/682.63 c 621278 690 17117 1053458 61 35730 5928 16068 1007 616.43 682.33/682.63 c 621379 690 4126 194627 47 9824 6521 3077 1007 616.61 682.33/682.63 c 621629 690 4376 212999 48 10302 7174 3327 1008 616.65 682.33/682.63 c 622104 690 4851 248303 51 11260 7892 3802 1008 616.72 682.33/682.63 c 622917 690 5664 305299 53 12935 8682 4615 1009 616.89 682.33/682.63 c 624237 690 6984 401029 57 15560 9551 5935 1011 617.11 682.33/682.63 c 626319 690 9066 541307 59 19693 10507 8017 1013 617.68 682.33/682.63 c 629543 690 6971 401859 57 15461 11558 5922 1016 619.31 682.33/682.63 c 634481 690 11909 724481 60 25450 12714 10860 1020 621.78 682.33/682.63 c 641987 690 12662 771070 60 26883 13986 11613 1025 626.24 682.33/682.63 c 653349 690 9908 580133 58 21422 15385 8859 1022 638.77 682.33/682.63 c 670494 690 11226 630616 56 23949 16924 10177 1030 650.87 682.33/682.63 c 696314 690 11034 639479 57 23555 18617 9985 1036 672.05 682.33/682.63 o 3 1797.92/1798.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.67 c 713582 690 18521 1261698 68 38657 5928 17472 1045 682.38 1797.92/1798.67 c 713682 654 4124 220121 53 9785 6521 3075 1045 682.57 1797.92/1798.67 c 713933 654 4375 237987 54 10287 7174 3326 1045 682.61 1797.92/1798.67 c 714408 654 4850 270899 55 11262 7892 3801 1046 682.70 1797.92/1798.67 c 715222 654 5664 324339 57 12876 8682 4615 1047 682.91 1797.92/1798.67 c 716543 654 6985 413432 59 15537 9551 5936 1048 683.40 1797.92/1798.67 c 718625 654 9067 550114 60 19691 10507 8018 1049 684.56 1797.92/1798.67 c 721849 654 6935 392468 56 15412 11558 5886 1051 686.63 1797.92/1798.67 c 726785 654 11871 719527 60 25298 12714 10822 1053 690.11 1797.92/1798.67 c 734292 654 12917 774740 59 27356 13986 11868 1053 696.71 1797.92/1798.67 c 745654 629 9884 567801 57 21292 15385 8835 1053 707.50 1797.92/1798.67 c 762798 629 11398 655069 57 24350 16924 10349 1049 726.93 1797.92/1798.67 c 788619 629 10429 568662 54 22371 18617 9380 1060 743.78 1797.92/1798.67 c 827452 628 10379 665063 64 22302 20479 9330 1086 761.52 1797.92/1798.67 c 885804 628 15605 950862 60 32832 22527 14556 1054 840.15 1797.92/1798.67 c 973437 628 18970 1134595 59 39546 24780 17921 1069 910.60 1797.92/1798.67 c 1104990 627 22322 1406228 62 46191 27259 21273 1024 1078.23 1797.92/1798.67 c 1302422 617 22921 1398135 60 47397 29985 21872 952 1367.15 1797.92/1798.67 c Resources Exceeded 1797.92/1798.67 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.67 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.67 c 82 1532334 14715 1587935 26666 1510765 25617 852 1798.00 1797.92/1798.67 c Objective: 3 1797.92/1798.67 s SATISFIABLE 1797.92/1798.67 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-2670460-1276702238/watcher-2670460-1276702238 -o /tmp/evaluation-result-2670460-1276702238/solver-2670460-1276702238 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670460-1276702238.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 0.97 2/106 17944 /proc/meminfo: memFree=1701468/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=10928 CPUtime=0 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 367 0 0 0 0 0 0 0 20 0 1 0 11516130 11190272 276 1992294400 134512640 137138936 4292152320 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 2732 278 182 642 0 2088 0 [startup+0.059479 s] /proc/loadavg: 1.00 1.00 0.97 2/106 17944 /proc/meminfo: memFree=1701468/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=11312 CPUtime=0.05 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 485 0 0 0 5 0 0 0 20 0 1 0 11516130 11583488 394 1992294400 134512640 137138936 4292152320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 2828 394 190 642 0 2184 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11312 [startup+0.101486 s] /proc/loadavg: 1.00 1.00 0.97 2/106 17944 /proc/meminfo: memFree=1701468/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=11688 CPUtime=0.09 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 575 0 0 0 9 0 0 0 20 0 1 0 11516130 11968512 484 1992294400 134512640 137138936 4292152320 18446744073709551615 136505214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 2922 484 190 642 0 2278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11688 [startup+0.301522 s] /proc/loadavg: 1.00 1.00 0.97 2/106 17944 /proc/meminfo: memFree=1701468/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=12816 CPUtime=0.3 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 857 0 0 0 29 1 0 0 20 0 1 0 11516130 13123584 766 1992294400 134512640 137138936 4292152320 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 3204 766 190 642 0 2560 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 12816 [startup+0.700595 s] /proc/loadavg: 1.00 1.00 0.97 2/106 17944 /proc/meminfo: memFree=1701468/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=14316 CPUtime=0.69 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 1215 0 0 0 68 1 0 0 21 0 1 0 11516130 14659584 1124 1992294400 134512640 137138936 4292152320 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 3579 1124 190 642 0 2935 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14316 [startup+1.50074 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17945 /proc/meminfo: memFree=1697120/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=16716 CPUtime=1.49 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 1816 0 0 0 147 2 0 0 23 0 1 0 11516130 17117184 1725 1992294400 134512640 137138936 4292152320 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 4179 1725 190 642 0 3535 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16716 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17945 /proc/meminfo: memFree=1693152/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=20236 CPUtime=3.09 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 2695 0 0 0 306 3 0 0 25 0 1 0 11516130 20721664 2604 1992294400 134512640 137138936 4292152320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 5059 2604 190 642 0 4415 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20236 [startup+6.30061 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17945 /proc/meminfo: memFree=1689308/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=23368 CPUtime=6.29 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 3477 0 0 0 625 4 0 0 25 0 1 0 11516130 23928832 3386 1992294400 134512640 137138936 4292152320 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 5842 3386 190 642 0 5198 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23368 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17945 /proc/meminfo: memFree=1686952/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=24828 CPUtime=12.68 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 3855 0 0 0 1262 6 0 0 25 0 1 0 11516130 25423872 3764 1992294400 134512640 137138936 4292152320 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 6207 3764 190 642 0 5563 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24828 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17947 /proc/meminfo: memFree=1683108/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=28680 CPUtime=25.48 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 4830 0 0 0 2537 11 0 0 25 0 1 0 11516130 29368320 4739 1992294400 134512640 137138936 4292152320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 7170 4739 190 642 0 6526 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28680 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17947 /proc/meminfo: memFree=1679884/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=31900 CPUtime=51.07 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 5628 0 0 0 5090 17 0 0 25 0 1 0 11516130 32665600 5537 1992294400 134512640 137138936 4292152320 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 7975 5537 190 642 0 7331 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31900 [startup+102.308 s] /proc/loadavg: 1.07 1.02 0.97 2/107 17952 /proc/meminfo: memFree=1675544/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=35464 CPUtime=102.26 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 6523 0 0 0 10197 29 0 0 25 0 1 0 11516130 36315136 6432 1992294400 134512640 137138936 4292152320 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 8866 6432 190 642 0 8222 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 35464 [startup+162.302 s] /proc/loadavg: 1.03 1.01 0.97 2/107 17952 /proc/meminfo: memFree=1672940/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=38064 CPUtime=162.23 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 7175 0 0 0 16182 41 0 0 25 0 1 0 11516130 38977536 7084 1992294400 134512640 137138936 4292152320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 9516 7084 190 642 0 8872 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 38064 [startup+222.301 s] /proc/loadavg: 1.01 1.00 0.97 2/107 17954 /proc/meminfo: memFree=1672568/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=38396 CPUtime=222.2 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 7258 0 0 0 22168 52 0 0 25 0 1 0 11516130 39317504 7167 1992294400 134512640 137138936 4292152320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 9599 7167 190 642 0 8955 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 38396 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17956 /proc/meminfo: memFree=1669468/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41548 CPUtime=282.18 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8050 0 0 0 28153 65 0 0 25 0 1 0 11516130 42545152 7959 1992294400 134512640 137138936 4292152320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10387 7959 190 642 0 9743 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 41548 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17958 /proc/meminfo: memFree=1669468/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41404 CPUtime=342.16 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 34130 86 0 0 25 0 1 0 11516130 42397696 7926 1992294400 134512640 137138936 4292152320 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10351 7926 191 642 0 9707 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 41404 [startup+402.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17960 /proc/meminfo: memFree=1669468/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41396 CPUtime=402.14 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 40108 106 0 0 25 0 1 0 11516130 42389504 7924 1992294400 134512640 137138936 4292152320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10349 7924 191 642 0 9705 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 41396 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17960 /proc/meminfo: memFree=1669592/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41396 CPUtime=462.11 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 46090 121 0 0 25 0 1 0 11516130 42389504 7924 1992294400 134512640 137138936 4292152320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10349 7924 191 642 0 9705 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 41396 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17962 /proc/meminfo: memFree=1669592/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41388 CPUtime=522.09 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 52076 133 0 0 25 0 1 0 11516130 42381312 7922 1992294400 134512640 137138936 4292152320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10347 7922 191 642 0 9703 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 41388 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17964 /proc/meminfo: memFree=1669592/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41388 CPUtime=582.07 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 58058 149 0 0 25 0 1 0 11516130 42381312 7922 1992294400 134512640 137138936 4292152320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10347 7922 191 642 0 9703 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 41388 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17966 /proc/meminfo: memFree=1669592/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41388 CPUtime=642.05 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 64041 164 0 0 25 0 1 0 11516130 42381312 7922 1992294400 134512640 137138936 4292152320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10347 7922 191 642 0 9703 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 41388 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1669344/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41368 CPUtime=1121.87 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 111907 280 0 0 25 0 1 0 11516130 42360832 7917 1992294400 134512640 137138936 4292152320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10342 7917 191 642 0 9698 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 41368 [startup+1182.3 s] /proc/loadavg: 1.14 1.05 1.00 2/107 17980 /proc/meminfo: memFree=1669344/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41368 CPUtime=1181.84 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 117892 292 0 0 25 0 1 0 11516130 42360832 7917 1992294400 134512640 137138936 4292152320 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10342 7917 191 642 0 9698 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 41368 [startup+1242.3 s] /proc/loadavg: 1.12 1.05 1.00 2/107 17982 /proc/meminfo: memFree=1669220/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41368 CPUtime=1241.83 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 123879 304 0 0 25 0 1 0 11516130 42360832 7917 1992294400 134512640 137138936 4292152320 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10342 7917 191 642 0 9698 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 41368 [startup+1302.3 s] /proc/loadavg: 1.10 1.06 1.00 2/107 17984 /proc/meminfo: memFree=1669220/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41368 CPUtime=1301.8 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 129862 318 0 0 25 0 1 0 11516130 42360832 7917 1992294400 134512640 137138936 4292152320 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10342 7917 191 642 0 9698 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 41368 [startup+1362.3 s] /proc/loadavg: 1.10 1.06 1.00 2/107 17984 /proc/meminfo: memFree=1669220/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41368 CPUtime=1361.78 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 135846 332 0 0 25 0 1 0 11516130 42360832 7917 1992294400 134512640 137138936 4292152320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10342 7917 191 642 0 9698 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 41368 [startup+1422.31 s] /proc/loadavg: 1.08 1.06 1.00 2/107 17986 /proc/meminfo: memFree=1669096/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41360 CPUtime=1421.76 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 141834 342 0 0 25 0 1 0 11516130 42352640 7915 1992294400 134512640 137138936 4292152320 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10340 7915 191 642 0 9696 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 41360 [startup+1482.3 s] /proc/loadavg: 1.08 1.06 1.00 2/107 17988 /proc/meminfo: memFree=1669096/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1481.74 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 147818 356 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 134542155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 41344 [startup+1542.3 s] /proc/loadavg: 1.07 1.06 1.00 2/107 17990 /proc/meminfo: memFree=1669096/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1541.71 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 153804 367 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 41344 [startup+1602.3 s] /proc/loadavg: 1.07 1.06 1.00 2/107 17992 /proc/meminfo: memFree=1669096/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1601.69 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 159789 380 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 41344 [startup+1662.3 s] /proc/loadavg: 1.02 1.05 1.00 2/107 17992 /proc/meminfo: memFree=1669096/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1661.67 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 165776 391 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 41344 [startup+1722.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 17994 /proc/meminfo: memFree=1669096/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1721.64 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 171761 403 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 41344 [startup+1782.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 17996 /proc/meminfo: memFree=1668724/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1781.62 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 177747 415 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1781.62 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.03 1.00 2/107 17996 /proc/meminfo: memFree=1668724/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1791.22 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 178705 417 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1791.22 Current children cumulated vsize (KiB) 41344 [startup+1795.1 s] /proc/loadavg: 1.00 1.03 1.00 2/107 17996 /proc/meminfo: memFree=1668724/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1794.42 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 179025 417 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (KiB) 41344 [startup+1796.7 s] /proc/loadavg: 1.00 1.03 1.00 2/107 17996 /proc/meminfo: memFree=1668724/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1796.02 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 179184 418 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1796.02 Current children cumulated vsize (KiB) 41344 [startup+1797.5 s] /proc/loadavg: 1.00 1.03 1.00 2/107 17996 /proc/meminfo: memFree=1668724/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1796.82 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 179264 418 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (KiB) 41344 [startup+1798.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 17996 /proc/meminfo: memFree=1668724/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1797.62 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 179344 418 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 41344 [startup+1798.51 s] /proc/loadavg: 1.00 1.03 1.00 2/107 17996 /proc/meminfo: memFree=1668724/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1797.82 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 179364 418 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 136511128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 41344 [startup+1798.6 s] /proc/loadavg: 1.00 1.03 1.00 2/107 17996 /proc/meminfo: memFree=1668724/2059040 swapFree=4192956/4192956 [pid=17944] ppid=17942 vsize=41344 CPUtime=1797.92 /proc/17944/stat : 17944 (bsolo_pb10) R 17942 17944 17561 0 -1 4202496 8051 0 0 0 179374 418 0 0 25 0 1 0 11516130 42336256 7911 1992294400 134512640 137138936 4292152320 18446744073709551615 134542458 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17944/statm: 10336 7911 191 642 0 9692 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 41344 Child status: 0 Real time (s): 1798.68 CPU time (s): 1798 CPU user time (s): 1793.82 CPU system time (s): 4.18836 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 41668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.82 system time used= 4.18836 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8052 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= 1 involuntary context switches= 3346 runsolver used 2.88556 second user time and 8.5727 second system time The end
Begin job on node044 at 2010-06-16 17:30:38 IDJOB=2670460 IDBENCH=47946 IDSOLVER=1163 FILE ID=node044/2670460-1276702238 PBS_JOBID= 11174099 Free space on /tmp= 62588 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=223-P1=61-P2=13-P3=127-P4=37-P5=37-P6=137-P7=37-P8=223-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670460-1276702238/watcher-2670460-1276702238 -o /tmp/evaluation-result-2670460-1276702238/solver-2670460-1276702238 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670460-1276702238.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8f717fbc7f85484ebc0de379ab09a890 RANDOM SEED=909992215 node044.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.266 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.53 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.266 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1702244 kB Buffers: 79792 kB Cached: 148852 kB SwapCached: 0 kB Active: 127320 kB Inactive: 160696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1702244 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4096 kB Writeback: 0 kB AnonPages: 59360 kB Mapped: 15476 kB Slab: 46932 kB PageTables: 3908 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181260 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-2670460-1276702238.opb Free space on /tmp at the end= 62584 MiB End job on node044 at 2010-06-16 18:00:37