Trace number 3463018

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.05 1798.03

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 benchmarkSAT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1797.34
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-3463018-1307177738.opb
0.00/0.00	c File size is 1390935 bytes.
0.09/0.10	c Highest Coefficient sum: 945
0.09/0.10	c Parsing was ok!!
0.09/0.10	c Total parsing time: 0.096 s
0.09/0.11	c Var: 945 Constr: 58245 58245/0/0 Lit: 116490 Watch. Lit: 116490
0.09/0.11	c Obj. Vars: 945 (100 % of total variables)
0.49/0.50	c Pre-processing Time: 0.496 s
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c        0    945    58245   116490    2   116490   19414      0      0 0.50
0.49/0.50	c Switching off lower bounding mode.
0.49/0.50	o -29
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c        0    945    58246   117435    2   116521   20414      1      0 0.50
0.49/0.50	o -30
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c        1    945    58248   119293    2   116555   20414      3      1 0.50
0.49/0.50	o -32
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c        1    945    58249   120238    2   116589   20414      4      1 0.50
0.49/0.51	o -33
2.48/2.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.48/2.51	c        2    945    58251   122092    2   116626   20414      6      3 0.51
2.48/2.51	c      103    945    58360   221056    3   116844   22456    115    168 0.61
2.48/2.51	c      354    945    58633   468986    7   117390   24702    388    395 0.90
2.48/2.51	c      831    945    59154   942200   15   118432   27173    909    567 1.46
2.48/2.51	c     1644    945    60086  1787362   29   120296   29891   1841    661 2.49
2.48/2.51	o -34
135.78/135.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
135.78/135.85	c     1662    945    60106  1805577   30   120370   20414   1861    662 2.51
135.78/135.85	c     1763    945    60216  1905325   31   120590   22456   1971    670 2.63
135.78/135.85	c     2014    945    60495  2158524   35   121148   24702   2250    686 2.93
135.78/135.85	c     2489    945    61013  2628237   43   122184   27173   2768    709 3.51
135.78/135.85	c     3303    945    61895  3428408   55   123948   29891   3650    726 4.55
135.78/135.85	c     4624    945    63378  4772018   75   126914   32881   5133    728 6.34
135.78/135.85	c     6705    945    65735  6906944  105   131628   36170   7490    700 9.57
135.78/135.85	c     9928    945    69392 10219614  147   138942   39788  11147    657 15.09
135.78/135.85	c    14864    945    74806 15129931  202   149770   43767  16561    620 23.96
135.78/135.85	c    22370    945    83010 22571523  271   166178   48144  24765    573 39.00
135.78/135.85	c    33732    945    95893 34245672  357   191944   52959  37648    473 71.22
135.78/135.85	c    50878    945    73678 14096568  191   147452   58255  15433    380 133.88
135.78/135.85	o -35
162.68/162.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
162.68/162.78	c    52294    945    75253 15524704  206   150637   20415  17008    384 135.84
162.68/162.78	c    52394    945    75368 15628849  207   150867   22457  17123    385 135.96
162.68/162.78	c    52645    945    75651 15884983  209   151433   24703  17406    386 136.29
162.68/162.78	c    53121    945    76178 16362319  214   152487   27174  17933    388 136.88
162.68/162.78	c    53934    945    77082 17180607  222   154327   29892  18837    390 137.98
162.68/162.78	c    55254    945    78559 18517441  235   157281   32882  20314    394 139.93
162.68/162.78	c    57335    945    80888 20625526  254   161939   36171  22643    401 142.91
162.68/162.78	c    60558    945    84478 23875420  282   169119   39789  26233    408 148.20
162.68/162.78	c    65495    945    89779 28680367  319   179721   43768  31534    415 157.74
162.68/162.78	o -36
1797.91/1797.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1797.98	c    67623    945    92117 30798324  334   184433   20415  33872    415 162.77
1797.91/1797.98	c    67723    945    68566  9467596  138   137168   22457  10321    411 164.64
1797.91/1797.98	c    67973    945    68841  9716310  141   137718   24703  10596    412 164.93
1797.91/1797.98	c    68449    945    69370 10194729  146   138776   27174  11125    413 165.52
1797.91/1797.98	c    69262    945    70273 11011783  156   140582   29892  12028    415 166.60
1797.91/1797.98	c    70582    945    71751 12348031  172   143538   32882  13506    419 168.44
1797.91/1797.98	c    72663    945    74104 14474398  195   148244   36171  15859    423 171.61
1797.91/1797.98	c    75886    945    77729 17752449  228   155494   39789  19484    421 179.94
1797.91/1797.98	c    80823    945    83362 22840272  273   166760   43768  25117    422 191.44
1797.91/1797.98	c    88329    945    92025 30659648  333   184150   48145  33780    419 210.45
1797.91/1797.98	c    99691    945   104872 42264233  403   209877   52960  46627    405 245.68
1797.91/1797.98	c   116835    945    83413 22853635  273   166862   58257  25168    398 293.36
1797.91/1797.98	c   142655    945   112774 49337902  437   225681   64083  54529    349 407.59
1797.91/1797.98	c   181487    945   105619 42879095  405   211437   70492  47374    323 561.54
1797.91/1797.98	c   239840    945   113475 49989748  440   227076   77542  55230    311 769.11
1797.91/1797.98	c   327474    945    83836 23171646  276   167737   85297  25591    272 1199.61
1797.91/1797.98	c Resources Exceeded
1797.91/1797.98	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.91/1797.98	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1797.98	c   45   442569  40227   493546   141782 75355174  83537    246 1798.00
1797.91/1797.98	c Objective: -36
1797.91/1797.98	s SATISFIABLE
1797.91/1797.98	c Total time: 1798 s

