Trace number 3707944

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.01 1798.55

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-47
Best CPU time to get the best result obtained on this benchmark1800.05
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-3707944-1338154025.opb
0.00/0.00	c File size is 1930218 bytes.
0.09/0.12	c Highest Coefficient sum: 1150
0.09/0.12	c Parsing was ok!!
0.09/0.12	c Total parsing time: 0.119 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.69/0.71	c Pre-processing Time: 0.717 s
0.69/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.72	c        0   1150    80072   160144    2   160144   26690      0      0 0.72
0.69/0.72	c Switching off lower bounding mode.
0.69/0.72	o -37
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c        0   1150    80073   161294    2   160183   27690      1      0 0.72
0.79/0.86	c      100   1150    80187   287599    3   160411   30460    115    118 0.84
0.79/0.86	o -38
1.79/1.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.87	c      115   1150    80203   305405    3   160481   27690    131    133 0.86
1.79/1.87	c      215   1150    80312   426130    5   160699   30460    240    220 0.97
1.79/1.87	c      466   1150    80599   743919    9   161273   33507    527    365 1.28
1.79/1.87	c      942   1150    81121  1322161   16   162317   36858   1049    505 1.86
1.79/1.87	o -39
41.18/41.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.18/41.26	c      949   1150    81129  1331079   16   162372   27690   1057    506 1.87
41.18/41.26	c     1049   1150    81240  1453901   17   162594   30460   1168    526 1.99
41.18/41.26	c     1299   1150    81521  1764708   21   163156   33507   1449    564 2.30
41.18/41.26	c     1774   1150    82049  2348960   28   164212   36858   1977    610 2.91
41.18/41.26	c     2588   1150    82957  3353957   40   166028   40544   2885    638 4.05
41.18/41.26	c     3908   1150    84450  5005961   59   169014   44599   4378    655 5.96
41.18/41.26	c     5989   1150    86782  7586004   87   173678   49059   6710    638 9.38
41.18/41.26	c     9212   1150    90448 11638498  128   181048   53965  10376    619 14.87
41.18/41.26	c    14148   1150    96039 17822315  185   192230   59362  15967    590 23.95
41.18/41.26	c    21655   1150   104452 27125810  259   209056   65299  24380    548 39.48
41.18/41.26	o -40
1797.95/1798.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.54	c    22454   1150   105347 28116435  266   210886   27690  25275    544 41.26
1797.95/1798.54	c    22554   1150   105461 28242464  267   211114   30460  25389    543 41.49
1797.95/1798.54	c    22804   1150   105733 28543441  269   211658   33507  25661    542 42.01
1797.95/1798.54	c    23279   1150   106252 29117295  274   212696   36858  26180    541 43.00
1797.95/1798.54	c    24092   1150   107166 30127316  281   214524   40544  27094    532 45.23
1797.95/1798.54	c    25412   1150   108631 31745479  292   217454   44599  28559    529 47.96
1797.95/1798.54	c    27493   1150   110962 34321124  309   222116   49059  30890    521 52.70
1797.95/1798.54	c    30716   1150   114632 38373634  334   229456   53965  34560    502 61.16
1797.95/1798.54	c    35652   1150   120173 44495465  370   240538   59362  40101    477 74.69
1797.95/1798.54	c    43158   1150   128609 53816434  418   257410   65299  48537    444 97.00
1797.95/1798.54	c    54521   1150   141210 67743333  479   282685   71829  61138    402 135.38
1797.95/1798.54	c Reducing formula size due to memory constraints
1797.95/1798.54	c Memory Limit: 1000.00 MB  Used: 1006.18 MB
1797.95/1798.54	c    71665   1150   102269 24675477  241   204651  113207  22197    346 206.86
1797.95/1798.54	c    97484   1150   131356 56804898  432   262862  124528  51284    332 293.03
1797.95/1798.54	c Reducing formula size due to memory constraints
1797.95/1798.54	c Memory Limit: 1000.00 MB  Used: 1008.39 MB
1797.95/1798.54	c   136317   1150   116655 40544202  347   233387  113122  36583    311 437.37
1797.95/1798.54	c Reducing formula size due to memory constraints
1797.95/1798.54	c Memory Limit: 1000.00 MB  Used: 1009.54 MB
1797.95/1798.54	c   194670   1150   123770 48335515  390   247649  113048  43698    285 681.48
1797.95/1798.54	c Reducing formula size due to memory constraints
1797.95/1798.54	c Memory Limit: 1000.00 MB  Used: 1011.72 MB
1797.95/1798.54	c Reducing formula size due to memory constraints
1797.95/1798.54	c Memory Limit: 1000.00 MB  Used: 1013.76 MB
1797.95/1798.54	c   282303   1150   105175 27817234  264   210466  113232  25103    223 1262.31
1797.95/1798.54	c Reducing formula size due to memory constraints
1797.95/1798.54	c Memory Limit: 1000.00 MB  Used: 1005.90 MB
1797.95/1798.54	c Reducing formula size due to memory constraints
1797.95/1798.54	c Memory Limit: 1000.00 MB  Used: 1004.24 MB
1797.95/1798.54	c Resources Exceeded
1797.95/1798.54	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1797.95/1798.54	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.54	c   32   390255  28117   423873   107895 30871920  27823    217 1798.00
1797.95/1798.54	c Objective: -40
1797.95/1798.54	s SATISFIABLE
1797.95/1798.54	c Total time: 1798 s

