Trace number 3463213

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.2SAT-40 1798.05 1798.01

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-45
Best CPU time to get the best result obtained on this benchmark1797.36
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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463213-1307177955.opb
0.00/0.00	c File size is 1930218 bytes.
0.09/0.11	c Highest Coefficient sum: 1150
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.117 s
0.09/0.13	c Var: 1150 Constr: 80072 80072/0/0 Lit: 160144 Watch. Lit: 160144
0.09/0.13	c Obj. Vars: 1150 (100 % of total variables)
0.59/0.68	c Pre-processing Time: 0.681 s
0.59/0.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.68	c        0   1150    80072   160144    2   160144   26690      0      0 0.68
0.59/0.68	c Switching off lower bounding mode.
0.59/0.68	o -37
0.79/0.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.82	c        0   1150    80073   161294    2   160183   27690      1      0 0.69
0.79/0.82	c      100   1150    80187   287599    3   160411   30460    115    124 0.81
0.79/0.82	o -38
1.79/1.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.82	c      115   1150    80203   305405    3   160481   27690    131    139 0.82
1.79/1.82	c      215   1150    80312   426130    5   160699   30460    240    230 0.93
1.79/1.82	c      466   1150    80599   743919    9   161273   33507    527    377 1.24
1.79/1.82	c      942   1150    81121  1322161   16   162317   36858   1049    518 1.82
1.79/1.82	o -39
40.59/40.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.59/40.63	c      949   1150    81129  1331079   16   162372   27690   1057    519 1.83
40.59/40.63	c     1049   1150    81240  1453901   17   162594   30460   1168    539 1.95
40.59/40.63	c     1299   1150    81521  1764708   21   163156   33507   1449    577 2.25
40.59/40.63	c     1774   1150    82049  2348960   28   164212   36858   1977    621 2.85
40.59/40.63	c     2588   1150    82957  3353957   40   166028   40544   2885    648 3.99
40.59/40.63	c     3908   1150    84450  5005961   59   169014   44599   4378    663 5.89
40.59/40.63	c     5989   1150    86782  7586004   87   173678   49059   6710    646 9.26
40.59/40.63	c     9212   1150    90448 11638498  128   181048   53965  10376    627 14.69
40.59/40.63	c    14148   1150    96039 17822315  185   192230   59362  15967    598 23.64
40.59/40.63	c    21655   1150   104452 27125810  259   209056   65299  24380    557 38.87
40.59/40.63	o -40
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c    22454   1150   105347 28116435  266   210886   27690  25275    552 40.62
1797.93/1797.96	c    22554   1150   105461 28242464  267   211114   30460  25389    552 40.84
1797.93/1797.96	c    22804   1150   105733 28543441  269   211658   33507  25661    551 41.36
1797.93/1797.96	c    23279   1150   106252 29117295  274   212696   36858  26180    549 42.34
1797.93/1797.96	c    24092   1150   107166 30127316  281   214524   40544  27094    542 44.41
1797.93/1797.96	c    25412   1150   108631 31745479  292   217454   44599  28559    539 47.12
1797.93/1797.96	c    27493   1150   110962 34321124  309   222116   49059  30890    531 51.69
1797.93/1797.96	c    30716   1150   114632 38373634  334   229456   53965  34560    514 59.76
1797.93/1797.96	c    35652   1150   120173 44495465  370   240538   59362  40101    491 72.55
1797.93/1797.96	c    43158   1150   128609 53816434  418   257410   65299  48537    461 93.43
1797.93/1797.96	c    54521   1150   141210 67743333  479   282685   71829  61138    423 128.64
1797.93/1797.96	c Reducing formula size due to memory constraints
1797.93/1797.96	c Memory Limit: 1000.00 MB  Used: 1006.18 MB
1797.93/1797.96	c    71665   1150   102269 24675477  241   204651  113207  22197    369 193.90
1797.93/1797.96	c    97484   1150   131356 56804898  432   262862  124528  51284    356 273.42
1797.93/1797.96	c Reducing formula size due to memory constraints
1797.93/1797.96	c Memory Limit: 1000.00 MB  Used: 1008.39 MB
1797.93/1797.96	c   136317   1150   116655 40544202  347   233387  113122  36583    335 406.76
1797.93/1797.96	c Reducing formula size due to memory constraints
1797.93/1797.96	c Memory Limit: 1000.00 MB  Used: 1009.54 MB
1797.93/1797.96	c   194670   1150   123770 48335515  390   247649  113048  43698    305 636.35
1797.93/1797.96	c Reducing formula size due to memory constraints
1797.93/1797.96	c Memory Limit: 1000.00 MB  Used: 1011.72 MB
1797.93/1797.96	c Reducing formula size due to memory constraints
1797.93/1797.96	c Memory Limit: 1000.00 MB  Used: 1013.76 MB
1797.93/1797.96	c   282303   1150   105175 27817234  264   210466  113232  25103    234 1204.26
1797.93/1797.96	c Reducing formula size due to memory constraints
1797.93/1797.96	c Memory Limit: 1000.00 MB  Used: 1005.90 MB
1797.93/1797.96	c Reducing formula size due to memory constraints
1797.93/1797.96	c Memory Limit: 1000.00 MB  Used: 1004.24 MB
1797.93/1797.96	c Resources Exceeded
1797.93/1797.96	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.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c   32   397926  28661   432139   116446 40297881  36374    221 1798.00
1797.93/1797.96	c Objective: -40
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	c Total time: 1798 s

