Trace number 1879944

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT62 1798.03 1798.71

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_10.opb
MD5SUMdd415565c40b70127defa3137ccd18d3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark1053.61
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 55
Optimality of the best value was proved YES
Number of variables895
Total number of constraints1660
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1659
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 45
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 108
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 144
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 741
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: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879944-1245241733.opb
0.00/0.00	c File size is 319495 bytes.
0.00/0.04	c Highest Coefficient sum: 741
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.046 s
0.00/0.04	c Var: 895 Constr: 1660 1/0/1659 Lit: 41106 Watch. Lit: 8553
0.00/0.04	c Obj. Vars: 7 (0.782123 % of total variables)
0.09/0.10	c Pre-processing Time: 0.101 s
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0    894     1659    41105   24    13382   82210      0      0 0.10
0.09/0.10	c Switching off lower bounding mode.
0.29/0.38	c      100    894     1857    46983   25    27629   90432    198    462 0.22
0.29/0.38	c      250    894     2157    57234   26    28081   99476    498    856 0.29
0.29/0.38	o 81
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c      410    894     2478    70636   28    28432   82222    819   1056 0.39
0.59/0.60	c      511    894     2680    77489   28    30597   90445   1021   1080 0.47
0.59/0.60	o 79
0.69/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.72	c      710    893     3077    91842   29    31433   82222   1418   1175 0.60
0.69/0.72	c      813    892     3276    98923   30    32056   90445   1617   1183 0.69
0.69/0.72	o 75
6.09/6.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.19	c      873    892     3383   102982   30    32509   82222   1724   1204 0.72
6.09/6.19	c      973    891     3578   109463   30    33696   90445   1919   1202 0.81
6.09/6.19	c     1224    891     4051   129982   32    34838   99490   2392   1205 1.01
6.09/6.19	c     1700    891     4960   164347   33    41741  109440   3301   1174 1.45
6.09/6.19	c     2514    891     6509   217959   33    49604  120385   4850   1085 2.31
6.09/6.19	c     3834    891     8937   320768   35    59506  132424   7278    974 3.94
6.09/6.19	o 74
7.18/7.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.29	c     5016    890    11177   409691   36    68264   82220   9518    810 6.19
7.18/7.29	c     5116    890    11354   416813   36    71400   90443   9695    797 6.42
7.18/7.29	c     5367    890    11839   432311   36    73750   99488  10180    766 7.00
7.18/7.29	o 72
9.89/9.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.89/9.95	c     5503    890    12099   442036   36    73165   82220  10440    755 7.29
9.89/9.95	c     5604    890    12290   449014   36    73799   90443  10631    745 7.52
9.89/9.95	c     5856    890    12763   468298   36    77362   99488  11104    722 8.10
9.89/9.95	c     6332    890    13656   507049   37    80544  109437  11997    660 9.59
9.89/9.95	o 69
21.38/21.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.38/21.42	c     6461    890    13883   517097   37    79899   82220  12224    649 9.95
21.38/21.42	c     6563    890    14077   523135   37    82357   90443  12418    639 10.26
21.38/21.42	c     6813    889    14540   539057   37    84167   99488  12881    624 10.91
21.38/21.42	c     7288    889    15452   572956   37    91576  109437  13793    566 12.87
21.38/21.42	c     8102    889    16935   635520   37    97183  120381  15276    529 15.29
21.38/21.42	c     9422    889    19400   730856   37   109810  132420  17741    454 20.75
21.38/21.42	o 66
34.58/34.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.58/34.69	c     9603    889    19731   744935   37   109077   82220  18072    448 21.42
34.58/34.69	c     9704    889    19916   750867   37   110470   90443  18257    441 21.95
34.58/34.69	c     9954    889    20390   766475   37   111452   99488  18731    433 22.97
34.58/34.69	c    10430    889    21310   801709   37   116614  109437  19651    407 25.63
34.58/34.69	c    11245    889    22839   859376   37   121059  120381  21180    372 30.22
34.58/34.69	o 64
309.08/309.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
309.08/309.27	c    12109    889    24469   926297   37   131615   82220  22810    349 34.68
309.08/309.27	c    12210    889    24656   933876   37   132208   90443  22997    346 35.20
309.08/309.27	c    12460    889    25125   953147   37   134551   99488  23466    341 36.48
309.08/309.27	c    12935    889    26014   991129   38   139239  109437  24355    332 38.85
309.08/309.27	c    13750    889    27545  1056819   38   147050  120381  25886    320 42.94
309.08/309.27	c    15070    889    30043  1150606   38   160452  132420  28384    293 51.39
309.08/309.27	c    17151    889    33876  1306906   38   178707  145663  32217    260 65.93
309.08/309.27	c    20374    889    39916  1569402   39   206448  160230  38257    215 94.68
309.08/309.27	c    25310    889    49196  1894644   38   250030  176254  47537    185 136.48
309.08/309.27	c    32816    889    63493  2403846   37   320501  193880  61834    140 233.82
309.08/309.27	o 63
1210.54/1211.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1210.54/1211.05	c    37411    889    72121  2715875   37   358051   82220  70462    121 309.16
1210.54/1211.05	c    37511    889    72308  2721822   37   351002   90443  70649    120 310.53
1210.54/1211.05	c    37764    889    72794  2738134   37   363426   99488  71135    119 315.87
1210.54/1211.05	c    38239    889    73711  2770301   37   371985  109437  72052    117 326.45
1210.54/1211.05	c    39052    889    75261  2840150   37   370758  120381  73602    115 338.70
1210.54/1211.05	c    40372    887    77728  2951240   37   391061  132420  76069    110 363.83
1210.54/1211.05	c    42453    887    81684  3092587   37   412882  145663  80025    105 402.24
1210.54/1211.05	c    45676    887    87731  3339772   38   443063  160230  86072     98 462.18
1210.54/1211.05	c    50612    887    96951  3680366   37   481731  176254  95292     92 547.42
1210.54/1211.05	c    58118    886   110936  4233918   38   538885  193880 109277     82 706.56
1210.54/1211.05	c    69479    886   132388  5118038   38   648296  213269 130729     68 1019.82
1210.54/1211.05	o 62
1797.92/1798.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.69	c    76855    886   146233  5703034   38   702145   82220 144574     63 1210.61
1797.92/1798.69	c    76956    886    27172  1056093   38   145595   90443  25513     52 1464.86
1797.92/1798.69	c    77207    886    27640  1071103   38   147549   99488  25981     52 1466.22
1797.92/1798.69	c    77683    886    28535  1103309   38   150551  109437  26876     52 1469.54
1797.92/1798.69	c    78496    886    30078  1155595   38   161237  120381  28419     53 1475.14
1797.92/1798.69	c    79817    886    32487  1249901   38   168508  132420  30828     53 1483.89
1797.92/1798.69	c    81898    886    36282  1380201   38   186366  145663  34623     54 1496.58
1797.92/1798.69	c    85124    886    42314  1614643   38   223778  160230  40655     55 1526.44
1797.92/1798.69	c    90061    886    51622  1987196   38   261015  176254  49963     56 1590.01
1797.92/1798.69	c    97567    886    65917  2565602   38   332698  193880  64258     57 1692.04
1797.92/1798.69	c Resources Exceeded
1797.92/1798.69	v x1 -x2 -x3 -x4 x5 -x6 x895 x56 x57 x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 x894 x49 -x50 -x51 -x52 x53 -x54 -x55 -x893 x892 x891 x890 x889 x42 x43 x44 x45 -x46 -x47 -x48 -x888 -x887 x886 -x885 x884 -x883 x882 x881 x880 x879 x878 x877 x876 -x875 -x35 -x36 -x37 x38 -x39 -x40 -x41 -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 x28 -x29 -x30 -x31 -x32 -x33 -x34 -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 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -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 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -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 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -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 
1797.92/1798.69	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.69	c   61   103906  11219   122682    77969  3039273  76310     57 1798.02
1797.92/1798.69	c Objective: 62
1797.92/1798.69	s SATISFIABLE
1797.92/1798.69	c Total time: 1798.02 s

