Trace number 3463003

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-37 1798.04 1798.09

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUMe1b2be59a127acc8d929395698929541
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.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -45
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58549
Number of constraints which are clauses58549
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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3463003-1307177824.opb
0.00/0.01	c File size is 1400279 bytes.
0.05/0.09	c Highest Coefficient sum: 945
0.05/0.09	c Parsing was ok!!
0.05/0.09	c Total parsing time: 0.091 s
0.09/0.10	c Var: 945 Constr: 58549 58549/0/0 Lit: 117098 Watch. Lit: 117098
0.09/0.10	c Obj. Vars: 945 (100 % of total variables)
0.39/0.47	c Pre-processing Time: 0.471 s
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c        0    945    58549   117098    2   117098   19516      0      0 0.47
0.39/0.47	c Switching off lower bounding mode.
0.39/0.48	o -33
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c        0    945    58550   118043    2   117133   20516      1      0 0.47
0.39/0.48	o -34
0.68/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.76	c        3    945    58554   121713    2   117175   20516      5      6 0.48
0.68/0.76	c      104    945    58665   222350    3   117397   22568    116    179 0.58
0.68/0.76	o -35
692.40/692.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
692.40/692.59	c      267    945    58850   390043    6   117802   20516    301    354 0.75
692.40/692.59	c      367    945    58959   488699    8   118020   22568    410    428 0.86
692.40/692.59	c      618    945    59237   740312   12   118576   24825    688    542 1.14
692.40/692.59	c     1093    945    59763  1216606   20   119628   27308   1214    654 1.67
692.40/692.59	c     1906    945    60692  2056568   33   121486   30039   2143    689 2.76
692.40/692.59	c     3226    945    62196  3417833   54   124494   33043   3647    718 4.49
692.40/692.59	c     5307    945    64582  5576618   86   129266   36348   6033    700 7.58
692.40/692.59	c     8531    945    68182  8835919  129   136466   39983   9633    698 12.21
692.40/692.59	c    13468    945    73730 13858647  187   147562   43982  15181    620 21.70
692.40/692.59	c    20976    945    82238 21554464  262   164611   48381  23689    540 38.81
692.40/692.59	c    32338    945    95004 33100333  348   190207   53220  36455    444 72.75
692.40/692.59	c    49482    945    73237 13409772  183   146509   58543  14688    370 133.66
692.40/692.59	c    75302    945   102283 39649810  387   204808   64398  43734    345 217.72
692.40/692.59	c   114134    945    95027 33111409  348   190153   70838  36478    312 364.87
692.40/692.59	c   172487    945   103441 40639990  392   207069   77922  44892    286 601.80
692.40/692.59	o -36
1202.63/1202.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1202.63/1202.80	c   192743    945   126755 61737312  487   253733   20516  68206    278 692.51
1202.63/1202.80	c   192844    945    68920  9503288  137   137876   22568  10371    276 696.52
1202.63/1202.80	c   193094    945    69196  9753014  140   138428   24825  10647    277 696.90
1202.63/1202.80	c   193569    945    69730 10235845  146   139496   27308  11181    277 697.54
1202.63/1202.80	c   194382    945    70641 11059061  156   141318   30039  12092    278 698.63
1202.63/1202.80	c   195702    945    72119 12393595  171   144274   33043  13570    279 700.32
1202.63/1202.80	c   197784    945    74435 14488381  194   148906   36348  15886    281 703.60
1202.63/1202.80	c   201007    945    78105 17801496  227   156280   39983  19556    283 709.08
1202.63/1202.80	c   205944    945    83634 22794094  272   167338   43982  25085    287 717.45
1202.63/1202.80	c   213450    945    92243 30573302  331   184590   48381  33694    291 733.28
1202.63/1202.80	c   224811    945   105089 42188446  401   210282   53220  46540    295 760.88
1202.63/1202.80	c   241955    945    83327 22516971  270   166724   58543  24778    296 814.68
1202.73/1202.80	c   267774    945   112754 49082220  435   225643   64398  54205    299 894.59
1202.73/1202.80	c   306606    945   103996 41173534  395   208155   70838  45447    286 1069.19
1202.73/1202.80	o -37
1797.95/1798.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.04	c   342305    945    85462 24402646  285   171152   20516  26913    284 1202.73
1797.95/1798.04	c   342405    945    68915  9458996  137   137867   22568  10366    284 1204.50
1797.95/1798.04	c   342655    945    69192  9709337  140   138421   24825  10643    284 1204.86
1797.95/1798.04	c   343130    945    69726 10191312  146   139523   27308  11177    284 1205.53
1797.95/1798.04	c   343943    945    70656 11030705  156   141383   30039  12107    285 1206.68
1797.95/1798.04	c   345264    945    72123 12356148  171   144317   33043  13574    285 1208.40
1797.95/1798.04	c   347345    945    74461 14468006  194   148993   36348  15912    286 1211.47
1797.95/1798.04	c   350568    945    78075 17731622  227   156221   39983  19526    288 1216.07
1797.95/1798.04	c   355505    945    83657 22771233  272   167385   43982  25108    289 1225.94
1797.95/1798.04	c   363012    945    92158 30438745  330   184422   48381  33609    291 1243.91
1797.95/1798.04	c   374373    945   105043 42062469  400   210192   53220  46494    295 1267.19
1797.95/1798.04	c   391519    945    83108 22293183  268   166253   58543  24559    296 1319.29
1797.95/1798.04	c   417339    945   112500 48804671  433   225071   64398  53951    297 1400.47
1797.95/1798.04	c   456171    945   104050 41190596  395   208306   70838  45501    292 1562.22
1797.95/1798.04	c   514524    945   112497 48741710  433   225130   77922  53948    286 1794.41
1797.95/1798.04	c Resources Exceeded
1797.95/1798.04	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.95/1798.04	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.04	c   47   516429  43429   571102   114614 50653908  56065    287 1798.00
1797.95/1798.04	c Objective: -37
1797.95/1798.04	s SATISFIABLE
1797.95/1798.04	c Total time: 1798 s

