Trace number 3462798

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-66 1798.05 1798.04

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_4.opb
MD5SUM33f66c46bd2eace76f5fa6a5916a23ec
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-70
Best CPU time to get the best result obtained on this benchmark1800.22
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 constraint107
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)75484
Sum of products size (including duplicates)150968
Number of different products37742
Sum of products size75484

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-3462798-1307182995.opb
0.00/0.00	c File size is 975272 bytes.
0.09/0.19	c Highest Coefficient sum: 1000
0.09/0.19	c Parsing was ok!!
0.09/0.19	c Total parsing time: 0.185 s
0.18/0.24	c Var: 76484 Constr: 152968 76484/1000/75484 Lit: 603872 Watch. Lit: 452904
0.18/0.24	c Obj. Vars: 1000 (1.30746 % of total variables)
2.28/2.34	c Pre-processing Time: 2.338 s
2.28/2.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.34	c        0   1000    37742   113226    3    75484   12580      0      0 2.34
2.28/2.34	c Switching off lower bounding mode.
2.28/2.35	o -62
2.28/2.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.37	c        0   1000    37743   114226    3    75548   13580      1      0 2.35
2.28/2.37	o -63
2.28/2.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.38	c       15   1000    37759   129257    3    75643   13580     17      6 2.37
2.28/2.38	o -64
991.10/991.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
991.10/991.18	c       19   1000    37764   133993    3    75717   13580     22      7 2.38
991.10/991.18	c      119   1000    37864   227287    6    75917   14939    122     47 2.51
991.10/991.18	c      369   1000    38114   460553   12    76417   16433    372    128 2.86
991.10/991.18	c      845   1000    38590   904542   23    77369   18077    848    239 3.53
991.10/991.18	c     1658   1000    39405  1664978   42    78999   19885   1663    345 4.80
991.10/991.18	c     2979   1000    40727  2897747   71    81643   21874   2985    429 6.94
991.10/991.18	c     5060   1000    42814  4844365  113    85817   24062   5072    484 10.45
991.10/991.18	c     8283   1000    46047  7857938  170    92344   26469   8305    500 16.56
991.10/991.18	c    13221   1000    50996 12473092  244   102363   29116  13254    484 27.29
991.10/991.18	c    20727   1000    58527 19480327  332   117548   32028  20785    440 47.10
991.10/991.18	c    32088   1000    69935 30111926  430   140426   35231  32193    395 81.10
991.10/991.18	c    49232   1000    87131 46098448  529   174990   38755  49389    350 140.50
991.10/991.18	c    75051   1000   113055 70101300  620   227419   42631  75313    315 237.73
991.10/991.18	c Reducing formula size due to memory constraints
991.10/991.18	c Memory Limit: 1000.00 MB  Used: 1003.77 MB
991.10/991.18	c   113884   1000    78876 38241560  484   158529   60419  41134    262 433.60
991.10/991.18	c Reducing formula size due to memory constraints
991.10/991.18	c Memory Limit: 1000.00 MB  Used: 1001.87 MB
991.10/991.18	c   172237   1000    64142 24408274  380   129510   60407  26400    233 737.02
991.10/991.18	o -65
1653.00/1653.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1653.00/1653.07	c   212172   1000   104227 61484721  589   212068   13580  66485    214 991.18
1653.00/1653.07	c   212272   1000   104327 61577886  590   212268   14939  66585    214 991.50
1653.00/1653.07	c   212522   1000   104577 61810895  591   212768   16433  66835    213 993.50
1653.00/1653.07	c   212998   1000   105053 62254327  592   213720   18077  67311    214 994.84
1653.00/1653.07	c   213811   1000   105867 63012675  595   215348   19885  68125    214 997.31
1653.00/1653.07	c   215131   1000   107192 64246830  599   217998   21874  69450    214 1001.64
1653.00/1653.07	c   217212   1000   109282 66193528  605   222178   24062  71540    215 1007.05
1653.00/1653.07	c   220435   1000   112508 69199253  615   228630   26469  74766    216 1016.60
1653.00/1653.07	c   225372   1000   117466 73810015  628   238609   29116  79724    217 1036.20
1653.00/1653.07	c Reducing formula size due to memory constraints
1653.00/1653.07	c Memory Limit: 1000.00 MB  Used: 1000.78 MB
1653.00/1653.07	c   232878   1000    51661 13068791  252   103512   60350  13919    212 1093.68
1653.00/1653.07	c   244239   1000    63063 23682118  375   126379   66386  25321    217 1121.68
1653.00/1653.07	c   261386   1000    80270 39689413  494   160855   73025  42528    222 1172.92
1653.00/1653.07	c   287206   1000   106189 63808983  600   212934   80328  68447    220 1303.29
1653.00/1653.07	c Reducing formula size due to memory constraints
1653.00/1653.07	c Memory Limit: 1000.00 MB  Used: 1005.30 MB
1653.00/1653.07	c   326038   1000    71866 31580558  439   144655   60364  34124    221 1469.78
1653.00/1653.07	o -66
1797.90/1797.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.90/1797.98	c   369142   1000   115083 71549264  621   232823   13580  77341    223 1653.08
1797.90/1797.98	c   369243   1000   115184 71643261  621   233025   14939  77442    223 1653.35
1797.90/1797.98	c   369493   1000   115434 71875960  622   233525   16433  77692    223 1654.52
1797.90/1797.98	c   369968   1000   115911 72319723  623   234479   18077  78169    223 1657.32
1797.90/1797.98	c   370781   1000   116724 73076526  626   236105   19885  78982    223 1661.13
1797.90/1797.98	c   372102   1000   118046 74306762  629   238749   21874  80304    223 1665.97
1797.90/1797.98	c   374183   1000   120131 76246363  634   242919   24062  82389    223 1671.65
1797.90/1797.98	c   377406   1000   123357 79248239  642   249371   26469  85615    224 1679.89
1797.90/1797.98	c Reducing formula size due to memory constraints
1797.90/1797.98	c Memory Limit: 1000.00 MB  Used: 1010.81 MB
1797.90/1797.98	c   382342   1000    54054 15259922  282   108504   60360  16312    223 1706.92
1797.90/1797.98	c   389849   1000    61591 22265086  361   123641   66397  23849    225 1727.97
1797.90/1797.98	c   401210   1000    72986 32845853  450   146494   73037  35244    228 1756.79
1797.90/1797.98	c Resources Exceeded
1797.90/1797.98	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.90/1797.98	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1797.98	c   42   416067  55978   496757    87872 46698750  50130    231 1798.00
1797.90/1797.98	c Objective: -66
1797.90/1797.98	s SATISFIABLE
1797.90/1797.98	c Total time: 1798 s

