Trace number 3462806

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-68 1798.05 1798

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_5.opb
MD5SUM80b55b230959185abe8760f01da7fec8
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-71
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -81
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint60
Maximum length of a constraint108
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75288
Sum of products size (including duplicates)150576
Number of different products37644
Sum of products size75288

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-3462806-1307183133.opb
0.00/0.00	c File size is 972758 bytes.
0.09/0.18	c Highest Coefficient sum: 1000
0.09/0.18	c Parsing was ok!!
0.09/0.18	c Total parsing time: 0.187 s
0.19/0.24	c Var: 76288 Constr: 152576 76288/1000/75288 Lit: 602304 Watch. Lit: 451728
0.19/0.24	c Obj. Vars: 1000 (1.31082 % of total variables)
2.29/2.34	c Pre-processing Time: 2.339 s
2.29/2.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.34	c        0   1000    37644   112932    3    75288   12547      0      0 2.34
2.29/2.34	c Switching off lower bounding mode.
2.29/2.34	o -64
2.29/2.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.35	c        0   1000    37645   113932    3    75354   13547      1      0 2.35
2.29/2.35	o -65
196.91/196.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
196.91/196.99	c        2   1000    37648   116797    3    75425   13547      4      0 2.35
196.91/196.99	c      103   1000    37749   210886    5    75627   14902    105     41 2.49
196.91/196.99	c      353   1000    37999   443723   11    76127   16393    355    124 2.84
196.91/196.99	c      828   1000    38479   890900   23    77087   18033    835    232 3.56
196.91/196.99	c     1642   1000    39295  1650878   42    78719   19837   1651    338 4.86
196.91/196.99	c     2963   1000    40619  2884531   71    81367   21821   2975    422 7.01
196.91/196.99	c     5045   1000    42704  4824661  112    85599   24004   5060    479 10.51
196.91/196.99	c     8268   1000    45931  7828558  170    92114   26405   8287    498 16.58
196.91/196.99	c    13204   1000    50889 12445054  244   102093   29046  13245    509 25.92
196.91/196.99	c    20711   1000    58428 19451621  332   117233   31951  20784    489 42.29
196.91/196.99	c    32073   1000    69834 30023038  429   140166   35147  32190    394 81.20
196.91/196.99	c    49218   1000    87040 46020150  528   174638   38662  49396    377 130.27
196.91/196.99	o -66
245.10/245.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
245.10/245.19	c    65391   1000   103243 61090950  591   207340   13547  65599    331 197.00
245.10/245.19	c    65491   1000   103343 61184029  592   207540   14902  65699    332 197.22
245.10/245.19	c    65741   1000   103593 61416741  592   208040   16393  65949    332 197.87
245.10/245.19	c    66216   1000   104070 61860566  594   208994   18033  66426    332 198.88
245.10/245.19	c    67031   1000   104887 62620748  597   210628   19837  67243    334 200.67
245.10/245.19	c    68351   1000   106210 63852118  601   213274   21821  68566    330 206.84
245.10/245.19	c    70434   1000   108296 65793131  607   217446   24004  70652    333 211.46
245.10/245.19	c    73657   1000   111522 68794722  616   223898   26405  73878    336 218.63
245.10/245.19	c    78593   1000   116474 73399570  630   233866   29046  78830    338 232.29
245.10/245.19	o -67
287.01/287.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
287.01/287.03	c    81430   1000   119319 76042633  637   239685   13547  81675    332 245.20
287.01/287.03	c    81531   1000   119420 76136517  637   239887   14902  81776    332 245.48
287.01/287.03	c    81781   1000   119671 76369904  638   240389   16393  82027    332 246.14
287.01/287.03	c    82256   1000   120147 76812405  639   241341   18033  82503    332 247.31
287.01/287.03	c    83069   1000   120961 77569061  641   242969   19837  83317    331 250.54
287.01/287.03	c    84389   1000   122281 78795538  644   245609   21821  84637    333 253.40
287.01/287.03	c Reducing formula size due to memory constraints
287.01/287.03	c Memory Limit: 1000.00 MB  Used: 1003.50 MB
287.01/287.03	c    86470   1000    51222 12733807  248   102637   60238  13578    318 271.47
287.01/287.03	c    89694   1000    54458 15733832  288   109173   66262  16814    322 278.10
287.01/287.03	c    94630   1000    59409 20334384  342   119203   72889  21765    329 287.03
287.01/287.03	o -68
1797.94/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.95	c    94630   1000    59410 20335384  342   119273   13547  21766    329 287.05
1797.94/1797.95	c    94731   1000    59511 20429200  343   119475   14902  21867    329 287.24
1797.94/1797.95	c    94982   1000    59762 20662317  345   119977   16393  22118    330 287.72
1797.94/1797.95	c    95457   1000    60238 21104324  350   120994   18033  22594    330 288.44
1797.94/1797.95	c    96271   1000    61053 21861115  358   122624   19837  23409    332 289.79
1797.94/1797.95	c    97591   1000    62376 23089888  370   125270   21821  24732    334 292.13
1797.94/1797.95	c    99672   1000    64462 25026254  388   129442   24004  26818    336 295.78
1797.94/1797.95	c   102895   1000    67691 28016991  413   135965   26405  30047    341 301.53
1797.94/1797.95	c   107831   1000    72647 32615235  448   145943   29046  35003    347 310.60
1797.94/1797.95	c   115337   1000    80170 39600753  493   160989   31951  42526    351 327.95
1797.94/1797.95	c   126699   1000    91567 50159281  547   183911   35147  53923    348 364.02
1797.94/1797.95	c   143843   1000   108769 66122279  607   218381   38662  71125    334 430.25
1797.94/1797.95	c Reducing formula size due to memory constraints
1797.94/1797.95	c Memory Limit: 1000.00 MB  Used: 1002.70 MB
1797.94/1797.95	c   169663   1000    61408 22044425  358   123409   60230  23764    309 547.96
1797.94/1797.95	c   208496   1000   100354 58010292  578   201723   66254  62710    294 708.60
1797.94/1797.95	c Reducing formula size due to memory constraints
1797.94/1797.95	c Memory Limit: 1000.00 MB  Used: 1010.05 MB
1797.94/1797.95	c   266848   1000    84678 43327387  511   170503   60283  47034    272 978.77
1797.94/1797.95	c Reducing formula size due to memory constraints
1797.94/1797.95	c Memory Limit: 1000.00 MB  Used: 1009.17 MB
1797.94/1797.95	c   354480   1000    98371 55966631  568   198011   60317  60727    239 1479.56
1797.94/1797.95	c Reducing formula size due to memory constraints
1797.94/1797.95	c Memory Limit: 1000.00 MB  Used: 1008.35 MB
1797.94/1797.95	c Resources Exceeded
1797.94/1797.95	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 x686 -x687 -x688 x689 x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 
1797.94/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.95	c   47   414191  56344   499886    83942 42611035  46298    230 1798.00
1797.94/1797.95	c Objective: -68
1797.94/1797.95	s SATISFIABLE
1797.94/1797.95	c Total time: 1798 s

