Trace number 2657407

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-39 1798.13 1798.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM29f577041bedcbf69a98210424b233be
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-42
Best CPU time to get the best result obtained on this benchmark1789.9
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 constraints81068
Number of constraints which are clauses81068
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-2657407-1276506163.opb
0.00/0.00	c File size is 1960073 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.312 s
0.29/0.34	c Var: 1150 Constr: 81068 81068/0/0 Lit: 162136 Watch. Lit: 162136
0.29/0.34	c Obj. Vars: 1150 (100 % of total variables)
2.39/2.49	c Pre-processing Time: 2.488 s
2.39/2.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.49	c        0   1150    81068   162136    2   162136   27022      0      0 2.49
2.39/2.49	c Switching off lower bounding mode.
2.49/2.50	o -34
2.49/2.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.51	c        0   1150    81069   163286    2   162172   28022      1      0 2.51
2.49/2.51	o -35
2.49/2.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.52	c        6   1150    81076   171118    2   162221   28022      8      2 2.52
2.49/2.52	o -37
2.49/2.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.52	c        6   1150    81077   172268    2   162260   28022      9      2 2.52
2.49/2.52	o -38
253.41/253.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
253.41/253.53	c        6   1150    81078   173418    2   162300   28022     10      2 2.53
253.41/253.53	c      108   1150    81180   286483    3   162504   30825    112     41 2.61
253.41/253.53	c      359   1150    81431   564660    6   163006   33908    363    128 2.80
253.41/253.53	c      834   1150    81906  1090457   13   163956   37299    838    257 3.24
253.41/253.53	c     1648   1150    82720  1992612   24   165584   41029   1652    407 4.05
253.41/253.53	c     2969   1150    84041  3456354   41   168226   45132   2973    545 5.44
253.41/253.53	c     5051   1150    86123  5763205   66   172390   49646   5055    584 8.64
253.41/253.53	c     8276   1150    89348  9335595  104   178840   54611   8280    619 13.35
253.41/253.53	c    13214   1150    94286 14807596  157   188716   60073  13218    598 22.07
253.41/253.53	c    20722   1150   101794 23128129  227   203732   66081  20726    510 40.56
253.41/253.53	c    32083   1150   113155 35720196  315   226454   72690  32087    458 69.94
253.41/253.53	c    49227   1150   130299 54707476  419   260742   79960  49231    323 152.22
253.41/253.53	o -39
1797.97/1798.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.55	c    68453   1150   149526 76014283  508   299235   28022  68458    270 253.45
1797.97/1798.55	c    68555   1150    93074 13467446  144   186187   30825  12006    242 283.18
1797.97/1798.55	c    68806   1150    93325 13745429  147   186689   33908  12257    242 283.55
1797.97/1798.55	c    69282   1150    93801 14272387  152   187641   37299  12733    243 284.14
1797.97/1798.55	c    70095   1150    94614 15171876  160   189267   41029  13546    245 285.12
1797.97/1798.55	c    71415   1150    95934 16633191  173   191907   45132  14866    247 288.26
1797.97/1798.55	c    73496   1150    98015 18936646  193   196069   49646  16947    252 290.86
1797.97/1798.55	c    76719   1150   101238 22504754  222   202515   54611  20170    255 299.69
1797.97/1798.55	c    81655   1150   106174 27970981  263   212387   60073  25106    264 308.81
1797.97/1798.55	c    89162   1150   113681 36279243  319   227401   66081  32613    265 335.66
1797.97/1798.55	c   100523   1150   125042 48851742  390   250123   72690  43974    261 384.66
1797.97/1798.55	c   117667   1150   142186 67831893  477   284411   79960  61118    247 475.60
1797.97/1798.55	c Reducing formula size due to memory constraints
1797.97/1798.55	c Memory Limit: 1000.00 MB  Used: 1000.83 MB
1797.97/1798.55	c   143486   1150   108449 30473531  280   216937  112559  27381    236 607.26
1797.97/1798.55	c   182318   1150   147281 73451491  498   294601  123815  66213    236 769.50
1797.97/1798.55	c Reducing formula size due to memory constraints
1797.97/1798.55	c Memory Limit: 1000.00 MB  Used: 1007.09 MB
1797.97/1798.55	c   240670   1150   145605 71602117  491   291249  112561  64537    184 1305.62
1797.97/1798.55	c Reducing formula size due to memory constraints
1797.97/1798.55	c Memory Limit: 1000.00 MB  Used: 1007.17 MB
1797.97/1798.55	c Resources Exceeded
1797.97/1798.55	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.97/1798.55	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.55	c   30   302938  27352   338753   147902 74153688  66834    168 1798.02
1797.97/1798.55	c Objective: -39
1797.97/1798.55	s SATISFIABLE
1797.97/1798.55	c Total time: 1798.02 s

