Trace number 3707942

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-36 1798.01 1798.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUM49f1950e042362832bbb830f499dd3e3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark106.029
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58245
Number of constraints which are clauses58245
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
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 945
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 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707942-1338153238.opb
0.00/0.00	c File size is 1390935 bytes.
0.05/0.09	c Highest Coefficient sum: 945
0.05/0.09	c Parsing was ok!!
0.05/0.09	c Total parsing time: 0.092 s
0.09/0.10	c Var: 945 Constr: 58245 58245/0/0 Lit: 116490 Watch. Lit: 116490
0.09/0.10	c Obj. Vars: 945 (100 % of total variables)
0.38/0.47	c Pre-processing Time: 0.469 s
0.38/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.47	c        0    945    58245   116490    2   116490   19414      0      0 0.47
0.38/0.47	c Switching off lower bounding mode.
0.38/0.47	o -29
0.38/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.47	c        0    945    58246   117435    2   116521   20414      1      0 0.47
0.38/0.47	o -30
0.38/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.48	c        1    945    58248   119293    2   116555   20414      3      2 0.48
0.38/0.48	o -32
0.38/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.48	c        1    945    58249   120238    2   116589   20414      4      2 0.48
0.38/0.48	o -33
2.29/2.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.36	c        2    945    58251   122092    2   116626   20414      6      4 0.48
2.29/2.36	c      103    945    58360   221056    3   116844   22456    115    177 0.58
2.29/2.36	c      354    945    58633   468986    7   117390   24702    388    420 0.84
2.29/2.36	c      831    945    59154   942200   15   118432   27173    909    603 1.38
2.29/2.36	c     1644    945    60086  1787362   29   120296   29891   1841    703 2.34
2.29/2.36	o -34
141.26/141.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
141.26/141.38	c     1662    945    60106  1805577   30   120370   20414   1861    705 2.36
141.26/141.38	c     1763    945    60216  1905325   31   120590   22456   1971    713 2.47
141.26/141.38	c     2014    945    60495  2158524   35   121148   24702   2250    731 2.75
141.26/141.38	c     2489    945    61013  2628237   43   122184   27173   2768    756 3.29
141.26/141.38	c     3303    945    61895  3428408   55   123948   29891   3650    773 4.27
141.26/141.38	c     4624    945    63378  4772018   75   126914   32881   5133    776 5.95
141.26/141.38	c     6705    945    65735  6906944  105   131628   36170   7490    746 8.98
141.26/141.38	c     9928    945    69392 10219614  147   138942   39788  11147    700 14.16
141.26/141.38	c    14864    945    74806 15129931  202   149770   43767  16561    660 22.50
141.26/141.38	c    22370    945    83010 22571523  271   166178   48144  24765    581 38.49
141.26/141.38	c    33732    945    95893 34245672  357   191944   52959  37648    463 72.77
141.26/141.38	c    50878    945    73678 14096568  191   147452   58255  15433    365 139.30
141.26/141.38	o -35
168.93/169.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
168.93/169.02	c    52294    945    75253 15524704  206   150637   20415  17008    369 141.35
168.93/169.02	c    52394    945    75368 15628849  207   150867   22457  17123    370 141.47
168.93/169.02	c    52645    945    75651 15884983  209   151433   24703  17406    371 141.81
168.93/169.02	c    53121    945    76178 16362319  214   152487   27174  17933    372 142.43
168.93/169.02	c    53934    945    77082 17180607  222   154327   29892  18837    375 143.58
168.93/169.02	c    55254    945    78559 18517441  235   157281   32882  20314    379 145.61
168.93/169.02	c    57335    945    80888 20625526  254   161939   36171  22643    385 148.70
168.93/169.02	c    60558    945    84478 23875420  282   169119   39789  26233    392 154.16
168.93/169.02	c    65495    945    89779 28680367  319   179721   43768  31534    399 163.88
168.93/169.02	o -36
1797.98/1798.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.60	c    67623    945    92117 30798324  334   184433   20415  33872    400 168.97
1797.98/1798.60	c    67723    945    68566  9467596  138   137168   22457  10321    396 170.78
1797.98/1798.60	c    67973    945    68841  9716310  141   137718   24703  10596    397 171.08
1797.98/1798.60	c    68449    945    69370 10194729  146   138776   27174  11125    398 171.68
1797.98/1798.60	c    69262    945    70273 11011783  156   140582   29892  12028    400 172.78
1797.98/1798.60	c    70582    945    71751 12348031  172   143538   32882  13506    404 174.63
1797.98/1798.60	c    72663    945    74104 14474398  195   148244   36171  15859    408 177.85
1797.98/1798.60	c    75886    945    77729 17752449  228   155494   39789  19484    407 186.37
1797.98/1798.60	c    80823    945    83362 22840272  273   166760   43768  25117    408 197.77
1797.98/1798.60	c    88329    945    92025 30659648  333   184150   48145  33780    407 216.66
1797.98/1798.60	c    99691    945   104872 42264233  403   209877   52960  46627    397 250.57
1797.98/1798.60	c   116835    945    83413 22853635  273   166862   58257  25168    395 295.24
1797.98/1798.60	c   142655    945   112774 49337902  437   225681   64083  54529    355 401.05
1797.98/1798.60	c   181487    945   105619 42879095  405   211437   70492  47374    337 537.23
1797.98/1798.60	c   239840    945   113475 49989748  440   227076   77542  55230    334 716.22
1797.98/1798.60	c   327474    945    83836 23171646  276   167737   85297  25591    300 1089.86
1797.98/1798.60	c   459028    945    87903 26771699  304   176046   93827  29658    273 1675.92
1797.98/1798.60	c Resources Exceeded
1797.98/1798.60	v -x945 -x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1797.98/1798.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.60	c   46   494402  44494   550615   127838 62841554  69593    274 1798.00
1797.98/1798.60	c Objective: -36
1797.98/1798.60	s SATISFIABLE
1797.98/1798.60	c Total time: 1798 s