Verifier Data 

OK	-40

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463213-1307177955/watcher-3463213-1307177955 -o /tmp/evaluation-result-3463213-1307177955/solver-3463213-1307177955 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463213-1307177955.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.13 2.03 2.01 2/461 23006
/proc/meminfo: memFree=28141608/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=13508 CPUtime=0.01 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 530 0 0 0 1 0 0 0 25 0 1 0 829393518 13832192 485 33554432000 134512640 137138936 4289988096 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23006/statm: 3377 485 215 642 0 2261 0

[startup+0.0865701 s]
/proc/loadavg: 2.13 2.03 2.01 2/461 23006
/proc/meminfo: memFree=28141608/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=18320 CPUtime=0.08 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 2020 0 0 0 8 0 0 0 25 0 1 0 829393518 18759680 1975 33554432000 134512640 137138936 4289988096 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23006/statm: 4580 1976 504 642 0 3464 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18320

[startup+0.100565 s]
/proc/loadavg: 2.13 2.03 2.01 2/461 23006
/proc/meminfo: memFree=28141608/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=19148 CPUtime=0.09 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 2304 0 0 0 9 0 0 0 25 0 1 0 829393518 19607552 2259 33554432000 134512640 137138936 4289988096 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23006/statm: 4787 2259 559 642 0 3671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19148

[startup+0.300527 s]
/proc/loadavg: 2.13 2.03 2.01 2/461 23006
/proc/meminfo: memFree=28141608/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=24972 CPUtime=0.29 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 4324 0 0 0 28 1 0 0 25 0 1 0 829393518 25571328 3807 33554432000 134512640 137138936 4289988096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23006/statm: 6243 3807 185 642 0 5599 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24972

[startup+0.700465 s]
/proc/loadavg: 2.13 2.03 2.01 2/461 23006
/proc/meminfo: memFree=28141608/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=22692 CPUtime=0.69 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 4962 0 0 0 66 3 0 0 25 0 1 0 829393518 23236608 3237 33554432000 134512640 137138936 4289988096 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23006/statm: 5673 3237 192 642 0 5029 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22692

[startup+1.50031 s]
/proc/loadavg: 2.13 2.03 2.01 3/462 23007
/proc/meminfo: memFree=28124732/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=33508 CPUtime=1.49 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 7668 0 0 0 145 4 0 0 25 0 1 0 829393518 34312192 5943 33554432000 134512640 137138936 4289988096 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23006/statm: 8377 5943 192 642 0 7733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33508

