Trace number 2657532

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.11 1798.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
MD5SUM669011fc499ae56e44c354cc6cddc4c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-43
Best CPU time to get the best result obtained on this benchmark1789.96
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 constraints80851
Number of constraints which are clauses80851
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-2657532-1276508588.opb
0.00/0.00	c File size is 1957484 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.315 s
0.29/0.34	c Var: 1150 Constr: 80851 80851/0/0 Lit: 161702 Watch. Lit: 161702
0.29/0.34	c Obj. Vars: 1150 (100 % of total variables)
2.49/2.50	c Pre-processing Time: 2.502 s
2.49/2.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.50	c        0   1150    80851   161702    2   161702   26950      0      0 2.50
2.49/2.50	c Switching off lower bounding mode.
2.49/2.51	o -36
2.49/2.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.52	c        0   1150    80852   162852    2   161740   27950      1      0 2.52
2.49/2.52	o -37
6.69/6.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.75	c        1   1150    80854   165113    2   161781   27950      3      0 2.52
6.69/6.75	c      101   1150    80954   276116    3   161981   30746    103     38 2.59
6.69/6.75	c      352   1150    81205   554520    6   162483   33821    354    125 2.80
6.69/6.75	c      829   1150    81682  1083458   13   163437   37204    831    256 3.24
6.69/6.75	c     1642   1150    82495  1985832   24   165063   40925   1644    405 4.04
6.69/6.75	c     2963   1150    83816  3452123   41   167705   45018   2965    519 5.70
6.69/6.75	o -38
173.22/173.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
173.22/173.36	c     3893   1150    84747  4484960   52   169605   27950   3896    576 6.75
173.22/173.36	c     3993   1150    84847  4595824   54   169805   30746   3996    583 6.85
173.22/173.36	c     4244   1150    85098  4874014   57   170307   33821   4247    595 7.13
173.22/173.36	c     4720   1150    85574  5401740   63   171259   37204   4723    618 7.63
173.22/173.36	c     5533   1150    86387  6301104   72   172885   40925   5536    647 8.54
173.22/173.36	c     6853   1150    87707  7764497   88   175525   45018   6856    680 10.07
173.22/173.36	c     8934   1150    89788 10069233  112   179687   49520   8937    671 13.31
173.22/173.36	c    12157   1150    93011 13637996  146   186133   54473  12160    678 17.91
173.22/173.36	c    17093   1150    97947 19108380  195   196005   59921  17096    586 29.13
173.22/173.36	c    24599   1150   105453 27426290  260   211017   65914  24602    446 55.06
173.22/173.36	c    35960   1150   116814 40010321  342   233739   72506  35963    422 85.06
173.22/173.36	c    53106   1150   133960 59015019  440   268031   79757  53109    308 171.98
173.22/173.36	o -39
194.52/194.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
194.52/194.62	c    53520   1150   134375 59474808  442   268900   27950  53524    308 173.30
194.52/194.62	c    53621   1150    92594 13176457  142   185227   30746  11743    291 183.94
194.52/194.62	c    53871   1150    92844 13453362  144   185727   33821  11993    292 184.23
194.52/194.62	c    54346   1150    93319 13979528  149   186677   37204  12468    294 184.75
194.52/194.62	c    55159   1150    94132 14879849  158   188303   40925  13281    296 186.01
194.52/194.62	c    56479   1150    95452 16341302  171   190943   45018  14601    300 187.92
194.52/194.62	c    58560   1150    97533 18645411  191   195105   49520  16682    306 191.32
194.52/194.62	o -40
1797.98/1798.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.71	c    59868   1150    98842 20095267  203   197763   27950  17991    307 194.55
1797.98/1798.71	c    59968   1150    98942 20205912  204   197963   30746  18091    308 194.69
1797.98/1798.71	c    60219   1150    99193 20483542  206   198465   33821  18342    308 195.01
1797.98/1798.71	c    60695   1150    99669 21010232  210   199417   37204  18818    310 195.56
1797.98/1798.71	c    61508   1150   100482 21909063  218   201043   40925  19631    311 197.24
1797.98/1798.71	c    62829   1150   101803 23368248  229   203685   45018  20952    314 199.55
1797.98/1798.71	c    64910   1150   103884 25670876  247   207847   49520  23033    313 207.25
1797.98/1798.71	c    68133   1150   107107 29234715  272   214293   54473  26256    317 214.38
1797.98/1798.71	c    73069   1150   112043 34687566  309   224165   59921  31192    324 225.34
1797.98/1798.71	c    80577   1150   119551 42994459  359   239181   65914  38700    318 252.83
1797.98/1798.71	c    91938   1150   130912 55551467  424   261903   72506  50061    322 285.46
1797.98/1798.71	c   109083   1150   148057 74507889  503   296193   79757  67206    301 362.32
1797.98/1798.71	c Reducing formula size due to memory constraints
1797.98/1798.71	c Memory Limit: 1000.00 MB  Used: 1009.04 MB
1797.98/1798.71	c   134903   1150   113664 36458527  320   227368  112295  32813    270 498.35
1797.98/1798.71	c   173735   1150   152496 79405110  520   305032  123525  71645    251 691.57
1797.98/1798.71	c Reducing formula size due to memory constraints
1797.98/1798.71	c Memory Limit: 1000.00 MB  Used: 1006.31 MB
1797.98/1798.71	c   232087   1150   150856 77574957  514   301752  112340  70005    189 1222.14
1797.98/1798.71	c Reducing formula size due to memory constraints
1797.98/1798.71	c Memory Limit: 1000.00 MB  Used: 1006.52 MB
1797.98/1798.71	c Reducing formula size due to memory constraints
1797.98/1798.71	c Memory Limit: 1000.00 MB  Used: 1006.48 MB
1797.98/1798.71	c Resources Exceeded
1797.98/1798.71	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.98/1798.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.71	c   41   299262  27375   334978    98079 19211444  17228    166 1798.00
1797.98/1798.71	c Objective: -40
1797.98/1798.71	s SATISFIABLE
1797.98/1798.71	c Total time: 1798 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-2657532-1276508588/watcher-2657532-1276508588 -o /tmp/evaluation-result-2657532-1276508588/solver-2657532-1276508588 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657532-1276508588.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 31180
/proc/meminfo: memFree=1795404/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=12844 CPUtime=0
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 354 0 0 0 0 0 0 0 21 0 1 0 26460341 13152256 273 1992294400 134512640 137138936 4294889888 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 3211 273 176 642 0 2089 0

