Trace number 2671041

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardSAT-13 1798.07 1798.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_5.opb
MD5SUM1a8c058c181490cb899ec7074b22bfb3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2671041-1276715730.opb
0.00/0.00	c File size is 256864 bytes.
0.01/0.04	c Highest Coefficient sum: 200
0.01/0.04	c Parsing was ok!!
0.01/0.04	c Total parsing time: 0.044 s
0.01/0.04	c Var: 3262 Constr: 6426 3162/202/3062 Lit: 25096 Watch. Lit: 21836
0.01/0.04	c Obj. Vars: 100 (3.0656 % of total variables)
3.59/3.61	c Pre-processing Time: 3.613 s
3.59/3.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.61	c        0   3262     6426    25096    3    21836   82850      0      0 3.61
3.59/3.61	c Switching off lower bounding mode.
3.59/3.61	o -1
3.59/3.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.62	c        0   3262     6427    25196    3    21839   82916      1      0 3.62
3.59/3.62	o -2
3.59/3.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.63	c        1   3262     6430    25496    3    21848   82950      4      0 3.62
3.59/3.63	o -3
3.59/3.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.63	c        5   3262     6436    25837    4    21865   82983     10      1 3.63
3.59/3.63	o -4
3.59/3.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.64	c        7   3262     6439    26137    4    21875   83016     13      1 3.63
3.59/3.64	o -5
3.59/3.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.64	c       10   3262     6444    26661    4    21894   83050     18      2 3.64
3.59/3.64	o -6
3.59/3.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.65	c       18   3262     6454    27414    4    21925   83083     28      4 3.65
3.59/3.65	o -7
3.59/3.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.66	c       29   3262     6467    28353    4    21964   83116     41      7 3.65
3.59/3.66	o -8
3.59/3.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.67	c       46   3262     6486    29756    4    22017   83150     60     12 3.66
3.59/3.67	o -9
3.59/3.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.69	c       64   3262     6506    31501    4    22074   83183     80     17 3.67
3.59/3.69	o -10
4.79/4.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.83	c      104   3262     6548    33570    5    22177   83216    122     28 3.69
4.79/4.83	c      204   3262     6649    34492    5    22389   91538    223     55 3.71
4.79/4.83	c      454   3262     6902    59004    8    22895  100692    476    119 3.79
4.79/4.83	c      929   3262     7384   105541   14    23859  110762    958    234 3.96
4.79/4.83	c     1742   3262     8197   184609   22    25485  121839   1771    398 4.37
4.79/4.83	o -11
5.99/6.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.08	c     2683   3262     9141   269712   29    27384   83250   2715    555 4.83
5.99/6.08	c     2783   3262     9242   271168   29    27597   91576   2816    573 4.85
5.99/6.08	c     3033   3262     9496   295282   31    28105  100734   3070    611 4.96
5.99/6.08	c     3508   3262     9979   341990   34    29071  110808   3553    674 5.20
5.99/6.08	c     4321   3262    10794   420479   38    30701  121889   4368    767 5.63
5.99/6.08	o -12
22.89/22.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.89/22.90	c     5203   3262    11690   494260   42    32505   83283   5264    854 6.09
22.89/22.90	c     5303   3262    11792   497160   42    32721   91612   5366    863 6.14
22.89/22.90	c     5553   3262    12048   518410   43    33233  100774   5622    880 6.31
22.89/22.90	c     6028   3262    12538   550854   43    34213  110852   6112    915 6.58
22.89/22.90	c     6841   3262    13382   614600   45    35903  121938   6956    966 7.08
22.89/22.90	c     8161   3262    14783   748893   50    38746  134132   8357   1031 7.91
22.89/22.90	c    10243   3262    16985   978627   57    43198  147546  10559   1086 9.42
22.89/22.90	c    13466   3262    20398  1358510   66    50137  162301  13972   1085 12.41
22.89/22.90	c    18402   3262    25647  1922675   74    60918  178532  19221   1074 17.12
22.89/22.90	o -13
1797.92/1798.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.50	c    22472   3262    30038  2411681   80    69943   83316  23612    981 22.90
1797.92/1798.50	c    22572   3262    30151  2425646   80    70169   91648  23725    977 23.09
1797.92/1798.50	c    22822   3262    30416  2453494   80    70699  100813  23990    968 23.57
1797.92/1798.50	c    23297   3262    30921  2508913   81    71770  110895  24495    959 24.29
1797.92/1798.50	c    24111   3262    31776  2602493   81    73480  121985  25350    942 25.59
1797.92/1798.50	c    25431   3262    33185  2754231   82    76340  134184  26759    910 27.93
1797.92/1798.50	c    27512   3262    35454  3007851   84    81034  147603  29028    846 32.49
1797.92/1798.50	c    30735   3262    38918  3381392   86    88142  162364  32492    788 38.98
1797.92/1798.50	c    35671   3262    44158  3934920   89    98736  178601  37732    693 51.42
1797.92/1798.50	c    43177   3262    52174  4811415   92   115145  196462  45748    581 74.23
1797.92/1798.50	c    54538   3262    64344  6126875   95   140218  216109  57918    507 107.39
1797.92/1798.50	c    71682   3262    82864  8190297   98   178361  237720  76438    391 182.89
1797.92/1798.50	c    97501   3262   111103 11502674  103   235751  261493 104677    278 349.97
1797.92/1798.50	c   136333   3262   153711 16567857  107   322459  287643 147285    214 634.45
1797.92/1798.50	c   194685   3262   217162 24093359  110   451647  316408 210736    167 1164.88
1797.92/1798.50	c Resources Exceeded
1797.92/1798.50	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 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -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 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -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 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 x175 x176 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 x196 -x197 x198 -x199 -x200 
1797.92/1798.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.50	c   43   247197  54987   348146   273952 30665859 267526    137 1798.02
1797.92/1798.50	c Objective: -13
1797.92/1798.50	s SATISFIABLE
1797.92/1798.50	c Total time: 1798.02 s