Verifier Data 

OK	-68

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-3462806-1307183133/watcher-3462806-1307183133 -o /tmp/evaluation-result-3462806-1307183133/solver-3462806-1307183133 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462806-1307183133.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.08 2.03 2.00 2/400 9989
/proc/meminfo: memFree=30012776/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=12840 CPUtime=0 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 563 0 0 0 0 0 0 0 25 0 1 0 829913053 13148160 517 33554432000 134512640 137138936 4288343664 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 3210 518 184 642 0 2328 0

[startup+0.048175 s]
/proc/loadavg: 2.08 2.03 2.00 2/400 9989
/proc/meminfo: memFree=30012776/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=18304 CPUtime=0.04 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 1995 0 0 0 4 0 0 0 25 0 1 0 829913053 18743296 1909 33554432000 134512640 137138936 4288343664 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 4576 1910 236 642 0 3694 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18304

[startup+0.100232 s]
/proc/loadavg: 2.08 2.03 2.00 2/400 9989
/proc/meminfo: memFree=30012776/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=24868 CPUtime=0.09 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 3771 0 0 0 9 0 0 0 25 0 1 0 829913053 25464832 3606 33554432000 134512640 137138936 4288343664 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 6217 3607 301 642 0 5335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24868

[startup+0.30121 s]
/proc/loadavg: 2.08 2.03 2.00 2/400 9989
/proc/meminfo: memFree=30012776/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=53416 CPUtime=0.29 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 11068 0 0 0 28 1 0 0 25 0 1 0 829913053 54697984 10616 33554432000 134512640 137138936 4288343664 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 13354 10616 185 642 0 12710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53416