Verifier Data 

OK	-36

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-3463018-1307177738/watcher-3463018-1307177738 -o /tmp/evaluation-result-3463018-1307177738/solver-3463018-1307177738 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463018-1307177738.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 2.00 3/415 8206
/proc/meminfo: memFree=25892268/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=12428 CPUtime=0 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 285383217 12726272 313 33554432000 134512640 137138936 4292348272 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8206/statm: 3107 314 184 642 0 2123 0

[startup+0.015786 s]
/proc/loadavg: 2.00 2.00 2.00 3/415 8206
/proc/meminfo: memFree=25892268/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=12704 CPUtime=0.01 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 470 0 0 0 1 0 0 0 25 0 1 0 285383217 13008896 424 33554432000 134512640 137138936 4292348272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8206/statm: 3176 425 205 642 0 2192 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12704

[startup+0.100768 s]
/proc/loadavg: 2.00 2.00 2.00 3/415 8206
/proc/meminfo: memFree=25892268/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=17788 CPUtime=0.09 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 2008 0 0 0 9 0 0 0 25 0 1 0 285383217 18214912 1962 33554432000 134512640 137138936 4292348272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8206/statm: 4447 1962 501 642 0 3463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17788

[startup+0.300752 s]
/proc/loadavg: 2.00 2.00 2.00 3/415 8206
/proc/meminfo: memFree=25892268/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=21064 CPUtime=0.28 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 3218 0 0 0 27 1 0 0 25 0 1 0 285383217 21569536 2832 33554432000 134512640 137138936 4292348272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8206/statm: 5266 2832 185 642 0 4622 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21064

[startup+0.70066 s]
/proc/loadavg: 2.00 2.00 2.00 3/415 8206
/proc/meminfo: memFree=25892268/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=21616 CPUtime=0.69 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 4216 0 0 0 66 3 0 0 25 0 1 0 285383217 22134784 2968 33554432000 134512640 137138936 4292348272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8206/statm: 5404 2968 192 642 0 4760 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21616

