Trace number 1878514

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 clSAT60 1798.03 1798.52

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: Clause 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-1878514-1245179516.opb
0.00/0.00	c File size is 319495 bytes.
0.02/0.04	c Highest Coefficient sum: 741
0.02/0.04	c Parsing was ok!!
0.02/0.04	c Total parsing time: 0.045 s
0.02/0.04	c Var: 895 Constr: 1660 1/0/1659 Lit: 41106 Watch. Lit: 8553
0.02/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.34	c      100    894     1759    43605   24    26790   90432    100    529 0.19
0.29/0.34	c      251    894     1910    48933   25    25542   99476    251    947 0.27
0.29/0.34	o 87
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c      450    894     2110    56550   26    25423   82222    451   1296 0.35
0.39/0.49	c      553    894     2213    59579   26    25627   90445    554   1365 0.41
0.39/0.49	o 86
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c      747    894     2408    65680   27    25184   82222    749   1518 0.49
0.49/0.57	c      847    894     2508    68864   27    25702   90445    849   1565 0.54
0.49/0.57	o 74
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c      927    894     2589    71965   27    25785   82222    930   1606 0.58
0.79/0.86	c     1028    891     2690    75668   28    25787   90445   1031   1631 0.63
0.79/0.86	c     1279    891     2941    83938   28    28032   99490   1282   1678 0.76
0.79/0.86	o 73
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c     1539    891     3202    93326   29    27306   82220   1543   1777 0.87
1.19/1.21	c     1639    891     3302    97171   29    27800   90443   1643   1793 0.91
1.19/1.21	c     1890    891     3553   105916   29    29129   99488   1894   1759 1.07
1.19/1.21	o 72
2.89/2.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.92	c     2139    891     3803   115139   30    28172   82220   2144   1761 1.21
2.89/2.92	c     2240    891     3904   118592   30    29066   90443   2245   1728 1.30
2.89/2.92	c     2490    891     4154   126223   30    29333   99488   2495   1762 1.41
2.89/2.92	c     2967    891     4631   145061   31    30618  109437   2972   1748 1.70
2.89/2.92	c     3781    891     5445   171928   31    33207  120381   3786   1675 2.26
2.89/2.92	o 69
12.99/13.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.99/13.04	c     4767    891     6432   209328   32    33755   82220   4773   1633 2.92
12.99/13.04	c     4867    891     6532   212776   32    34751   90443   4873   1611 3.02
12.99/13.04	c     5117    889     6782   221396   32    34431   99488   5123   1586 3.23
12.99/13.04	c     5593    889     7258   236754   32    34742  109437   5599   1523 3.67
12.99/13.04	c     6407    889     8072   263473   32    37809  120381   6413   1450 4.42
12.99/13.04	c     7727    889     9392   308757   32    40407  132420   7733   1445 5.34
12.99/13.04	c     9809    889    11474   391782   34    43824  145663   9815   1275 7.69
12.99/13.04	c    13032    889    14697   507977   34    51354  160230  13038   1077 12.10
12.99/13.04	o 68
43.98/44.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.98/44.08	c    13636    889    15302   530644   34    51608   82220  13643   1045 13.04
43.98/44.08	c    13738    889    15404   534427   34    51528   90443  13745   1040 13.20
43.98/44.08	c    13991    889    15657   543889   34    51617   99488  13998   1026 13.63
43.98/44.08	c    14467    889    16133   561305   34    53402  109437  14474   1004 14.40
43.98/44.08	c    15281    889    16947   593719   35    54231  120381  15288    985 15.50
43.98/44.08	c    16601    889    18267   637094   34    58678  132420  16608    921 18.02
43.98/44.08	c    18683    889    20349   708330   34    61782  145663  18690    882 21.16
43.98/44.08	c    21906    889    23572   821578   34    68354  160230  21913    800 27.37
43.98/44.08	c    26842    889    28508   989097   34    78147  176254  26849    707 37.94
43.98/44.08	o 67
45.27/45.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
45.27/45.39	c    29382    889    31049  1081526   34    83019   82220  29390    666 44.06
45.27/45.39	c    29485    889    31152  1085706   34    83613   90443  29493    662 44.50
45.27/45.39	o 66
88.26/88.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
88.26/88.35	c    29732    889    31400  1095419   34    83263   82220  29741    655 45.37
88.26/88.35	c    29835    889    31503  1099700   34    84156   90443  29844    652 45.72
88.26/88.35	c    30086    889    31754  1109260   34    85119   99488  30095    647 46.47
88.26/88.35	c    30561    889    32229  1127907   34    85392  109437  30570    638 47.90
88.26/88.35	c    31374    889    33042  1155866   34    87683  120381  31383    620 50.57
88.26/88.35	c    32695    889    34363  1206724   35    89945  132420  32704    600 54.48
88.26/88.35	c    34781    889    36449  1276794   35    94212  145663  34790    580 59.88
88.26/88.35	c    38006    888    39674  1392117   35   100569  160230  38015    528 71.90
88.26/88.35	o 65
107.76/107.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
107.76/107.85	c    42635    888    44304  1576463   35   109660   82220  42645    482 88.33
107.76/107.85	c    42735    888    44404  1579491   35   110558   90443  42745    480 89.00
107.76/107.85	c    42986    888    44655  1589152   35   110459   99488  42996    476 90.25
107.76/107.85	c    43461    888    45130  1607677   35   111483  109437  43471    469 92.61
107.76/107.85	c    44276    888    45945  1640798   35   112378  120381  44286    461 96.02
107.76/107.85	c    45596    888    47265  1685195   35   116220  132420  45606    446 102.03
107.76/107.85	o 63
127.05/127.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
127.05/127.20	c    46728    888    48398  1731161   35   117714   82220  46739    433 107.81
127.05/127.20	c    46829    888    48499  1734493   35   118461   90443  46840    431 108.57
127.05/127.20	c    47081    888    48751  1744610   35   119015   99488  47092    428 109.91
127.05/127.20	c    47556    888    49226  1760163   35   120094  109437  47567    424 112.09
127.05/127.20	c    48370    888    50040  1791007   35   121359  120381  48381    416 116.03
127.05/127.20	c    49693    887    51363  1841043   35   123775  132420  49704    399 124.41
127.05/127.20	o 62
590.62/590.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
590.62/590.89	c    50308    887    51979  1863727   35   124803   82220  50320    395 127.16
590.62/590.89	c    50409    887    52080  1867624   35   125351   90443  50421    393 128.00
590.62/590.89	c    50659    887    52330  1877040   35   125860   99488  50671    391 129.27
590.62/590.89	c    51134    887    52805  1895706   35   126563  109437  51146    388 131.78
590.62/590.89	c    51948    887    53619  1924206   35   128192  120381  51960    381 136.00
590.62/590.89	c    53269    887    54940  1974126   35   130916  132420  53281    373 142.64
590.62/590.89	c    55351    887    57022  2036137   35   135366  145663  55363    371 149.16
590.62/590.89	c    58574    887    60245  2138871   35   142061  160230  58586    357 163.78
590.62/590.89	c    63510    887    65181  2319173   35   151531  176254  63522    333 190.25
590.62/590.89	c    71018    887    72689  2620941   36   166193  193880  71030    304 233.42
590.62/590.89	c    82380    887    84051  3044962   36   189399  213269  82392    266 309.63
590.62/590.89	c    99525    887   101196  3619966   35   223748  234596  99537    250 397.45
590.62/590.89	o 60
1797.91/1798.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.49	c   121890    887   123562  4454964   36   268002   82220 121903    206 590.73
1797.91/1798.49	c   121990    887    16333   567155   34    54646   90443  14674    187 651.66
1797.91/1798.49	c   122240    883    16583   575365   34    54425   99488  14924    187 652.13
1797.91/1798.49	c   122716    883    17059   593371   34    55049  109437  15400    187 652.93
1797.91/1798.49	c   123532    883    17875   619868   34    56926  120381  16216    188 654.34
1797.91/1798.49	c   124854    883    19197   661812   34    59717  132420  17538    190 656.60
1797.91/1798.49	c   126936    883    21279   729202   34    64024  145663  19620    192 659.98
1797.91/1798.49	c   130159    883    24502   842232   34    70664  160230  22843    195 667.46
1797.91/1798.49	c   135095    883    29438  1011875   34    79855  176254  27779    198 681.11
1797.91/1798.49	c   142601    883    36944  1282259   34    95414  193880  35285    202 703.26
1797.91/1798.49	c   153963    883    48306  1647495   34   117818  213269  46647    207 740.72
1797.91/1798.49	c   171108    883    65451  2222885   33   152511  234596  63792    212 804.06
1797.91/1798.49	c   196928    883    91271  3134654   34   203804  258056  89612    203 965.88
1797.91/1798.49	c   235761    883   130104  4490166   34   282182  283862 128445    190 1238.81
1797.91/1798.49	c Resources Exceeded
1797.91/1798.49	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.91/1798.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.49	c   82   287714  30579   330377   182057  6319498 180398    160 1798.01
1797.91/1798.49	c Objective: 60
1797.91/1798.49	s SATISFIABLE
1797.91/1798.49	c Total time: 1798.01 s

