Trace number 3733167

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
PB09: bsolo 3.1SAT-36 1798.02 1798.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUMdadfd792215a2bce735ffb7b3e25dcc5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-43
Best CPU time to get the best result obtained on this benchmark1800.09
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 constraints58579
Number of constraints which are clauses58579
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3733167-1338710658.opb
0.00/0.00	c File size is 1399605 bytes.
0.01/0.09	c Highest Coefficient sum: 945
0.01/0.09	c Parsing was ok!!
0.01/0.09	c Total parsing time: 0.095 s
0.09/0.10	c Var: 945 Constr: 58579 58579/0/0 Lit: 117158 Watch. Lit: 117158
0.09/0.10	c Obj. Vars: 945 (100 % of total variables)
0.39/0.47	c Pre-processing Time: 0.474 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    58579   117158    2   117158   19526      0      0 0.47
0.39/0.47	c Switching off lower bounding mode.
0.39/0.48	o -33
0.69/0.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.79	c        0    945    58580   118103    2   117193   20526      1      0 0.48
0.69/0.79	c      101    945    58695   222473    3   117423   22579    116    179 0.56
0.69/0.79	c      352    945    58970   472157    8   117973   24837    391    446 0.79
0.69/0.79	o -34
6.38/6.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.38/6.44	c      354    945    58973   474921    8   118013   20526    394    446 0.79
6.38/6.44	c      455    945    59085   576459    9   118237   22579    506    515 0.88
6.38/6.44	c      705    945    59365   830279   13   118797   24837    786    641 1.10
6.38/6.44	c     1180    945    59913  1326368   22   119893   27321   1334    756 1.56
6.38/6.44	c     1994    945    60833  2159605   35   121733   30054   2254    819 2.43
6.38/6.44	c     3315    945    62307  3495380   56   124681   33060   3728    863 3.84
6.38/6.44	o -35
211.20/211.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
211.20/211.30	c     5104    945    64309  5310014   82   128752   20526   5730    792 6.44
211.20/211.30	c     5204    945    64419  5409602   83   128972   22579   5840    796 6.54
211.20/211.30	c     5454    945    64701  5664886   87   129536   24837   6122    804 6.78
211.20/211.30	c     5929    945    65226  6140453   94   130586   27321   6647    816 7.26
211.20/211.30	c     6744    945    66157  6982438  105   132448   30054   7578    810 8.32
211.20/211.30	c     8064    945    67610  8298400  122   135354   33060   9031    826 9.75
211.20/211.30	c    10145    945    69911 10382165  148   139956   36367  11332    801 12.66
211.20/211.30	c    13370    945    73516 13646402  185   147166   40004  14937    785 17.02
211.20/211.30	c    18306    945    79103 18701793  236   158340   44005  20524    745 24.57
211.20/211.30	c    25812    945    87566 26364836  301   175266   48406  28987    673 38.33
211.20/211.30	c    37173    945   100556 38110812  379   201342   53247  41977    567 65.55
211.20/211.30	c    54317    945    78767 18386336  233   157569   58572  20188    500 108.52
211.20/211.30	c    80138    945   107841 44687180  414   215906   64430  49262    420 190.77
211.20/211.30	o -36
1797.96/1798.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.64	c    90837    945   119906 55607329  463   240072   20526  61327    430 211.21
1797.96/1798.64	c    90937    945    68949  9505031  137   137934   22579  10370    421 215.64
1797.96/1798.64	c    91187    945    69233  9761817  140   138536   24837  10654    422 215.90
1797.96/1798.64	c    91662    945    69770 10247253  146   139610   27321  11191    423 216.51
1797.96/1798.64	c    92476    945    70692 11080681  156   141454   30054  12113    425 217.31
1797.96/1798.64	c    93796    945    72188 12432957  172   144446   33060  13609    428 218.73
1797.96/1798.64	c    95877    945    74537 14556813  195   149144   36367  15958    433 221.32
1797.96/1798.64	c    99101    945    78156 17828239  228   156382   40004  19577    439 225.52
1797.96/1798.64	c   104037    945    83737 22871879  273   167544   44005  25158    443 234.37
1797.96/1798.64	c   111543    945    92186 30512102  330   184442   48406  33607    445 250.19
1797.96/1798.64	c   122904    945   105056 42139687  401   210216   53247  46477    446 275.41
1797.96/1798.64	c   140049    945    83271 22422615  269   166612   58572  24692    437 320.25
1797.96/1798.64	c   165868    945   112215 48564877  432   224566   64430  53636    423 391.65
1797.96/1798.64	c   204701    945   104146 41288521  396   208394   70874  45567    401 510.01
1797.96/1798.64	c   263053    945   112177 48520028  432   224611   77962  53598    330 796.07
1797.96/1798.64	c   350686    945    82043 21294829  259   164156   85759  23464    278 1260.69
1797.96/1798.64	c Resources Exceeded
1797.96/1798.64	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.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.64	c   38   474950  40551   524762    78096 17739142  19517    264 1798.00
1797.96/1798.64	c Objective: -36
1797.96/1798.64	s SATISFIABLE
1797.96/1798.64	c Total time: 1798 s