[startup+1.50052 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8207
/proc/meminfo: memFree=25877132/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=30292 CPUtime=1.48 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 6376 0 0 0 145 3 0 0 25 0 1 0 285383217 31019008 5128 33554432000 134512640 137138936 4292348272 18446744073709551615 134598925 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8206/statm: 7573 5128 192 642 0 6929 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30292

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8207
/proc/meminfo: memFree=25864540/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=47220 CPUtime=3.09 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 10625 0 0 0 305 4 0 0 25 0 1 0 285383217 48353280 9377 33554432000 134512640 137138936 4292348272 18446744073709551615 136520996 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8206/statm: 11805 9377 192 642 0 11161 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47220

[startup+6.30067 s]
/proc/loadavg: 2.08 2.02 2.01 3/416 8207
/proc/meminfo: memFree=25830936/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=78608 CPUtime=6.29 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 18467 0 0 0 623 6 0 0 25 0 1 0 285383217 80494592 17219 33554432000 134512640 137138936 4292348272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8206/statm: 19652 17219 192 642 0 19008 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78608

[startup+12.7005 s]
/proc/loadavg: 2.07 2.02 2.00 3/416 8207
/proc/meminfo: memFree=25774040/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=132312 CPUtime=12.69 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 31898 0 0 0 1260 9 0 0 25 0 1 0 285383217 135487488 30650 33554432000 134512640 137138936 4292348272 18446744073709551615 134551799 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8206/statm: 33078 30650 192 642 0 32434 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 132312

[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/416 8209
/proc/meminfo: memFree=25680048/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=224020 CPUtime=25.49 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 54812 0 0 0 2534 15 0 0 25 0 1 0 285383217 229396480 53564 33554432000 134512640 137138936 4292348272 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8206/statm: 56005 53564 192 642 0 55361 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 224020

[startup+51.1008 s]
/proc/loadavg: 2.04 2.01 2.00 3/416 8209
/proc/meminfo: memFree=25526940/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=376816 CPUtime=51.07 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 93026 0 0 0 5085 22 0 0 25 0 1 0 285383217 385859584 91778 33554432000 134512640 137138936 4292348272 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 94204 91778 192 642 0 93560 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 376816

[startup+102.316 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 8212
/proc/meminfo: memFree=25312164/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=584608 CPUtime=102.29 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 144959 0 0 0 10197 32 0 0 25 0 1 0 285383217 598638592 143711 33554432000 134512640 137138936 4292348272 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 146152 143711 192 642 0 145508 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 584608

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8213
/proc/meminfo: memFree=25251520/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=645736 CPUtime=162.27 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 160291 0 0 0 16188 39 0 0 25 0 1 0 285383217 661233664 158990 33554432000 134512640 137138936 4292348272 18446744073709551615 134606700 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 161434 158990 192 642 0 160790 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 645736

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8215
/proc/meminfo: memFree=25252868/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=645736 CPUtime=222.28 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 160291 0 0 0 22186 42 0 0 25 0 1 0 285383217 661233664 158990 33554432000 134512640 137138936 4292348272 18446744073709551615 136500383 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 161434 158990 192 642 0 160790 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 645736

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8216
/proc/meminfo: memFree=25248760/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=645416 CPUtime=282.28 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 160291 0 0 0 28185 43 0 0 25 0 1 0 285383217 660905984 158931 33554432000 134512640 137138936 4292348272 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 161354 158931 192 642 0 160710 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 645416

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8231
/proc/meminfo: memFree=25247548/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=645416 CPUtime=342.29 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 160291 0 0 0 34183 46 0 0 25 0 1 0 285383217 660905984 158931 33554432000 134512640 137138936 4292348272 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 161354 158931 192 642 0 160710 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 645416

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8233
/proc/meminfo: memFree=25242940/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=645416 CPUtime=402.29 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 160291 0 0 0 40182 47 0 0 25 0 1 0 285383217 660905984 158931 33554432000 134512640 137138936 4292348272 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 161354 158931 192 642 0 160710 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 645416

[startup+462.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/416 8235
/proc/meminfo: memFree=25114332/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=772636 CPUtime=462.29 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 192133 0 0 0 46175 54 0 0 25 0 1 0 285383217 791179264 190709 33554432000 134512640 137138936 4292348272 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 193159 190709 192 642 0 192515 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 772636

[startup+522.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/416 8237
/proc/meminfo: memFree=25115068/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=772636 CPUtime=522.28 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 192133 0 0 0 52172 56 0 0 25 0 1 0 285383217 791179264 190709 33554432000 134512640 137138936 4292348272 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 193159 190709 192 642 0 192515 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 772636

[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/416 8239
/proc/meminfo: memFree=25115184/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=772636 CPUtime=582.28 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 192133 0 0 0 58170 58 0 0 25 0 1 0 285383217 791179264 190709 33554432000 134512640 137138936 4292348272 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 193159 190709 192 642 0 192515 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 772636

[startup+642.3 s]

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

/proc/meminfo: memFree=24965380/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=928120 CPUtime=1122.3 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 231170 0 0 0 112149 81 0 0 25 0 1 0 285383217 950394880 229599 33554432000 134512640 137138936 4292348272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 232030 229599 192 642 0 231386 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 928120

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8351
/proc/meminfo: memFree=24932260/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=928120 CPUtime=1182.3 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 231170 0 0 0 118148 82 0 0 25 0 1 0 285383217 950394880 229599 33554432000 134512640 137138936 4292348272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 232030 229599 192 642 0 231386 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 928120

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8353
/proc/meminfo: memFree=24903112/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=928120 CPUtime=1242.3 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 231170 0 0 0 124145 85 0 0 25 0 1 0 285383217 950394880 229599 33554432000 134512640 137138936 4292348272 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 232030 229599 192 642 0 231386 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 928120

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8355
/proc/meminfo: memFree=24868264/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=928120 CPUtime=1302.31 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 231170 0 0 0 130143 88 0 0 25 0 1 0 285383217 950394880 229599 33554432000 134512640 137138936 4292348272 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 232030 229599 192 642 0 231386 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 928120

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8356
/proc/meminfo: memFree=24843328/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=928120 CPUtime=1362.3 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 231170 0 0 0 136141 89 0 0 25 0 1 0 285383217 950394880 229599 33554432000 134512640 137138936 4292348272 18446744073709551615 134602758 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 232030 229599 192 642 0 231386 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 928120

[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8358
/proc/meminfo: memFree=24749572/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1001560 CPUtime=1422.32 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 249516 0 0 0 142138 94 0 0 25 0 1 0 285383217 1025597440 247945 33554432000 134512640 137138936 4292348272 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 250390 247945 192 642 0 249746 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1001560

[startup+1482.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/416 8359
/proc/meminfo: memFree=24713852/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1482.31 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 148134 97 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1018236

[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/416 8361
/proc/meminfo: memFree=24697344/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1542.3 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 154132 98 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 1018236

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/416 8363
/proc/meminfo: memFree=24682076/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1602.31 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 160131 100 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 1018236

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/416 8364
/proc/meminfo: memFree=24666804/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1662.31 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 166129 102 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1018236

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8366
/proc/meminfo: memFree=24653528/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1722.31 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 172127 104 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 1018236

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8367
/proc/meminfo: memFree=24639640/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1782.31 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 178126 105 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 1018236

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8367
/proc/meminfo: memFree=24639764/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1785.51 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 178446 105 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 136502626 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 1018236

[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8368
/proc/meminfo: memFree=24638400/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1791.93 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 179087 106 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 1018236

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8368
/proc/meminfo: memFree=24637656/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1795.12 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 179406 106 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 1018236

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8368
/proc/meminfo: memFree=24637284/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1796.71 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 179565 106 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 136504068 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 1018236

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8368
/proc/meminfo: memFree=24636788/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1797.51 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 179645 106 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 136511187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 1018236

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8368
/proc/meminfo: memFree=24636788/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=1018236 CPUtime=1797.91 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202496 253760 0 0 0 179685 106 0 0 25 0 1 0 285383217 1042673664 252104 33554432000 134512640 137138936 4292348272 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8206/statm: 254559 252104 192 642 0 253915 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1018236

[startup+1798 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8368
/proc/meminfo: memFree=24636788/32950928 swapFree=52006644/67111528
[pid=8206] ppid=8203 vsize=0 CPUtime=1798.01 cores=0,2,4,6
/proc/8206/stat : 8206 (bsolo) R 8203 8206 6914 0 -1 4202500 253761 0 0 0 179694 107 0 0 25 0 1 0 285383217 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/8206/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.03
CPU time (s): 1798.05
CPU user time (s): 1796.94
CPU system time (s): 1.10483
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1018576

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

runsolver used 7.59485 second user time and 16.8154 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-04 10:55:38
IDJOB=3463018
IDBENCH=2250
IDSOLVER=1955
FILE ID=node112/3463018-1307177738
RUNJOBID= node112-1307174697-7882
PBS_JOBID= 13508820
Free space on /tmp= 73908 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-3463018-1307177738/watcher-3463018-1307177738 -o /tmp/evaluation-result-3463018-1307177738/solver-3463018-1307177738 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463018-1307177738.opb

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

MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3
RANDOM SEED=967171308

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25892556 kB
Buffers:        335872 kB
Cached:        5634496 kB
SwapCached:      31280 kB
Active:        1063956 kB
Inactive:      5713944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25892556 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:            5092 kB
Writeback:          12 kB
AnonPages:      784384 kB
Mapped:          13360 kB
Slab:           155260 kB
PageTables:      59532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98774236 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= 73896 MiB
End job on node112 at 2011-06-04 11:25:36