Trace number 2657585

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 ClSAT-40 1798.12 1798.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUMdc857dc123c51e1f53f981679774fda8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-41
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80072
Number of constraints which are clauses80072
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
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 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657585-1276505418.opb
0.00/0.00	c File size is 1930218 bytes.
0.29/0.31	c Highest Coefficient sum: 1150
0.29/0.31	c Parsing was ok!!
0.29/0.31	c Total parsing time: 0.314 s
0.29/0.34	c Var: 1150 Constr: 80072 80072/0/0 Lit: 160144 Watch. Lit: 160144
0.29/0.34	c Obj. Vars: 1150 (100 % of total variables)
2.29/2.38	c Pre-processing Time: 2.385 s
2.29/2.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.39	c        0   1150    80072   160144    2   160144   26690      0      0 2.38
2.29/2.39	c Switching off lower bounding mode.
2.39/2.40	o -37
2.39/2.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.49	c        0   1150    80073   161294    2   160183   27690      1      0 2.40
2.39/2.49	c      100   1150    80173   272166    3   160383   30460    101     40 2.48
2.39/2.49	o -38
3.20/3.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.20	c      115   1150    80189   289972    3   160453   27690    117     46 2.50
3.20/3.20	c      215   1150    80289   400804    4   160653   30460    217     83 2.57
3.20/3.20	c      466   1150    80540   678934    8   161155   33507    468    167 2.79
3.20/3.20	c      942   1150    81016  1206524   14   162107   36858    944    294 3.19
3.20/3.20	o -39
890.36/890.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
890.36/890.60	c      949   1150    81024  1215442   15   162162   27690    952    295 3.21
890.36/890.60	c     1049   1150    81124  1326173   16   162362   30460   1052    318 3.29
890.36/890.60	c     1299   1150    81374  1602892   19   162862   33507   1302    369 3.51
890.36/890.60	c     1774   1150    81849  2128863   26   163812   36858   1777    452 3.92
890.36/890.60	c     2587   1150    82662  3029283   36   165438   40544   2590    542 4.77
890.36/890.60	c     3907   1150    83982  4490805   53   168078   44599   3910    632 6.17
890.36/890.60	c     5988   1150    86063  6794841   78   172240   49059   5991    655 9.14
890.36/890.60	c     9211   1150    89286 10362412  116   178686   53965   9214    659 13.98
890.36/890.60	c    14147   1150    94222 15827391  167   188558   59362  14150    618 22.87
890.36/890.60	c    21654   1150   101729 24136658  237   203572   65299  21657    471 45.92
890.36/890.60	c    33015   1150   113090 36714609  324   226294   71829  33018    444 74.23
890.36/890.60	c    50160   1150   130235 55692791  427   260584   79012  50163    359 139.71
890.36/890.60	c Reducing formula size due to memory constraints
890.36/890.61	c Memory Limit: 1000.00 MB  Used: 1007.73 MB
890.36/890.61	c    75979   1150    95986 17774039  185   192011  111365  15914    312 242.97
890.36/890.61	c   114812   1150   134819 60760247  450   269677  122502  54747    278 411.83
890.36/890.61	c Reducing formula size due to memory constraints
890.36/890.61	c Memory Limit: 1000.00 MB  Used: 1007.00 MB
890.36/890.61	c   173164   1150   133174 58952325  442   266387  111393  53102    200 862.75
890.36/890.61	o -40
1797.95/1798.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.47	c   180284   1150   140295 66839860  476   280669   27690  60223    202 890.38
1797.95/1798.47	c   180385   1150    91935 13294697  144   183910   30460  11863    197 911.79
1797.95/1798.47	c   180635   1150    92185 13571176  147   184410   33507  12113    198 912.07
1797.95/1798.47	c   181110   1150    92660 14096536  152   185360   36858  12588    198 912.65
1797.95/1798.47	c   181924   1150    93474 14996777  160   186988   40544  13402    199 913.56
1797.95/1798.47	c   183245   1150    94795 16457835  173   189630   44599  14723    200 916.02
1797.95/1798.47	c   185326   1150    96876 18759398  193   193792   49059  16804    201 921.00
1797.95/1798.47	c   188549   1150   100099 22324810  223   200238   53965  20027    203 926.91
1797.95/1798.47	c   193485   1150   105035 27782697  264   210110   59362  24963    206 936.49
1797.95/1798.47	c   200991   1150   112541 36080229  320   225122   65299  32469    211 952.05
1797.95/1798.47	c   212354   1150   123904 48648095  392   247848   71829  43832    213 993.75
1797.95/1798.47	c   229499   1150   141049 67601000  479   282138   79012  60977    212 1077.88
1797.95/1798.47	c Reducing formula size due to memory constraints
1797.95/1798.47	c Memory Limit: 1000.00 MB  Used: 1000.33 MB
1797.95/1798.47	c   255318   1150   107241 30196994  281   214522  111333  27169    201 1265.46
1797.95/1798.47	c   294151   1150   146074 73139348  500   292188  122467  66002    206 1422.63
1797.95/1798.47	c Reducing formula size due to memory constraints
1797.95/1798.47	c Memory Limit: 1000.00 MB  Used: 1005.58 MB
1797.95/1798.47	c Resources Exceeded
1797.95/1798.47	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1 
1797.95/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.47	c   35   351931  34163   396362   143864 70719739  63792    195 1798.02
1797.95/1798.47	c Objective: -40
1797.95/1798.47	s SATISFIABLE
1797.95/1798.47	c Total time: 1798.02 s