Verifier Data 

OK	-37

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-3463003-1307177824/watcher-3463003-1307177824 -o /tmp/evaluation-result-3463003-1307177824/solver-3463003-1307177824 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463003-1307177824.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.09 2.07 2.00 3/514 26775
/proc/meminfo: memFree=20679332/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=12984 CPUtime=0.01 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 521 0 0 0 1 0 0 0 25 0 1 0 810198063 13295616 475 33554432000 134512640 137138936 4286604768 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 3246 476 214 642 0 2260 0

[startup+0.061514 s]
/proc/loadavg: 2.09 2.07 2.00 3/514 26775
/proc/meminfo: memFree=20679332/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=15596 CPUtime=0.05 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 1338 0 0 0 5 0 0 0 25 0 1 0 810198063 15970304 1292 33554432000 134512640 137138936 4286604768 18446744073709551615 136736805 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 3899 1293 372 642 0 2913 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15596

[startup+0.100521 s]
/proc/loadavg: 2.09 2.07 2.00 3/514 26775
/proc/meminfo: memFree=20679332/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=17224 CPUtime=0.09 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 2245 0 0 0 9 0 0 0 18 0 1 0 810198063 17637376 1857 33554432000 134512640 137138936 4286604768 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 4306 1859 182 642 0 3662 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17224

[startup+0.300475 s]
/proc/loadavg: 2.09 2.07 2.00 3/514 26775
/proc/meminfo: memFree=20679332/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=21184 CPUtime=0.28 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 3235 0 0 0 27 1 0 0 18 0 1 0 810198063 21692416 2847 33554432000 134512640 137138936 4286604768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 5296 2847 185 642 0 4652 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21184

[startup+0.700404 s]
/proc/loadavg: 2.09 2.07 2.00 3/514 26775
/proc/meminfo: memFree=20679332/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=22120 CPUtime=0.68 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 4340 0 0 0 66 2 0 0 18 0 1 0 810198063 22650880 3096 33554432000 134512640 137138936 4286604768 18446744073709551615 136296988 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 5530 3096 192 642 0 4886 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22120

[startup+1.50029 s]
/proc/loadavg: 2.09 2.07 2.00 3/515 26776
/proc/meminfo: memFree=20663080/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=31592 CPUtime=1.49 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 6703 0 0 0 146 3 0 0 19 0 1 0 810198063 32350208 5459 33554432000 134512640 137138936 4286604768 18446744073709551615 136505202 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 7898 5459 192 642 0 7254 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31592

[startup+3.10099 s]
/proc/loadavg: 2.08 2.07 2.00 3/515 26776
/proc/meminfo: memFree=20649316/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=47964 CPUtime=3.09 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 10811 0 0 0 306 3 0 0 25 0 1 0 810198063 49115136 9567 33554432000 134512640 137138936 4286604768 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 11991 9567 192 642 0 11347 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47964