Verifier Data 

OK	-13

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671041-1276715730/watcher-2671041-1276715730 -o /tmp/evaluation-result-2671041-1276715730/solver-2671041-1276715730 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671041-1276715730.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: 0.94 1.06 1.00 3/106 11154
/proc/meminfo: memFree=1772732/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=11188 CPUtime=0
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 47174762 11456512 268 1992294400 134512640 137138936 4289199840 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 2797 268 175 642 0 2090 0

[startup+0.0122259 s]
/proc/loadavg: 0.94 1.06 1.00 3/106 11154
/proc/meminfo: memFree=1772732/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=11192 CPUtime=0.01
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 374 0 0 0 1 0 0 0 20 0 1 0 47174762 11460608 293 1992294400 134512640 137138936 4289199840 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 2798 293 181 642 0 2091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11192

[startup+0.10123 s]
/proc/loadavg: 0.94 1.06 1.00 3/106 11154
/proc/meminfo: memFree=1772732/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=12576 CPUtime=0.09
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 832 0 0 0 9 0 0 0 20 0 1 0 47174762 12877824 688 1992294400 134512640 137138936 4289199840 18446744073709551615 134543111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 3144 688 184 642 0 2500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12576

[startup+0.301252 s]
/proc/loadavg: 0.94 1.06 1.00 3/106 11154
/proc/meminfo: memFree=1772732/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=12576 CPUtime=0.29
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 832 0 0 0 29 0 0 0 20 0 1 0 47174762 12877824 688 1992294400 134512640 137138936 4289199840 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 3144 688 184 642 0 2500 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12576

[startup+0.701296 s]
/proc/loadavg: 0.94 1.06 1.00 3/106 11154
/proc/meminfo: memFree=1772732/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=12576 CPUtime=0.69
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 832 0 0 0 69 0 0 0 21 0 1 0 47174762 12877824 688 1992294400 134512640 137138936 4289199840 18446744073709551615 134542737 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 3144 688 184 642 0 2500 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12576