Verifier Data 

OK	-66

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

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.06 2.02 3/550 32763
/proc/meminfo: memFree=21020568/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=13948 CPUtime=0.01 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 854 0 0 0 1 0 0 0 25 0 1 0 829899863 14282752 809 33554432000 134512640 137138936 4288676448 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 3487 809 194 642 0 2604 0

[startup+0.0472409 s]
/proc/loadavg: 2.04 2.06 2.02 3/550 32763
/proc/meminfo: memFree=21020568/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=17760 CPUtime=0.04 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 1879 0 0 0 4 0 0 0 25 0 1 0 829899863 18186240 1794 33554432000 134512640 137138936 4288676448 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 4440 1796 231 642 0 3557 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17760

[startup+0.100233 s]
/proc/loadavg: 2.04 2.06 2.02 3/550 32763
/proc/meminfo: memFree=21020568/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=24724 CPUtime=0.09 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 3708 0 0 0 9 0 0 0 25 0 1 0 829899863 25317376 3544 33554432000 134512640 137138936 4288676448 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 6181 3545 298 642 0 5298 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24724

[startup+0.301198 s]
/proc/loadavg: 2.04 2.06 2.02 3/550 32763
/proc/meminfo: memFree=21020568/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=53432 CPUtime=0.29 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 11090 0 0 0 28 1 0 0 25 0 1 0 829899863 54714368 10638 33554432000 134512640 137138936 4288676448 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 13358 10638 185 642 0 12714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53432