Verifier Data 

OK	-40

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657585-1276505418/watcher-2657585-1276505418 -o /tmp/evaluation-result-2657585-1276505418/solver-2657585-1276505418 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657585-1276505418.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.98 0.99 3/107 27846
/proc/meminfo: memFree=1722532/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=12820 CPUtime=0
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 24197522 13127680 277 1992294400 134512640 137138936 4287979856 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 3205 278 177 642 0 2089 0

[startup+0.061868 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 27846
/proc/meminfo: memFree=1722532/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=14196 CPUtime=0.06
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 778 0 0 0 6 0 0 0 20 0 1 0 24197522 14536704 697 1992294400 134512640 137138936 4287979856 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 3549 697 255 642 0 2433 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14196

[startup+0.100871 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 27846
/proc/meminfo: memFree=1722532/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=15024 CPUtime=0.1
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 1057 0 0 0 10 0 0 0 20 0 1 0 24197522 15384576 976 1992294400 134512640 137138936 4287979856 18446744073709551615 136659510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 3756 978 310 642 0 2640 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15024

[startup+0.300889 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 27846
/proc/meminfo: memFree=1722532/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=20108 CPUtime=0.29
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 2609 0 0 0 29 0 0 0 20 0 1 0 24197522 20590592 2528 1992294400 134512640 137138936 4287979856 18446744073709551615 134517142 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 5027 2529 612 642 0 3911 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20108

[startup+0.700924 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 27846
/proc/meminfo: memFree=1722532/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=24972 CPUtime=0.69
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 4360 0 0 0 67 2 0 0 20 0 1 0 24197522 25571328 3807 1992294400 134512640 137138936 4287979856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 6243 3807 185 642 0 5599 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24972

[startup+1.501 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 27847
/proc/meminfo: memFree=1707892/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=24972 CPUtime=1.49
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 4360 0 0 0 143 6 0 0 23 0 1 0 24197522 25571328 3807 1992294400 134512640 137138936 4287979856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 6243 3807 185 642 0 5599 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24972

[startup+3.10114 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 27847
/proc/meminfo: memFree=1707644/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=34492 CPUtime=3.09
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 7952 0 0 0 297 12 0 0 25 0 1 0 24197522 35319808 6191 1992294400 134512640 137138936 4287979856 18446744073709551615 134618362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 8623 6191 191 642 0 7979 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34492

[startup+6.30143 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 27847
/proc/meminfo: memFree=1663872/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=79756 CPUtime=6.29
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 19260 0 0 0 611 18 0 0 25 0 1 0 24197522 81670144 17499 1992294400 134512640 137138936 4287979856 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 19939 17499 191 642 0 19295 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 79756

[startup+12.701 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 27847
/proc/meminfo: memFree=1594184/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=143400 CPUtime=12.69
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 35175 0 0 0 1244 25 0 0 25 0 1 0 24197522 146841600 33414 1992294400 134512640 137138936 4287979856 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 35850 33414 191 642 0 35206 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 143400

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27847
/proc/meminfo: memFree=1490644/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=243392 CPUtime=25.49
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 60166 0 0 0 2512 37 0 0 25 0 1 0 24197522 249233408 58405 1992294400 134512640 137138936 4287979856 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 60848 58405 191 642 0 60204 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 243392

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27847
/proc/meminfo: memFree=1359452/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=377252 CPUtime=51.08
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 93638 0 0 0 5051 57 0 0 25 0 1 0 24197522 386306048 91877 1992294400 134512640 137138936 4287979856 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 94313 91877 191 642 0 93669 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 377252

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27849
/proc/meminfo: memFree=1111328/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=620020 CPUtime=102.28
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 154338 0 0 0 10132 96 0 0 25 0 1 0 24197522 634900480 152577 1992294400 134512640 137138936 4287979856 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 155005 152577 191 642 0 154361 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 620020

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27851
/proc/meminfo: memFree=886888/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=847512 CPUtime=162.26
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 211197 0 0 0 16095 131 0 0 25 0 1 0 24197522 867852288 209436 1992294400 134512640 137138936 4287979856 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 211878 209436 191 642 0 211234 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 847512

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27853
/proc/meminfo: memFree=686752/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=222.24
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 22063 161 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1043196

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27853
/proc/meminfo: memFree=686752/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=282.22
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 28055 167 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1043196

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27855
/proc/meminfo: memFree=686752/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=342.21
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 34047 174 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1043196

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27857
/proc/meminfo: memFree=686628/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=402.19
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 40039 180 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1043196

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27859
/proc/meminfo: memFree=686628/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=462.18
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 46033 185 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1043196

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27861
/proc/meminfo: memFree=686504/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=522.16
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 52029 187 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1043196

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27861
/proc/meminfo: memFree=686380/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=582.14
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 58025 189 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1043196

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27863
/proc/meminfo: memFree=686380/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=642.14
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 64019 195 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1043196

[startup+702.302 s]

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

/proc/meminfo: memFree=685884/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=1062.02
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 105972 230 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1043196

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27886
/proc/meminfo: memFree=685884/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=1122.01
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 111964 237 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1043196

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27886
/proc/meminfo: memFree=685884/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=1181.99
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 117961 238 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1043196

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27888
/proc/meminfo: memFree=685636/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=1241.97
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 123954 243 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1043196

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27890
/proc/meminfo: memFree=685512/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=1301.97
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 129946 251 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1043196

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27892
/proc/meminfo: memFree=685512/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=1361.95
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 135938 257 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1043196

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27894
/proc/meminfo: memFree=685512/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=1421.94
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 141932 262 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1043196

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27894
/proc/meminfo: memFree=685636/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=1481.91
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 147927 264 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1043196

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27896
/proc/meminfo: memFree=685636/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1043196 CPUtime=1541.9
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 153926 264 0 0 25 0 1 0 24197522 1068232704 258361 1992294400 134512640 137138936 4287979856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260799 258361 191 642 0 260155 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1043196

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27898
/proc/meminfo: memFree=686008/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1042624 CPUtime=1601.89
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 159918 271 0 0 25 0 1 0 24197522 1067646976 258232 1992294400 134512640 137138936 4287979856 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260656 258232 191 642 0 260012 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1042624

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27900
/proc/meminfo: memFree=686008/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1042624 CPUtime=1661.87
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 165910 277 0 0 25 0 1 0 24197522 1067646976 258232 1992294400 134512640 137138936 4287979856 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260656 258232 191 642 0 260012 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1042624

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27902
/proc/meminfo: memFree=686008/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1042624 CPUtime=1721.86
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 171905 281 0 0 25 0 1 0 24197522 1067646976 258232 1992294400 134512640 137138936 4287979856 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260656 258232 191 642 0 260012 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1042624

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27902
/proc/meminfo: memFree=685760/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1042624 CPUtime=1781.85
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 177899 286 0 0 25 0 1 0 24197522 1067646976 258232 1992294400 134512640 137138936 4287979856 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260656 258232 191 642 0 260012 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1042624

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27904
/proc/meminfo: memFree=685760/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1042624 CPUtime=1791.45
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 178859 286 0 0 25 0 1 0 24197522 1067646976 258232 1992294400 134512640 137138936 4287979856 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260656 258232 191 642 0 260012 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 1042624

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27904
/proc/meminfo: memFree=685760/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1042624 CPUtime=1794.65
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 179178 287 0 0 25 0 1 0 24197522 1067646976 258232 1992294400 134512640 137138936 4287979856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260656 258232 191 642 0 260012 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 1042624

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27904
/proc/meminfo: memFree=685760/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1042624 CPUtime=1796.24
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 179337 287 0 0 25 0 1 0 24197522 1067646976 258232 1992294400 134512640 137138936 4287979856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260656 258232 191 642 0 260012 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 1042624

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27904
/proc/meminfo: memFree=685760/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1042624 CPUtime=1797.04
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 179417 287 0 0 25 0 1 0 24197522 1067646976 258232 1992294400 134512640 137138936 4287979856 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260656 258232 191 642 0 260012 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 1042624

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27904
/proc/meminfo: memFree=685760/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=1042624 CPUtime=1797.84
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202496 260193 0 0 0 179497 287 0 0 25 0 1 0 24197522 1067646976 258232 1992294400 134512640 137138936 4287979856 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27846/statm: 260656 258232 191 642 0 260012 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 1042624

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27904
/proc/meminfo: memFree=685760/2059040 swapFree=4140108/4192956
[pid=27846] ppid=27844 vsize=0 CPUtime=1798.05
/proc/27846/stat : 27846 (bsolo_pb10) R 27844 27846 27788 0 -1 4202500 260194 0 0 0 179514 291 0 0 25 0 1 0 24197522 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/27846/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.12
CPU user time (s): 1795.15
CPU system time (s): 2.97855
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 1043480

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

runsolver used 2.92656 second user time and 8.5357 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-14 10:50:18
IDJOB=2657585
IDBENCH=2260
IDSOLVER=1163
FILE ID=node025/2657585-1276505418
PBS_JOBID= 11173421
Free space on /tmp= 62568 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657585-1276505418/watcher-2657585-1276505418 -o /tmp/evaluation-result-2657585-1276505418/solver-2657585-1276505418 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657585-1276505418.opb

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

MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8
RANDOM SEED=2071380916

node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1722936 kB
Buffers:        102864 kB
Cached:         140308 kB
SwapCached:       6908 kB
Active:         103652 kB
Inactive:       153000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1722936 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            5828 kB
Writeback:           0 kB
AnonPages:       11304 kB
Mapped:          12892 kB
Slab:            57548 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182596 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62564 MiB
End job on node025 at 2010-06-14 11:20:17