[startup+0.701125 s]
/proc/loadavg: 2.08 2.03 2.00 2/400 9989
/proc/meminfo: memFree=30012776/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=53416 CPUtime=0.69 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 11068 0 0 0 68 1 0 0 25 0 1 0 829913053 54697984 10616 33554432000 134512640 137138936 4288343664 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 13354 10616 185 642 0 12710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53416

[startup+1.50098 s]
/proc/loadavg: 2.07 2.03 2.00 4/401 9990
/proc/meminfo: memFree=29970112/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=53416 CPUtime=1.49 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 11068 0 0 0 148 1 0 0 25 0 1 0 829913053 54697984 10616 33554432000 134512640 137138936 4288343664 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 13354 10616 185 642 0 12710 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53416

[startup+3.10072 s]
/proc/loadavg: 2.07 2.03 2.00 4/401 9990
/proc/meminfo: memFree=29966892/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=59392 CPUtime=3.09 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 93620 0 0 0 293 16 0 0 25 0 1 0 829913053 60817408 12021 33554432000 134512640 137138936 4288343664 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 14848 12046 192 642 0 14204 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59392

[startup+6.30113 s]
/proc/loadavg: 2.07 2.03 2.00 5/401 9990
/proc/meminfo: memFree=29947048/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=81096 CPUtime=6.29 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 405022 0 0 0 580 49 0 0 25 0 1 0 829913053 83042304 17573 33554432000 134512640 137138936 4288343664 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 20274 17573 192 642 0 19630 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81096

[startup+12.701 s]
/proc/loadavg: 2.13 2.04 2.01 5/401 9990
/proc/meminfo: memFree=29903264/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=123168 CPUtime=12.69 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 983758 0 0 0 1168 101 0 0 25 0 1 0 829913053 126124032 27959 33554432000 134512640 137138936 4288343664 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 30792 27986 192 642 0 30148 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 123168

[startup+25.5007 s]
/proc/loadavg: 2.11 2.04 2.01 5/401 9991
/proc/meminfo: memFree=29822904/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=200508 CPUtime=25.5 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 2001760 0 0 0 2347 203 0 0 25 0 1 0 829913053 205320192 47411 33554432000 134512640 137138936 4288343664 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 50127 47411 192 642 0 49483 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 200508

[startup+51.1012 s]
/proc/loadavg: 2.07 2.03 2.00 4/401 9991
/proc/meminfo: memFree=29688192/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=335828 CPUtime=51.09 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 3745431 0 0 0 4740 369 0 0 25 0 1 0 829913053 343887872 81232 33554432000 134512640 137138936 4288343664 18446744073709551615 134544582 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 83957 81232 192 642 0 83313 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 335828

[startup+102.315 s]
/proc/loadavg: 2.07 2.04 2.00 4/401 9993
/proc/meminfo: memFree=29490260/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=530960 CPUtime=102.31 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 6255890 0 0 0 9613 618 0 0 25 0 1 0 829913053 543703040 130041 33554432000 134512640 137138936 4288343664 18446744073709551615 134576340 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 132740 130041 192 642 0 132096 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 530960

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/401 9994
/proc/meminfo: memFree=29272728/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=746604 CPUtime=162.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 9047448 0 0 0 15331 899 0 0 25 0 1 0 829913053 764522496 183949 33554432000 134512640 137138936 4288343664 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 186651 183949 192 642 0 186007 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 746604