[startup+3.10101 s]
/proc/loadavg: 2.13 2.03 2.01 3/462 23007
/proc/meminfo: memFree=28109232/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=53748 CPUtime=3.09 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 12712 0 0 0 304 5 0 0 25 0 1 0 829393518 55037952 10987 33554432000 134512640 137138936 4289988096 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23006/statm: 13437 10987 192 642 0 12793 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53748

[startup+6.30045 s]
/proc/loadavg: 2.12 2.03 2.01 3/462 23007
/proc/meminfo: memFree=28070176/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=89388 CPUtime=6.29 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 21630 0 0 0 623 6 0 0 25 0 1 0 829393518 91533312 19905 33554432000 134512640 137138936 4289988096 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23006/statm: 22347 19905 192 642 0 21703 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89388

[startup+12.7002 s]
/proc/loadavg: 2.11 2.03 2.01 3/462 23007
/proc/meminfo: memFree=28003404/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=152444 CPUtime=12.69 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 37398 0 0 0 1261 8 0 0 25 0 1 0 829393518 156102656 35673 33554432000 134512640 137138936 4289988096 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23006/statm: 38111 35673 192 642 0 37467 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 152444

[startup+25.501 s]
/proc/loadavg: 2.16 2.04 2.01 3/462 23008
/proc/meminfo: memFree=27885956/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=266656 CPUtime=25.49 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 65954 0 0 0 2535 14 0 0 25 0 1 0 829393518 273055744 64229 33554432000 134512640 137138936 4289988096 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 66664 64229 192 642 0 66020 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 266656

[startup+51.1003 s]
/proc/loadavg: 2.17 2.06 2.02 3/462 23008
/proc/meminfo: memFree=27698992/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=455364 CPUtime=51.09 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 113122 0 0 0 5087 22 0 0 25 0 1 0 829393518 466292736 111397 33554432000 134512640 137138936 4289988096 18446744073709551615 134607587 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 113841 111397 192 642 0 113197 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 455364

[startup+102.317 s]
/proc/loadavg: 2.13 2.06 2.02 3/462 23010
/proc/meminfo: memFree=27389964/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=759664 CPUtime=102.3 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 189202 0 0 0 10194 36 0 0 25 0 1 0 829393518 777895936 187477 33554432000 134512640 137138936 4289988096 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 189916 187477 192 642 0 189272 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 759664

