Trace number 3462756

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_2.opb
MD5SUM9073bcbe60c862f7d64be630b0fdd227
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-69
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
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 constraint109
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)75286
Sum of products size (including duplicates)150572
Number of different products37643
Sum of products size75286

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-3462756-1307182666.opb
0.00/0.00	c File size is 972554 bytes.
0.18/0.20	c Highest Coefficient sum: 1000
0.18/0.20	c Parsing was ok!!
0.18/0.20	c Total parsing time: 0.201 s
0.18/0.26	c Var: 76286 Constr: 152572 76286/1000/75286 Lit: 602288 Watch. Lit: 451716
0.18/0.26	c Obj. Vars: 1000 (1.31086 % of total variables)
2.49/2.55	c Pre-processing Time: 2.546 s
2.49/2.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.55	c        0   1000    37643   112929    3    75286   12547      0      0 2.55
2.49/2.55	c Switching off lower bounding mode.
2.49/2.56	o -63
2.49/2.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.56	c        0   1000    37644   113929    3    75351   13547      1      0 2.56
2.49/2.56	o -64
891.31/891.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
891.31/891.31	c        4   1000    37649   118667    3    75425   13547      6      1 2.56
891.31/891.31	c      104   1000    37749   211954    5    75625   14902    106     38 2.72
891.31/891.31	c      354   1000    37999   445159   11    76125   16393    356    113 3.11
891.31/891.31	c      829   1000    38474   888142   23    77075   18033    831    213 3.89
891.31/891.31	c     1643   1000    39288  1647108   41    78703   19837   1645    316 5.20
891.31/891.31	c     2963   1000    40613  2882804   70    81353   21821   2970    384 7.71
891.31/891.31	c     5044   1000    42706  4834886  113    85539   24004   5063    434 11.62
891.31/891.31	c     8267   1000    45948  7857485  171    92023   26405   8305    465 17.76
891.31/891.31	c    13204   1000    50900 12471872  245   101989   29046  13257    473 27.88
891.31/891.31	c    20711   1000    58452 19504986  333   117215   31951  20809    460 44.98
891.31/891.31	c    32073   1000    69842 30127723  431   139995   35147  32199    390 82.16
891.31/891.31	c    49219   1000    87052 46106579  529   174651   38662  49409    325 151.41
891.31/891.31	c    75038   1000   112973 70196089  621   226891   42529  75330    251 298.08
891.31/891.31	c Reducing formula size due to memory constraints
891.31/891.31	c Memory Limit: 1000.00 MB  Used: 1005.36 MB
891.31/891.31	c   113871   1000    78708 38141886  484   158955   60263  41065    199 572.02
891.31/891.31	c Reducing formula size due to memory constraints
891.31/891.31	c Memory Limit: 1000.00 MB  Used: 1001.32 MB
891.31/891.31	o -65
1174.42/1174.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1174.42/1174.41	c   164357   1000    56200 17228521  306   113417   13547  18557    184 891.34
1174.42/1174.41	c   164458   1000    56301 17322622  307   113619   14902  18658    184 891.55
1174.42/1174.41	c   164708   1000    56551 17555602  310   114119   16393  18908    184 892.03
1174.42/1174.41	c   165183   1000    57026 17998300  315   115069   18033  19383    184 893.01
1174.42/1174.41	c   165996   1000    57839 18756091  324   116695   19837  20196    185 894.81
1174.42/1174.41	c   167316   1000    59159 19985716  337   119335   21821  21516    186 897.46
1174.42/1174.41	c   169398   1000    61249 21932386  358   123515   24004  23606    187 901.69
1174.42/1174.41	c   172621   1000    64484 24945127  386   129985   26405  26841    189 908.96
1174.42/1174.41	c   177557   1000    69443 29563379  425   139965   29046  31800    192 922.29
1174.42/1174.41	c   185063   1000    76971 36563321  475   155084   31951  39328    196 942.04
1174.42/1174.41	c   196424   1000    88375 47136902  533   178329   35147  50732    201 977.14
1174.42/1174.41	c   213568   1000   105581 63116070  597   213530   38662  67938    201 1057.85
1174.42/1174.41	c Reducing formula size due to memory constraints
1174.42/1174.41	c Memory Limit: 1000.00 MB  Used: 1004.29 MB
1174.42/1174.41	o -66
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c   232819   1000    51506 12966409  251   103544   13547  13863    198 1174.44
1797.93/1797.96	c   232919   1000    51606 13059473  253   103744   14902  13963    198 1174.72
1797.93/1797.96	c   233169   1000    51856 13292124  256   104244   16393  14213    198 1175.15
1797.93/1797.96	c   233644   1000    52331 13734261  262   105194   18033  14688    198 1176.58
1797.93/1797.96	c   234457   1000    53145 14491730  272   106822   19837  15502    199 1178.02
1797.93/1797.96	c   235777   1000    54468 15723211  288   109468   21821  16825    199 1180.58
1797.93/1797.96	c   237859   1000    56557 17666677  312   113709   24004  18914    200 1186.22
1797.93/1797.96	c   241083   1000    59790 20674219  345   120175   26405  22147    202 1192.63
1797.93/1797.96	c   246019   1000    64740 25274915  390   130200   29046  27097    204 1204.95
1797.93/1797.96	c   253525   1000    72294 32296993  446   145430   31951  34651    206 1227.40
1797.93/1797.96	c   264886   1000    83690 42883391  512   168222   35147  46047    210 1257.94
1797.93/1797.96	c   282030   1000   100904 58818241  582   202831   38662  63261    213 1323.35
1797.93/1797.96	c Reducing formula size due to memory constraints
1797.93/1797.96	c Memory Limit: 1000.00 MB  Used: 1003.58 MB
1797.93/1797.96	c   307849   1000    53530 14783997  276   107296   60293  15887    210 1465.86
1797.93/1797.96	c   346681   1000    92500 50904169  550   185746   66323  54857    207 1668.78
1797.93/1797.96	c Resources Exceeded
1797.93/1797.96	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.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c   41   373120  53516   456517   119020 75434810  81377    207 1798.00
1797.93/1797.96	c Objective: -66
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	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-3462756-1307182666/watcher-3462756-1307182666 -o /tmp/evaluation-result-3462756-1307182666/solver-3462756-1307182666 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462756-1307182666.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.00 2.02 2.00 3/505 11439
/proc/meminfo: memFree=30124028/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=12156 CPUtime=0 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 384 0 0 0 0 0 0 0 25 0 1 0 829869223 12447744 338 33554432000 134512640 137138936 4293066224 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 3039 338 177 642 0 2157 0