Verifier Data 

OK	60

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 12774
/proc/meminfo: memFree=1677832/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=11024 CPUtime=0
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 240 0 0 0 0 0 0 0 18 0 1 0 70660358 11288576 224 1992294400 134512640 137136520 4294956256 18446744073709551615 134520870 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 2756 224 176 640 0 2033 0

[startup+0.0316919 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 12774
/proc/meminfo: memFree=1677832/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=11412 CPUtime=0.02
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 381 0 0 0 2 0 0 0 18 0 1 0 70660358 11685888 365 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 2853 365 221 640 0 2130 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11412

[startup+0.101698 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 12774
/proc/meminfo: memFree=1677832/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=12296 CPUtime=0.09
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 753 0 0 0 9 0 0 0 18 0 1 0 70660358 12591104 658 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 3074 658 190 640 0 2430 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12296

[startup+0.301716 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 12774
/proc/meminfo: memFree=1677832/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=12296 CPUtime=0.29
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 767 0 0 0 29 0 0 0 19 0 1 0 70660358 12591104 672 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 3074 672 196 640 0 2430 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12296

[startup+0.701751 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 12774
/proc/meminfo: memFree=1677832/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=12560 CPUtime=0.69
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 833 0 0 0 69 0 0 0 22 0 1 0 70660358 12861440 738 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 3140 738 197 640 0 2496 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12560

[startup+1.50182 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12775
/proc/meminfo: memFree=1675264/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=13440 CPUtime=1.49
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 1040 0 0 0 148 1 0 0 25 0 1 0 70660358 13762560 945 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 3360 945 197 640 0 2716 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13440

[startup+3.10196 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12775
/proc/meminfo: memFree=1674112/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=14724 CPUtime=3.09
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 1375 0 0 0 308 1 0 0 25 0 1 0 70660358 15077376 1280 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 3681 1280 197 640 0 3037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14724

[startup+6.30125 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12775
/proc/meminfo: memFree=1671616/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=16860 CPUtime=6.29
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 1902 0 0 0 626 3 0 0 25 0 1 0 70660358 17264640 1807 1992294400 134512640 137136520 4294956256 18446744073709551615 136499644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 4215 1807 197 640 0 3571 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16860

[startup+12.7028 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12775
/proc/meminfo: memFree=1668480/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=19644 CPUtime=12.69
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 2599 0 0 0 1265 4 0 0 25 0 1 0 70660358 20115456 2504 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 4911 2504 197 640 0 4267 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19644

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12775
/proc/meminfo: memFree=1664000/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=23948 CPUtime=25.48
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 3660 0 0 0 2541 7 0 0 25 0 1 0 70660358 24522752 3565 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 5987 3565 197 640 0 5343 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23948

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12775
/proc/meminfo: memFree=1658112/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=29884 CPUtime=51.07
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 5155 0 0 0 5096 11 0 0 25 0 1 0 70660358 30601216 5060 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 7471 5060 197 640 0 6827 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29884

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12775
/proc/meminfo: memFree=1649664/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=38180 CPUtime=102.26
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 7232 0 0 0 10209 17 0 0 25 0 1 0 70660358 39096320 7137 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 9545 7137 197 640 0 8901 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 38180

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12775
/proc/meminfo: memFree=1642624/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=45236 CPUtime=162.24
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 9000 0 0 0 16201 23 0 0 25 0 1 0 70660358 46321664 8905 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 11309 8905 197 640 0 10665 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45236

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12775
/proc/meminfo: memFree=1636224/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=51548 CPUtime=222.23
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 10573 0 0 0 22195 28 0 0 25 0 1 0 70660358 52785152 10478 1992294400 134512640 137136520 4294956256 18446744073709551615 134544590 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 12887 10478 197 640 0 12243 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 51548

[startup+282.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 12775
/proc/meminfo: memFree=1630592/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=57212 CPUtime=282.21
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 11990 0 0 0 28189 32 0 0 25 0 1 0 70660358 58585088 11895 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 14303 11895 197 640 0 13659 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 57212

[startup+342.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 12775
/proc/meminfo: memFree=1625216/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=62524 CPUtime=342.2
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 13317 0 0 0 34184 36 0 0 25 0 1 0 70660358 64024576 13222 1992294400 134512640 137136520 4294956256 18446744073709551615 134544275 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 15631 13222 197 640 0 14987 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 62524

[startup+402.301 s]
/proc/loadavg: 1.12 1.05 1.01 2/65 12775
/proc/meminfo: memFree=1618432/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=69344 CPUtime=402.17
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 15006 0 0 0 40176 41 0 0 25 0 1 0 70660358 71008256 14911 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 17336 14911 197 640 0 16692 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 69344

[startup+462.301 s]
/proc/loadavg: 1.04 1.04 1.00 2/65 12775
/proc/meminfo: memFree=1614016/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=73748 CPUtime=462.16
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 16104 0 0 0 46172 44 0 0 25 0 1 0 70660358 75517952 16009 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 18437 16009 197 640 0 17793 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 73748

[startup+522.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 12775
/proc/meminfo: memFree=1610112/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=77644 CPUtime=522.14
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 17079 0 0 0 52166 48 0 0 25 0 1 0 70660358 79507456 16984 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 19411 16984 197 640 0 18767 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 77644

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 12775
/proc/meminfo: memFree=1606016/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=81656 CPUtime=582.13
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 18090 0 0 0 58161 52 0 0 25 0 1 0 70660358 83615744 17995 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 20414 17995 197 640 0 19770 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 81656

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 12775
/proc/meminfo: memFree=1605184/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=82164 CPUtime=642.11
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 18354 0 0 0 64159 52 0 0 25 0 1 0 70660358 84135936 18139 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 20541 18139 197 640 0 19897 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 82164

[startup+702.302 s]

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

/proc/meminfo: memFree=1605184/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=82164 CPUtime=1062
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 18354 0 0 0 106123 77 0 0 25 0 1 0 70660358 84135936 18139 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 20541 18139 197 640 0 19897 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 82164

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1605184/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=82164 CPUtime=1121.99
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 18354 0 0 0 112119 80 0 0 25 0 1 0 70660358 84135936 18139 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 20541 18139 197 640 0 19897 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 82164

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1605184/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=82164 CPUtime=1181.97
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 18354 0 0 0 118114 83 0 0 25 0 1 0 70660358 84135936 18139 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 20541 18139 197 640 0 19897 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 82164

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1603776/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=83516 CPUtime=1241.96
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 18692 0 0 0 124111 85 0 0 25 0 1 0 70660358 85520384 18477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 20879 18477 197 640 0 20235 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 83516

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1600512/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=86848 CPUtime=1301.94
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 19505 0 0 0 130107 87 0 0 25 0 1 0 70660358 88932352 19290 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 21712 19290 197 640 0 21068 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 86848

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1596800/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=90592 CPUtime=1361.93
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 20436 0 0 0 136101 92 0 0 25 0 1 0 70660358 92766208 20221 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 22648 20221 197 640 0 22004 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 90592

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1593216/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=94068 CPUtime=1421.91
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 21316 0 0 0 142096 95 0 0 25 0 1 0 70660358 96325632 21101 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 23517 21101 197 640 0 22873 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 94068

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1589760/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=97532 CPUtime=1481.89
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 22185 0 0 0 148091 98 0 0 25 0 1 0 70660358 99872768 21970 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 24383 21970 197 640 0 23739 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 97532

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1586688/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=100608 CPUtime=1541.87
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 22933 0 0 0 154086 101 0 0 25 0 1 0 70660358 103022592 22718 1992294400 134512640 137136520 4294956256 18446744073709551615 134544590 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 25152 22718 197 640 0 24508 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 100608

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1584192/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=103016 CPUtime=1601.86
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 23556 0 0 0 160083 103 0 0 25 0 1 0 70660358 105488384 23341 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 25754 23341 197 640 0 25110 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 103016

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1581312/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=105832 CPUtime=1661.84
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 24267 0 0 0 166079 105 0 0 25 0 1 0 70660358 108371968 24052 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 26458 24052 197 640 0 25814 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 105832

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1578432/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=108772 CPUtime=1721.83
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 25007 0 0 0 172075 108 0 0 25 0 1 0 70660358 111382528 24792 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 27193 24792 197 640 0 26549 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 108772

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1575360/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=111856 CPUtime=1781.81
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 25757 0 0 0 178070 111 0 0 25 0 1 0 70660358 114540544 25542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 27964 25542 197 640 0 27320 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 111856

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1574784/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=112392 CPUtime=1791.41
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 25897 0 0 0 179030 111 0 0 25 0 1 0 70660358 115089408 25682 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 28098 25682 197 640 0 27454 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 112392

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1574592/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=112524 CPUtime=1794.61
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 25934 0 0 0 179350 111 0 0 25 0 1 0 70660358 115224576 25719 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 28131 25719 197 640 0 27487 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 112524

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1574528/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=112656 CPUtime=1796.2
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 25955 0 0 0 179509 111 0 0 25 0 1 0 70660358 115359744 25740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 28164 25740 197 640 0 27520 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (KiB) 112656

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1574528/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=112656 CPUtime=1797
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 25965 0 0 0 179589 111 0 0 25 0 1 0 70660358 115359744 25750 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 28164 25750 197 640 0 27520 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 112656

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1574528/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=112656 CPUtime=1797.8
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194304 25978 0 0 0 179669 111 0 0 25 0 1 0 70660358 115359744 25763 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/statm: 28164 25763 197 640 0 27520 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 112656

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12775
/proc/meminfo: memFree=1574464/2055920 swapFree=4192956/4192956
[pid=12774] ppid=12772 vsize=0 CPUtime=1798.01
/proc/12774/stat : 12774 (bsolo) R 12772 12774 12308 0 -1 4194308 25985 0 0 0 179689 112 0 0 25 0 1 0 70660358 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12774/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.52
CPU time (s): 1798.03
CPU user time (s): 1796.89
CPU system time (s): 1.13583
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 112788

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

runsolver used 1.46278 second user time and 3.51647 second system time

The end

Launcher Data 

Begin job on node41 at 2009-06-16 21:11:56
IDJOB=1878514
IDBENCH=2944
IDSOLVER=700
FILE ID=node41/1878514-1245179516
PBS_JOBID= 9363885
Free space on /tmp= 65960 MiB

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

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

MD5SUM BENCH= dd415565c40b70127defa3137ccd18d3
RANDOM SEED=70428882

node41.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.216
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.216
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:       1678248 kB
Buffers:         54036 kB
Cached:         243328 kB
SwapCached:          0 kB
Active:         163876 kB
Inactive:       146464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1678248 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4268 kB
Writeback:           0 kB
Mapped:          22716 kB
Slab:            53384 kB
Committed_AS:    53856 kB
PageTables:       1360 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-1878514-1245179516.opb

Free space on /tmp at the end= 65956 MiB
End job on node41 at 2009-06-16 21:41:54