[startup+0.106138 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 31180
/proc/meminfo: memFree=1795404/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=15184 CPUtime=0.09
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 1094 0 0 0 9 0 0 0 21 0 1 0 26460341 15548416 1013 1992294400 134512640 137138936 4294889888 18446744073709551615 134518604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 3796 1014 318 642 0 2674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15184

[startup+0.201156 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 31180
/proc/meminfo: memFree=1795404/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=17656 CPUtime=0.2
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 1845 0 0 0 19 1 0 0 21 0 1 0 26460341 18079744 1764 1992294400 134512640 137138936 4294889888 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 4414 1764 464 642 0 3292 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 17656

[startup+0.301176 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 31180
/proc/meminfo: memFree=1795404/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=20132 CPUtime=0.29
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 2625 0 0 0 28 1 0 0 21 0 1 0 26460341 20615168 2544 1992294400 134512640 137138936 4294889888 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 5033 2544 616 642 0 3911 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20132

[startup+0.701254 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 31180
/proc/meminfo: memFree=1795404/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=25104 CPUtime=0.69
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 4400 0 0 0 67 2 0 0 22 0 1 0 26460341 25706496 3841 1992294400 134512640 137138936 4294889888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 6276 3841 185 642 0 5632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25104

[startup+1.50041 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31181
/proc/meminfo: memFree=1780640/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=25104 CPUtime=1.49
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 4400 0 0 0 145 4 0 0 25 0 1 0 26460341 25706496 3841 1992294400 134512640 137138936 4294889888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 6276 3841 185 642 0 5632 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25104

[startup+3.10072 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31181
/proc/meminfo: memFree=1780144/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=32492 CPUtime=3.09
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 7452 0 0 0 300 9 0 0 25 0 1 0 26460341 33271808 5684 1992294400 134512640 137138936 4294889888 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 8123 5684 191 642 0 7479 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32492

[startup+6.30135 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31181
/proc/meminfo: memFree=1742076/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=72116 CPUtime=6.29
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 17355 0 0 0 616 13 0 0 25 0 1 0 26460341 73846784 15587 1992294400 134512640 137138936 4294889888 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 18029 15587 191 642 0 17385 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72116

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31181
/proc/meminfo: memFree=1664080/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=145276 CPUtime=12.68
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 35661 0 0 0 1247 21 0 0 25 0 1 0 26460341 148762624 33893 1992294400 134512640 137138936 4294889888 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 36319 33893 191 642 0 35675 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 145276

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31183
/proc/meminfo: memFree=1555084/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=250796 CPUtime=25.49
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 62027 0 0 0 2516 33 0 0 25 0 1 0 26460341 256815104 60259 1992294400 134512640 137138936 4294889888 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 62699 60259 191 642 0 62055 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 250796

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31183
/proc/meminfo: memFree=1445840/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=360640 CPUtime=51.07
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 89504 0 0 0 5056 51 0 0 25 0 1 0 26460341 369295360 87736 1992294400 134512640 137138936 4294889888 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 90160 87736 191 642 0 89516 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 360640

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31185
/proc/meminfo: memFree=1182216/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=621840 CPUtime=102.26
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 154797 0 0 0 10133 93 0 0 25 0 1 0 26460341 636764160 153029 1992294400 134512640 137138936 4294889888 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 155460 153029 191 642 0 154816 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 621840

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31185
/proc/meminfo: memFree=1048792/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=755832 CPUtime=162.23
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 188287 0 0 0 16107 116 0 0 25 0 1 0 26460341 773971968 186519 1992294400 134512640 137138936 4294889888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 188958 186519 191 642 0 188314 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 755832

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31187
/proc/meminfo: memFree=1021512/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=781908 CPUtime=222.21
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 194867 0 0 0 22096 125 0 0 25 0 1 0 26460341 800673792 193046 1992294400 134512640 137138936 4294889888 18446744073709551615 136297621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 195477 193046 191 642 0 194833 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 781908

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31189
/proc/meminfo: memFree=1021512/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=781908 CPUtime=282.18
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 194867 0 0 0 28085 133 0 0 25 0 1 0 26460341 800673792 193046 1992294400 134512640 137138936 4294889888 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 195477 193046 191 642 0 194833 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 781908

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31191
/proc/meminfo: memFree=866512/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=937260 CPUtime=342.16
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 233698 0 0 0 34058 158 0 0 25 0 1 0 26460341 959754240 231877 1992294400 134512640 137138936 4294889888 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 234315 231877 191 642 0 233671 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 937260

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31193
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1044604 CPUtime=402.14
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 40041 173 0 0 25 0 1 0 26460341 1069674496 258706 1992294400 134512640 137138936 4294889888 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 261151 258706 191 642 0 260507 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1044604

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31193
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1044604 CPUtime=462.11
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 46032 179 0 0 25 0 1 0 26460341 1069674496 258706 1992294400 134512640 137138936 4294889888 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 261151 258706 191 642 0 260507 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 1044604

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31195
/proc/meminfo: memFree=758012/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1044604 CPUtime=522.09
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 52025 184 0 0 25 0 1 0 26460341 1069674496 258706 1992294400 134512640 137138936 4294889888 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 261151 258706 191 642 0 260507 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1044604

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31197
/proc/meminfo: memFree=758012/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1044604 CPUtime=582.06
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 58016 190 0 0 25 0 1 0 26460341 1069674496 258706 1992294400 134512640 137138936 4294889888 18446744073709551615 136504470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 261151 258706 191 642 0 260507 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 1044604

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31199
/proc/meminfo: memFree=757888/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1044604 CPUtime=642.04
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 64009 195 0 0 25 0 1 0 26460341 1069674496 258706 1992294400 134512640 137138936 4294889888 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 261151 258706 191 642 0 260507 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 1044604

[startup+702.301 s]

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

/proc/meminfo: memFree=758384/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1061.87
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 105966 221 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 1043600

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31220
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1121.84
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 111959 225 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1043600

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31222
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1181.82
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 117953 229 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1043600

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31224
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1241.79
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 123947 232 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134540813 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1043600

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31226
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1301.77
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 129941 236 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 1043600

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31226
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1361.75
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 135933 242 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1043600

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31228
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1421.73
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 141927 246 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 1043600

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31230
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1481.69
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 147919 250 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 1043600

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31232
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1541.69
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 153914 255 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1043600

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31234
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1601.65
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 159907 258 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1043600

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31234
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1661.63
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 165901 262 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1043600

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31236
/proc/meminfo: memFree=758136/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1721.61
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 171896 265 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1043600

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31238
/proc/meminfo: memFree=757888/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1781.58
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 177893 265 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 1043600

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31238
/proc/meminfo: memFree=757888/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1791.29
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 178863 266 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 1043600

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31238
/proc/meminfo: memFree=757888/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1794.49
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 179182 267 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 1043600

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31238
/proc/meminfo: memFree=757888/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1796.08
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 179341 267 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1796.08
Current children cumulated vsize (KiB) 1043600

[startup+1797.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31238
/proc/meminfo: memFree=757888/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1796.88
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 179421 267 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 1043600

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31238
/proc/meminfo: memFree=757888/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=1043600 CPUtime=1797.68
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202496 260598 0 0 0 179501 267 0 0 25 0 1 0 26460341 1068646400 258476 1992294400 134512640 137138936 4294889888 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31180/statm: 260900 258476 191 642 0 260256 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 1043600

[startup+1798.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31238
/proc/meminfo: memFree=757888/2059040 swapFree=4136184/4192956
[pid=31180] ppid=31178 vsize=0 CPUtime=1798.07
/proc/31180/stat : 31180 (bsolo_pb10) R 31178 31180 30867 0 -1 4202500 260599 0 0 0 179532 275 0 0 25 0 1 0 26460341 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/31180/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.07
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.82
CPU time (s): 1798.11
CPU user time (s): 1795.33
CPU system time (s): 2.78058
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 1044888

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

runsolver used 2.88456 second user time and 8.5737 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-14 11:43:08
IDJOB=2657532
IDBENCH=2264
IDSOLVER=1163
FILE ID=node011/2657532-1276508588
PBS_JOBID= 11173417
Free space on /tmp= 62264 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-2.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657532-1276508588/watcher-2657532-1276508588 -o /tmp/evaluation-result-2657532-1276508588/solver-2657532-1276508588 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657532-1276508588.opb

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

MD5SUM BENCH= 669011fc499ae56e44c354cc6cddc4c7
RANDOM SEED=175585300

node011.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.264
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.52
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.264
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1795808 kB
Buffers:         81268 kB
Cached:         105744 kB
SwapCached:       9796 kB
Active:          99148 kB
Inactive:       100320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1795808 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            5864 kB
Writeback:           0 kB
AnonPages:       11112 kB
Mapped:           9136 kB
Slab:            41972 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180820 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= 62260 MiB
End job on node011 at 2010-06-14 12:13:07