[startup+0.097118 s]
/proc/loadavg: 2.00 2.02 2.00 3/505 11439
/proc/meminfo: memFree=30124028/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=22900 CPUtime=0.08 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 3208 0 0 0 8 0 0 0 25 0 1 0 829869223 23449600 3122 33554432000 134512640 137138936 4293066224 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 5725 3123 282 642 0 4843 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22900

[startup+0.101102 s]
/proc/loadavg: 2.00 2.02 2.00 3/505 11439
/proc/meminfo: memFree=30124028/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=23316 CPUtime=0.09 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 3334 0 0 0 9 0 0 0 25 0 1 0 829869223 23875584 3248 33554432000 134512640 137138936 4293066224 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 5829 3249 287 642 0 4947 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23316

[startup+0.30108 s]
/proc/loadavg: 2.00 2.02 2.00 3/505 11439
/proc/meminfo: memFree=30124028/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=53400 CPUtime=0.29 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 11062 0 0 0 28 1 0 0 25 0 1 0 829869223 54681600 10610 33554432000 134512640 137138936 4293066224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 13350 10610 185 642 0 12706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53400

[startup+0.701009 s]
/proc/loadavg: 2.00 2.02 2.00 3/505 11439
/proc/meminfo: memFree=30124028/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=53400 CPUtime=0.69 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 11062 0 0 0 68 1 0 0 25 0 1 0 829869223 54681600 10610 33554432000 134512640 137138936 4293066224 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 13350 10610 185 642 0 12706 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53400

