Trace number 2656465

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 CardSAT-36 1798.09 1798.82

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-38
Best CPU time to get the best result obtained on this benchmark1789.9
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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656465-1276497629.opb
0.00/0.00	c File size is 1390935 bytes.
0.19/0.22	c Highest Coefficient sum: 945
0.19/0.22	c Parsing was ok!!
0.19/0.22	c Total parsing time: 0.227 s
0.19/0.24	c Var: 945 Constr: 58245 58245/0/0 Lit: 116490 Watch. Lit: 116490
0.19/0.24	c Obj. Vars: 945 (100 % of total variables)
1.39/1.45	c Pre-processing Time: 1.451 s
1.39/1.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.45	c        0    945    58245   116490    2   116490   19414      0      0 1.45
1.39/1.45	c Switching off lower bounding mode.
1.39/1.46	o -29
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c        0    945    58246   117435    2   116521   20414      1      0 1.46
1.39/1.46	o -30
1.39/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.47	c        1    945    58248   119293    2   116555   20414      3      0 1.47
1.39/1.47	o -32
1.39/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.47	c        1    945    58249   120238    2   116589   20414      4      0 1.47
1.39/1.47	o -33
4.59/4.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.63	c        2    945    58251   122092    2   116626   20414      6      1 1.48
4.59/4.63	c      103    945    58360   221056    3   116844   22456    115     62 1.64
4.59/4.63	c      354    945    58633   468986    7   117390   24702    388    171 2.06
4.59/4.63	c      831    945    59154   942200   15   118432   27173    909    282 2.94
4.59/4.63	c     1644    945    60086  1787362   29   120296   29891   1841    357 4.59
4.59/4.63	o -34
286.47/286.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
286.47/286.66	c     1662    945    60106  1805577   30   120370   20414   1861    358 4.63
286.47/286.66	c     1763    945    60216  1905325   31   120590   22456   1971    365 4.83
286.47/286.66	c     2014    945    60495  2158524   35   121148   24702   2250    378 5.32
286.47/286.66	c     2489    945    61013  2628237   43   122184   27173   2768    397 6.26
286.47/286.66	c     3303    945    61895  3428408   55   123948   29891   3650    412 8.02
286.47/286.66	c     4624    945    63378  4772018   75   126914   32881   5133    418 11.06
286.47/286.66	c     6705    945    65735  6906944  105   131628   36170   7490    403 16.62
286.47/286.66	c     9928    945    69392 10219614  147   138942   39788  11147    376 26.34
286.47/286.66	c    14864    945    74806 15129931  202   149770   43767  16561    343 43.26
286.47/286.66	c    22370    945    83010 22571523  271   166178   48144  24765    294 76.01
286.47/286.66	c    33732    945    95893 34245672  357   191944   52959  37648    233 144.64
286.47/286.66	c    50878    945    73678 14096568  191   147452   58255  15433    180 282.50
286.47/286.66	o -35
344.65/344.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
344.65/344.86	c    52294    945    75253 15524704  206   150637   20415  17008    182 286.55
344.65/344.86	c    52394    945    75368 15628849  207   150867   22457  17123    182 286.80
344.65/344.86	c    52645    945    75651 15884983  209   151433   24703  17406    183 287.47
344.65/344.86	c    53121    945    76178 16362319  214   152487   27174  17933    184 288.68
344.65/344.86	c    53934    945    77082 17180607  222   154327   29892  18837    185 290.90
344.65/344.86	c    55254    945    78559 18517441  235   157281   32882  20314    187 295.22
344.65/344.86	c    57335    945    80888 20625526  254   161939   36171  22643    190 301.25
344.65/344.86	c    60558    945    84478 23875420  282   169119   39789  26233    193 312.42
344.65/344.86	c    65495    945    89779 28680367  319   179721   43768  31534    196 333.58
344.65/344.86	o -36
1797.96/1798.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.73	c    67623    945    92117 30798324  334   184433   20415  33872    196 344.72
1797.96/1798.73	c    67723    945    68566  9467596  138   137168   22457  10321    193 349.51
1797.96/1798.73	c    67973    945    68841  9716310  141   137718   24703  10596    194 350.14
1797.96/1798.73	c    68449    945    69370 10194729  146   138776   27174  11125    194 351.43
1797.96/1798.73	c    69262    945    70273 11011783  156   140582   29892  12028    195 353.75
1797.96/1798.73	c    70582    945    71751 12348031  172   143538   32882  13506    197 358.24
1797.96/1798.73	c    72663    945    74104 14474398  195   148244   36171  15859    198 365.29
1797.96/1798.73	c    75886    945    77729 17752449  228   155494   39789  19484    198 382.48
1797.96/1798.73	c    80823    945    83362 22840272  273   166760   43768  25117    196 410.99
1797.96/1798.73	c    88329    945    92025 30659648  333   184150   48145  33780    195 451.58
1797.96/1798.73	c    99691    945   104872 42264233  403   209877   52960  46627    185 536.08
1797.96/1798.73	c   116835    945    83413 22853635  273   166862   58257  25168    180 648.22
1797.96/1798.73	c   142655    945   112774 49337902  437   225681   64083  54529    162 876.84
1797.96/1798.73	c   181487    945   105619 42879095  405   211437   70492  47374    148 1225.79
1797.96/1798.73	c   239840    945   113475 49989748  440   227076   77542  55230    141 1697.15
1797.96/1798.73	c Resources Exceeded
1797.96/1798.73	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.73	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.73	c   44   253973  23630   284902   129294 64288036  71049    141 1798.00
1797.96/1798.73	c Objective: -36
1797.96/1798.73	s SATISFIABLE
1797.96/1798.73	c Total time: 1798 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-2656465-1276497629/watcher-2656465-1276497629 -o /tmp/evaluation-result-2656465-1276497629/solver-2656465-1276497629 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656465-1276497629.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.06 3/106 30609
/proc/meminfo: memFree=1809132/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=12288 CPUtime=0
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 353 0 0 0 0 0 0 0 22 0 1 0 25364441 12582912 271 1992294400 134512640 137138936 4286913664 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 3072 271 176 642 0 2088 0

