Trace number 2671101

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-12 1798.07 1798.53

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_3.opb
MD5SUM29cda419af6adbdf14450bbe70fbdfc2
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.05
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)6180
Sum of products size (including duplicates)12360
Number of different products3090
Sum of products size6180

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-2671101-1276718611.opb
0.00/0.00	c File size is 259160 bytes.
0.02/0.04	c Highest Coefficient sum: 200
0.02/0.04	c Parsing was ok!!
0.02/0.04	c Total parsing time: 0.044 s
0.02/0.04	c Var: 3290 Constr: 6482 3190/202/3090 Lit: 25320 Watch. Lit: 22032
0.02/0.04	c Obj. Vars: 100 (3.03951 % of total variables)
3.69/3.70	c Pre-processing Time: 3.701 s
3.69/3.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.70	c        0   3290     6482    25320    3    22032   84386      0      0 3.70
3.69/3.70	c Switching off lower bounding mode.
3.69/3.70	o -1
3.69/3.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.71	c        0   3290     6483    25420    3    22035   84452      1      0 3.71
3.69/3.71	o -2
3.69/3.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.71	c        2   3290     6487    25819    3    22046   84486      5      0 3.71
3.69/3.71	o -3
3.69/3.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.72	c        4   3290     6491    26274    4    22059   84519      9      1 3.72
3.69/3.72	o -4
3.69/3.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.72	c        8   3290     6497    26827    4    22078   84552     15      2 3.72
3.69/3.72	o -5
3.69/3.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.73	c       14   3290     6505    27309    4    22103   84586     23      3 3.73
3.69/3.73	o -6
3.69/3.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.74	c       38   3290     6531    29592    4    22166   84619     49     10 3.74
3.69/3.74	o -7
3.69/3.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.76	c       96   3290     6591    30508    4    22299   84652    109     25 3.75
3.69/3.76	o -8
3.69/3.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.77	c      121   3290     6618    32859    4    22368   84686    136     32 3.76
3.69/3.77	o -9
4.09/4.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.19	c      140   3290     6639    34099    5    22427   84719    157     37 3.77
4.09/4.19	c      240   3290     6740    35428    5    22638   93191    258     63 3.79
4.09/4.19	c      490   3290     7006    57921    8    23170  102511    524    123 3.95
4.09/4.19	o -10
5.29/5.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.34	c      865   3290     7394    90572   12    23956   84752    912    206 4.20
5.29/5.34	c      965   3290     7495    93687   12    24168   93228   1013    228 4.22
5.29/5.34	c     1215   3290     7746    99923   12    24670  102551   1264    283 4.28
5.29/5.34	c     1690   3290     8228   145464   17    25634  112807   1746    381 4.43
5.29/5.34	c     2503   3290     9044   224922   24    27266  124088   2562    528 4.74
5.29/5.34	o -11
6.09/6.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.12	c     3777   3290    10362   334278   32    29918   84786   3880    706 5.34
6.09/6.12	c     3878   3290    10469   340324   32    30156   93265   3987    716 5.41
6.09/6.12	c     4128   3290    10722   356088   33    30662  102592   4240    744 5.55
6.09/6.12	c     4603   3290    11215   388888   34    31651  112852   4733    790 5.82
6.09/6.12	o -12
1797.94/1798.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.48	c     5085   3290    11715   418827   35    32672   84819   5233    830 6.13
1797.94/1798.48	c     5185   3290    11818   428106   36    32878   93301   5336    838 6.18
1797.94/1798.48	c     5435   3290    12080   452297   37    33414  102632   5598    855 6.35
1797.94/1798.48	c     5910   3290    12573   494857   39    34407  112896   6091    888 6.65
1797.94/1798.48	c     6723   3290    13429   580472   43    36119  124186   6947    933 7.21
1797.94/1798.48	c     8043   3290    14819   724531   48    38904  136605   8337    983 8.18
1797.94/1798.48	c    10124   3290    17009   945076   55    43286  150266  10527   1032 9.81
1797.94/1798.48	c    13347   3290    20448  1310130   64    50328  165293  13966   1044 12.77
1797.94/1798.48	c    18283   3290    25750  1900791   73    61189  181823  19268    964 18.96
1797.94/1798.48	c    25789   3290    33834  2801047   82    77743  200006  27352    844 30.54
1797.94/1798.48	c    37150   3290    46156  4219258   91   103060  220007  39674    657 56.49
1797.94/1798.48	c    54295   3290    64714  6367445   98   140748  242008  58232    518 104.77
1797.94/1798.48	c    80116   3290    92716  9647427  104   198097  266209  86234    333 240.40
1797.94/1798.48	c   118948   3290   136097 15089743  110   286456  292830 129615    198 600.42
1797.94/1798.48	c   177300   3290   200300 22785026  113   417965  322114 193818    156 1135.01
1797.94/1798.48	c Resources Exceeded
1797.94/1798.48	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -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 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 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.94/1798.48	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.48	c   35   234427  46527   315084   263171 30567936 256689    130 1798.03
1797.94/1798.48	c Objective: -12
1797.94/1798.48	s SATISFIABLE
1797.94/1798.48	c Total time: 1798.03 s