[startup+6.30038 s]
/proc/loadavg: 2.08 2.07 2.00 3/515 26776
/proc/meminfo: memFree=20616576/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=78940 CPUtime=6.29 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 18554 0 0 0 624 5 0 0 25 0 1 0 810198063 80834560 17310 33554432000 134512640 137138936 4286604768 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 19735 17310 192 642 0 19091 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78940

[startup+12.7012 s]
/proc/loadavg: 2.07 2.07 2.00 3/515 26776
/proc/meminfo: memFree=20557224/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=135924 CPUtime=12.68 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 32799 0 0 0 1261 7 0 0 25 0 1 0 810198063 139186176 31555 33554432000 134512640 137138936 4286604768 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 33981 31555 192 642 0 33337 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 135924

[startup+25.5007 s]
/proc/loadavg: 2.06 2.06 2.00 3/515 26777
/proc/meminfo: memFree=20463608/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=225308 CPUtime=25.48 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 55131 0 0 0 2535 13 0 0 25 0 1 0 810198063 230715392 53887 33554432000 134512640 137138936 4286604768 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 56327 53887 192 642 0 55683 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 225308

[startup+51.1009 s]
/proc/loadavg: 2.04 2.06 2.00 3/515 26777
/proc/meminfo: memFree=20331696/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=357716 CPUtime=51.09 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 88240 0 0 0 5090 19 0 0 25 0 1 0 810198063 366301184 86996 33554432000 134512640 137138936 4286604768 18446744073709551615 134598928 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 89429 86996 192 642 0 88785 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 357716

[startup+102.319 s]
/proc/loadavg: 2.10 2.08 2.00 3/515 26779
/proc/meminfo: memFree=20114804/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=572556 CPUtime=102.3 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 141956 0 0 0 10200 30 0 0 25 0 1 0 810198063 586297344 140712 33554432000 134512640 137138936 4286604768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 143139 140712 192 642 0 142495 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 572556

[startup+162.301 s]
/proc/loadavg: 2.08 2.08 2.00 3/515 26780
/proc/meminfo: memFree=20037644/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=647568 CPUtime=162.28 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 160756 0 0 0 16191 37 0 0 25 0 1 0 810198063 663109632 159459 33554432000 134512640 137138936 4286604768 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 161892 159459 192 642 0 161248 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 647568

[startup+222.301 s]
/proc/loadavg: 2.03 2.06 2.00 3/515 26782
/proc/meminfo: memFree=20038968/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=647568 CPUtime=222.28 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 160756 0 0 0 22189 39 0 0 25 0 1 0 810198063 663109632 159459 33554432000 134512640 137138936 4286604768 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26775/statm: 161892 159459 192 642 0 161248 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 647568