[startup+1.50039 s]
/proc/loadavg: 0.94 1.06 1.00 2/107 11155
/proc/meminfo: memFree=1770740/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=12576 CPUtime=1.49
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 832 0 0 0 149 0 0 0 22 0 1 0 47174762 12877824 688 1992294400 134512640 137138936 4289199840 18446744073709551615 134566308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 3144 688 184 642 0 2500 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12576

[startup+3.10056 s]
/proc/loadavg: 0.94 1.06 1.00 2/107 11155
/proc/meminfo: memFree=1770492/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=12576 CPUtime=3.09
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 832 0 0 0 309 0 0 0 25 0 1 0 47174762 12877824 688 1992294400 134512640 137138936 4289199840 18446744073709551615 134566259 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 3144 688 184 642 0 2500 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12576

[startup+6.30092 s]
/proc/loadavg: 1.03 1.07 1.01 2/107 11155
/proc/meminfo: memFree=1765408/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=19420 CPUtime=6.29
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 2636 0 0 0 626 3 0 0 25 0 1 0 47174762 19886080 2430 1992294400 134512640 137138936 4289199840 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 4855 2431 192 642 0 4211 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19420

[startup+12.7006 s]
/proc/loadavg: 1.02 1.07 1.01 2/107 11155
/proc/meminfo: memFree=1752388/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=31688 CPUtime=12.69
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 5681 0 0 0 1261 8 0 0 25 0 1 0 47174762 32448512 5475 1992294400 134512640 137138936 4289199840 18446744073709551615 134606655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 7922 5475 192 642 0 7278 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31688

[startup+25.501 s]
/proc/loadavg: 1.02 1.07 1.01 2/107 11155
/proc/meminfo: memFree=1734904/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=48244 CPUtime=25.48
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 9825 0 0 0 2534 14 0 0 25 0 1 0 47174762 49401856 9619 1992294400 134512640 137138936 4289199840 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 12061 9619 192 642 0 11417 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48244

[startup+51.1019 s]
/proc/loadavg: 1.01 1.06 1.00 2/107 11157
/proc/meminfo: memFree=1716676/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=66520 CPUtime=51.07
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 14402 0 0 0 5085 22 0 0 25 0 1 0 47174762 68116480 14196 1992294400 134512640 137138936 4289199840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 16630 14196 192 642 0 15986 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66520

