Trace number 2671071

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.04 1798.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_2.opb
MD5SUM3576405369e31b0bc5c7707d6d764dde
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.03
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)6148
Sum of products size (including duplicates)12296
Number of different products3074
Sum of products size6148

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-2671071-1276717083.opb
0.00/0.00	c File size is 257826 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: 3274 Constr: 6450 3174/202/3074 Lit: 25192 Watch. Lit: 21920
0.02/0.04	c Obj. Vars: 100 (3.05437 % of total variables)
3.59/3.62	c Pre-processing Time: 3.618 s
3.59/3.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.62	c        0   3274     6450    25192    3    21920   83680      0      0 3.62
3.59/3.62	c Switching off lower bounding mode.
3.59/3.62	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   3274     6451    25292    3    21923   83747      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   3274     6454    25592    3    21932   83780      4      0 3.63
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        2   3274     6457    25920    4    21943   83814      7      0 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        5   3274     6462    26272    4    21960   83847     12      1 3.64
3.59/3.64	o -5
3.59/3.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.65	c        8   3274     6467    26838    4    21979   83880     17      2 3.64
3.59/3.65	o -6
3.59/3.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.65	c       14   3274     6475    27683    4    22006   83914     25      3 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       20   3274     6483    28534    4    22035   83947     33      5 3.65
3.59/3.66	o -8
3.59/3.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.66	c       28   3274     6493    29480    4    22070   83980     43      7 3.66
3.59/3.66	o -9
3.89/3.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.91	c       38   3274     6505    30694    4    22111   84014     55     10 3.67
3.89/3.91	c      139   3274     6607    34363    5    22324   92416    157     37 3.69
3.89/3.91	c      389   3274     6861    50154    7    22832  101658    411    100 3.87
3.89/3.91	o -10
3.89/3.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.92	c      448   3274     6922    55244    7    22964   84047    472    114 3.91
3.89/3.92	o -11
3.89/3.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.96	c      477   3274     6953    56757    8    23047   84080    503    121 3.93
3.89/3.96	c      577   3274     7055    60688    8    23262   92489    605    145 3.95
3.89/3.96	o -12
15.19/15.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.19/15.28	c      595   3274     7074    60842    8    23312   84114    624    150 3.96
15.19/15.28	c      695   3274     7175    63116    8    23526   92526    725    174 3.99
15.19/15.28	c      945   3274     7437    82483   11    24050  101779    987    225 4.19
15.19/15.28	c     1420   3274     7916   118274   14    25008  111957   1466    317 4.47
15.19/15.28	c     2235   3274     8760   173228   19    26766  123153   2310    465 4.80
15.19/15.28	c     3555   3274    10138   304386   30    29529  135469   3688    643 5.53
15.19/15.28	c     5636   3274    12341   540906   43    34020  149016   5891    829 6.79
15.19/15.28	c     8859   3274    15768   911312   57    41161  163918   9318    957 9.25
15.19/15.28	c    13796   3274    21004  1483519   70    51824  180310  14554   1006 13.70
15.19/15.28	o -13
1797.93/1798.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.47	c    15181   3274    22503  1661308   73    54926   84147  16053    993 15.28
1797.93/1798.47	c    15281   3274    22609  1672137   73    55154   92562  16159    989 15.44
1797.93/1798.47	c    15531   3274    22870  1699862   74    55676  101819  16420    986 15.74
1797.93/1798.47	c    16006   3274    23375  1757223   75    56726  112001  16925    979 16.34
1797.93/1798.47	c    16819   3274    24236  1852985   76    58472  123202  17786    957 17.57
1797.93/1798.47	c    18139   3274    25627  2004555   78    61438  135523  19177    941 19.26
1797.93/1798.47	c    20220   3274    27805  2228569   80    65794  149076  21355    904 22.36
1797.93/1798.47	c    23443   3274    31229  2588971   82    72707  163984  24779    881 26.61
1797.93/1798.47	c    28379   3274    36563  3182650   87    83439  180383  30113    828 34.24
1797.93/1798.47	c    35885   3274    44651  4084081   91    99782  198422  38201    680 52.71
1797.93/1798.47	c    47246   3274    56781  5431058   95   124574  218265  50331    540 87.44
1797.93/1798.47	c    64390   3274    75375  7603519  100   162365  240092  68925    407 157.82
1797.93/1798.47	c    90211   3274   103673 10909728  105   219894  264102  97223    299 300.74
1797.93/1798.47	c   129043   3274   145432 15623568  107   304843  290513 138982    242 532.03
1797.93/1798.47	c   187395   3274   209182 23289435  111   434700  319565 202732    150 1243.85
1797.93/1798.47	c Resources Exceeded
1797.93/1798.47	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 -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.93/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.47	c   38   222407  48840   310301   247476 27859879 241026    123 1798.00
1797.93/1798.47	c Objective: -13
1797.93/1798.47	s SATISFIABLE
1797.93/1798.47	c Total time: 1798 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-2671071-1276717083/watcher-2671071-1276717083 -o /tmp/evaluation-result-2671071-1276717083/solver-2671071-1276717083 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671071-1276717083.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.93 1.02 1.00 3/106 10863
/proc/meminfo: memFree=1683896/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=11184 CPUtime=0
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 348 0 0 0 0 0 0 0 18 0 1 0 47312168 11452416 266 1992294400 134512640 137138936 4291055728 18446744073709551615 134516189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 2796 267 175 642 0 2089 0