Verifier Data 

OK	62

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879944-1245241733/watcher-1879944-1245241733 -o /tmp/evaluation-result-1879944-1245241733/solver-1879944-1245241733 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879944-1245241733.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 10470
/proc/meminfo: memFree=1589272/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=11024 CPUtime=0
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 241 0 0 0 0 0 0 0 18 0 1 0 191772163 11288576 225 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 2756 225 176 640 0 2033 0

[startup+0.0757719 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 10470
/proc/meminfo: memFree=1589272/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=12296 CPUtime=0.07
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 753 0 0 0 7 0 0 0 18 0 1 0 191772163 12591104 658 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 3074 658 190 640 0 2430 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12296

[startup+0.101776 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 10470
/proc/meminfo: memFree=1589272/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=12296 CPUtime=0.09
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 753 0 0 0 9 0 0 0 18 0 1 0 191772163 12591104 658 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 3074 658 190 640 0 2430 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12296

[startup+0.301815 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 10470
/proc/meminfo: memFree=1589272/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=12300 CPUtime=0.29
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 769 0 0 0 29 0 0 0 19 0 1 0 191772163 12595200 674 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 3075 674 197 640 0 2431 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12300

[startup+0.701894 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 10470
/proc/meminfo: memFree=1589272/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=13072 CPUtime=0.69
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 941 0 0 0 69 0 0 0 23 0 1 0 191772163 13385728 846 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 3268 846 197 640 0 2624 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13072

[startup+1.50205 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1586192/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=14228 CPUtime=1.49
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 1245 0 0 0 149 0 0 0 25 0 1 0 191772163 14569472 1150 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 3557 1150 197 640 0 2913 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14228

[startup+3.10137 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1584592/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=16152 CPUtime=3.09
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 1717 0 0 0 308 1 0 0 25 0 1 0 191772163 16539648 1622 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 4038 1622 197 640 0 3394 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16152

[startup+6.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1581520/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=18576 CPUtime=6.29
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 2307 0 0 0 627 2 0 0 25 0 1 0 191772163 19021824 2212 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 4644 2212 197 640 0 4000 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18576

[startup+12.7013 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1578320/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=21276 CPUtime=12.69
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 3005 0 0 0 1266 3 0 0 25 0 1 0 191772163 21786624 2910 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 5319 2910 197 640 0 4675 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21276

[startup+25.5018 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1574160/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=25228 CPUtime=25.48
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 3996 0 0 0 2543 5 0 0 25 0 1 0 191772163 25833472 3901 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 6307 3901 198 640 0 5663 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25228

[startup+51.1018 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1568080/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=31396 CPUtime=51.07
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 5525 0 0 0 5100 7 0 0 25 0 1 0 191772163 32149504 5430 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 7849 5430 198 640 0 7205 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31396

[startup+102.307 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1560016/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=39336 CPUtime=102.26
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 7528 0 0 0 10215 11 0 0 25 0 1 0 191772163 40280064 7433 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 9834 7433 198 640 0 9190 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 39336

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1552400/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=47140 CPUtime=162.23
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 9453 0 0 0 16208 15 0 0 25 0 1 0 191772163 48271360 9358 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 11785 9358 198 640 0 11141 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 47140

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1546960/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=52396 CPUtime=222.21
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 10780 0 0 0 22203 18 0 0 25 0 1 0 191772163 53653504 10685 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 13099 10685 198 640 0 12455 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 52396

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1542224/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=57144 CPUtime=282.18
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 11951 0 0 0 28198 20 0 0 25 0 1 0 191772163 58515456 11856 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 14286 11856 198 640 0 13642 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 57144

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1537880/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=61500 CPUtime=342.16
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 13041 0 0 0 34194 22 0 0 25 0 1 0 191772163 62976000 12946 1992294400 134512640 137136520 4294956256 18446744073709551615 136518874 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 15375 12946 198 640 0 14731 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 61500

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1533400/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=65880 CPUtime=402.14
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 14162 0 0 0 40189 25 0 0 25 0 1 0 191772163 67461120 14067 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 16470 14067 198 640 0 15826 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 65880

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1528984/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=70272 CPUtime=462.12
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 15245 0 0 0 46185 27 0 0 25 0 1 0 191772163 71958528 15150 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 17568 15150 198 640 0 16924 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 70272

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1525144/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=74232 CPUtime=522.1
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 16229 0 0 0 52181 29 0 0 25 0 1 0 191772163 76013568 16134 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 18558 16134 198 640 0 17914 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 74232

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1520856/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=78480 CPUtime=582.07
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 17292 0 0 0 58177 30 0 0 25 0 1 0 191772163 80363520 17197 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 19620 17197 198 640 0 18976 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 78480

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1517272/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=81920 CPUtime=642.05
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 18169 0 0 0 64173 32 0 0 25 0 1 0 191772163 83886080 18074 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 20480 18074 198 640 0 19836 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 81920

[startup+702.301 s]

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

/proc/meminfo: memFree=1496536/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=102612 CPUtime=1061.89
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 23334 0 0 0 106146 43 0 0 25 0 1 0 191772163 105074688 23239 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 25653 23239 198 640 0 25009 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 102612

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1493272/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=105824 CPUtime=1121.87
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 24129 0 0 0 112142 45 0 0 25 0 1 0 191772163 108363776 24034 1992294400 134512640 137136520 4294956256 18446744073709551615 134576281 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 26456 24034 198 640 0 25812 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 105824

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1490008/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=109052 CPUtime=1181.84
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 24946 0 0 0 118137 47 0 0 25 0 1 0 191772163 111669248 24851 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27263 24851 198 640 0 26619 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 109052

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1488088/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1241.82
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 124134 48 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 110736

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1488088/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1301.8
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 130132 48 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 110736

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1361.78
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 136130 48 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 110736

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10471
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1421.75
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 142127 48 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 110736

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1481.73
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 148124 49 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 110736

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1541.7
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 154119 51 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 110736

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1601.69
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 160116 53 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 110736

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1661.67
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 166112 55 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 110736

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1721.64
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 172108 56 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 110736

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1781.62
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 178105 57 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 110736

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

[startup+1791.91 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1791.22
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 179065 57 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 136294897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1791.22
Current children cumulated vsize (KiB) 110736

[startup+1795.1 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1794.41
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 179384 57 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 110736

[startup+1796.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1796.02
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 179544 58 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 110736

[startup+1797.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1796.82
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 179624 58 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (KiB) 110736

[startup+1798.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=110736 CPUtime=1797.62
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194304 25491 0 0 0 179704 58 0 0 25 0 1 0 191772163 113393664 25254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 27684 25254 198 640 0 27040 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 110736

[startup+1798.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10473
/proc/meminfo: memFree=1488152/2055920 swapFree=4182400/4192956
[pid=10470] ppid=10468 vsize=0 CPUtime=1798.01
/proc/10470/stat : 10470 (bsolo) R 10468 10470 10304 0 -1 4194308 25493 0 0 0 179743 58 0 0 25 0 1 0 191772163 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10470/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.71
CPU time (s): 1798.03
CPU user time (s): 1797.44
CPU system time (s): 0.598908
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 111304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.44
system time used= 0.598908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25493
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= 2
involuntary context switches= 3542

runsolver used 1.73374 second user time and 4.81427 second system time

The end

Launcher Data 

Begin job on node73 at 2009-06-17 14:28:53
IDJOB=1879944
IDBENCH=2944
IDSOLVER=701
FILE ID=node73/1879944-1245241733
PBS_JOBID= 9372278
Free space on /tmp= 66508 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_10.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879944-1245241733/watcher-1879944-1245241733 -o /tmp/evaluation-result-1879944-1245241733/solver-1879944-1245241733 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879944-1245241733.opb

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

MD5SUM BENCH= dd415565c40b70127defa3137ccd18d3
RANDOM SEED=91190051

node73.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.274
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.274
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1589752 kB
Buffers:         54716 kB
Cached:         323380 kB
SwapCached:       5832 kB
Active:          53576 kB
Inactive:       333504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1589752 kB
SwapTotal:     4192956 kB
SwapFree:      4182400 kB
Dirty:            4296 kB
Writeback:           0 kB
Mapped:          13488 kB
Slab:            65096 kB
Committed_AS:    75636 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879944-1245241733.opb

Free space on /tmp at the end= 66504 MiB
End job on node73 at 2009-06-17 14:58:52