[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/462 23020
/proc/meminfo: memFree=27104692/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1041708 CPUtime=162.28 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 259789 0 0 0 16179 49 0 0 25 0 1 0 829393518 1066708992 257993 33554432000 134512640 137138936 4289988096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 260427 257993 192 642 0 259783 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1041708

[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/462 23022
/proc/meminfo: memFree=27105784/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1041708 CPUtime=222.28 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 259789 0 0 0 22177 51 0 0 25 0 1 0 829393518 1066708992 257993 33554432000 134512640 137138936 4289988096 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 260427 257993 192 642 0 259783 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1041708

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/462 23024
/proc/meminfo: memFree=27059512/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1041708 CPUtime=282.29 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 259789 0 0 0 28176 53 0 0 25 0 1 0 829393518 1066708992 257993 33554432000 134512640 137138936 4289988096 18446744073709551615 134603223 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 260427 257993 192 642 0 259783 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1041708

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23028
/proc/meminfo: memFree=27056188/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1045280 CPUtime=342.29 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 260661 0 0 0 34175 54 0 0 25 0 1 0 829393518 1070366720 258865 33554432000 134512640 137138936 4289988096 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 261320 258865 192 642 0 260676 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1045280

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23030
/proc/meminfo: memFree=27056716/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1045280 CPUtime=402.29 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 260661 0 0 0 40173 56 0 0 25 0 1 0 829393518 1070366720 258865 33554432000 134512640 137138936 4289988096 18446744073709551615 134598907 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 261320 258865 192 642 0 260676 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1045280

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 23031
/proc/meminfo: memFree=27056560/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1045280 CPUtime=462.29 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 260661 0 0 0 46171 58 0 0 25 0 1 0 829393518 1070366720 258865 33554432000 134512640 137138936 4289988096 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 261320 258865 192 642 0 260676 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1045280

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 23033
/proc/meminfo: memFree=27031248/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1045280 CPUtime=522.3 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 260661 0 0 0 52170 60 0 0 25 0 1 0 829393518 1070366720 258865 33554432000 134512640 137138936 4289988096 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 261320 258865 192 642 0 260676 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1045280

[startup+582.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/462 23035
/proc/meminfo: memFree=27001452/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1046680 CPUtime=582.3 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 261011 0 0 0 58168 62 0 0 25 0 1 0 829393518 1071800320 259215 33554432000 134512640 137138936 4289988096 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 261670 259215 192 642 0 261026 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1046680

[startup+642.301 s]

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

/proc/meminfo: memFree=26940384/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1049940 CPUtime=1122.31 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 261826 0 0 0 112156 75 0 0 25 0 1 0 829393518 1075138560 260030 33554432000 134512640 137138936 4289988096 18446744073709551615 134607004 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262485 260030 192 642 0 261841 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1049940

[startup+1182.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/462 23051
/proc/meminfo: memFree=26938248/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1051280 CPUtime=1182.31 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 118154 77 0 0 25 0 1 0 829393518 1076510720 260382 33554432000 134512640 137138936 4289988096 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262820 260382 192 642 0 262176 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1051280

[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/462 23052
/proc/meminfo: memFree=26938464/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1051280 CPUtime=1242.31 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 124152 79 0 0 25 0 1 0 829393518 1076510720 260382 33554432000 134512640 137138936 4289988096 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262820 260382 192 642 0 262176 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1051280

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/462 23054
/proc/meminfo: memFree=26937928/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1051280 CPUtime=1302.34 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 130152 82 0 0 25 0 1 0 829393518 1076510720 260382 33554432000 134512640 137138936 4289988096 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262820 260382 192 642 0 262176 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1051280

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23055
/proc/meminfo: memFree=26939396/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1051280 CPUtime=1362.32 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 136149 83 0 0 25 0 1 0 829393518 1076510720 260382 33554432000 134512640 137138936 4289988096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262820 260382 192 642 0 262176 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1051280

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23057
/proc/meminfo: memFree=26939612/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1051280 CPUtime=1422.34 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 142149 85 0 0 25 0 1 0 829393518 1076510720 260382 33554432000 134512640 137138936 4289988096 18446744073709551615 134575807 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262820 260382 192 642 0 262176 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1051280

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 23086
/proc/meminfo: memFree=27556508/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1051280 CPUtime=1482.32 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 148145 87 0 0 25 0 1 0 829393518 1076510720 260382 33554432000 134512640 137138936 4289988096 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262820 260382 192 642 0 262176 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1051280

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 23087
/proc/meminfo: memFree=27508192/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1051280 CPUtime=1542.32 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 154143 89 0 0 25 0 1 0 829393518 1076510720 260382 33554432000 134512640 137138936 4289988096 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262820 260382 192 642 0 262176 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1051280

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 23089
/proc/meminfo: memFree=27479536/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1051280 CPUtime=1602.33 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 160142 91 0 0 25 0 1 0 829393518 1076510720 260382 33554432000 134512640 137138936 4289988096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262820 260382 192 642 0 262176 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1051280

[startup+1662.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/462 23090
/proc/meminfo: memFree=27454940/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1051280 CPUtime=1662.33 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 166140 93 0 0 25 0 1 0 829393518 1076510720 260382 33554432000 134512640 137138936 4289988096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262820 260382 192 642 0 262176 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1051280

[startup+1722.3 s]
/proc/loadavg: 2.27 2.07 2.02 3/462 23092
/proc/meminfo: memFree=27435348/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1049588 CPUtime=1722.33 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 172138 95 0 0 25 0 1 0 829393518 1074778112 259974 33554432000 134512640 137138936 4289988096 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262397 259974 192 642 0 261753 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1049588

[startup+1782.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/462 23094
/proc/meminfo: memFree=27414376/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1049588 CPUtime=1782.33 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 178136 97 0 0 25 0 1 0 829393518 1074778112 259974 33554432000 134512640 137138936 4289988096 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262397 259974 192 642 0 261753 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1049588

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

[startup+1785.5 s]
/proc/loadavg: 2.16 2.07 2.02 3/462 23094
/proc/meminfo: memFree=27414128/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1049588 CPUtime=1785.53 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 178456 97 0 0 25 0 1 0 829393518 1074778112 259974 33554432000 134512640 137138936 4289988096 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262397 259974 192 642 0 261753 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 1049588

[startup+1791.92 s]
/proc/loadavg: 2.14 2.07 2.02 3/462 23094
/proc/meminfo: memFree=27412264/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1049588 CPUtime=1791.95 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 179098 97 0 0 25 0 1 0 829393518 1074778112 259974 33554432000 134512640 137138936 4289988096 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262397 259974 192 642 0 261753 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1049588

[startup+1795.1 s]
/proc/loadavg: 2.13 2.07 2.02 3/462 23094
/proc/meminfo: memFree=27411520/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1049588 CPUtime=1795.14 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 179417 97 0 0 25 0 1 0 829393518 1074778112 259974 33554432000 134512640 137138936 4289988096 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262397 259974 192 642 0 261753 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 1049588

[startup+1796.7 s]
/proc/loadavg: 2.13 2.07 2.02 3/462 23094
/proc/meminfo: memFree=27411024/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1049588 CPUtime=1796.73 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 179576 97 0 0 25 0 1 0 829393518 1074778112 259974 33554432000 134512640 137138936 4289988096 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262397 259974 192 642 0 261753 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1049588

[startup+1797.5 s]
/proc/loadavg: 2.13 2.07 2.02 3/462 23094
/proc/meminfo: memFree=27410528/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1049588 CPUtime=1797.53 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 179656 97 0 0 25 0 1 0 829393518 1074778112 259974 33554432000 134512640 137138936 4289988096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262397 259974 192 642 0 261753 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1049588

[startup+1797.9 s]
/proc/loadavg: 2.13 2.07 2.02 3/462 23094
/proc/meminfo: memFree=27410528/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=1049588 CPUtime=1797.93 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202496 262250 0 0 0 179696 97 0 0 25 0 1 0 829393518 1074778112 259974 33554432000 134512640 137138936 4289988096 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23006/statm: 262397 259974 192 642 0 261753 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1049588

[startup+1798 s]
/proc/loadavg: 2.13 2.07 2.02 3/462 23094
/proc/meminfo: memFree=27410528/32951124 swapFree=41830676/67111528
[pid=23006] ppid=23004 vsize=0 CPUtime=1798.02 cores=0,2,4,6
/proc/23006/stat : 23006 (bsolo) R 23004 23006 21158 0 -1 4202500 262251 0 0 0 179702 100 0 0 25 0 1 0 829393518 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/23006/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.05
CPU user time (s): 1797.03
CPU system time (s): 1.02084
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1051568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 1.02084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262251
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= 5
involuntary context switches= 2837

runsolver used 8.37873 second user time and 17.7893 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-04 10:59:15
IDJOB=3463213
IDBENCH=2260
IDSOLVER=1955
FILE ID=node138/3463213-1307177955
RUNJOBID= node138-1307175068-22747
PBS_JOBID= 13508833
Free space on /tmp= 73660 MiB

SOLVER NAME= bsolo 3.2
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 -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463213-1307177955/watcher-3463213-1307177955 -o /tmp/evaluation-result-3463213-1307177955/solver-3463213-1307177955 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463213-1307177955.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8
RANDOM SEED=918460053

node138.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28141896 kB
Buffers:        316108 kB
Cached:        1095560 kB
SwapCached:      44568 kB
Active:        2727772 kB
Inactive:      1790912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28141896 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:            5844 kB
Writeback:           0 kB
AnonPages:     3074032 kB
Mapped:          17300 kB
Slab:           128172 kB
PageTables:      92948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 131156324 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73656 MiB
End job on node138 at 2011-06-04 11:29:14