[startup+0.0273769 s]
/proc/loadavg: 0.93 1.02 1.00 3/106 10863
/proc/meminfo: memFree=1683896/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=11596 CPUtime=0.02
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 473 0 0 0 2 0 0 0 18 0 1 0 47312168 11874304 391 1992294400 134512640 137138936 4291055728 18446744073709551615 136525335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 2899 391 202 642 0 2192 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11596

[startup+0.101384 s]
/proc/loadavg: 0.93 1.02 1.00 3/106 10863
/proc/meminfo: memFree=1683896/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=12580 CPUtime=0.09
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 833 0 0 0 9 0 0 0 21 0 1 0 47312168 12881920 688 1992294400 134512640 137138936 4291055728 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 3145 688 184 642 0 2501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12580

[startup+0.301402 s]
/proc/loadavg: 0.93 1.02 1.00 3/106 10863
/proc/meminfo: memFree=1683896/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=12580 CPUtime=0.29
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 836 0 0 0 29 0 0 0 21 0 1 0 47312168 12881920 691 1992294400 134512640 137138936 4291055728 18446744073709551615 134543215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 3145 691 184 642 0 2501 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12580

[startup+0.701441 s]
/proc/loadavg: 0.93 1.02 1.00 3/106 10863
/proc/meminfo: memFree=1683896/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=12580 CPUtime=0.69
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 836 0 0 0 69 0 0 0 22 0 1 0 47312168 12881920 691 1992294400 134512640 137138936 4291055728 18446744073709551615 136505254 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 3145 691 184 642 0 2501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12580

[startup+1.50152 s]
/proc/loadavg: 0.93 1.02 1.00 2/107 10864
/proc/meminfo: memFree=1682152/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=12580 CPUtime=1.49
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 836 0 0 0 149 0 0 0 25 0 1 0 47312168 12881920 691 1992294400 134512640 137138936 4291055728 18446744073709551615 136504904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 3145 691 184 642 0 2501 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12580

[startup+3.10167 s]
/proc/loadavg: 0.93 1.02 1.00 2/107 10864
/proc/meminfo: memFree=1681904/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=12580 CPUtime=3.09
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 836 0 0 0 309 0 0 0 25 0 1 0 47312168 12881920 691 1992294400 134512640 137138936 4291055728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 3145 691 184 642 0 2501 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12580

[startup+6.30097 s]
/proc/loadavg: 0.94 1.02 1.00 2/107 10864
/proc/meminfo: memFree=1677936/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=18588 CPUtime=6.29
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 2405 0 0 0 625 4 0 0 25 0 1 0 47312168 19034112 2200 1992294400 134512640 137138936 4291055728 18446744073709551615 134602766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 4647 2200 192 642 0 4003 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18588

[startup+12.7016 s]
/proc/loadavg: 0.94 1.02 1.00 2/107 10864
/proc/meminfo: memFree=1664296/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=31292 CPUtime=12.69
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 5600 0 0 0 1261 8 0 0 25 0 1 0 47312168 32043008 5395 1992294400 134512640 137138936 4291055728 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 7823 5395 192 642 0 7179 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31292

[startup+25.5008 s]
/proc/loadavg: 0.96 1.02 1.00 2/107 10864
/proc/meminfo: memFree=1647928/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=46744 CPUtime=25.48
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 9458 0 0 0 2535 13 0 0 25 0 1 0 47312168 47865856 9253 1992294400 134512640 137138936 4291055728 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 11686 9253 192 642 0 11042 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46744

[startup+51.1012 s]
/proc/loadavg: 0.97 1.01 1.00 2/107 10866
/proc/meminfo: memFree=1626724/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=67688 CPUtime=51.08
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 14706 0 0 0 5085 23 0 0 25 0 1 0 47312168 69312512 14501 1992294400 134512640 137138936 4291055728 18446744073709551615 136297104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 16922 14501 192 642 0 16278 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67688