[startup+0.701126 s]
/proc/loadavg: 2.04 2.06 2.02 3/550 32763
/proc/meminfo: memFree=21020568/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=53432 CPUtime=0.69 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 11090 0 0 0 68 1 0 0 25 0 1 0 829899863 54714368 10638 33554432000 134512640 137138936 4288676448 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 13358 10638 185 642 0 12714 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53432

[startup+1.50101 s]
/proc/loadavg: 2.04 2.06 2.02 3/551 32764
/proc/meminfo: memFree=20977656/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=53432 CPUtime=1.49 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 11090 0 0 0 148 1 0 0 25 0 1 0 829899863 54714368 10638 33554432000 134512640 137138936 4288676448 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 13358 10638 185 642 0 12714 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53432

[startup+3.10072 s]
/proc/loadavg: 2.04 2.06 2.02 3/551 32764
/proc/meminfo: memFree=20974060/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=59396 CPUtime=3.08 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 94335 0 0 0 295 13 0 0 25 0 1 0 829899863 60821504 12136 33554432000 134512640 137138936 4288676448 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 14849 12136 192 642 0 14205 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 59396

[startup+6.30115 s]
/proc/loadavg: 2.04 2.06 2.02 3/551 32764
/proc/meminfo: memFree=20953600/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=81760 CPUtime=6.29 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 406831 0 0 0 590 39 0 0 25 0 1 0 829899863 83722240 17732 33554432000 134512640 137138936 4288676448 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 20440 17732 192 642 0 19796 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81760

[startup+12.701 s]
/proc/loadavg: 2.03 2.06 2.02 3/551 32764
/proc/meminfo: memFree=20909028/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=124624 CPUtime=12.69 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 1003442 0 0 0 1175 94 0 0 25 0 1 0 829899863 127614976 28443 33554432000 134512640 137138936 4288676448 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 31156 28443 192 642 0 30512 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 124624

[startup+25.5006 s]
/proc/loadavg: 2.02 2.06 2.01 3/551 32765
/proc/meminfo: memFree=20834496/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=195316 CPUtime=25.49 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 1931760 0 0 0 2374 175 0 0 25 0 1 0 829899863 200003584 46111 33554432000 134512640 137138936 4288676448 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 48829 46111 192 642 0 48185 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 195316

[startup+51.101 s]
/proc/loadavg: 2.02 2.05 2.01 3/551 32765
/proc/meminfo: memFree=20717480/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=312988 CPUtime=51.09 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 3448434 0 0 0 4795 314 0 0 25 0 1 0 829899863 320499712 75535 33554432000 134512640 137138936 4288676448 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 78247 75535 192 642 0 77603 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 312988

[startup+102.321 s]
/proc/loadavg: 2.00 2.04 2.01 3/551 32767
/proc/meminfo: memFree=20507620/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=520716 CPUtime=102.31 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 6121471 0 0 0 9669 562 0 0 25 0 1 0 829899863 533213184 127472 33554432000 134512640 137138936 4288676448 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 130179 127472 192 642 0 129535 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 520716