[startup+1.5009 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11440
/proc/meminfo: memFree=30081612/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=53400 CPUtime=1.48 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 11062 0 0 0 147 1 0 0 25 0 1 0 829869223 54681600 10610 33554432000 134512640 137138936 4293066224 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 13350 10610 185 642 0 12706 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 53400

[startup+3.1006 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11440
/proc/meminfo: memFree=30078260/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=57344 CPUtime=3.08 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 64067 0 0 0 299 9 0 0 25 0 1 0 829869223 58720256 11614 33554432000 134512640 137138936 4293066224 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 14336 11614 192 642 0 13692 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 57344

[startup+6.30104 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11440
/proc/meminfo: memFree=30060280/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=78380 CPUtime=6.29 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 356149 0 0 0 593 36 0 0 25 0 1 0 829869223 80261120 16871 33554432000 134512640 137138936 4293066224 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 19595 16872 192 642 0 18951 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78380

[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11440
/proc/meminfo: memFree=30021340/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=116172 CPUtime=12.68 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 877856 0 0 0 1183 85 0 0 25 0 1 0 829869223 118960128 26316 33554432000 134512640 137138936 4293066224 18446744073709551615 134618113 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 29043 26316 192 642 0 28399 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 116172

[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11440
/proc/meminfo: memFree=29942696/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=191504 CPUtime=25.48 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 1869059 0 0 0 2370 178 0 0 25 0 1 0 829869223 196100096 45145 33554432000 134512640 137138936 4293066224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 47876 45145 192 642 0 47232 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 191504

[startup+51.1012 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 11441
/proc/meminfo: memFree=29808068/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=326812 CPUtime=51.09 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 3597334 0 0 0 4771 338 0 0 25 0 1 0 829869223 334655488 78992 33554432000 134512640 137138936 4293066224 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 81703 78992 192 642 0 81059 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 326812

[startup+102.319 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 11442
/proc/meminfo: memFree=29616468/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=514320 CPUtime=102.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 5995128 0 0 0 9657 573 0 0 25 0 1 0 829869223 526663680 125864 33554432000 134512640 137138936 4293066224 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 128580 125864 192 642 0 127936 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 514320

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11444
/proc/meminfo: memFree=29469144/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=661976 CPUtime=162.29 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 7881801 0 0 0 15455 774 0 0 25 0 1 0 829869223 677863424 162702 33554432000 134512640 137138936 4293066224 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 165494 162731 192 642 0 164850 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 661976

[startup+222.301 s]
/proc/loadavg: 2.15 2.03 2.01 3/506 11445
/proc/meminfo: memFree=29276320/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=807056 CPUtime=222.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 9736368 0 0 0 21271 959 0 0 25 0 1 0 829869223 826425344 199022 33554432000 134512640 137138936 4293066224 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 201764 199050 192 642 0 201120 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 807056

[startup+282.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/506 11447
/proc/meminfo: memFree=29134940/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=911092 CPUtime=282.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 11079725 0 0 0 27132 1098 0 0 25 0 1 0 829869223 932958208 225070 33554432000 134512640 137138936 4293066224 18446744073709551615 134542978 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 227773 225070 192 642 0 227129 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 911092

[startup+342.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 11449
/proc/meminfo: memFree=29040068/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1004916 CPUtime=342.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 12280405 0 0 0 33003 1227 0 0 25 0 1 0 829869223 1029033984 248501 33554432000 134512640 137138936 4293066224 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 251229 248501 192 642 0 250585 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1004916

[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 11450
/proc/meminfo: memFree=28988228/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055940 CPUtime=402.29 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 12934566 0 0 0 38931 1298 0 0 25 0 1 0 829869223 1081282560 261282 33554432000 134512640 137138936 4293066224 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263985 261282 192 642 0 263341 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1055940

[startup+462.301 s]
/proc/loadavg: 2.15 2.06 2.01 3/506 11452
/proc/meminfo: memFree=28988580/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055940 CPUtime=462.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 12934566 0 0 0 44930 1300 0 0 25 0 1 0 829869223 1081282560 261282 33554432000 134512640 137138936 4293066224 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263985 261282 192 642 0 263341 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1055940

[startup+522.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/506 11453
/proc/meminfo: memFree=28988672/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055940 CPUtime=522.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 12934566 0 0 0 50929 1301 0 0 25 0 1 0 829869223 1081282560 261282 33554432000 134512640 137138936 4293066224 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263985 261282 192 642 0 263341 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1055940

[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 11455
/proc/meminfo: memFree=28981336/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055940 CPUtime=582.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 12934566 0 0 0 56927 1303 0 0 25 0 1 0 829869223 1081282560 261282 33554432000 134512640 137138936 4293066224 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263985 261282 192 642 0 263341 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1055940

[startup+642.301 s]

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

/proc/meminfo: memFree=28945768/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1008008 CPUtime=1122.32 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14171136 0 0 0 110784 1448 0 0 25 0 1 0 829869223 1032200192 249243 33554432000 134512640 137138936 4293066224 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 252002 249270 192 642 0 251358 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1008008

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/506 11471
/proc/meminfo: memFree=28865020/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055236 CPUtime=1182.32 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 116717 1515 0 0 25 0 1 0 829869223 1080561664 261076 33554432000 134512640 137138936 4293066224 18446744073709551615 134606700 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263809 261076 192 642 0 263165 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1055236

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 11473
/proc/meminfo: memFree=28863132/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055236 CPUtime=1242.32 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 122715 1517 0 0 25 0 1 0 829869223 1080561664 261076 33554432000 134512640 137138936 4293066224 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263809 261076 192 642 0 263165 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1055236

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11474
/proc/meminfo: memFree=28863240/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055236 CPUtime=1302.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 128713 1520 0 0 25 0 1 0 829869223 1080561664 261076 33554432000 134512640 137138936 4293066224 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263809 261076 192 642 0 263165 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1055236

[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/506 11476
/proc/meminfo: memFree=28863476/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055236 CPUtime=1362.32 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 134711 1521 0 0 25 0 1 0 829869223 1080561664 261076 33554432000 134512640 137138936 4293066224 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263809 261076 192 642 0 263165 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1055236

[startup+1422.32 s]
/proc/loadavg: 2.07 2.04 2.00 3/506 11477
/proc/meminfo: memFree=28862844/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055236 CPUtime=1422.34 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 140711 1523 0 0 25 0 1 0 829869223 1080561664 261076 33554432000 134512640 137138936 4293066224 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263809 261076 192 642 0 263165 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1055236

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 11506
/proc/meminfo: memFree=29322004/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=917872 CPUtime=1482.32 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 146707 1525 0 0 25 0 1 0 829869223 939900928 226767 33554432000 134512640 137138936 4293066224 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 229468 226767 192 642 0 228824 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 917872

[startup+1542.3 s]
/proc/loadavg: 2.19 2.07 2.01 4/506 11508
/proc/meminfo: memFree=29193604/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=917872 CPUtime=1542.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 152705 1528 0 0 25 0 1 0 829869223 939900928 226767 33554432000 134512640 137138936 4293066224 18446744073709551615 136521043 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 229468 226767 192 642 0 228824 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 917872

[startup+1602.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/506 11509
/proc/meminfo: memFree=29099104/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=917872 CPUtime=1602.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 158704 1529 0 0 25 0 1 0 829869223 939900928 226767 33554432000 134512640 137138936 4293066224 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 229468 226767 192 642 0 228824 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 917872

[startup+1662.3 s]
/proc/loadavg: 2.07 2.07 2.01 4/506 11511
/proc/meminfo: memFree=29021704/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=917872 CPUtime=1662.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 164703 1530 0 0 25 0 1 0 829869223 939900928 226767 33554432000 134512640 137138936 4293066224 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 229468 226767 192 642 0 228824 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 917872

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.01 4/506 11512
/proc/meminfo: memFree=28956600/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=917872 CPUtime=1722.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 170701 1532 0 0 25 0 1 0 829869223 939900928 226767 33554432000 134512640 137138936 4293066224 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 229468 226767 192 642 0 228824 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 917872

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/506 11514
/proc/meminfo: memFree=28867188/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=977624 CPUtime=1782.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15554101 0 0 0 176617 1616 0 0 25 0 1 0 829869223 1001086976 241700 33554432000 134512640 137138936 4293066224 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 244406 241700 192 642 0 243762 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 977624

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28861608/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=983288 CPUtime=1785.53 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15634330 0 0 0 176928 1625 0 0 25 0 1 0 829869223 1006886912 243108 33554432000 134512640 137138936 4293066224 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 245822 243108 192 642 0 245178 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 983288

[startup+1791.92 s]
/proc/loadavg: 2.00 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28849952/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=994764 CPUtime=1791.95 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15782912 0 0 0 177556 1639 0 0 25 0 1 0 829869223 1018638336 245968 33554432000 134512640 137138936 4293066224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 248691 245968 192 642 0 248047 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 994764

[startup+1795.1 s]
/proc/loadavg: 2.00 2.04 2.00 3/506 11514
/proc/meminfo: memFree=28844992/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=999300 CPUtime=1795.14 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15841857 0 0 0 177869 1645 0 0 25 0 1 0 829869223 1023283200 247101 33554432000 134512640 137138936 4293066224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 249825 247101 192 642 0 249181 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 999300

[startup+1796.7 s]
/proc/loadavg: 2.00 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28843752/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1001312 CPUtime=1796.73 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15869203 0 0 0 178026 1647 0 0 25 0 1 0 829869223 1025343488 247627 33554432000 134512640 137138936 4293066224 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 250328 247627 192 642 0 249684 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1001312

[startup+1797.5 s]
/proc/loadavg: 2.00 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28841644/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1002652 CPUtime=1797.53 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15886369 0 0 0 178104 1649 0 0 25 0 1 0 829869223 1026715648 247956 33554432000 134512640 137138936 4293066224 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 250663 247956 192 642 0 250019 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1002652

[startup+1797.9 s]
/proc/loadavg: 2.00 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28841644/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1003588 CPUtime=1797.93 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15897915 0 0 0 178143 1650 0 0 25 0 1 0 829869223 1027674112 248178 33554432000 134512640 137138936 4293066224 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 250897 248178 192 642 0 250253 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1003588

[startup+1798 s]
/proc/loadavg: 2.00 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28841644/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=0 CPUtime=1798.03 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202500 15899283 0 0 0 178149 1654 0 0 25 0 1 0 829869223 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/11439/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.01
CPU time (s): 1798.05
CPU user time (s): 1781.5
CPU system time (s): 16.5515
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1055940

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

runsolver used 9.37058 second user time and 20.3479 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-04 12:17:46
IDJOB=3462756
IDBENCH=48172
IDSOLVER=1955
FILE ID=node103/3462756-1307182666
RUNJOBID= node103-1307174437-10500
PBS_JOBID= 13508861
Free space on /tmp= 73912 MiB

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

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

MD5SUM BENCH= 9073bcbe60c862f7d64be630b0fdd227
RANDOM SEED=1437436157

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.858
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.858
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.75
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.858
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.858
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.83
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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30124192 kB
Buffers:        321316 kB
Cached:         474016 kB
SwapCached:      23760 kB
Active:        2110872 kB
Inactive:       422284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30124192 kB
SwapTotal:    67111528 kB
SwapFree:     51712236 kB
Dirty:            4688 kB
Writeback:           0 kB
AnonPages:     1735376 kB
Mapped:          23380 kB
Slab:           149924 kB
PageTables:      73220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162273756 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= 73908 MiB
End job on node103 at 2011-06-04 12:47:44