[startup+102.308 s]
/proc/loadavg: 0.98 1.01 1.00 2/107 10866
/proc/meminfo: memFree=1600560/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=93580 CPUtime=102.27
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 21159 0 0 0 10189 38 0 0 25 0 1 0 47312168 95825920 20954 1992294400 134512640 137138936 4291055728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 23395 20954 192 642 0 22751 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 93580

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10868
/proc/meminfo: memFree=1575388/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=118852 CPUtime=162.25
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 27482 0 0 0 16173 52 0 0 25 0 1 0 47312168 121704448 27277 1992294400 134512640 137138936 4291055728 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 29713 27277 192 642 0 29069 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 118852

[startup+222.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10870
/proc/meminfo: memFree=1553936/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=140084 CPUtime=222.24
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 32800 0 0 0 22161 63 0 0 25 0 1 0 47312168 143446016 32595 1992294400 134512640 137138936 4291055728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 35021 32595 192 642 0 34377 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 140084

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10872
/proc/meminfo: memFree=1536328/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=157760 CPUtime=282.23
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 37208 0 0 0 28150 73 0 0 25 0 1 0 47312168 161546240 37003 1992294400 134512640 137138936 4291055728 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 39440 37003 192 642 0 38796 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 157760

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10874
/proc/meminfo: memFree=1521696/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=172156 CPUtime=342.2
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 40798 0 0 0 34139 81 0 0 25 0 1 0 47312168 176287744 40593 1992294400 134512640 137138936 4291055728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 43039 40593 192 642 0 42395 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 172156

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10874
/proc/meminfo: memFree=1505204/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=188724 CPUtime=402.19
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 44958 0 0 0 40129 90 0 0 25 0 1 0 47312168 193253376 44753 1992294400 134512640 137138936 4291055728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 47181 44753 192 642 0 46537 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 188724

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10876
/proc/meminfo: memFree=1486108/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=207616 CPUtime=462.17
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 49672 0 0 0 46117 100 0 0 25 0 1 0 47312168 212598784 49467 1992294400 134512640 137138936 4291055728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 51904 49467 192 642 0 51260 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 207616

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10878
/proc/meminfo: memFree=1469120/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=224788 CPUtime=522.16
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 53974 0 0 0 52106 110 0 0 25 0 1 0 47312168 230182912 53769 1992294400 134512640 137138936 4291055728 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 56197 53769 192 642 0 55553 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 224788

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10880
/proc/meminfo: memFree=1458456/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=235116 CPUtime=582.15
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 56537 0 0 0 58100 115 0 0 25 0 1 0 47312168 240758784 56332 1992294400 134512640 137138936 4291055728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 58779 56332 192 642 0 58135 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 235116

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10882
/proc/meminfo: memFree=1448412/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=245072 CPUtime=642.14
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 59033 0 0 0 64093 121 0 0 25 0 1 0 47312168 250953728 58828 1992294400 134512640 137138936 4291055728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 61268 58828 192 642 0 60624 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 245072

[startup+702.301 s]

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

/proc/meminfo: memFree=1384800/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=308468 CPUtime=1062.03
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 74888 0 0 0 106044 159 0 0 25 0 1 0 47312168 315871232 74683 1992294400 134512640 137138936 4291055728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 77117 74683 192 642 0 76473 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 308468

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10894
/proc/meminfo: memFree=1376864/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=316148 CPUtime=1122.01
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 76813 0 0 0 112038 163 0 0 25 0 1 0 47312168 323735552 76608 1992294400 134512640 137138936 4291055728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 79037 76608 192 642 0 78393 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 316148

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10896
/proc/meminfo: memFree=1368432/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=324852 CPUtime=1181.99
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 78972 0 0 0 118032 167 0 0 25 0 1 0 47312168 332648448 78767 1992294400 134512640 137138936 4291055728 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 81213 78767 192 642 0 80569 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 324852

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10898
/proc/meminfo: memFree=1360496/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=332400 CPUtime=1241.98
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 80871 0 0 0 124027 171 0 0 25 0 1 0 47312168 340377600 80666 1992294400 134512640 137138936 4291055728 18446744073709551615 134542713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 83100 80666 192 642 0 82456 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 332400

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10898
/proc/meminfo: memFree=1353800/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=339144 CPUtime=1301.98
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 82552 0 0 0 130023 175 0 0 25 0 1 0 47312168 347283456 82347 1992294400 134512640 137138936 4291055728 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 84786 82347 192 642 0 84142 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 339144

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10900
/proc/meminfo: memFree=1345740/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=347128 CPUtime=1361.95
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 84543 0 0 0 136017 178 0 0 25 0 1 0 47312168 355459072 84338 1992294400 134512640 137138936 4291055728 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 86782 84338 192 642 0 86138 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 347128

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10911
/proc/meminfo: memFree=1337432/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=355140 CPUtime=1421.92
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 86557 0 0 0 142009 183 0 0 25 0 1 0 47312168 363663360 86352 1992294400 134512640 137138936 4291055728 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 88785 86352 192 642 0 88141 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 355140

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10913
/proc/meminfo: memFree=1331976/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=360644 CPUtime=1481.9
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 87936 0 0 0 148002 188 0 0 25 0 1 0 47312168 369299456 87731 1992294400 134512640 137138936 4291055728 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 90161 87731 192 642 0 89517 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 360644

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10915
/proc/meminfo: memFree=1326272/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=366408 CPUtime=1541.89
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 89368 0 0 0 153998 191 0 0 25 0 1 0 47312168 375201792 89163 1992294400 134512640 137138936 4291055728 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 91602 89163 192 642 0 90958 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 366408

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10915
/proc/meminfo: memFree=1320196/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=372524 CPUtime=1601.87
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 90898 0 0 0 159992 195 0 0 25 0 1 0 47312168 381464576 90693 1992294400 134512640 137138936 4291055728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 93131 90693 192 642 0 92487 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 372524

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10917
/proc/meminfo: memFree=1313996/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=378800 CPUtime=1661.86
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 92467 0 0 0 165988 198 0 0 25 0 1 0 47312168 387891200 92262 1992294400 134512640 137138936 4291055728 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 94700 92262 192 642 0 94056 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 378800

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10919
/proc/meminfo: memFree=1306556/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=386260 CPUtime=1721.84
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 94343 0 0 0 171982 202 0 0 25 0 1 0 47312168 395530240 94138 1992294400 134512640 137138936 4291055728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 96565 94138 192 642 0 95921 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 386260

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10921
/proc/meminfo: memFree=1298620/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=393748 CPUtime=1781.83
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 96219 0 0 0 177975 208 0 0 25 0 1 0 47312168 403197952 96014 1992294400 134512640 137138936 4291055728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 98437 96014 192 642 0 97793 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 393748

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

[startup+1791.91 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10921
/proc/meminfo: memFree=1297628/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=394768 CPUtime=1791.43
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 96471 0 0 0 178935 208 0 0 25 0 1 0 47312168 404242432 96266 1992294400 134512640 137138936 4291055728 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 98692 96266 192 642 0 98048 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 394768

[startup+1795.1 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10921
/proc/meminfo: memFree=1297380/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=395084 CPUtime=1794.63
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 96531 0 0 0 179255 208 0 0 25 0 1 0 47312168 404566016 96326 1992294400 134512640 137138936 4291055728 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 98771 96326 192 642 0 98127 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 395084

[startup+1796.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10921
/proc/meminfo: memFree=1297256/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=395184 CPUtime=1796.23
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 96563 0 0 0 179414 209 0 0 25 0 1 0 47312168 404668416 96358 1992294400 134512640 137138936 4291055728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 98796 96358 192 642 0 98152 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 395184

[startup+1797.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10921
/proc/meminfo: memFree=1297132/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=395292 CPUtime=1797.03
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 96581 0 0 0 179494 209 0 0 25 0 1 0 47312168 404779008 96376 1992294400 134512640 137138936 4291055728 18446744073709551615 136502662 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 98823 96376 192 642 0 98179 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 395292

[startup+1798.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10921
/proc/meminfo: memFree=1297132/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=395292 CPUtime=1797.83
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202496 96593 0 0 0 179574 209 0 0 25 0 1 0 47312168 404779008 96388 1992294400 134512640 137138936 4291055728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10863/statm: 98823 96388 192 642 0 98179 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 395292

[startup+1798.51 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 10921
/proc/meminfo: memFree=1297132/2059040 swapFree=4140408/4192956
[pid=10863] ppid=10861 vsize=0 CPUtime=1798.03
/proc/10863/stat : 10863 (bsolo_pb10) R 10861 10863 10642 0 -1 4202500 96597 0 0 0 179590 213 0 0 25 0 1 0 47312168 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/10863/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.51
CPU time (s): 1798.04
CPU user time (s): 1795.91
CPU system time (s): 2.13468
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 395292

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

runsolver used 2.97355 second user time and 8.48471 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-16 21:38:03
IDJOB=2671071
IDBENCH=48252
IDSOLVER=1162
FILE ID=node004/2671071-1276717083
PBS_JOBID= 11174170
Free space on /tmp= 62564 MiB

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

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

MD5SUM BENCH= 3576405369e31b0bc5c7707d6d764dde
RANDOM SEED=1040951515

node004.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.210
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.42
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.210
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1684920 kB
Buffers:        130908 kB
Cached:         148092 kB
SwapCached:       6480 kB
Active:         103436 kB
Inactive:       189340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1684920 kB
SwapTotal:     4192956 kB
SwapFree:      4140408 kB
Dirty:            4040 kB
Writeback:           0 kB
AnonPages:       11980 kB
Mapped:          13056 kB
Slab:            59532 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183040 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-2671071-1276717083.opb

Free space on /tmp at the end= 62560 MiB
End job on node004 at 2010-06-16 22:08:02