Trace number 2657410

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.2 ClSAT-36 1798.14 1798.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUMaabc023158e10c9511062af8ac97c515
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1789.82
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 constraints58624
Number of constraints which are clauses58624
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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657410-1276498507.opb
0.00/0.00	c File size is 1400677 bytes.
0.19/0.23	c Highest Coefficient sum: 945
0.19/0.23	c Parsing was ok!!
0.19/0.23	c Total parsing time: 0.229 s
0.19/0.25	c Var: 945 Constr: 58624 58624/0/0 Lit: 117248 Watch. Lit: 117248
0.19/0.25	c Obj. Vars: 945 (100 % of total variables)
1.49/1.50	c Pre-processing Time: 1.502 s
1.49/1.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.50	c        0    945    58624   117248    2   117248   19541      0      0 1.50
1.49/1.50	c Switching off lower bounding mode.
1.49/1.51	o -31
1.49/1.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.58	c        0    945    58625   118193    2   117281   20541      1      0 1.51
1.49/1.58	c      101    945    58726   210162    3   117483   22596    102     64 1.58
1.49/1.58	o -32
2.10/2.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.18	c      108    945    58734   217484    3   117531   20541    110     68 1.58
2.10/2.18	c      208    945    58834   308419    5   117731   22596    210    126 1.65
2.10/2.18	c      458    945    59084   535713    9   118231   24856    460    251 1.82
2.10/2.18	c      935    945    59561   969388   16   119185   27342    937    429 2.18
2.10/2.18	o -33
2.70/2.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.70/2.78	c      935    945    59562   970333   16   119220   20541    938    428 2.18
2.70/2.78	c     1035    945    59662  1060994   17   119420   22596   1038    460 2.25
2.70/2.78	c     1286    945    59913  1288992   21   119922   24856   1289    532 2.41
2.70/2.78	c     1761    945    60388  1720633   28   120872   27342   1764    636 2.77
2.70/2.78	o -34
3.39/3.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.39/3.41	c     1774    945    60402  1733382   28   120934   20541   1778    637 2.78
3.39/3.41	c     1874    945    60502  1824145   30   121134   22596   1878    656 2.86
3.39/3.41	c     2124    945    60752  2050879   33   121634   24856   2128    696 3.05
3.39/3.41	c     2601    945    61229  2483545   40   122588   27342   2605    763 3.40
3.39/3.41	o -35
49.87/49.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.87/49.96	c     2601    945    61230  2484490   40   122625   20541   2606    762 3.41
49.87/49.96	c     2702    945    61331  2576037   42   122827   22596   2707    774 3.49
49.87/49.96	c     2952    945    61581  2802551   45   123327   24856   2957    796 3.71
49.87/49.96	c     3427    945    62056  3233249   52   124277   27342   3432    836 4.10
49.87/49.96	c     4241    945    62870  3970576   63   125905   30077   4246    866 4.90
49.87/49.96	c     5561    945    64190  5166144   80   128545   33085   5566    882 6.30
49.87/49.96	c     7642    945    66271  7051597  106   132707   36394   7647    834 9.15
49.87/49.96	c    10865    945    69494  9971219  143   139153   40034  10870    753 14.41
49.87/49.96	c    15801    945    74430 14443843  194   149025   44038  15806    695 22.70
49.87/49.96	c    23307    945    81936 21245455  259   164037   48442  23312    561 41.48
49.87/49.96	o -36
1797.96/1798.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.77	c    26946    945    85576 24544761  286   171353   20541  26952    539 49.95
1797.96/1798.77	c    27046    945    68996  9515929  137   138028   22596  10372    505 53.46
1797.96/1798.77	c    27297    945    69247  9743077  140   138530   24856  10623    507 53.84
1797.96/1798.77	c    27772    945    69722 10173067  145   139480   27342  11098    511 54.26
1797.96/1798.77	c    28586    945    70536 10909885  154   141108   30077  11912    519 55.07
1797.96/1798.77	c    29906    945    71856 12104231  168   143748   33085  13232    529 56.48
1797.96/1798.77	c    31987    945    73937 13986675  189   147910   36394  15313    546 58.56
1797.96/1798.77	c    35211    945    77161 16904008  219   154358   40034  18537    555 63.38
1797.96/1798.77	c    40147    945    82097 21369637  260   164230   44038  23473    548 73.22
1797.96/1798.77	c    47653    945    89603 28161493  314   179242   48442  30979    523 91.08
1797.96/1798.77	c    59014    945   100964 38443962  380   201964   53287  42340    473 124.65
1797.96/1798.77	c    76158    945    75568 15448810  204   151172   58616  16944    387 196.73
1797.96/1798.77	c   101977    945   101387 38803941  382   202810   64478  42763    336 302.92
1797.96/1798.77	c   140810    945    86689 25509105  294   173414   70926  28065    297 472.62
1797.96/1798.77	c   199163    945    85171 24142495  283   170378   78019  26547    256 775.90
1797.96/1798.77	c   286795    945   105937 42926086  405   211910   85821  47313    230 1241.81
1797.96/1798.77	c Resources Exceeded
1797.96/1798.77	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.96/1798.77	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.77	c   40   363025  29592   399699   107703 44535776  49079    201 1798.04
1797.96/1798.77	c Objective: -36
1797.96/1798.77	s SATISFIABLE
1797.96/1798.77	c Total time: 1798.04 s