Verifier Data 

OK	-39

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657407-1276506163/watcher-2657407-1276506163 -o /tmp/evaluation-result-2657407-1276506163/solver-2657407-1276506163 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657407-1276506163.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.91 0.95 0.98 3/106 28248
/proc/meminfo: memFree=1715948/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=12848 CPUtime=0
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 352 0 0 0 0 0 0 0 18 0 1 0 26220222 13156352 271 1992294400 134512640 137138936 4291135600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 3212 271 175 642 0 2089 0

[startup+0.073036 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 28248
/proc/meminfo: memFree=1715948/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=14500 CPUtime=0.06
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 879 0 0 0 6 0 0 0 20 0 1 0 26220222 14848000 798 1992294400 134512640 137138936 4291135600 18446744073709551615 134516226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 3625 798 275 642 0 2502 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14500

[startup+0.101038 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 28248
/proc/meminfo: memFree=1715948/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=15188 CPUtime=0.09
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 1093 0 0 0 9 0 0 0 20 0 1 0 26220222 15552512 1012 1992294400 134512640 137138936 4291135600 18446744073709551615 134603351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 3797 1012 317 642 0 2674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15188

[startup+0.301057 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 28248
/proc/meminfo: memFree=1715948/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=20272 CPUtime=0.29
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 2657 0 0 0 29 0 0 0 20 0 1 0 26220222 20758528 2576 1992294400 134512640 137138936 4291135600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 5068 2576 622 642 0 3945 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20272

[startup+0.701095 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 28248
/proc/meminfo: memFree=1715948/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=25248 CPUtime=0.69
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 4411 0 0 0 67 2 0 0 20 0 1 0 26220222 25853952 3851 1992294400 134512640 137138936 4291135600 18446744073709551615 134540073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 6312 3851 185 642 0 5668 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25248

[startup+1.50117 s]
/proc/loadavg: 0.91 0.95 0.98 2/107 28249
/proc/meminfo: memFree=1701184/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=25248 CPUtime=1.49
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 4411 0 0 0 145 4 0 0 23 0 1 0 26220222 25853952 3851 1992294400 134512640 137138936 4291135600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 6312 3851 185 642 0 5668 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25248

[startup+3.10132 s]
/proc/loadavg: 0.92 0.95 0.98 2/107 28249
/proc/meminfo: memFree=1700688/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=32536 CPUtime=3.09
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 7463 0 0 0 300 9 0 0 25 0 1 0 26220222 33316864 5690 1992294400 134512640 137138936 4291135600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 8134 5690 191 642 0 7490 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32536

[startup+6.30063 s]
/proc/loadavg: 0.92 0.95 0.98 2/107 28249
/proc/meminfo: memFree=1661256/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=74844 CPUtime=6.29
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 18053 0 0 0 615 14 0 0 25 0 1 0 26220222 76640256 16280 1992294400 134512640 137138936 4291135600 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 18711 16280 191 642 0 18067 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74844

[startup+12.7002 s]
/proc/loadavg: 0.93 0.96 0.98 2/107 28249
/proc/meminfo: memFree=1598264/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=134220 CPUtime=12.69
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 32881 0 0 0 1247 22 0 0 25 0 1 0 26220222 137441280 31108 1992294400 134512640 137138936 4291135600 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 33555 31108 191 642 0 32911 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 134220

[startup+25.5014 s]
/proc/loadavg: 0.94 0.96 0.98 2/107 28249
/proc/meminfo: memFree=1487408/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=240400 CPUtime=25.48
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 59441 0 0 0 2514 34 0 0 25 0 1 0 26220222 246169600 57668 1992294400 134512640 137138936 4291135600 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 60100 57668 191 642 0 59456 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 240400

[startup+51.1009 s]
/proc/loadavg: 0.96 0.96 0.98 2/107 28251
/proc/meminfo: memFree=1331912/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=396216 CPUtime=51.07
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 98397 0 0 0 5050 57 0 0 25 0 1 0 26220222 405725184 96624 1992294400 134512640 137138936 4291135600 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 99054 96624 191 642 0 98410 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 396216

[startup+102.309 s]
/proc/loadavg: 0.98 0.96 0.98 2/107 28253
/proc/meminfo: memFree=1117516/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=607560 CPUtime=102.26
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 151217 0 0 0 10137 89 0 0 25 0 1 0 26220222 622141440 149444 1992294400 134512640 137138936 4291135600 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 151890 149444 191 642 0 151246 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 607560

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 28253
/proc/meminfo: memFree=957804/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=767336 CPUtime=162.24
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 191178 0 0 0 16107 117 0 0 25 0 1 0 26220222 785752064 189405 1992294400 134512640 137138936 4291135600 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 191834 189405 191 642 0 191190 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 767336

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 28255
/proc/meminfo: memFree=799332/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=925344 CPUtime=222.22
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 230677 0 0 0 22079 143 0 0 25 0 1 0 26220222 947552256 228904 1992294400 134512640 137138936 4291135600 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 231336 228904 191 642 0 230692 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 925344

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 28257
/proc/meminfo: memFree=729892/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=993760 CPUtime=282.2
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 247828 0 0 0 28065 155 0 0 25 0 1 0 26220222 1017610240 245988 1992294400 134512640 137138936 4291135600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 248440 245988 191 642 0 247796 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 993760

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 28259
/proc/meminfo: memFree=729892/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=993760 CPUtime=342.19
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 247828 0 0 0 34056 163 0 0 25 0 1 0 26220222 1017610240 245988 1992294400 134512640 137138936 4291135600 18446744073709551615 136511197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 248440 245988 191 642 0 247796 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 993760

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 28259
/proc/meminfo: memFree=729768/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=993760 CPUtime=402.17
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 247828 0 0 0 40048 169 0 0 25 0 1 0 26220222 1017610240 245988 1992294400 134512640 137138936 4291135600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 248440 245988 191 642 0 247796 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 993760

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 28261
/proc/meminfo: memFree=729768/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=993760 CPUtime=462.15
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 247828 0 0 0 46042 173 0 0 25 0 1 0 26220222 1017610240 245988 1992294400 134512640 137138936 4291135600 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 248440 245988 191 642 0 247796 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 993760

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 28263
/proc/meminfo: memFree=687236/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1036188 CPUtime=522.14
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 258512 0 0 0 52030 184 0 0 25 0 1 0 26220222 1061056512 256602 1992294400 134512640 137138936 4291135600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 259047 256602 191 642 0 258403 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1036188

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 28265
/proc/meminfo: memFree=687112/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1036188 CPUtime=582.12
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 258512 0 0 0 58022 190 0 0 25 0 1 0 26220222 1061056512 256602 1992294400 134512640 137138936 4291135600 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 259047 256602 191 642 0 258403 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1036188

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 28267
/proc/meminfo: memFree=687112/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1036188 CPUtime=642.11
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 258512 0 0 0 64013 198 0 0 25 0 1 0 26220222 1061056512 256602 1992294400 134512640 137138936 4291135600 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 259047 256602 191 642 0 258403 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1036188

[startup+702.302 s]

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

/proc/meminfo: memFree=680044/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042624 CPUtime=1121.95
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260190 0 0 0 111961 234 0 0 25 0 1 0 26220222 1067646976 258209 1992294400 134512640 137138936 4291135600 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260656 258209 191 642 0 260012 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1042624

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 28284
/proc/meminfo: memFree=680044/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042624 CPUtime=1181.93
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260190 0 0 0 117956 237 0 0 25 0 1 0 26220222 1067646976 258209 1992294400 134512640 137138936 4291135600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260656 258209 191 642 0 260012 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1042624

[startup+1242.3 s]
/proc/loadavg: 1.07 0.99 0.99 2/107 28286
/proc/meminfo: memFree=680044/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042624 CPUtime=1241.92
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260190 0 0 0 123952 240 0 0 25 0 1 0 26220222 1067646976 258209 1992294400 134512640 137138936 4291135600 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260656 258209 191 642 0 260012 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1042624

[startup+1302.3 s]
/proc/loadavg: 1.02 0.99 0.99 2/107 28288
/proc/meminfo: memFree=680044/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042624 CPUtime=1301.9
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260190 0 0 0 129947 243 0 0 25 0 1 0 26220222 1067646976 258209 1992294400 134512640 137138936 4291135600 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260656 258209 191 642 0 260012 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1042624

[startup+1362.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/107 28288
/proc/meminfo: memFree=680044/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1361.88
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 135943 245 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1042992

[startup+1422.31 s]
/proc/loadavg: 1.06 1.00 0.99 2/107 28290
/proc/meminfo: memFree=680044/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1421.87
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 141935 252 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1042992

[startup+1482.3 s]
/proc/loadavg: 1.02 1.00 0.99 2/107 28292
/proc/meminfo: memFree=680044/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1481.84
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 147927 257 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1042992

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/107 28294
/proc/meminfo: memFree=680044/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1541.83
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 153919 264 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1042992

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28294
/proc/meminfo: memFree=680044/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1601.81
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 159913 268 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1042992

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28296
/proc/meminfo: memFree=680044/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1661.79
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 165906 273 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1042992

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28298
/proc/meminfo: memFree=680044/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1721.77
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 171901 276 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 136511190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1042992

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28300
/proc/meminfo: memFree=679796/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1781.76
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 177896 280 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1042992

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28300
/proc/meminfo: memFree=679796/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1791.37
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 178857 280 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 1042992

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28300
/proc/meminfo: memFree=679796/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1794.57
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 179177 280 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 1042992

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28300
/proc/meminfo: memFree=679796/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1796.16
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 179336 280 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (KiB) 1042992

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28300
/proc/meminfo: memFree=679796/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1796.96
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 179416 280 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 1042992

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28300
/proc/meminfo: memFree=679796/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1797.76
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 179496 280 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 1042992

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28300
/proc/meminfo: memFree=679796/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=1042992 CPUtime=1797.97
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202496 260273 0 0 0 179517 280 0 0 25 0 1 0 26220222 1068023808 258292 1992294400 134512640 137138936 4291135600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28248/statm: 260748 258292 191 642 0 260104 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 1042992

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28300
/proc/meminfo: memFree=679796/2059040 swapFree=4140388/4192956
[pid=28248] ppid=28246 vsize=0 CPUtime=1798.05
/proc/28248/stat : 28248 (bsolo_pb10) R 28246 28248 28138 0 -1 4202500 260274 0 0 0 179521 284 0 0 25 0 1 0 26220222 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/28248/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.66
CPU time (s): 1798.13
CPU user time (s): 1795.22
CPU system time (s): 2.90656
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1042992

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

runsolver used 3.14752 second user time and 8.31074 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-14 11:02:44
IDJOB=2657407
IDBENCH=2261
IDSOLVER=1163
FILE ID=node004/2657407-1276506163
PBS_JOBID= 11173419
Free space on /tmp= 62548 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-3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657407-1276506163/watcher-2657407-1276506163 -o /tmp/evaluation-result-2657407-1276506163/solver-2657407-1276506163 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657407-1276506163.opb

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

MD5SUM BENCH= 29f577041bedcbf69a98210424b233be
RANDOM SEED=238592913

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:       1716476 kB
Buffers:        112576 kB
Cached:         147696 kB
SwapCached:       6684 kB
Active:         105360 kB
Inactive:       168404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1716476 kB
SwapTotal:     4192956 kB
SwapFree:      4140388 kB
Dirty:            5844 kB
Writeback:           0 kB
AnonPages:       11268 kB
Mapped:          12936 kB
Slab:            47144 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182264 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= 62544 MiB
End job on node004 at 2010-06-14 11:32:42