[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 5/401 9996
/proc/meminfo: memFree=29081500/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=938460 CPUtime=222.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 11516686 0 0 0 21088 1142 0 0 25 0 1 0 829913053 960983040 231887 33554432000 134512640 137138936 4288343664 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 234615 231887 192 642 0 233971 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 938460

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 5/401 9998
/proc/meminfo: memFree=28964044/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1053988 CPUtime=282.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 26935 1295 0 0 25 0 1 0 829913053 1079283712 260793 33554432000 134512640 137138936 4288343664 18446744073709551615 136500573 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 263497 260793 192 642 0 262853 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1053988

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/401 9999
/proc/meminfo: memFree=28963012/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1053988 CPUtime=342.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 32932 1298 0 0 25 0 1 0 829913053 1079283712 260793 33554432000 134512640 137138936 4288343664 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 263497 260793 192 642 0 262853 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1053988

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/401 10001
/proc/meminfo: memFree=28963584/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1053988 CPUtime=402.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 38929 1301 0 0 25 0 1 0 829913053 1079283712 260793 33554432000 134512640 137138936 4288343664 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 263497 260793 192 642 0 262853 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1053988

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 5/401 10002
/proc/meminfo: memFree=28964160/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1053988 CPUtime=462.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 44926 1304 0 0 25 0 1 0 829913053 1079283712 260793 33554432000 134512640 137138936 4288343664 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 263497 260793 192 642 0 262853 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1053988

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/401 10004
/proc/meminfo: memFree=29107968/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=910520 CPUtime=522.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 50924 1306 0 0 25 0 1 0 829913053 932372480 224931 33554432000 134512640 137138936 4288343664 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 227630 224931 192 642 0 226986 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 910520

[startup+582.301 s]
/proc/loadavg: 2.06 2.02 2.00 5/401 10006
/proc/meminfo: memFree=29107936/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=910520 CPUtime=582.31 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 56922 1309 0 0 25 0 1 0 829913053 932372480 224931 33554432000 134512640 137138936 4288343664 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 227630 224931 192 642 0 226986 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 910520

[startup+642.301 s]

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

/proc/meminfo: memFree=28954484/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1060668 CPUtime=1122.32 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 110705 1527 0 0 25 0 1 0 829913053 1086124032 262436 33554432000 134512640 137138936 4288343664 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 265167 262436 192 642 0 264523 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1060668

[startup+1182.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/401 10022
/proc/meminfo: memFree=29033084/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1182.32 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 116702 1530 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134544794 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 982700

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/401 10023
/proc/meminfo: memFree=29033176/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1242.32 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 122699 1533 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 982700

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/401 10025
/proc/meminfo: memFree=29032528/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1302.33 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 128698 1535 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 982700

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/401 10026
/proc/meminfo: memFree=29033724/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1362.32 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 134695 1537 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 982700

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/401 10028
/proc/meminfo: memFree=29033948/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1422.35 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 140695 1540 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 982700

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/401 10030
/proc/meminfo: memFree=29034036/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1482.32 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 146691 1541 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 982700

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10058
/proc/meminfo: memFree=28980652/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1542.33 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 152689 1544 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 982700

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10060
/proc/meminfo: memFree=28762240/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1043372 CPUtime=1602.33 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15771110 0 0 0 158604 1629 0 0 25 0 1 0 829913053 1068412928 258120 33554432000 134512640 137138936 4288343664 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 260843 258120 192 642 0 260199 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1043372

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 10061
/proc/meminfo: memFree=28632620/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1662.33 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 164582 1651 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1059236

[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/401 10063
/proc/meminfo: memFree=28540936/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1722.34 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 170580 1654 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1059236

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28463028/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1782.34 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 176579 1655 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1059236

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

[startup+1785.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28459308/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1785.53 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 176898 1655 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 1059236

[startup+1791.92 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28452116/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1791.96 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 177540 1656 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 1059236

[startup+1795.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28448140/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1795.15 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 177859 1656 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 1059236

[startup+1796.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28446528/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1796.74 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 178018 1656 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 1059236

[startup+1797.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28445412/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1797.54 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 178098 1656 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1059236

[startup+1797.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28445412/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1797.94 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 178138 1656 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1059236

[startup+1798 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28445412/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=0 CPUtime=1798.03 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202500 15973819 0 0 0 178143 1660 0 0 25 0 1 0 829913053 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/9989/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798
CPU time (s): 1798.05
CPU user time (s): 1781.44
CPU system time (s): 16.6105
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1061008

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

runsolver used 6.584 second user time and 16.3495 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-04 12:25:33
IDJOB=3462806
IDBENCH=48222
IDSOLVER=1955
FILE ID=node121/3462806-1307183133
RUNJOBID= node121-1307174965-9242
PBS_JOBID= 13508819
Free space on /tmp= 73952 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_5.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462806-1307183133/watcher-3462806-1307183133 -o /tmp/evaluation-result-3462806-1307183133/solver-3462806-1307183133 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462806-1307183133.opb

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

MD5SUM BENCH= 80b55b230959185abe8760f01da7fec8
RANDOM SEED=2064138542

node121.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.817
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.63
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.817
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	: 5226.07
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.817
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.84
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.817
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.77
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.817
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.82
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.817
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.74
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.817
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.75
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.817
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:     32950904 kB
MemFree:      30013056 kB
Buffers:        324896 kB
Cached:         468756 kB
SwapCached:       9896 kB
Active:        2262880 kB
Inactive:       414616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      30013056 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:            4708 kB
Writeback:           0 kB
AnonPages:     1881280 kB
Mapped:          13884 kB
Slab:           141656 kB
PageTables:      52064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 83571808 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= 73948 MiB
End job on node121 at 2011-06-04 12:55:31