Verifier Data 

OK	-40

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3707944-1338154025/watcher-3707944-1338154025 -o /tmp/evaluation-result-3707944-1338154025/solver-3707944-1338154025 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707944-1338154025.opb 

running on 4 cores: 1,3,5,7

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.00 2.00 2.00 3/176 17055
/proc/meminfo: memFree=30575344/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=12828 CPUtime=0 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 281527104 13135872 300 33554432000 134512640 137138936 4287139552 4287138080 136577166 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 3240 301 181 642 0 2124 0

[startup+0.024878 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17055
/proc/meminfo: memFree=30575344/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=14200 CPUtime=0.02 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 737 0 0 0 2 0 0 0 20 0 1 0 281527104 14540800 690 33554432000 134512640 137138936 4287139552 4287137816 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 3550 690 254 642 0 2434 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14200

[startup+0.100262 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17055
/proc/meminfo: memFree=30575344/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=19016 CPUtime=0.09 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 2255 0 0 0 9 0 0 0 20 0 1 0 281527104 19472384 2208 33554432000 134512640 137138936 4287139552 4287137960 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 4754 2209 549 642 0 3638 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19016

[startup+0.300314 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17055
/proc/meminfo: memFree=30575344/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=24976 CPUtime=0.29 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 4325 0 0 0 28 1 0 0 20 0 1 0 281527104 25575424 3806 33554432000 134512640 137138936 4287139552 4287124236 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 6244 3806 185 642 0 5600 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24976

[startup+0.700289 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17055
/proc/meminfo: memFree=30575344/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=24976 CPUtime=0.69 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 4325 0 0 0 66 3 0 0 20 0 1 0 281527104 25575424 3806 33554432000 134512640 137138936 4287139552 4287124000 136500372 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 6244 3806 185 642 0 5600 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24976

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30559696/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=32884 CPUtime=1.49 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 7516 0 0 0 145 4 0 0 20 0 1 0 281527104 33673216 5789 33554432000 134512640 137138936 4287139552 4287124352 134602805 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 8221 5789 192 642 0 7577 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32884

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30545064/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=52984 CPUtime=3.09 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 12542 0 0 0 303 6 0 0 20 0 1 0 281527104 54255616 10815 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 13246 10815 192 642 0 12602 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52984

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30506624/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=88416 CPUtime=6.28 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 21405 0 0 0 621 7 0 0 20 0 1 0 281527104 90537984 19678 33554432000 134512640 137138936 4287139552 4287138080 134602746 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 22104 19678 192 642 0 21460 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88416

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30440820/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=151036 CPUtime=12.69 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 37060 0 0 0 1258 11 0 0 20 0 1 0 281527104 154660864 35333 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 37759 35333 192 642 0 37115 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151036

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30324632/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=263636 CPUtime=25.49 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 65201 0 0 0 2531 18 0 0 20 0 1 0 281527104 269963264 63474 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 65909 63474 192 642 0 65265 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 263636

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30141856/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=448124 CPUtime=51.08 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 111315 0 0 0 5078 30 0 0 20 0 1 0 281527104 458878976 109589 33554432000 134512640 137138936 4287139552 4287137832 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 112031 109592 192 642 0 111387 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 448124

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17057
/proc/meminfo: memFree=29845744/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=739320 CPUtime=102.28 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 184128 0 0 0 10181 47 0 0 20 0 1 0 281527104 757063680 182401 33554432000 134512640 137138936 4287139552 4287138480 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 184830 182401 192 642 0 184186 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 739320

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17057
/proc/meminfo: memFree=29591668/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=996492 CPUtime=162.27 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 248425 0 0 0 16158 69 0 0 20 0 1 0 281527104 1020407808 246698 33554432000 134512640 137138936 4287139552 4287138068 134551170 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 249123 246698 192 642 0 248479 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 996492

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 17060
/proc/meminfo: memFree=29541688/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1041712 CPUtime=222.25 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 259790 0 0 0 22152 73 0 0 20 0 1 0 281527104 1066713088 257992 33554432000 134512640 137138936 4287139552 4287138448 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 260428 257992 192 642 0 259784 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1041712

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17060
/proc/meminfo: memFree=29541696/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1041712 CPUtime=282.25 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 259790 0 0 0 28149 76 0 0 20 0 1 0 281527104 1066713088 257992 33554432000 134512640 137138936 4287139552 4287138300 135984544 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 260428 257992 192 642 0 259784 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1041712

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17060
/proc/meminfo: memFree=29541696/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1041712 CPUtime=342.24 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 259790 0 0 0 34146 78 0 0 20 0 1 0 281527104 1066713088 257992 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 260428 257992 192 642 0 259784 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1041712

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17061
/proc/meminfo: memFree=29538524/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1045284 CPUtime=402.23 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 260664 0 0 0 40143 80 0 0 20 0 1 0 281527104 1070370816 258865 33554432000 134512640 137138936 4287139552 4287138480 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 261321 258865 192 642 0 260677 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1045284

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17099
/proc/meminfo: memFree=30026504/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1045284 CPUtime=462.19 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 260707 0 0 0 46136 83 0 0 20 0 1 0 281527104 1070370816 258865 33554432000 134512640 137138936 4287139552 4287138096 134607606 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 261321 258865 192 642 0 260677 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1045284

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17099
/proc/meminfo: memFree=29962176/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1045284 CPUtime=522.15 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 260753 0 0 0 52129 86 0 0 20 0 1 0 281527104 1070370816 258865 33554432000 134512640 137138936 4287139552 4287138480 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 261321 258865 192 642 0 260677 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1045284

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17099
/proc/meminfo: memFree=29934676/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1046684 CPUtime=582.11 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 261148 0 0 0 58122 89 0 0 20 0 1 0 281527104 1071804416 259215 33554432000 134512640 137138936 4287139552 4287138304 134575044 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 261671 259215 192 642 0 261027 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1046684

[startup+642.3 s]

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

/proc/meminfo: memFree=29881772/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049944 CPUtime=1061.86 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262277 0 0 0 106076 110 0 0 20 0 1 0 281527104 1075142656 260030 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262486 260030 192 642 0 261842 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 1049944

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17104
/proc/meminfo: memFree=29853528/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049944 CPUtime=1121.85 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262277 0 0 0 112074 111 0 0 20 0 1 0 281527104 1075142656 260030 33554432000 134512640 137138936 4287139552 4287138480 134542214 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262486 260030 192 642 0 261842 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 1049944

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17104
/proc/meminfo: memFree=29853308/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049944 CPUtime=1181.84 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262277 0 0 0 118071 113 0 0 20 0 1 0 281527104 1075142656 260030 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262486 260030 192 642 0 261842 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 1049944

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17104
/proc/meminfo: memFree=29851868/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1241.84 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 124069 115 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138412 136520918 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1051284

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17105
/proc/meminfo: memFree=29851744/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1301.83 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 130067 116 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1051284

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17105
/proc/meminfo: memFree=29851992/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1361.82 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 136063 119 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138256 136297655 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1051284

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17108
/proc/meminfo: memFree=29853224/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1421.82 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 142061 121 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287123988 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1051284

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 17108
/proc/meminfo: memFree=29853232/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1481.79 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 148056 123 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138448 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1051284

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17108
/proc/meminfo: memFree=29853232/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1541.78 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 154052 126 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138480 134542327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1051284

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 17120
/proc/meminfo: memFree=29853100/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1601.77 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 160049 128 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138480 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1051284

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17120
/proc/meminfo: memFree=29852984/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1661.76 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 166046 130 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138448 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1051284

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17120
/proc/meminfo: memFree=29852860/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1721.76 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 172044 132 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138480 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1051284

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854100/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1781.75 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 178041 134 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138080 134603204 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1049592

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

[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1791.36 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179001 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138088 136504096 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 1049592

[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1794.55 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179320 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138480 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 1049592

[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1796.15 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179480 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287137976 134606982 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 1049592

[startup+1797.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1796.95 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179560 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138480 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 1049592

[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1797.75 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179640 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138480 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 1049592

[startup+1798.51 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1797.95 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179660 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138480 134542495 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1049592

Child status: 0
Real time (s): 1798.55
CPU time (s): 1798.01
CPU user time (s): 1796.65
CPU system time (s): 1.36079
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1051284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.65
system time used= 1.36079
maximum resident set size= 1041816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262702
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= 453
involuntary context switches= 1972

runsolver used 3.54446 second user time and 7.8548 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-27 23:27:05
IDJOB=3707944
IDBENCH=2260
IDSOLVER=2286
FILE ID=node139/3707944-1338154025
RUNJOBID= node139-1338145026-16387
PBS_JOBID= 14624487
Free space on /tmp= 71652 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-3707944-1338154025/watcher-3707944-1338154025 -o /tmp/evaluation-result-3707944-1338154025/solver-3707944-1338154025 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707944-1338154025.opb

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

MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8
RANDOM SEED=583768217

node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30575616 kB
Buffers:          392508 kB
Cached:           401216 kB
SwapCached:          828 kB
Active:          1271576 kB
Inactive:         174296 kB
Active(anon):     644872 kB
Inactive(anon):     8712 kB
Active(file):     626704 kB
Inactive(file):   165584 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:              5836 kB
Writeback:             0 kB
AnonPages:        656436 kB
Mapped:            12616 kB
Shmem:                 8 kB
Slab:             714100 kB
SReclaimable:     156652 kB
SUnreclaim:       557448 kB
KernelStack:        1480 kB
PageTables:         5084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     775116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    638976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71652 MiB
End job on node139 at 2012-05-27 23:57:04