Verifier Data 

OK	-36

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657410-1276498507/watcher-2657410-1276498507 -o /tmp/evaluation-result-2657410-1276498507/solver-2657410-1276498507 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657410-1276498507.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29609
/proc/meminfo: memFree=1816432/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=12296 CPUtime=0
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 348 0 0 0 0 0 0 0 17 0 1 0 25452321 12591104 267 1992294400 134512640 137138936 4293259520 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 3074 268 175 642 0 2088 0

[startup+0.0725249 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29609
/proc/meminfo: memFree=1816432/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=13812 CPUtime=0.07
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 835 0 0 0 7 0 0 0 17 0 1 0 25452321 14143488 754 1992294400 134512640 137138936 4293259520 18446744073709551615 136659647 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 3453 756 268 642 0 2467 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13812

[startup+0.101531 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29609
/proc/meminfo: memFree=1816432/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=14632 CPUtime=0.09
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 1066 0 0 0 9 0 0 0 17 0 1 0 25452321 14983168 985 1992294400 134512640 137138936 4293259520 18446744073709551615 134519504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 3658 985 312 642 0 2672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14632

[startup+0.301573 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29609
/proc/meminfo: memFree=1816432/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=19336 CPUtime=0.29
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 2797 0 0 0 29 0 0 0 17 0 1 0 25452321 19800064 2374 1992294400 134512640 137138936 4293259520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 4834 2374 184 642 0 4190 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19336

[startup+0.70166 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29609
/proc/meminfo: memFree=1816432/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=21184 CPUtime=0.7
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 3272 0 0 0 68 2 0 0 17 0 1 0 25452321 21692416 2849 1992294400 134512640 137138936 4293259520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 5296 2849 185 642 0 4652 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 21184

[startup+1.50183 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 29610
/proc/meminfo: memFree=1805512/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=21068 CPUtime=1.49
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 3697 0 0 0 144 5 0 0 18 0 1 0 25452321 21573632 2832 1992294400 134512640 137138936 4293259520 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 5267 2832 185 642 0 4623 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21068

[startup+3.10017 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 29610
/proc/meminfo: memFree=1797328/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=44948 CPUtime=3.09
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 10078 0 0 0 300 9 0 0 21 0 1 0 25452321 46026752 8798 1992294400 134512640 137138936 4293259520 18446744073709551615 134603215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 11237 8798 191 642 0 10593 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44948

[startup+6.30085 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 29610
/proc/meminfo: memFree=1751448/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=84056 CPUtime=6.29
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 19850 0 0 0 616 13 0 0 25 0 1 0 25452321 86073344 18570 1992294400 134512640 137138936 4293259520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 21014 18570 191 642 0 20370 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84056

[startup+12.7012 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 29610
/proc/meminfo: memFree=1694532/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=135592 CPUtime=12.68
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 32743 0 0 0 1249 19 0 0 25 0 1 0 25452321 138846208 31463 1992294400 134512640 137138936 4293259520 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 33898 31463 191 642 0 33254 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 135592

[startup+25.5009 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 29610
/proc/meminfo: memFree=1604880/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=222756 CPUtime=25.48
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 54541 0 0 0 2517 31 0 0 25 0 1 0 25452321 228102144 53261 1992294400 134512640 137138936 4293259520 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 55689 53261 191 642 0 55045 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 222756

[startup+51.1014 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 29610
/proc/meminfo: memFree=1493156/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=332696 CPUtime=51.07
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 82023 0 0 0 5059 48 0 0 25 0 1 0 25452321 340680704 80743 1992294400 134512640 137138936 4293259520 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 83174 80743 191 642 0 82530 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 332696

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 29612
/proc/meminfo: memFree=1384160/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=441508 CPUtime=102.26
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 109223 0 0 0 10157 69 0 0 25 0 1 0 25452321 452104192 107943 1992294400 134512640 137138936 4293259520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 110377 107943 191 642 0 109733 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 441508

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29614
/proc/meminfo: memFree=1195432/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=631844 CPUtime=162.22
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 156804 0 0 0 16121 101 0 0 25 0 1 0 25452321 647008256 155524 1992294400 134512640 137138936 4293259520 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 157961 155528 191 642 0 157317 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 631844

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29616
/proc/meminfo: memFree=1176336/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=648396 CPUtime=222.2
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 161004 0 0 0 22110 110 0 0 25 0 1 0 25452321 663957504 159671 1992294400 134512640 137138936 4293259520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 162099 159671 191 642 0 161455 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 648396

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29618
/proc/meminfo: memFree=1176336/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=648396 CPUtime=282.18
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 161004 0 0 0 28100 118 0 0 25 0 1 0 25452321 663957504 159671 1992294400 134512640 137138936 4293259520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 162099 159671 191 642 0 161455 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 648396

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29618
/proc/meminfo: memFree=1160960/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=664972 CPUtime=342.15
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 165131 0 0 0 34089 126 0 0 25 0 1 0 25452321 680931328 163798 1992294400 134512640 137138936 4293259520 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 166243 163798 191 642 0 165599 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 664972

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29629
/proc/meminfo: memFree=1046384/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=777964 CPUtime=402.12
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 193463 0 0 0 40068 144 0 0 25 0 1 0 25452321 796635136 192066 1992294400 134512640 137138936 4293259520 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 194491 192066 191 642 0 193847 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 777964

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29631
/proc/meminfo: memFree=1046260/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=777964 CPUtime=462.09
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 193463 0 0 0 46059 150 0 0 25 0 1 0 25452321 796635136 192066 1992294400 134512640 137138936 4293259520 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 194491 192066 191 642 0 193847 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 777964

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29633
/proc/meminfo: memFree=1046260/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=777964 CPUtime=522.07
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 193463 0 0 0 52049 158 0 0 25 0 1 0 25452321 796635136 192066 1992294400 134512640 137138936 4293259520 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 194491 192066 191 642 0 193847 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 777964

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29635
/proc/meminfo: memFree=1046136/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=777964 CPUtime=582.04
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 193463 0 0 0 58040 164 0 0 25 0 1 0 25452321 796635136 192066 1992294400 134512640 137138936 4293259520 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 194491 192066 191 642 0 193847 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 777964

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29635
/proc/meminfo: memFree=1035100/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=789448 CPUtime=642.02
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 196305 0 0 0 64032 170 0 0 25 0 1 0 25452321 808394752 194908 1992294400 134512640 137138936 4293259520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 197362 194908 191 642 0 196718 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 789448

[startup+702.301 s]

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

/proc/meminfo: memFree=888408/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=935188 CPUtime=1121.83
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 232898 0 0 0 111953 230 0 0 25 0 1 0 25452321 957632512 231352 1992294400 134512640 137138936 4293259520 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 233797 231352 191 642 0 233153 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 935188

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29654
/proc/meminfo: memFree=887664/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=935188 CPUtime=1181.8
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 232898 0 0 0 117946 234 0 0 25 0 1 0 25452321 957632512 231352 1992294400 134512640 137138936 4293259520 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 233797 231352 191 642 0 233153 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 935188

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29654
/proc/meminfo: memFree=887664/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=935188 CPUtime=1241.78
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 232898 0 0 0 123940 238 0 0 25 0 1 0 25452321 957632512 231352 1992294400 134512640 137138936 4293259520 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 233797 231352 191 642 0 233153 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 935188

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29656
/proc/meminfo: memFree=887664/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=935188 CPUtime=1301.76
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 232898 0 0 0 129930 246 0 0 25 0 1 0 25452321 957632512 231352 1992294400 134512640 137138936 4293259520 18446744073709551615 136501691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 233797 231352 191 642 0 233153 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 935188

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29658
/proc/meminfo: memFree=887664/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=935188 CPUtime=1361.73
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 232898 0 0 0 135922 251 0 0 25 0 1 0 25452321 957632512 231352 1992294400 134512640 137138936 4293259520 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 233797 231352 191 642 0 233153 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 935188

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29660
/proc/meminfo: memFree=818348/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1005040 CPUtime=1421.71
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 250378 0 0 0 141906 265 0 0 25 0 1 0 25452321 1029160960 248832 1992294400 134512640 137138936 4293259520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 251260 248832 191 642 0 250616 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 1005040

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29662
/proc/meminfo: memFree=797144/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1481.68
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 147899 269 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 1025748

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29662
/proc/meminfo: memFree=797144/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1541.66
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 153894 272 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 1025748

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29664
/proc/meminfo: memFree=797144/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1601.64
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 159887 277 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 1025748

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29666
/proc/meminfo: memFree=797144/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1661.62
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 165880 282 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 1025748

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29668
/proc/meminfo: memFree=797144/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1721.59
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 171874 285 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 1025748

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29670
/proc/meminfo: memFree=796896/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1781.56
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 177869 287 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1025748

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29670
/proc/meminfo: memFree=796896/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1791.17
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 178829 288 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1791.17
Current children cumulated vsize (KiB) 1025748

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29670
/proc/meminfo: memFree=796896/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1794.36
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 179148 288 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1794.36
Current children cumulated vsize (KiB) 1025748

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29670
/proc/meminfo: memFree=796896/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1795.96
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 179308 288 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 1025748

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29670
/proc/meminfo: memFree=796896/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1796.76
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 179388 288 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 1025748

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29670
/proc/meminfo: memFree=796896/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1797.56
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 179468 288 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 1025748

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29670
/proc/meminfo: memFree=796896/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=1025748 CPUtime=1797.96
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202496 255623 0 0 0 179508 288 0 0 25 0 1 0 25452321 1050365952 253992 1992294400 134512640 137138936 4293259520 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29609/statm: 256437 253992 191 642 0 255793 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 1025748

[startup+1798.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29670
/proc/meminfo: memFree=796896/2059040 swapFree=4140220/4192956
[pid=29609] ppid=29607 vsize=0 CPUtime=1798.06
/proc/29609/stat : 29609 (bsolo_pb10) R 29607 29609 29508 0 -1 4202500 255624 0 0 0 179515 291 0 0 25 0 1 0 25452321 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/29609/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.88
CPU time (s): 1798.14
CPU user time (s): 1795.16
CPU system time (s): 2.98954
CPU usage (%): 99.9591
Max. virtual memory (cumulated for all children) (KiB): 1026088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.16
system time used= 2.98955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255624
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= 1
involuntary context switches= 10401

runsolver used 3.11153 second user time and 8.34673 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-14 08:55:07
IDJOB=2657410
IDBENCH=2251
IDSOLVER=1163
FILE ID=node010/2657410-1276498507
PBS_JOBID= 11173410
Free space on /tmp= 62500 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657410-1276498507/watcher-2657410-1276498507 -o /tmp/evaluation-result-2657410-1276498507/solver-2657410-1276498507 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657410-1276498507.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= aabc023158e10c9511062af8ac97c515
RANDOM SEED=1486760066

node010.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1816960 kB
Buffers:         59728 kB
Cached:         103848 kB
SwapCached:       5836 kB
Active:          92372 kB
Inactive:        83564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1816960 kB
SwapTotal:     4192956 kB
SwapFree:      4140220 kB
Dirty:            5364 kB
Writeback:           0 kB
AnonPages:       10764 kB
Mapped:          12804 kB
Slab:            44444 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182048 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62496 MiB
End job on node010 at 2010-06-14 09:25:06