[startup+102.309 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 11157
/proc/meminfo: memFree=1688776/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=93888 CPUtime=102.27
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 21253 0 0 0 10192 35 0 0 25 0 1 0 47174762 96141312 21047 1992294400 134512640 137138936 4289199840 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 23472 21047 192 642 0 22828 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 93888

[startup+162.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 11159
/proc/meminfo: memFree=1664596/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=118108 CPUtime=162.24
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 27311 0 0 0 16176 48 0 0 25 0 1 0 47174762 120942592 27105 1992294400 134512640 137138936 4289199840 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 29527 27105 192 642 0 28883 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 118108

[startup+222.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 11161
/proc/meminfo: memFree=1645624/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=136940 CPUtime=222.23
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 32001 0 0 0 22165 58 0 0 25 0 1 0 47174762 140226560 31795 1992294400 134512640 137138936 4289199840 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 34235 31795 192 642 0 33591 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 136940

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11163
/proc/meminfo: memFree=1629132/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=153556 CPUtime=282.21
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 36161 0 0 0 28155 66 0 0 25 0 1 0 47174762 157241344 35955 1992294400 134512640 137138936 4289199840 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 38389 35955 192 642 0 37745 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 153556

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11163
/proc/meminfo: memFree=1613260/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=169180 CPUtime=342.2
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 40059 0 0 0 34144 76 0 0 25 0 1 0 47174762 173240320 39853 1992294400 134512640 137138936 4289199840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 42295 39853 192 642 0 41651 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 169180

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11165
/proc/meminfo: memFree=1597512/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=185168 CPUtime=402.18
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 44052 0 0 0 40135 83 0 0 25 0 1 0 47174762 189612032 43846 1992294400 134512640 137138936 4289199840 18446744073709551615 136521014 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 46292 43846 192 642 0 45648 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 185168

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11167
/proc/meminfo: memFree=1580152/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=202144 CPUtime=462.16
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 48312 0 0 0 46124 92 0 0 25 0 1 0 47174762 206995456 48106 1992294400 134512640 137138936 4289199840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 50536 48106 192 642 0 49892 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 202144

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11169
/proc/meminfo: memFree=1564032/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=218532 CPUtime=522.15
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 52392 0 0 0 52116 99 0 0 25 0 1 0 47174762 223776768 52186 1992294400 134512640 137138936 4289199840 18446744073709551615 134603102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 54633 52186 192 642 0 53989 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 218532

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11171
/proc/meminfo: memFree=1551756/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=230412 CPUtime=582.13
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 55379 0 0 0 58109 104 0 0 25 0 1 0 47174762 235941888 55173 1992294400 134512640 137138936 4289199840 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 57603 55173 192 642 0 56959 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 230412

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11171
/proc/meminfo: memFree=1539976/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=242152 CPUtime=642.12
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 58312 0 0 0 64101 111 0 0 25 0 1 0 47174762 247963648 58106 1992294400 134512640 137138936 4289199840 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 60538 58106 192 642 0 59894 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 242152

[startup+702.302 s]

################
# More data... #
################

/proc/meminfo: memFree=1456276/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=325544 CPUtime=1062
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 79157 0 0 0 106041 159 0 0 25 0 1 0 47174762 333357056 78951 1992294400 134512640 137138936 4289199840 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 81386 78951 192 642 0 80742 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 325544

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11185
/proc/meminfo: memFree=1445612/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=336208 CPUtime=1121.99
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 81824 0 0 0 112034 165 0 0 25 0 1 0 47174762 344276992 81618 1992294400 134512640 137138936 4289199840 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 84052 81618 192 642 0 83408 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 336208

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11187
/proc/meminfo: memFree=1434824/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=346944 CPUtime=1181.97
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 84508 0 0 0 118028 169 0 0 25 0 1 0 47174762 355270656 84302 1992294400 134512640 137138936 4289199840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 86736 84302 192 642 0 86092 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 346944

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11187
/proc/meminfo: memFree=1426020/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=355568 CPUtime=1241.95
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 86663 0 0 0 124022 173 0 0 25 0 1 0 47174762 364101632 86457 1992294400 134512640 137138936 4289199840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 88892 86457 192 642 0 88248 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 355568

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11189
/proc/meminfo: memFree=1416596/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=364720 CPUtime=1301.95
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 88950 0 0 0 130015 180 0 0 25 0 1 0 47174762 373473280 88744 1992294400 134512640 137138936 4289199840 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 91180 88744 192 642 0 90536 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 364720

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11191
/proc/meminfo: memFree=1407916/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=373580 CPUtime=1361.93
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 91176 0 0 0 136010 183 0 0 25 0 1 0 47174762 382545920 90970 1992294400 134512640 137138936 4289199840 18446744073709551615 134542217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 93395 90970 192 642 0 92751 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 373580

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11193
/proc/meminfo: memFree=1399484/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=381924 CPUtime=1421.92
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 93256 0 0 0 142003 189 0 0 25 0 1 0 47174762 391090176 93050 1992294400 134512640 137138936 4289199840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 95481 93050 192 642 0 94837 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 381924

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11195
/proc/meminfo: memFree=1391920/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=389548 CPUtime=1481.89
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 95163 0 0 0 147995 194 0 0 25 0 1 0 47174762 398897152 94957 1992294400 134512640 137138936 4289199840 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 97387 94957 192 642 0 96743 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 389548

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 11195
/proc/meminfo: memFree=1381628/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=399752 CPUtime=1541.88
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 97711 0 0 0 153989 199 0 0 25 0 1 0 47174762 409346048 97505 1992294400 134512640 137138936 4289199840 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 99938 97505 192 642 0 99294 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 399752

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11197
/proc/meminfo: memFree=1372328/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=409196 CPUtime=1601.86
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 100082 0 0 0 159982 204 0 0 25 0 1 0 47174762 419016704 99876 1992294400 134512640 137138936 4289199840 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 102299 99876 192 642 0 101655 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 409196

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11199
/proc/meminfo: memFree=1364392/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=416960 CPUtime=1661.84
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 102008 0 0 0 165975 209 0 0 25 0 1 0 47174762 426967040 101802 1992294400 134512640 137138936 4289199840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 104240 101802 192 642 0 103596 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 416960

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11201
/proc/meminfo: memFree=1356456/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=424800 CPUtime=1721.83
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 103978 0 0 0 171968 215 0 0 25 0 1 0 47174762 434995200 103772 1992294400 134512640 137138936 4289199840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 106200 103772 192 642 0 105556 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 424800

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11203
/proc/meminfo: memFree=1348892/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=432232 CPUtime=1781.81
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 105833 0 0 0 177961 220 0 0 25 0 1 0 47174762 442605568 105627 1992294400 134512640 137138936 4289199840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 108058 105627 192 642 0 107414 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 432232

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 11203
/proc/meminfo: memFree=1347776/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=433312 CPUtime=1791.42
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 106108 0 0 0 178921 221 0 0 25 0 1 0 47174762 443711488 105902 1992294400 134512640 137138936 4289199840 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 108328 105902 192 642 0 107684 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 433312

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11203
/proc/meminfo: memFree=1347404/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=433644 CPUtime=1794.62
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 106194 0 0 0 179241 221 0 0 25 0 1 0 47174762 444051456 105988 1992294400 134512640 137138936 4289199840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 108411 105988 192 642 0 107767 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 433644

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11203
/proc/meminfo: memFree=1347280/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=433872 CPUtime=1796.21
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 106247 0 0 0 179400 221 0 0 25 0 1 0 47174762 444284928 106041 1992294400 134512640 137138936 4289199840 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 108468 106041 192 642 0 107824 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 433872

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11203
/proc/meminfo: memFree=1347032/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=433984 CPUtime=1797.01
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 106271 0 0 0 179480 221 0 0 25 0 1 0 47174762 444399616 106065 1992294400 134512640 137138936 4289199840 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 108496 106065 192 642 0 107852 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 433984

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11203
/proc/meminfo: memFree=1347032/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=434108 CPUtime=1797.81
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202496 106297 0 0 0 179560 221 0 0 25 0 1 0 47174762 444526592 106091 1992294400 134512640 137138936 4289199840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11154/statm: 108527 106091 192 642 0 107883 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 434108

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11203
/proc/meminfo: memFree=1346908/2059040 swapFree=4140260/4192956
[pid=11154] ppid=11152 vsize=0 CPUtime=1798.01
/proc/11154/stat : 11154 (bsolo_pb10) R 11152 11154 11023 0 -1 4202500 106304 0 0 0 179580 221 0 0 25 0 1 0 47174762 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/11154/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.55
CPU time (s): 1798.07
CPU user time (s): 1795.81
CPU system time (s): 2.25966
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 434108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.81
system time used= 2.25966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106304
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= 3037

runsolver used 2.87756 second user time and 8.5807 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-16 21:15:30
IDJOB=2671041
IDBENCH=48237
IDSOLVER=1162
FILE ID=node009/2671041-1276715730
PBS_JOBID= 11174179
Free space on /tmp= 62556 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671041-1276715730/watcher-2671041-1276715730 -o /tmp/evaluation-result-2671041-1276715730/solver-2671041-1276715730 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2671041-1276715730.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3
RANDOM SEED=1537990738

node009.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.199
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.39
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.199
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1773508 kB
Buffers:         65228 kB
Cached:         125100 kB
SwapCached:       6060 kB
Active:          81364 kB
Inactive:       122104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1773508 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:            3988 kB
Writeback:           0 kB
AnonPages:       11632 kB
Mapped:          13076 kB
Slab:            60188 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180228 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-2671041-1276715730.opb

Free space on /tmp at the end= 62552 MiB
End job on node009 at 2010-06-16 21:45:29