[startup+0.106228 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 30609
/proc/meminfo: memFree=1809132/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=14764 CPUtime=0.1
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 1110 0 0 0 10 0 0 0 22 0 1 0 25364441 15118336 1028 1992294400 134512640 137138936 4286913664 18446744073709551615 134519475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 3691 1029 320 642 0 2707 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14764

[startup+0.201246 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 30609
/proc/meminfo: memFree=1809132/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=17104 CPUtime=0.19
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 1846 0 0 0 19 0 0 0 22 0 1 0 25364441 17514496 1764 1992294400 134512640 137138936 4286913664 18446744073709551615 136525361 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 4276 1764 463 642 0 3292 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17104

[startup+0.301265 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 30609
/proc/meminfo: memFree=1809132/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=19200 CPUtime=0.3
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 2782 0 0 0 29 1 0 0 22 0 1 0 25364441 19660800 2360 1992294400 134512640 137138936 4286913664 18446744073709551615 136511221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 4800 2360 184 642 0 4156 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 19200

[startup+0.701343 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 30609
/proc/meminfo: memFree=1809132/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=21064 CPUtime=0.69
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 3255 0 0 0 67 2 0 0 23 0 1 0 25364441 21569536 2833 1992294400 134512640 137138936 4286913664 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 5266 2833 185 642 0 4622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21064

[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 30610
/proc/meminfo: memFree=1798460/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=19636 CPUtime=1.5
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 3741 0 0 0 143 7 0 0 25 0 1 0 25364441 20107264 2457 1992294400 134512640 137138936 4286913664 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 4909 2457 192 642 0 4265 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 19636

[startup+3.10181 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 30610
/proc/meminfo: memFree=1794368/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=30988 CPUtime=3.09
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 6607 0 0 0 301 8 0 0 25 0 1 0 25364441 31731712 5323 1992294400 134512640 137138936 4286913664 18446744073709551615 134551373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 7747 5323 192 642 0 7103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30988

[startup+6.30144 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 30610
/proc/meminfo: memFree=1772296/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=51744 CPUtime=6.29
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 11784 0 0 0 619 10 0 0 25 0 1 0 25364441 52985856 10500 1992294400 134512640 137138936 4286913664 18446744073709551615 134576379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 12936 10500 192 642 0 12292 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51744

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 30610
/proc/meminfo: memFree=1733980/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=88100 CPUtime=12.69
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 20869 0 0 0 1256 13 0 0 25 0 1 0 25364441 90214400 19585 1992294400 134512640 137138936 4286913664 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 22025 19585 192 642 0 21381 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88100

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 30612
/proc/meminfo: memFree=1673840/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=145588 CPUtime=25.49
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 35256 0 0 0 2527 22 0 0 25 0 1 0 25364441 149082112 33972 1992294400 134512640 137138936 4286913664 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 36397 33972 192 642 0 35753 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 145588

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 30612
/proc/meminfo: memFree=1580964/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=239308 CPUtime=51.07
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 58684 0 0 0 5071 36 0 0 25 0 1 0 25364441 245051392 57400 1992294400 134512640 137138936 4286913664 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 59827 57400 192 642 0 59183 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 239308

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30614
/proc/meminfo: memFree=1442084/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=376236 CPUtime=102.26
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 92914 0 0 0 10167 59 0 0 25 0 1 0 25364441 385265664 91630 1992294400 134512640 137138936 4286913664 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 94059 91630 192 642 0 93415 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 376236

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30614
/proc/meminfo: memFree=1319820/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=499864 CPUtime=162.22
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 123816 0 0 0 16140 82 0 0 25 0 1 0 25364441 511860736 122532 1992294400 134512640 137138936 4286913664 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 124966 122532 192 642 0 124322 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 499864

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 30616
/proc/meminfo: memFree=1224464/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=593548 CPUtime=222.2
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 147248 0 0 0 22119 101 0 0 25 0 1 0 25364441 607793152 145964 1992294400 134512640 137138936 4286913664 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 148387 145964 192 642 0 147743 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 593548

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 30618
/proc/meminfo: memFree=1171764/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=645736 CPUtime=282.17
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 160326 0 0 0 28104 113 0 0 25 0 1 0 25364441 661233664 158989 1992294400 134512640 137138936 4286913664 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 161434 158989 192 642 0 160790 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 645736

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 30620
/proc/meminfo: memFree=1171764/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=645736 CPUtime=342.15
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 160326 0 0 0 34097 118 0 0 25 0 1 0 25364441 661233664 158989 1992294400 134512640 137138936 4286913664 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 161434 158989 192 642 0 160790 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 645736

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 30622
/proc/meminfo: memFree=1171640/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=645736 CPUtime=402.12
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 160326 0 0 0 40089 123 0 0 25 0 1 0 25364441 661233664 158989 1992294400 134512640 137138936 4286913664 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 161434 158989 192 642 0 160790 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 645736

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 30622
/proc/meminfo: memFree=1171640/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=645736 CPUtime=462.1
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 160326 0 0 0 46081 129 0 0 25 0 1 0 25364441 661233664 158989 1992294400 134512640 137138936 4286913664 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 161434 158989 192 642 0 160790 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 645736

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 30624
/proc/meminfo: memFree=1171640/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=645736 CPUtime=522.08
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 160326 0 0 0 52075 133 0 0 25 0 1 0 25364441 661233664 158989 1992294400 134512640 137138936 4286913664 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 161434 158989 192 642 0 160790 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 645736

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 30626
/proc/meminfo: memFree=1171640/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=645736 CPUtime=582.05
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 160326 0 0 0 58068 137 0 0 25 0 1 0 25364441 661233664 158989 1992294400 134512640 137138936 4286913664 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 161434 158989 192 642 0 160790 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 645736

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30628
/proc/meminfo: memFree=1171516/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=645736 CPUtime=642.03
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 160326 0 0 0 64060 143 0 0 25 0 1 0 25364441 661233664 158989 1992294400 134512640 137138936 4286913664 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 161434 158989 192 642 0 160790 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 645736

[startup+702.301 s]

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

/proc/meminfo: memFree=1044044/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=772536 CPUtime=1061.87
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 192093 0 0 0 106000 187 0 0 25 0 1 0 25364441 791076864 190692 1992294400 134512640 137138936 4286913664 18446744073709551615 134617964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 193134 190692 192 642 0 192490 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 772536

[startup+1122.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 30640
/proc/meminfo: memFree=1044044/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=772536 CPUtime=1121.84
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 192093 0 0 0 111993 191 0 0 25 0 1 0 25364441 791076864 190692 1992294400 134512640 137138936 4286913664 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 193134 190692 192 642 0 192490 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 772536

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30642
/proc/meminfo: memFree=1044044/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=772536 CPUtime=1181.82
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 192093 0 0 0 117987 195 0 0 25 0 1 0 25364441 791076864 190692 1992294400 134512640 137138936 4286913664 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 193134 190692 192 642 0 192490 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 772536

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30653
/proc/meminfo: memFree=1043052/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=772536 CPUtime=1241.79
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 192093 0 0 0 123978 201 0 0 25 0 1 0 25364441 791076864 190692 1992294400 134512640 137138936 4286913664 18446744073709551615 136504172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 193134 190692 192 642 0 192490 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 772536

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30655
/proc/meminfo: memFree=1043052/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=772536 CPUtime=1301.77
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 192093 0 0 0 129970 207 0 0 25 0 1 0 25364441 791076864 190692 1992294400 134512640 137138936 4286913664 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 193134 190692 192 642 0 192490 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 772536

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30655
/proc/meminfo: memFree=969272/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847300 CPUtime=1361.74
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210779 0 0 0 135952 222 0 0 25 0 1 0 25364441 867635200 209378 1992294400 134512640 137138936 4286913664 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211825 209378 192 642 0 211181 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 847300

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30657
/proc/meminfo: memFree=968280/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1421.73
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 141946 227 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 847436

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30659
/proc/meminfo: memFree=968280/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1481.69
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 147938 231 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 847436

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30661
/proc/meminfo: memFree=968404/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1541.67
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 153932 235 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 136297746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 847436

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30663
/proc/meminfo: memFree=968404/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1601.65
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 159926 239 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 847436

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30663
/proc/meminfo: memFree=968404/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1661.61
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 165920 241 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 134577134 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 847436

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30665
/proc/meminfo: memFree=968404/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1721.59
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 171914 245 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 847436

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30667
/proc/meminfo: memFree=968280/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1781.57
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 177907 250 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 847436

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30667
/proc/meminfo: memFree=968280/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1791.28
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 178877 251 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 847436

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30667
/proc/meminfo: memFree=968280/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1794.47
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 179196 251 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 847436

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30667
/proc/meminfo: memFree=968280/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1796.06
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 179355 251 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 847436

[startup+1797.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30667
/proc/meminfo: memFree=968280/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1796.86
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 179435 251 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1796.86
Current children cumulated vsize (KiB) 847436

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30667
/proc/meminfo: memFree=968280/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=847436 CPUtime=1797.66
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202496 210891 0 0 0 179515 251 0 0 25 0 1 0 25364441 867774464 209420 1992294400 134512640 137138936 4286913664 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30609/statm: 211859 209420 192 642 0 211215 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 847436

[startup+1798.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30667
/proc/meminfo: memFree=968280/2059040 swapFree=4136184/4192956
[pid=30609] ppid=30607 vsize=0 CPUtime=1798.06
/proc/30609/stat : 30609 (bsolo_pb10) R 30607 30609 30154 0 -1 4202500 210892 0 0 0 179548 258 0 0 25 0 1 0 25364441 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/30609/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.82
CPU time (s): 1798.09
CPU user time (s): 1795.49
CPU system time (s): 2.5976
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 847716

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

runsolver used 3.01454 second user time and 8.44272 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-14 08:40:29
IDJOB=2656465
IDBENCH=2250
IDSOLVER=1162
FILE ID=node011/2656465-1276497629
PBS_JOBID= 11173397
Free space on /tmp= 62264 MiB

SOLVER NAME= bsolo 3.2 Card
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_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656465-1276497629/watcher-2656465-1276497629 -o /tmp/evaluation-result-2656465-1276497629/solver-2656465-1276497629 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656465-1276497629.opb

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

MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3
RANDOM SEED=166974692

node011.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.264
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.52
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.264
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1809660 kB
Buffers:         69196 kB
Cached:         103996 kB
SwapCached:       9796 kB
Active:          94916 kB
Inactive:        90792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1809660 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            5316 kB
Writeback:          16 kB
AnonPages:       10952 kB
Mapped:           9172 kB
Slab:            41856 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180828 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= 62260 MiB
End job on node011 at 2010-06-14 09:10:28