Verifier Data 

OK	-12

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671101-1276718611/watcher-2671101-1276718611 -o /tmp/evaluation-result-2671101-1276718611/solver-2671101-1276718611 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671101-1276718611.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.92 0.99 0.99 3/106 18479
/proc/meminfo: memFree=1701716/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=11192 CPUtime=0
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 13153305 11460608 265 1992294400 134512640 137138936 4287951472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 2798 265 174 642 0 2090 0

[startup+0.0314659 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 18479
/proc/meminfo: memFree=1701716/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=11604 CPUtime=0.02
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 499 0 0 0 2 0 0 0 20 0 1 0 13153305 11882496 418 1992294400 134512640 137138936 4287951472 18446744073709551615 134516189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 2901 418 208 642 0 2193 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11604

[startup+0.100473 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 18479
/proc/meminfo: memFree=1701716/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=12580 CPUtime=0.09
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 835 0 0 0 9 0 0 0 20 0 1 0 13153305 12881920 690 1992294400 134512640 137138936 4287951472 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 3145 690 184 642 0 2501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12580

[startup+0.300493 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 18479
/proc/meminfo: memFree=1701716/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=12580 CPUtime=0.29
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 837 0 0 0 29 0 0 0 20 0 1 0 13153305 12881920 692 1992294400 134512640 137138936 4287951472 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 3145 692 184 642 0 2501 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12580

[startup+0.700533 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 18479
/proc/meminfo: memFree=1701716/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=12580 CPUtime=0.69
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 838 0 0 0 69 0 0 0 21 0 1 0 13153305 12881920 693 1992294400 134512640 137138936 4287951472 18446744073709551615 134566334 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 3145 693 184 642 0 2501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12580

[startup+1.50062 s]
/proc/loadavg: 0.92 0.99 0.99 2/107 18480
/proc/meminfo: memFree=1699724/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=12580 CPUtime=1.49
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 838 0 0 0 149 0 0 0 23 0 1 0 13153305 12881920 693 1992294400 134512640 137138936 4287951472 18446744073709551615 136500254 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 3145 693 184 642 0 2501 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12580

[startup+3.10078 s]
/proc/loadavg: 0.92 0.99 0.99 2/107 18480
/proc/meminfo: memFree=1699600/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=12580 CPUtime=3.09
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 838 0 0 0 308 1 0 0 25 0 1 0 13153305 12881920 693 1992294400 134512640 137138936 4287951472 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 3145 693 184 642 0 2501 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12580

[startup+6.3011 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 18480
/proc/meminfo: memFree=1694888/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=18612 CPUtime=6.29
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 2411 0 0 0 624 5 0 0 25 0 1 0 13153305 19058688 2205 1992294400 134512640 137138936 4287951472 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 4653 2205 192 642 0 4009 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18612

[startup+12.7008 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 18480
/proc/meminfo: memFree=1682488/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=30408 CPUtime=12.69
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 5374 0 0 0 1260 9 0 0 25 0 1 0 13153305 31137792 5168 1992294400 134512640 137138936 4287951472 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 7602 5168 192 642 0 6958 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30408

[startup+25.5011 s]
/proc/loadavg: 0.95 0.99 0.99 2/107 18480
/proc/meminfo: memFree=1666368/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=45764 CPUtime=25.49
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 9213 0 0 0 2534 15 0 0 25 0 1 0 13153305 46862336 9007 1992294400 134512640 137138936 4287951472 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 11441 9007 192 642 0 10797 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45764

[startup+51.1007 s]
/proc/loadavg: 0.97 0.99 0.99 2/107 18480
/proc/meminfo: memFree=1645412/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=66796 CPUtime=51.08
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 14467 0 0 0 5085 23 0 0 25 0 1 0 13153305 68399104 14261 1992294400 134512640 137138936 4287951472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 16699 14261 192 642 0 16055 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66796

[startup+102.308 s]
/proc/loadavg: 0.98 0.99 0.99 2/107 18482
/proc/meminfo: memFree=1613172/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=98640 CPUtime=102.27
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 22418 0 0 0 10189 38 0 0 25 0 1 0 13153305 101007360 22212 1992294400 134512640 137138936 4287951472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 24660 22212 192 642 0 24016 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 98640

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18484
/proc/meminfo: memFree=1591348/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=120552 CPUtime=162.24
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 27918 0 0 0 16176 48 0 0 25 0 1 0 13153305 123445248 27712 1992294400 134512640 137138936 4287951472 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 30138 27712 192 642 0 29494 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 120552

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18484
/proc/meminfo: memFree=1572004/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=139700 CPUtime=222.23
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 32705 0 0 0 22166 57 0 0 25 0 1 0 13153305 143052800 32499 1992294400 134512640 137138936 4287951472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 34925 32499 192 642 0 34281 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 139700

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18486
/proc/meminfo: memFree=1555636/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=156352 CPUtime=282.22
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 36845 0 0 0 28154 68 0 0 25 0 1 0 13153305 160104448 36639 1992294400 134512640 137138936 4287951472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 39088 36639 192 642 0 38444 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 156352

[startup+342.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18488
/proc/meminfo: memFree=1540632/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=171124 CPUtime=342.2
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 40545 0 0 0 34144 76 0 0 25 0 1 0 13153305 175230976 40339 1992294400 134512640 137138936 4287951472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 42781 40339 192 642 0 42137 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 171124

[startup+402.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18490
/proc/meminfo: memFree=1526992/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=184688 CPUtime=402.19
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 43947 0 0 0 40135 84 0 0 25 0 1 0 13153305 189120512 43741 1992294400 134512640 137138936 4287951472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 46172 43741 192 642 0 45528 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 184688

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18492
/proc/meminfo: memFree=1516328/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=195228 CPUtime=462.17
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 46581 0 0 0 46128 89 0 0 25 0 1 0 13153305 199913472 46375 1992294400 134512640 137138936 4287951472 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 48807 46375 192 642 0 48163 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 195228

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18492
/proc/meminfo: memFree=1505540/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=206084 CPUtime=522.16
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 49289 0 0 0 52121 95 0 0 25 0 1 0 13153305 211030016 49083 1992294400 134512640 137138936 4287951472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 51521 49083 192 642 0 50877 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 206084

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18494
/proc/meminfo: memFree=1495000/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=216364 CPUtime=582.14
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 51869 0 0 0 58114 100 0 0 25 0 1 0 13153305 221556736 51663 1992294400 134512640 137138936 4287951472 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 54091 51663 192 642 0 53447 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 216364

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18496
/proc/meminfo: memFree=1484708/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=226592 CPUtime=642.13
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 54413 0 0 0 64109 104 0 0 25 0 1 0 13153305 232030208 54207 1992294400 134512640 137138936 4287951472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 56648 54207 192 642 0 56004 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 226592

[startup+702.301 s]

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

/proc/meminfo: memFree=1400264/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=310712 CPUtime=1062.02
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 75453 0 0 0 106053 149 0 0 25 0 1 0 13153305 318169088 75247 1992294400 134512640 137138936 4287951472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 77678 75247 192 642 0 77034 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 310712

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18508
/proc/meminfo: memFree=1388608/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=322292 CPUtime=1122.01
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 78339 0 0 0 112046 155 0 0 25 0 1 0 13153305 330027008 78133 1992294400 134512640 137138936 4287951472 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 80573 78133 192 642 0 79929 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 322292

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18510
/proc/meminfo: memFree=1378192/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=332756 CPUtime=1181.99
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 80970 0 0 0 118039 160 0 0 25 0 1 0 13153305 340742144 80764 1992294400 134512640 137138936 4287951472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 83189 80764 192 642 0 82545 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 332756

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18512
/proc/meminfo: memFree=1368768/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=341876 CPUtime=1241.97
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 83228 0 0 0 124031 166 0 0 25 0 1 0 13153305 350081024 83022 1992294400 134512640 137138936 4287951472 18446744073709551615 134598916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 85469 83022 192 642 0 84825 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 341876

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18514
/proc/meminfo: memFree=1359096/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=351316 CPUtime=1301.96
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 85609 0 0 0 130025 171 0 0 25 0 1 0 13153305 359747584 85403 1992294400 134512640 137138936 4287951472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 87829 85403 192 642 0 87185 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 351316

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18516
/proc/meminfo: memFree=1349176/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=361432 CPUtime=1361.95
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 88124 0 0 0 136018 177 0 0 25 0 1 0 13153305 370106368 87918 1992294400 134512640 137138936 4287951472 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 90358 87918 192 642 0 89714 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 361432

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18516
/proc/meminfo: memFree=1338760/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=371760 CPUtime=1421.93
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 90699 0 0 0 142012 181 0 0 25 0 1 0 13153305 380682240 90493 1992294400 134512640 137138936 4287951472 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 92940 90493 192 642 0 92296 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 371760

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18518
/proc/meminfo: memFree=1329584/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=381068 CPUtime=1481.92
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 93044 0 0 0 148006 186 0 0 25 0 1 0 13153305 390213632 92838 1992294400 134512640 137138936 4287951472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 95267 92838 192 642 0 94623 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 381068

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18520
/proc/meminfo: memFree=1320656/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=389884 CPUtime=1541.9
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 95253 0 0 0 153999 191 0 0 25 0 1 0 13153305 399241216 95047 1992294400 134512640 137138936 4287951472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 97471 95047 192 642 0 96827 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 389884

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18522
/proc/meminfo: memFree=1310984/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=399664 CPUtime=1601.89
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 97676 0 0 0 159992 197 0 0 25 0 1 0 13153305 409255936 97470 1992294400 134512640 137138936 4287951472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 99916 97470 192 642 0 99272 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 399664

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18524
/proc/meminfo: memFree=1300692/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=409816 CPUtime=1661.87
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 100227 0 0 0 165985 202 0 0 25 0 1 0 13153305 419651584 100021 1992294400 134512640 137138936 4287951472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 102454 100021 192 642 0 101810 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 409816

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18526
/proc/meminfo: memFree=1290400/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=419648 CPUtime=1721.85
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 102680 0 0 0 171978 207 0 0 25 0 1 0 13153305 429719552 102474 1992294400 134512640 137138936 4287951472 18446744073709551615 134542357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 104912 102474 192 642 0 104268 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 419648

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18529
/proc/meminfo: memFree=1280852/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=429112 CPUtime=1781.84
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 105044 0 0 0 177972 212 0 0 25 0 1 0 13153305 439410688 104838 1992294400 134512640 137138936 4287951472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 107278 104838 192 642 0 106634 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 429112

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18529
/proc/meminfo: memFree=1279488/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=430416 CPUtime=1791.44
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 105385 0 0 0 178932 212 0 0 25 0 1 0 13153305 440745984 105179 1992294400 134512640 137138936 4287951472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 107604 105179 192 642 0 106960 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 430416

[startup+1795.1 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18529
/proc/meminfo: memFree=1278992/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=430960 CPUtime=1794.64
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 105499 0 0 0 179252 212 0 0 25 0 1 0 13153305 441303040 105293 1992294400 134512640 137138936 4287951472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 107740 105293 192 642 0 107096 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 430960

[startup+1796.7 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18529
/proc/meminfo: memFree=1278868/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=431180 CPUtime=1796.23
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 105552 0 0 0 179411 212 0 0 25 0 1 0 13153305 441528320 105346 1992294400 134512640 137138936 4287951472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 107795 105346 192 642 0 107151 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 431180

[startup+1797.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18529
/proc/meminfo: memFree=1278744/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=431180 CPUtime=1797.04
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 105571 0 0 0 179491 213 0 0 25 0 1 0 13153305 441528320 105365 1992294400 134512640 137138936 4287951472 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 107795 105365 192 642 0 107151 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 431180

[startup+1798.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18529
/proc/meminfo: memFree=1278744/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=431300 CPUtime=1797.84
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202496 105607 0 0 0 179571 213 0 0 25 0 1 0 13153305 441651200 105401 1992294400 134512640 137138936 4287951472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18479/statm: 107825 105401 192 642 0 107181 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 431300

[startup+1798.51 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 18531
/proc/meminfo: memFree=1278496/2059040 swapFree=4192956/4192956
[pid=18479] ppid=18477 vsize=0 CPUtime=1798.04
/proc/18479/stat : 18479 (bsolo_pb10) R 18477 18479 18163 0 -1 4202500 105617 0 0 0 179589 215 0 0 25 0 1 0 13153305 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/18479/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.53
CPU time (s): 1798.07
CPU user time (s): 1795.9
CPU system time (s): 2.17567
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 431400

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

runsolver used 2.98955 second user time and 8.46871 second system time

The end

Launcher Data 

Begin job on node045 at 2010-06-16 22:03:31
IDJOB=2671101
IDBENCH=48267
IDSOLVER=1162
FILE ID=node045/2671101-1276718611
PBS_JOBID= 11174155
Free space on /tmp= 62460 MiB

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

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

MD5SUM BENCH= 29cda419af6adbdf14450bbe70fbdfc2
RANDOM SEED=690216459

node045.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.247
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.49
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.247
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1702616 kB
Buffers:        103396 kB
Cached:         125084 kB
SwapCached:          0 kB
Active:          97016 kB
Inactive:       190964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1702616 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4012 kB
Writeback:           0 kB
AnonPages:       59432 kB
Mapped:          15480 kB
Slab:            46612 kB
PageTables:       3928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182688 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-2671101-1276718611.opb

Free space on /tmp at the end= 62456 MiB
End job on node045 at 2010-06-16 22:33:30