[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 300
/proc/meminfo: memFree=20299384/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=729220 CPUtime=162.29 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 8802342 0 0 0 15414 815 0 0 25 0 1 0 829899863 746721280 179593 33554432000 134512640 137138936 4288676448 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 182305 179593 192 642 0 181661 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 729220

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 302
/proc/meminfo: memFree=20129828/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=896668 CPUtime=222.29 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 10980195 0 0 0 21213 1016 0 0 25 0 1 0 829899863 918188032 221446 33554432000 134512640 137138936 4288676448 18446744073709551615 134544908 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 224167 221446 192 642 0 223523 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 896668

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 303
/proc/meminfo: memFree=19971316/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1054304 CPUtime=282.3 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 13018607 0 0 0 27020 1210 0 0 25 0 1 0 829899863 1079607296 260874 33554432000 134512640 137138936 4288676448 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 263576 260874 192 642 0 262932 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1054304

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 305
/proc/meminfo: memFree=19972136/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1054304 CPUtime=342.28 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 13018607 0 0 0 33015 1213 0 0 25 0 1 0 829899863 1079607296 260874 33554432000 134512640 137138936 4288676448 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 263576 260874 192 642 0 262932 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1054304

[startup+402.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/551 307
/proc/meminfo: memFree=19972208/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1054304 CPUtime=402.28 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 13018607 0 0 0 39012 1216 0 0 25 0 1 0 829899863 1079607296 260874 33554432000 134512640 137138936 4288676448 18446744073709551615 134618242 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 263576 260874 192 642 0 262932 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1054304

[startup+462.3 s]
/proc/loadavg: 2.22 2.06 2.02 3/551 308
/proc/meminfo: memFree=19973368/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1054304 CPUtime=462.28 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 13018607 0 0 0 45010 1218 0 0 25 0 1 0 829899863 1079607296 260874 33554432000 134512640 137138936 4288676448 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 263576 260874 192 642 0 262932 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1054304

[startup+522.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/551 310
/proc/meminfo: memFree=19973328/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1054304 CPUtime=522.28 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 13018607 0 0 0 51007 1221 0 0 25 0 1 0 829899863 1079607296 260874 33554432000 134512640 137138936 4288676448 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 263576 260874 192 642 0 262932 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 1054304

[startup+582.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/551 347
/proc/meminfo: memFree=20074424/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1054304 CPUtime=582.27 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 13018607 0 0 0 57004 1223 0 0 25 0 1 0 829899863 1079607296 260874 33554432000 134512640 137138936 4288676448 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 263576 260874 192 642 0 262932 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 1054304

[startup+642.301 s]

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

/proc/meminfo: memFree=19429300/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1051604 CPUtime=1122.29 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14745546 0 0 0 110835 1394 0 0 25 0 1 0 829899863 1076842496 260169 33554432000 134512640 137138936 4288676448 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 262901 260169 192 642 0 262257 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 1051604

[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/551 363
/proc/meminfo: memFree=19391204/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1051604 CPUtime=1182.29 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14745546 0 0 0 116832 1397 0 0 25 0 1 0 829899863 1076842496 260169 33554432000 134512640 137138936 4288676448 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 262901 260169 192 642 0 262257 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 1051604

[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 365
/proc/meminfo: memFree=19342920/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1051604 CPUtime=1242.28 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14745546 0 0 0 122830 1398 0 0 25 0 1 0 829899863 1076842496 260169 33554432000 134512640 137138936 4288676448 18446744073709551615 134551045 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 262901 260169 192 642 0 262257 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 1051604

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 367
/proc/meminfo: memFree=19294872/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1051604 CPUtime=1302.31 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14745546 0 0 0 128830 1401 0 0 25 0 1 0 829899863 1076842496 260169 33554432000 134512640 137138936 4288676448 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 262901 260169 192 642 0 262257 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1051604

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 368
/proc/meminfo: memFree=19243364/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1056328 CPUtime=1362.3 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14814377 0 0 0 134820 1410 0 0 25 0 1 0 829899863 1081679872 261350 33554432000 134512640 137138936 4288676448 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 264082 261350 192 642 0 263438 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 1056328

[startup+1422.32 s]
/proc/loadavg: 2.08 2.05 2.01 3/551 370
/proc/meminfo: memFree=19197560/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1056328 CPUtime=1422.31 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14814377 0 0 0 140819 1412 0 0 25 0 1 0 829899863 1081679872 261350 33554432000 134512640 137138936 4288676448 18446744073709551615 134618146 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 264082 261350 192 642 0 263438 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 1056328

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/551 371
/proc/meminfo: memFree=19153892/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1056328 CPUtime=1482.3 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14814377 0 0 0 146815 1415 0 0 25 0 1 0 829899863 1081679872 261350 33554432000 134512640 137138936 4288676448 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 264082 261350 192 642 0 263438 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 1056328

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/551 373
/proc/meminfo: memFree=19111708/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1056328 CPUtime=1542.3 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14814377 0 0 0 152813 1417 0 0 25 0 1 0 829899863 1081679872 261350 33554432000 134512640 137138936 4288676448 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 264082 261350 192 642 0 263438 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 1056328

[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/551 375
/proc/meminfo: memFree=19070732/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1056328 CPUtime=1602.3 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14814377 0 0 0 158812 1418 0 0 25 0 1 0 829899863 1081679872 261350 33554432000 134512640 137138936 4288676448 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 264082 261350 192 642 0 263438 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 1056328

[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/551 376
/proc/meminfo: memFree=19050844/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1056328 CPUtime=1662.3 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14814377 0 0 0 164810 1420 0 0 25 0 1 0 829899863 1081679872 261350 33554432000 134512640 137138936 4288676448 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 264082 261350 192 642 0 263438 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 1056328

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/551 378
/proc/meminfo: memFree=19045592/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1061376 CPUtime=1722.3 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14891186 0 0 0 170800 1430 0 0 25 0 1 0 829899863 1086849024 262624 33554432000 134512640 137138936 4288676448 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 265344 262624 192 642 0 264700 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 1061376

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 379
/proc/meminfo: memFree=19043812/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1061376 CPUtime=1782.31 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14891186 0 0 0 176797 1434 0 0 25 0 1 0 829899863 1086849024 262624 33554432000 134512640 137138936 4288676448 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 265344 262624 192 642 0 264700 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 1061376

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 380
/proc/meminfo: memFree=19044928/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1061376 CPUtime=1785.51 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14891186 0 0 0 177117 1434 0 0 25 0 1 0 829899863 1086849024 262624 33554432000 134512640 137138936 4288676448 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 265344 262624 192 642 0 264700 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 1061376

[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 380
/proc/meminfo: memFree=19045416/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1061376 CPUtime=1791.92 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14891186 0 0 0 177758 1434 0 0 25 0 1 0 829899863 1086849024 262624 33554432000 134512640 137138936 4288676448 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 265344 262624 192 642 0 264700 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 1061376

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 380
/proc/meminfo: memFree=19044920/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1061376 CPUtime=1795.12 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14891186 0 0 0 178078 1434 0 0 25 0 1 0 829899863 1086849024 262624 33554432000 134512640 137138936 4288676448 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 265344 262624 192 642 0 264700 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 1061376

[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 380
/proc/meminfo: memFree=19045540/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1061376 CPUtime=1796.7 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14891186 0 0 0 178236 1434 0 0 25 0 1 0 829899863 1086849024 262624 33554432000 134512640 137138936 4288676448 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 265344 262624 192 642 0 264700 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 1061376

[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 380
/proc/meminfo: memFree=19045168/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1061376 CPUtime=1797.5 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14891186 0 0 0 178316 1434 0 0 25 0 1 0 829899863 1086849024 262624 33554432000 134512640 137138936 4288676448 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 265344 262624 192 642 0 264700 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 1061376

[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 380
/proc/meminfo: memFree=19045168/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=1061376 CPUtime=1797.9 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202496 14891186 0 0 0 178356 1434 0 0 25 0 1 0 829899863 1086849024 262624 33554432000 134512640 137138936 4288676448 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32763/statm: 265344 262624 192 642 0 264700 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 1061376

[startup+1798 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 380
/proc/meminfo: memFree=19045168/32951124 swapFree=53733252/67111528
[pid=32763] ppid=32761 vsize=0 CPUtime=1798 cores=0,2,4,6
/proc/32763/stat : 32763 (bsolo) R 32761 32763 29102 0 -1 4202500 14891187 0 0 0 178365 1435 0 0 25 0 1 0 829899863 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/32763/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.04
CPU time (s): 1798.05
CPU user time (s): 1783.66
CPU system time (s): 14.3928
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1061444

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

runsolver used 10.4154 second user time and 22.2806 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 12:23:15
IDJOB=3462798
IDBENCH=48214
IDSOLVER=1955
FILE ID=node106/3462798-1307182995
RUNJOBID= node106-1307175287-31541
PBS_JOBID= 13508822
Free space on /tmp= 73756 MiB

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

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

MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec
RANDOM SEED=516295925

node106.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.830
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.66
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.830
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.20
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.830
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.75
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.830
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.82
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.830
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.74
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21020848 kB
Buffers:        399468 kB
Cached:        6017916 kB
SwapCached:      22744 kB
Active:        6025284 kB
Inactive:      5563616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21020848 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            4684 kB
Writeback:           0 kB
AnonPages:     5167712 kB
Mapped:          26980 kB
Slab:           192160 kB
PageTables:      77960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167660316 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= 73752 MiB
End job on node106 at 2011-06-04 12:53:13