Verifier Data 

OK	-36

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733167-1338710658/watcher-3733167-1338710658 -o /tmp/evaluation-result-3733167-1338710658/solver-3733167-1338710658 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3733167-1338710658.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23054
/proc/meminfo: memFree=28196204/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=12436 CPUtime=0 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 337194321 12734464 314 33554432000 134512640 137136520 4287642304 4287640800 136486687 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23054/statm: 3109 314 187 641 0 2123 0

[startup+0.013567 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23054
/proc/meminfo: memFree=28196204/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=12848 CPUtime=0.01 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 491 0 0 0 1 0 0 0 20 0 1 0 337194321 13156352 444 33554432000 134512640 137136520 4287642304 4287641072 134520189 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23054/statm: 3212 445 212 641 0 2226 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12848

[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23054
/proc/meminfo: memFree=28196204/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=17356 CPUtime=0.09 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 2275 0 0 0 9 0 0 0 20 0 1 0 337194321 17772544 1886 33554432000 134512640 137136520 4287642304 4287640984 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23054/statm: 4339 1887 185 641 0 3695 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17356

[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23054
/proc/meminfo: memFree=28196204/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=21184 CPUtime=0.28 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 3240 0 0 0 27 1 0 0 20 0 1 0 337194321 21692416 2851 33554432000 134512640 137136520 4287642304 4287629392 134540337 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23054/statm: 5296 2851 190 641 0 4652 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21184

[startup+0.700185 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23054
/proc/meminfo: memFree=28196204/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=22652 CPUtime=0.69 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 4484 0 0 0 66 3 0 0 20 0 1 0 337194321 23195648 3238 33554432000 134512640 137136520 4287642304 4287640888 135982492 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23054/statm: 5663 3238 196 641 0 5019 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22652

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23055
/proc/meminfo: memFree=28180092/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=34072 CPUtime=1.49 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 7313 0 0 0 145 4 0 0 20 0 1 0 337194321 34889728 6067 33554432000 134512640 137136520 4287642304 4287640836 134551328 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23054/statm: 8511 6067 196 641 0 7867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34072

[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23055
/proc/meminfo: memFree=28164716/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=53896 CPUtime=3.09 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 12276 0 0 0 304 5 0 0 20 0 1 0 337194321 55189504 11030 33554432000 134512640 137136520 4287642304 4287641232 134543948 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23054/statm: 13474 11030 196 641 0 12830 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53896

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23055
/proc/meminfo: memFree=28128508/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=85012 CPUtime=6.28 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 20067 0 0 0 622 6 0 0 20 0 1 0 337194321 87052288 18821 33554432000 134512640 137136520 4287642304 4287641232 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 21253 18821 197 641 0 20609 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85012

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23055
/proc/meminfo: memFree=28060696/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=151372 CPUtime=12.68 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 36665 0 0 0 1259 9 0 0 20 0 1 0 337194321 155004928 35419 33554432000 134512640 137136520 4287642304 4287641232 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 37843 35419 197 641 0 37199 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 151372

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23055
/proc/meminfo: memFree=27942904/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=266724 CPUtime=25.48 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 65494 0 0 0 2532 16 0 0 20 0 1 0 337194321 273125376 64248 33554432000 134512640 137136520 4287642304 4287640928 134542158 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 66681 64248 197 641 0 66037 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 266724

[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 23055
/proc/meminfo: memFree=27766700/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=442968 CPUtime=51.08 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 109557 0 0 0 5081 27 0 0 20 0 1 0 337194321 453599232 108311 33554432000 134512640 137136520 4287642304 4287640944 134606731 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 110742 108315 197 641 0 110098 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 442968

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23055
/proc/meminfo: memFree=27557132/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=648240 CPUtime=102.27 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 160922 0 0 0 10188 39 0 0 20 0 1 0 337194321 663797760 159623 33554432000 134512640 137136520 4287642304 4287641232 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 162060 159623 197 641 0 161416 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 648240

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23055
/proc/meminfo: memFree=27556872/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=648240 CPUtime=162.25 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 160936 0 0 0 16182 43 0 0 20 0 1 0 337194321 663797760 159624 33554432000 134512640 137136520 4287642304 4287641232 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 162060 159624 197 641 0 161416 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 648240

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23055
/proc/meminfo: memFree=27474068/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=731012 CPUtime=222.2 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 181737 0 0 0 22169 51 0 0 20 0 1 0 337194321 748556288 180320 33554432000 134512640 137136520 4287642304 4287641232 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 182753 180320 197 641 0 182109 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 731012

[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 23056
/proc/meminfo: memFree=27474468/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=731012 CPUtime=282.15 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 181775 0 0 0 28160 55 0 0 20 0 1 0 337194321 748556288 180320 33554432000 134512640 137136520 4287642304 4287640836 134551121 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 182753 180320 197 641 0 182109 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 731012

[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 23056
/proc/meminfo: memFree=27474248/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=731012 CPUtime=342.1 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 181814 0 0 0 34152 58 0 0 20 0 1 0 337194321 748556288 180320 33554432000 134512640 137136520 4287642304 4287640996 136509131 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 182753 180320 197 641 0 182109 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 731012

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 23059
/proc/meminfo: memFree=27474144/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=731012 CPUtime=402.05 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 181858 0 0 0 40144 61 0 0 20 0 1 0 337194321 748556288 180320 33554432000 134512640 137136520 4287642304 4287641232 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 182753 180320 197 641 0 182109 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 731012

[startup+462.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 23107
/proc/meminfo: memFree=27933712/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=776440 CPUtime=462 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 193314 0 0 0 46133 67 0 0 20 0 1 0 337194321 795074560 191667 33554432000 134512640 137136520 4287642304 4287640856 136502019 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 194110 191667 197 641 0 193466 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 776440

[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 23107
/proc/meminfo: memFree=27521340/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=776440 CPUtime=521.94 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 193361 0 0 0 52125 69 0 0 20 0 1 0 337194321 795074560 191667 33554432000 134512640 137136520 4287642304 4287641232 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 194110 191667 197 641 0 193466 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 776440

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 23108
/proc/meminfo: memFree=27160032/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=820444 CPUtime=581.89 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 204425 0 0 0 58113 76 0 0 20 0 1 0 337194321 840134656 202683 33554432000 134512640 137136520 4287642304 4287641232 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 205111 202683 197 641 0 204467 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 820444

[startup+642.3 s]

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

/proc/meminfo: memFree=26224276/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=932972 CPUtime=1121.75 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 232731 0 0 0 112073 102 0 0 20 0 1 0 337194321 955363328 230795 33554432000 134512640 137136520 4287642304 4287641232 134543933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 233243 230795 197 641 0 232599 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 932972

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23112
/proc/meminfo: memFree=26224436/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=932972 CPUtime=1181.75 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 232731 0 0 0 118071 104 0 0 20 0 1 0 337194321 955363328 230795 33554432000 134512640 137136520 4287642304 4287641232 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 233243 230795 197 641 0 232599 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 932972

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23113
/proc/meminfo: memFree=26223960/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=933280 CPUtime=1241.74 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 232805 0 0 0 124068 106 0 0 20 0 1 0 337194321 955678720 230869 33554432000 134512640 137136520 4287642304 4287641200 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 233320 230869 197 641 0 232676 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 933280

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23113
/proc/meminfo: memFree=26224236/32873844 swapFree=6876/6876
[pid=23054] ppid=23052 vsize=933280 CPUtime=1301.73 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 232805 0 0 0 130064 109 0 0 20 0 1 0 337194321 955678720 230869 33554432000 134512640 137136520 4287642304 4287641232 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 233320 230869 197 641 0 232676 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 933280

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23113
/proc/meminfo: memFree=26224388/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=933280 CPUtime=1361.72 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 232805 0 0 0 136060 112 0 0 20 0 1 0 337194321 955678720 230869 33554432000 134512640 137136520 4287642304 4287641232 134543965 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 233320 230869 197 641 0 232676 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 933280

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23113
/proc/meminfo: memFree=26224416/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=933280 CPUtime=1421.72 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 232805 0 0 0 142057 115 0 0 20 0 1 0 337194321 955678720 230869 33554432000 134512640 137136520 4287642304 4287641232 134544604 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 233320 230869 197 641 0 232676 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 933280

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23113
/proc/meminfo: memFree=26052208/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025252 CPUtime=1481.7 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255892 0 0 0 148046 124 0 0 20 0 1 0 337194321 1049858048 253871 33554432000 134512640 137136520 4287642304 4287641232 134543881 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256313 253871 197 641 0 255669 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1025252

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23114
/proc/meminfo: memFree=25801384/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025252 CPUtime=1541.69 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255892 0 0 0 154043 126 0 0 20 0 1 0 337194321 1049858048 253871 33554432000 134512640 137136520 4287642304 4287641232 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256313 253871 197 641 0 255669 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1025252

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23117
/proc/meminfo: memFree=25796940/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025252 CPUtime=1601.68 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255892 0 0 0 160039 129 0 0 20 0 1 0 337194321 1049858048 253871 33554432000 134512640 137136520 4287642304 4287640980 136501957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256313 253871 197 641 0 255669 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 1025252

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23117
/proc/meminfo: memFree=25796976/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025252 CPUtime=1661.68 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255892 0 0 0 166036 132 0 0 20 0 1 0 337194321 1049858048 253871 33554432000 134512640 137136520 4287642304 4287641232 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256313 253871 197 641 0 255669 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1025252

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23117
/proc/meminfo: memFree=25797004/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025252 CPUtime=1721.66 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255892 0 0 0 172032 134 0 0 20 0 1 0 337194321 1049858048 253871 33554432000 134512640 137136520 4287642304 4287641200 134543869 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256313 253871 197 641 0 255669 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1025252

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23117
/proc/meminfo: memFree=25796412/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025616 CPUtime=1781.66 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255974 0 0 0 178030 136 0 0 20 0 1 0 337194321 1050230784 253953 33554432000 134512640 137136520 4287642304 4287641344 134540859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256404 253953 197 641 0 255760 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 1025616

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23117
/proc/meminfo: memFree=25796280/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025616 CPUtime=1791.26 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255974 0 0 0 178990 136 0 0 20 0 1 0 337194321 1050230784 253953 33554432000 134512640 137136520 4287642304 4287629172 136498187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256404 253953 197 641 0 255760 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (KiB) 1025616

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23117
/proc/meminfo: memFree=25796280/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025616 CPUtime=1794.46 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255974 0 0 0 179310 136 0 0 20 0 1 0 337194321 1050230784 253953 33554432000 134512640 137136520 4287642304 4287641232 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256404 253953 197 641 0 255760 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (KiB) 1025616

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23118
/proc/meminfo: memFree=25796256/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025616 CPUtime=1796.05 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255974 0 0 0 179469 136 0 0 20 0 1 0 337194321 1050230784 253953 33554432000 134512640 137136520 4287642304 4287641232 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256404 253953 197 641 0 255760 0
Current children cumulated CPU time (s) 1796.05
Current children cumulated vsize (KiB) 1025616

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23118
/proc/meminfo: memFree=25796256/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025616 CPUtime=1796.85 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255974 0 0 0 179549 136 0 0 20 0 1 0 337194321 1050230784 253953 33554432000 134512640 137136520 4287642304 4287641200 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256404 253953 197 641 0 255760 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 1025616

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23118
/proc/meminfo: memFree=25796256/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025616 CPUtime=1797.66 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255974 0 0 0 179629 137 0 0 20 0 1 0 337194321 1050230784 253953 33554432000 134512640 137136520 4287642304 4287641232 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256404 253953 197 641 0 255760 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 1025616

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23118
/proc/meminfo: memFree=25796256/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025616 CPUtime=1797.86 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255974 0 0 0 179649 137 0 0 20 0 1 0 337194321 1050230784 253953 33554432000 134512640 137136520 4287642304 4287641200 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256404 253953 197 641 0 255760 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 1025616

[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23118
/proc/meminfo: memFree=25796256/32873844 swapFree=6872/6872
[pid=23054] ppid=23052 vsize=1025616 CPUtime=1797.96 cores=0,2,4,6
/proc/23054/stat : 23054 (bsolo) R 23052 23054 8274 0 -1 4202496 255974 0 0 0 179659 137 0 0 20 0 1 0 337194321 1050230784 253953 33554432000 134512640 137136520 4287642304 4287640832 134600678 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23054/statm: 256404 253953 197 641 0 255760 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 1025616

Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.02
CPU user time (s): 1796.63
CPU system time (s): 1.38479
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 1025616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.63
system time used= 1.38479
maximum resident set size= 1015824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255976
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= 372
involuntary context switches= 2071

runsolver used 4.5893 second user time and 20.032 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 10:04:18
IDJOB=3733167
IDBENCH=2254
IDSOLVER=2320
FILE ID=node106/3733167-1338710658
RUNJOBID= node106-1338679215-16850
PBS_JOBID= 14636707
Free space on /tmp= 70860 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733167-1338710658/watcher-3733167-1338710658 -o /tmp/evaluation-result-3733167-1338710658/solver-3733167-1338710658 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3733167-1338710658.opb

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

MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5
RANDOM SEED=69032258

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28196740 kB
Buffers:          296520 kB
Cached:          2936912 kB
SwapCached:         2004 kB
Active:          1581896 kB
Inactive:        2246064 kB
Active(anon):     591784 kB
Inactive(anon):     4984 kB
Active(file):     990112 kB
Inactive(file):  2241080 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              5064 kB
Writeback:             0 kB
AnonPages:        640672 kB
Mapped:             9720 kB
Shmem:                 0 kB
Slab:             707532 kB
SReclaimable:     149776 kB
SUnreclaim:       557756 kB
KernelStack:        1472 kB
PageTables:         4912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     722524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    573440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3733167-1338710658.opb

Free space on /tmp at the end= 70856 MiB
End job on node106 at 2012-06-03 10:34:17