[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/515 26793
/proc/meminfo: memFree=19909692/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=777028 CPUtime=282.19 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 193164 0 0 0 28173 46 0 0 25 0 1 0 810198063 795676672 191803 33554432000 134512640 137138936 4286604768 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 194257 191803 192 642 0 193613 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 777028

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 26794
/proc/meminfo: memFree=19909792/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=777028 CPUtime=342.19 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 193164 0 0 0 34171 48 0 0 25 0 1 0 810198063 795676672 191803 33554432000 134512640 137138936 4286604768 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 194257 191803 192 642 0 193613 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 777028

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 26796
/proc/meminfo: memFree=19909888/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=777028 CPUtime=402.2 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 193164 0 0 0 40169 51 0 0 25 0 1 0 810198063 795676672 191803 33554432000 134512640 137138936 4286604768 18446744073709551615 134601114 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 194257 191803 192 642 0 193613 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 777028

[startup+462.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/515 26797
/proc/meminfo: memFree=19872032/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=816700 CPUtime=462.19 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 203101 0 0 0 46165 54 0 0 25 0 1 0 810198063 836300800 201740 33554432000 134512640 137138936 4286604768 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 204175 201740 192 642 0 203531 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 816700

[startup+522.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/515 26799
/proc/meminfo: memFree=19834908/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=522.2 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 52162 58 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 851980

[startup+582.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/515 26801
/proc/meminfo: memFree=19834860/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=582.2 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 58160 60 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 851980

[startup+642.301 s]

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

/proc/meminfo: memFree=19834092/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1122.22 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 112143 79 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 851980

[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/515 26817
/proc/meminfo: memFree=19834052/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1182.23 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 118142 81 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 851980

[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/515 26818
/proc/meminfo: memFree=19833404/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1242.22 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 124139 83 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 851980

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/515 26820
/proc/meminfo: memFree=19833380/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1302.25 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 130140 85 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 851980

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 26821
/proc/meminfo: memFree=19833492/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1362.23 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 136135 88 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 851980

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 26823
/proc/meminfo: memFree=19834200/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1422.25 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 142136 89 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 851980

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 26852
/proc/meminfo: memFree=20886872/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1482.23 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 148132 91 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134599704 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 851980

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 26853
/proc/meminfo: memFree=20884520/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1542.24 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 154131 93 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 851980

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 26855
/proc/meminfo: memFree=20883628/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1602.24 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 160128 96 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 851980

[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/515 26856
/proc/meminfo: memFree=20882240/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1662.24 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 166126 98 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 851980

[startup+1722.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/515 26861
/proc/meminfo: memFree=20882672/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1722.24 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 172124 100 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 851980

[startup+1782.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/515 26863
/proc/meminfo: memFree=20881644/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1782.24 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 178122 102 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 851980

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

[startup+1785.5 s]
/proc/loadavg: 2.14 2.06 2.01 3/515 26863
/proc/meminfo: memFree=20882512/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1785.44 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 178442 102 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (KiB) 851980

[startup+1791.92 s]
/proc/loadavg: 2.12 2.06 2.01 3/515 26863
/proc/meminfo: memFree=20882512/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1791.87 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 179084 103 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1791.87
Current children cumulated vsize (KiB) 851980

[startup+1795.1 s]
/proc/loadavg: 2.12 2.06 2.01 3/515 26863
/proc/meminfo: memFree=20882512/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1795.07 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 179404 103 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1795.07
Current children cumulated vsize (KiB) 851980

[startup+1796.7 s]
/proc/loadavg: 2.12 2.06 2.01 3/515 26863
/proc/meminfo: memFree=20882512/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1796.65 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 179562 103 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (KiB) 851980

[startup+1797.5 s]
/proc/loadavg: 2.11 2.05 2.01 3/515 26863
/proc/meminfo: memFree=20882388/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1797.45 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 179642 103 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 851980

[startup+1797.9 s]
/proc/loadavg: 2.11 2.05 2.01 3/515 26863
/proc/meminfo: memFree=20882388/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1797.85 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 179682 103 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 851980

[startup+1798 s]
/proc/loadavg: 2.11 2.05 2.01 3/515 26863
/proc/meminfo: memFree=20882388/32951124 swapFree=62999000/67111528
[pid=26775] ppid=26773 vsize=851980 CPUtime=1797.95 cores=0,2,4,6
/proc/26775/stat : 26775 (bsolo) R 26773 26775 24981 0 -1 4202496 211979 0 0 0 179692 103 0 0 25 0 1 0 810198063 872427520 210547 33554432000 134512640 137138936 4286604768 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26775/statm: 212995 210547 192 642 0 212351 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 851980

Child status: 0
Real time (s): 1798.09
CPU time (s): 1798.04
CPU user time (s): 1796.97
CPU system time (s): 1.07184
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 851980

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

runsolver used 9.71452 second user time and 19.803 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-04 10:57:05
IDJOB=3463003
IDBENCH=2253
IDSOLVER=1955
FILE ID=node141/3463003-1307177824
RUNJOBID= node141-1307175042-26489
PBS_JOBID= 13508859
Free space on /tmp= 73900 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-4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463003-1307177824/watcher-3463003-1307177824 -o /tmp/evaluation-result-3463003-1307177824/solver-3463003-1307177824 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463003-1307177824.opb

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

MD5SUM BENCH= e1b2be59a127acc8d929395698929541
RANDOM SEED=1469801683

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20679612 kB
Buffers:        284128 kB
Cached:         675336 kB
SwapCached:       8848 kB
Active:       11437280 kB
Inactive:       566496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20679612 kB
SwapTotal:    67111528 kB
SwapFree:     62999000 kB
Dirty:            5096 kB
Writeback:           0 kB
AnonPages:    11042348 kB
Mapped:          26332 kB
Slab:           125400 kB
PageTables:      72056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 151738740 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 node141 at 2011-06-04 11:27:03