Verifier Data 

OK	-36

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707942-1338153238/watcher-3707942-1338153238 -o /tmp/evaluation-result-3707942-1338153238/solver-3707942-1338153238 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707942-1338153238.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.00 1.91 3/176 7492
/proc/meminfo: memFree=31166100/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=12296 CPUtime=0 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 281448653 12591104 283 33554432000 134512640 137138936 4288943392 4288941920 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 3074 283 178 642 0 2090 0

[startup+0.064797 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 7492
/proc/meminfo: memFree=31166100/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=15868 CPUtime=0.05 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 1425 0 0 0 5 0 0 0 20 0 1 0 281448653 16248832 1378 33554432000 134512640 137138936 4288943392 4288941656 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 3967 1378 388 642 0 2983 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15868

[startup+0.100231 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 7492
/proc/meminfo: memFree=31166100/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=17620 CPUtime=0.09 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 2343 0 0 0 9 0 0 0 20 0 1 0 281448653 18042880 1956 33554432000 134512640 137138936 4288943392 4288942072 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 4405 1959 182 642 0 3761 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17620

[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 7492
/proc/meminfo: memFree=31166100/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=21068 CPUtime=0.29 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 3218 0 0 0 27 2 0 0 20 0 1 0 281448653 21573632 2831 33554432000 134512640 137138936 4288943392 4288930524 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 5267 2831 185 642 0 4623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21068

[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 7492
/proc/meminfo: memFree=31166100/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=22120 CPUtime=0.68 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 4338 0 0 0 65 3 0 0 20 0 1 0 281448653 22650880 3089 33554432000 134512640 137138936 4288943392 4288942136 135984556 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 5530 3089 192 642 0 4886 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22120

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7493
/proc/meminfo: memFree=31150608/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=31480 CPUtime=1.49 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 6664 0 0 0 145 4 0 0 20 0 1 0 281448653 32235520 5415 33554432000 134512640 137138936 4288943392 4288941660 136700814 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 7870 5415 192 642 0 7226 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31480

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7493
/proc/meminfo: memFree=31137960/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=49368 CPUtime=3.09 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 11160 0 0 0 303 6 0 0 20 0 1 0 281448653 50552832 9911 33554432000 134512640 137138936 4288943392 4288941816 134606700 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 12342 9911 192 642 0 11698 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49368

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7493
/proc/meminfo: memFree=31102108/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=82820 CPUtime=6.29 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 19509 0 0 0 621 8 0 0 20 0 1 0 281448653 84807680 18260 33554432000 134512640 137138936 4288943392 4288930888 134599813 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 20705 18260 192 642 0 20061 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82820

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7493
/proc/meminfo: memFree=31042860/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=138584 CPUtime=12.69 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 33460 0 0 0 1257 12 0 0 20 0 1 0 281448653 141910016 32211 33554432000 134512640 137138936 4288943392 4288941816 134607023 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 34646 32211 192 642 0 34002 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 138584

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7493
/proc/meminfo: memFree=30943908/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=233988 CPUtime=25.48 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 57316 0 0 0 2531 17 0 0 20 0 1 0 281448653 239603712 56067 33554432000 134512640 137138936 4288943392 4288942128 136296993 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 58497 56067 192 642 0 57853 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 233988

[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 1.92 3/177 7493
/proc/meminfo: memFree=30803168/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=375364 CPUtime=51.08 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 92648 0 0 0 5082 26 0 0 20 0 1 0 281448653 384372736 91399 33554432000 134512640 137138936 4288943392 4288942508 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 93841 91399 192 642 0 93197 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 375364

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 7494
/proc/meminfo: memFree=30583596/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=576040 CPUtime=102.27 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 142820 0 0 0 10186 41 0 0 20 0 1 0 281448653 589864960 141571 33554432000 134512640 137138936 4288943392 4288942320 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 144010 141571 192 642 0 143366 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 576040

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 7494
/proc/meminfo: memFree=30512640/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=645740 CPUtime=162.24 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 160316 0 0 0 16175 49 0 0 20 0 1 0 281448653 661237760 158989 33554432000 134512640 137138936 4288943392 4288942320 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 161435 158989 192 642 0 160791 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 645740

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7494
/proc/meminfo: memFree=30512544/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=645740 CPUtime=222.2 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 160360 0 0 0 22167 53 0 0 20 0 1 0 281448653 661237760 158989 33554432000 134512640 137138936 4288943392 4288942320 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7492/statm: 161435 158989 192 642 0 160791 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 645740

[startup+282.3 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 7494
/proc/meminfo: memFree=30512572/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=645420 CPUtime=282.15 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 160408 0 0 0 28159 56 0 0 20 0 1 0 281448653 660910080 158930 33554432000 134512640 137138936 4288943392 4288942508 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 161355 158930 192 642 0 160711 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 645420

[startup+342.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/177 7494
/proc/meminfo: memFree=30512352/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=645420 CPUtime=342.1 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 160455 0 0 0 34153 57 0 0 20 0 1 0 281448653 660910080 158930 33554432000 134512640 137138936 4288943392 4288942288 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 161355 158930 192 642 0 160711 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 645420

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/178 7498
/proc/meminfo: memFree=30506916/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=660652 CPUtime=402.06 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 164288 0 0 0 40146 60 0 0 20 0 1 0 281448653 676507648 162720 33554432000 134512640 137138936 4288943392 4288941672 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 165163 162720 192 642 0 164519 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 660652

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 7498
/proc/meminfo: memFree=30367700/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=772640 CPUtime=462.02 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 192380 0 0 0 46133 69 0 0 20 0 1 0 281448653 791183360 190708 33554432000 134512640 137138936 4288943392 4288941928 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 193160 190708 192 642 0 192516 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 772640

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 7498
/proc/meminfo: memFree=30367604/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=772640 CPUtime=521.98 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 192423 0 0 0 52126 72 0 0 20 0 1 0 281448653 791183360 190708 33554432000 134512640 137138936 4288943392 4288942320 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 193160 190708 192 642 0 192516 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 772640

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7498
/proc/meminfo: memFree=30310096/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=832684 CPUtime=581.94 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 207503 0 0 0 58116 78 0 0 20 0 1 0 281448653 852668416 205740 33554432000 134512640 137138936 4288943392 4288942144 134577137 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 208171 205740 192 642 0 207527 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 832684

[startup+642.3 s]

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

/proc/meminfo: memFree=29922632/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=928124 CPUtime=1121.84 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 231541 0 0 0 112076 108 0 0 20 0 1 0 281448653 950398976 229598 33554432000 134512640 137138936 4288943392 4288941928 136504048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 232031 229598 192 642 0 231387 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 928124

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 7543
/proc/meminfo: memFree=29669556/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=928124 CPUtime=1181.84 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 231541 0 0 0 118073 111 0 0 20 0 1 0 281448653 950398976 229598 33554432000 134512640 137138936 4288943392 4288941888 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 232031 229598 192 642 0 231387 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 928124

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 7543
/proc/meminfo: memFree=29448464/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=928124 CPUtime=1241.82 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 231541 0 0 0 124069 113 0 0 20 0 1 0 281448653 950398976 229598 33554432000 134512640 137138936 4288943392 4288942320 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 232031 229598 192 642 0 231387 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 928124

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7543
/proc/meminfo: memFree=29289924/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1018240 CPUtime=1301.79 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254164 0 0 0 130057 122 0 0 20 0 1 0 281448653 1042677760 252103 33554432000 134512640 137138936 4288943392 4288942432 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254560 252103 192 642 0 253916 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1018240

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7544
/proc/meminfo: memFree=29289952/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1018240 CPUtime=1361.75 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254210 0 0 0 136051 124 0 0 20 0 1 0 281448653 1042677760 252103 33554432000 134512640 137138936 4288943392 4288942320 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254560 252103 192 642 0 253916 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1018240

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7544
/proc/meminfo: memFree=29289180/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1018240 CPUtime=1421.75 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 142049 126 0 0 20 0 1 0 281448653 1042677760 252103 33554432000 134512640 137138936 4288943392 4288942312 135984556 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254560 252103 192 642 0 253916 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1018240

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7544
/proc/meminfo: memFree=29289332/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1018240 CPUtime=1481.73 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 148044 129 0 0 20 0 1 0 281448653 1042677760 252103 33554432000 134512640 137138936 4288943392 4288942320 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254560 252103 192 642 0 253916 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 1018240

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7544
/proc/meminfo: memFree=29289236/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1018240 CPUtime=1541.72 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 154041 131 0 0 20 0 1 0 281448653 1042677760 252103 33554432000 134512640 137138936 4288943392 4288942320 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254560 252103 192 642 0 253916 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1018240

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 7547
/proc/meminfo: memFree=29274128/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1018240 CPUtime=1601.71 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 160037 134 0 0 20 0 1 0 281448653 1042677760 252103 33554432000 134512640 137138936 4288943392 4288942508 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254560 252103 192 642 0 253916 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1018240

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/177 7548
/proc/meminfo: memFree=29274288/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1017612 CPUtime=1661.71 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 166034 137 0 0 20 0 1 0 281448653 1042034688 251978 33554432000 134512640 137138936 4288943392 4288942320 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254403 251978 192 642 0 253759 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1017612

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 7548
/proc/meminfo: memFree=29274316/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1017612 CPUtime=1721.69 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 172030 139 0 0 20 0 1 0 281448653 1042034688 251978 33554432000 134512640 137138936 4288943392 4288942320 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254403 251978 192 642 0 253759 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1017612

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/177 7548
/proc/meminfo: memFree=29274220/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1017612 CPUtime=1781.68 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 178026 142 0 0 20 0 1 0 281448653 1042034688 251978 33554432000 134512640 137138936 4288943392 4288942288 134542495 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254403 251978 192 642 0 253759 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1017612

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

[startup+1791.91 s]
/proc/loadavg: 2.05 2.02 1.95 3/177 7548
/proc/meminfo: memFree=29274452/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1017612 CPUtime=1791.29 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 178986 143 0 0 20 0 1 0 281448653 1042034688 251978 33554432000 134512640 137138936 4288943392 4288942000 134544782 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254403 251978 192 642 0 253759 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 1017612

[startup+1795.1 s]
/proc/loadavg: 2.05 2.02 1.95 3/177 7548
/proc/meminfo: memFree=29274452/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1017612 CPUtime=1794.49 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 179306 143 0 0 20 0 1 0 281448653 1042034688 251978 33554432000 134512640 137138936 4288943392 4288942320 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254403 251978 192 642 0 253759 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 1017612

[startup+1796.7 s]
/proc/loadavg: 2.05 2.02 1.95 3/177 7548
/proc/meminfo: memFree=29274436/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1017612 CPUtime=1796.08 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 179465 143 0 0 20 0 1 0 281448653 1042034688 251978 33554432000 134512640 137138936 4288943392 4288942320 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254403 251978 192 642 0 253759 0
Current children cumulated CPU time (s) 1796.08
Current children cumulated vsize (KiB) 1017612

[startup+1797.5 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 7548
/proc/meminfo: memFree=29274312/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1017612 CPUtime=1796.88 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 179545 143 0 0 20 0 1 0 281448653 1042034688 251978 33554432000 134512640 137138936 4288943392 4288941812 136500283 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254403 251978 192 642 0 253759 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 1017612

[startup+1798.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 7548
/proc/meminfo: memFree=29274312/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1017612 CPUtime=1797.68 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 179625 143 0 0 20 0 1 0 281448653 1042034688 251978 33554432000 134512640 137138936 4288943392 4288942320 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254403 251978 192 642 0 253759 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 1017612

[startup+1798.51 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 7548
/proc/meminfo: memFree=29274436/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1017612 CPUtime=1797.89 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 179646 143 0 0 20 0 1 0 281448653 1042034688 251978 33554432000 134512640 137138936 4288943392 4288942320 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254403 251978 192 642 0 253759 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 1017612

[startup+1798.6 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 7548
/proc/meminfo: memFree=29274436/32873844 swapFree=7112/7112
[pid=7492] ppid=7490 vsize=1017612 CPUtime=1797.98 cores=0,2,4,6
/proc/7492/stat : 7492 (bsolo) R 7490 7492 7024 0 -1 4202496 254211 0 0 0 179655 143 0 0 20 0 1 0 281448653 1042034688 251978 33554432000 134512640 137138936 4288943392 4288942320 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7492/statm: 254403 251978 192 642 0 253759 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1017612

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798.01
CPU user time (s): 1796.57
CPU system time (s): 1.43878
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 1018240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.57
system time used= 1.43878
maximum resident set size= 1008752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254212
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= 464
involuntary context switches= 2082

runsolver used 3.14252 second user time and 9.15061 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-27 23:13:58
IDJOB=3707942
IDBENCH=2250
IDSOLVER=2286
FILE ID=node142/3707942-1338153238
RUNJOBID= node142-1338150692-7040
PBS_JOBID= 14624520
Free space on /tmp= 71688 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707942-1338153238/watcher-3707942-1338153238 -o /tmp/evaluation-result-3707942-1338153238/solver-3707942-1338153238 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707942-1338153238.opb

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

MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3
RANDOM SEED=1514946552

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31166736 kB
Buffers:          330000 kB
Cached:           379116 kB
SwapCached:            0 kB
Active:           649868 kB
Inactive:         236108 kB
Active(anon):     167420 kB
Inactive(anon):    11212 kB
Active(file):     482448 kB
Inactive(file):   224896 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5080 kB
Writeback:             0 kB
AnonPages:        152680 kB
Mapped:            12404 kB
Shmem:               200 kB
Slab:             681876 kB
SReclaimable:     124192 kB
SUnreclaim:       557684 kB
KernelStack:        1480 kB
PageTables:         4216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     298056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71684 MiB
End job on node142 at 2012-05-27 23:43:56