Trace number 3463192

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT160 1798 1797.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUM0278ee4f163393ac33163ff791a7f96d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3463192-1307179250.opb
0.00/0.01	c File size is 13159 bytes.
0.00/0.01	c Highest Coefficient sum: 5856
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0 s
0.00/0.01	c Var: 198 Constr: 16 0/0/16 Lit: 1354 Watch. Lit: 388
0.00/0.01	c Obj. Vars: 128 (64.6465 % of total variables)
0.00/0.01	c Pre-processing Time: 0.002 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    198       16     1354   84      394    2708      0      0 0.00
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o 1080
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        0    198       17     1482   87      903    2964      1      0 0.00
0.00/0.06	c      103    198      150    11825   78     1368    3261    134   4478 0.02
0.00/0.06	o 1065
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      246    198      317    26117   82     1875    2964    301   4392 0.06
0.00/0.07	o 1040
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      300    198      378    29827   78     2108    2964    362   4477 0.07
0.00/0.07	o 877
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c      317    198      412    32370   78     2369    2964    396   4528 0.07
0.00/0.08	o 876
0.10/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.15	c      352    198      467    36758   78     2760    2964    451   4571 0.08
0.10/0.15	c      452    198      587    45724   77     3154    3261    571   4346 0.10
0.10/0.15	o 875
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c      635    198      822    67904   82     4221    2964    806   4177 0.15
0.19/0.29	c      737    198      957    79389   82     4564    3261    941   4117 0.18
0.19/0.29	c      987    198     1269   104359   82     5712    3588   1253   3979 0.25
0.19/0.29	o 873
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1129    198     1468   122790   83     6545    2964   1452   3906 0.29
0.19/0.29	o 860
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     1135    198     1479   123717   83     6676    2964   1463   3886 0.29
0.29/0.30	o 830
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     1173    198     1525   126934   83     6960    2964   1509   3871 0.30
0.29/0.30	o 673
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     1176    198     1531   127453   83     7036    2964   1515   3868 0.30
0.29/0.32	o 644
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c     1231    198     1593   131218   82     7225    2964   1577   3895 0.32
0.39/0.42	c     1331    198     1718   139059   80     7729    3261   1702   3937 0.34
0.39/0.42	c     1581    198     1996   160695   80     8293    3588   1980   3932 0.40
0.39/0.42	o 591
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c     1637    198     2064   164857   79     8626    2964   2048   3916 0.42
0.39/0.44	o 588
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c     1726    198     2170   172137   79     8972    2964   2154   3904 0.44
0.39/0.45	o 514
0.39/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.50	c     1759    198     2213   175252   79     9301    2964   2197   3900 0.45
0.39/0.50	c     1860    198     2324   180987   77     9517    3261   2308   3907 0.48
0.39/0.50	o 512
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c     1929    198     2412   187351   77     9782    2964   2396   3896 0.49
0.49/0.58	c     2029    198     2525   193995   76    10131    3261   2509   3909 0.52
0.49/0.58	o 509
0.58/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.63	c     2243    198     2784   213805   76    10769    2964   2768   3847 0.58
0.58/0.63	c     2343    198     2897   220234   76    11126    3261   2881   3822 0.61
0.58/0.63	o 458
0.58/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.66	c     2398    198     2961   223689   75    11196    2964   2945   3812 0.63
0.58/0.66	o 386
0.58/0.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.68	c     2481    198     1504   100891   67     4326    2964   1488   3776 0.66
0.58/0.68	o 363
0.58/0.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.68	c     2562    198     1592   105643   66     4629    2964   1576   3778 0.68
0.58/0.68	o 359
0.78/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.89	c     2564    198     1595   105906   66     4758    2964   1579   3776 0.68
0.78/0.89	c     2665    198     1723   115722   67     5152    3261   1707   3774 0.71
0.78/0.89	c     2918    198     2026   141421   69     6174    3588   2010   3731 0.78
0.78/0.89	o 357
0.98/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.98/1.03	c     3359    198     2584   180547   69     7798    2964   2568   3769 0.89
0.98/1.03	c     3459    198     2693   186370   69     8070    3261   2677   3784 0.91
0.98/1.03	c     3709    198     2969   201051   67     8645    3588   2953   3819 0.97
0.98/1.03	o 355
1.09/1.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.15	c     3923    198     3220   219182   68     9407    2964   3204   3812 1.03
1.09/1.15	c     4025    198     1603   107660   67     4397    3261   1587   3818 1.05
1.09/1.15	c     4277    198     1870   124326   66     4947    3588   1854   3870 1.10
1.09/1.15	o 352
1.29/1.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.31	c     4505    198     2129   140703   66     5780    2964   2113   3913 1.15
1.29/1.31	c     4605    198     2239   146380   65     6102    3261   2223   3932 1.17
1.29/1.31	c     4857    198     2534   163695   64     6877    3588   2518   3935 1.23
1.29/1.31	o 235
1.29/1.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.31	c     5189    198     2908   184093   63     8019    2964   2892   3964 1.31
1.29/1.31	o 215
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c     5204    198     2928   185293   63     8185    2964   2912   3960 1.31
1.29/1.32	o 211
5.99/6.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.08	c     5209    198     2936   185900   63     8344    2964   2920   3958 1.32
5.99/6.08	c     5309    198     1499    91494   61     4587    3261   1483   3947 1.34
5.99/6.08	c     5561    198     1774   104985   59     5160    3588   1758   3972 1.40
5.99/6.08	c     6036    198     2342   140225   59     6367    3947   2326   3945 1.53
5.99/6.08	c     6849    198     3252   188173   57     8210    4342   3236   3907 1.75
5.99/6.08	c     8169    198     2570   144391   56     6126    4777   2554   3822 2.14
5.99/6.08	c    10250    198     2406   114784   47     5716    5255   2390   3821 2.68
5.99/6.08	c    13473    198     3308   171078   51     7546    5781   3292   3784 3.56
5.99/6.08	c    18409    198     2973   153622   51     6881    6360   2957   3602 5.11
5.99/6.08	o 198
7.28/7.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.34	c    21661    198     3347   179395   53     7908    2964   3331   3560 6.08
7.28/7.34	c    21761    198     1604    88202   54     4202    3261   1588   3560 6.11
7.28/7.34	c    22011    198     1889   102948   54     4791    3588   1873   3564 6.17
7.28/7.34	c    22486    198     2388   125243   52     5806    3947   2372   3579 6.28
7.28/7.34	c    23299    198     3321   178189   53     7741    4342   3305   3567 6.53
7.28/7.34	c    24619    198     2602   161262   61     6839    4777   2586   3560 6.92
7.28/7.34	o 192
7.38/7.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.47	c    26100    198     4286   256874   59    10803    2964   4270   3554 7.34
7.38/7.47	c    26200    198     1615    85890   53     4181    3261   1599   3555 7.37
7.38/7.47	c    26450    198     1900   102037   53     4804    3588   1884   3557 7.43
7.38/7.47	o 171
8.29/8.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.29/8.34	c    26646    198     2115   112338   53     5381    2964   2099   3565 7.47
8.29/8.34	c    26747    198     2245   123686   55     5922    3261   2229   3563 7.50
8.29/8.34	c    26997    198     2518   135288   53     6472    3588   2502   3573 7.55
8.29/8.34	c    27477    198     3068   163312   53     7591    3947   3052   3585 7.66
8.29/8.34	c    28290    198     1991   106589   53     4934    4342   1975   3586 7.89
8.29/8.34	c    29610    198     3460   181491   52     7917    4777   3444   3595 8.23
8.29/8.34	o 166
642.71/642.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
642.71/642.73	c    29973    198     3893   207057   53     8987    2964   3877   3593 8.34
642.71/642.73	c    30074    198     1601    83662   52     4197    3261   1585   3592 8.37
642.71/642.73	c    30324    198     1883    98478   52     4760    3588   1867   3595 8.43
642.71/642.73	c    30799    198     2392   118721   49     5777    3947   2376   3610 8.53
642.71/642.73	c    31612    198     3292   160784   48     7592    4342   3276   3620 8.73
642.71/642.73	c    32933    198     2532   125615   49     5987    4777   2516   3621 9.09
642.71/642.73	c    35014    198     2406   120787   50     5697    5255   2390   3623 9.66
642.71/642.73	c    38237    198     3214   156703   48     7348    5781   3198   3651 10.47
642.71/642.73	c    43174    198     5525   245259   44    11955    6360   5509   3709 11.64
642.71/642.73	c    50680    198     4243   229018   53     9499    6997   4227   3656 13.86
642.71/642.73	c    62042    198     5990   303490   50    13025    7697   5974   3617 17.15
642.71/642.73	c    79186    198     5127   273394   53    11238    8467   5111   3517 22.51
642.71/642.73	c   105005    198     7426   363883   49    15801    9314   7410   3442 30.51
642.71/642.73	c   143837    198     7738   389519   50    16462   10246   7722   3314 43.39
642.71/642.73	c   202189    198     9834   529619   53    20734   11271   9818   3162 63.93
642.71/642.73	c   289821    198    10674   532947   49    22379   12399  10658   3042 95.24
642.71/642.73	c   421373    198     7206   373073   51    15455   13639   7190   2944 143.10
642.71/642.73	c   618805    198     7629   380436   49    16366   15003   7613   2793 221.51
642.71/642.73	c   915057    198     7519   425302   56    16129   16504   7503   2640 346.48
642.71/642.73	c  1359539    198    14787   678607   45    30743   18155  14771   2555 531.99
642.71/642.73	o 160
1797.96/1797.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1797.93	c  1590862    198    16844   912544   54    35750    2964  16828   2475 642.76
1797.96/1797.93	c  1590962    198     1599    83884   52     4147    3261   1583   2473 643.16
1797.96/1797.93	c  1591213    198     1871    96153   51     4704    3588   1855   2473 643.22
1797.96/1797.93	c  1591688    198     2406   120879   50     5794    3947   2390   2474 643.34
1797.96/1797.93	c  1592501    198     3348   169602   50     7720    4342   3332   2474 643.56
1797.96/1797.93	c  1593821    198     2572   124532   48     6156    4777   2556   2475 643.89
1797.96/1797.93	c  1595902    198     2484   130404   52     5952    5255   2468   2476 644.50
1797.96/1797.93	c  1599127    198     3463   169402   48     7863    5781   3447   2477 645.37
1797.96/1797.93	c  1604064    198     3154   154726   49     7283    6360   3138   2480 646.77
1797.96/1797.93	c  1611570    198     5288   286739   54    11669    6997   5272   2483 648.94
1797.96/1797.93	c  1622931    198     4335   240508   55     9693    7697   4319   2486 652.62
1797.96/1797.93	c  1640075    198     4576   256672   56    10208    8467   4560   2492 657.88
1797.96/1797.93	c  1665895    198     8457   444149   52    17992    9314   8441   2501 665.95
1797.96/1797.93	c  1704728    198     5592   280146   50    12189   10246   5576   2512 678.42
1797.96/1797.93	c  1763081    198     8604   373210   43    18159   11271   8588   2532 696.28
1797.96/1797.93	c  1850713    198     8745   373287   42    18405   12399   8729   2561 722.51
1797.96/1797.93	c  1982265    198     7537   338638   44    16110   13639   7521   2585 766.61
1797.96/1797.93	c  2179698    198     9767   546426   55    20668   15003   9751   2601 837.89
1797.96/1797.93	c  2475950    198    14328   746840   52    29776   16504  14312   2587 956.97
1797.96/1797.93	c  2920432    198    12066   625722   51    25122   18155  12050   2541 1148.93
1797.96/1797.93	c  3587259    198    10855   512743   47    22715   19971  10839   2468 1453.45
1797.96/1797.93	c Resources Exceeded
1797.96/1797.93	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 x145 x146 x147 -x148 x149 -x150 x151 -x152 -x153 -x154 x155 x156 -x157 x158 -x159 -x160 -x161 x162 x163 -x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 -x174 -x175 -x177 x178 x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 x197 -x198 x176 
1797.96/1797.93	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1797.93	c  107  4393386 152203  4582196    19963   958582  19947   2443 1798.00
1797.96/1797.93	c Objective: 160
1797.96/1797.93	s SATISFIABLE
1797.96/1797.93	c Total time: 1798 s

Verifier Data 

OK	160

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463192-1307179250/watcher-3463192-1307179250 -o /tmp/evaluation-result-3463192-1307179250/solver-3463192-1307179250 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463192-1307179250.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.02 2.00 3/481 16195
/proc/meminfo: memFree=26421368/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=18604 CPUtime=0 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 305 0 0 0 0 0 0 0 25 0 1 0 829527339 19050496 255 33554432000 134512640 137138936 4288585296 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 4651 255 192 642 0 4007 0

[startup+0.11112 s]
/proc/loadavg: 2.00 2.02 2.00 3/481 16195
/proc/meminfo: memFree=26421368/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=11408 CPUtime=0.1 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 463 0 0 0 10 0 0 0 25 0 1 0 829527339 11681792 413 33554432000 134512640 137138936 4288585296 18446744073709551615 134544821 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 2852 413 192 642 0 2208 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11408

[startup+0.201144 s]
/proc/loadavg: 2.00 2.02 2.00 3/481 16195
/proc/meminfo: memFree=26421368/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=12028 CPUtime=0.19 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 602 0 0 0 19 0 0 0 25 0 1 0 829527339 12316672 552 33554432000 134512640 137138936 4288585296 18446744073709551615 134602871 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 3007 552 192 642 0 2363 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12028

[startup+0.301131 s]
/proc/loadavg: 2.00 2.02 2.00 3/481 16195
/proc/meminfo: memFree=26421368/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=12528 CPUtime=0.29 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 751 0 0 0 29 0 0 0 25 0 1 0 829527339 12828672 701 33554432000 134512640 137138936 4288585296 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 3132 701 192 642 0 2488 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12528

[startup+0.701007 s]
/proc/loadavg: 2.00 2.02 2.00 3/481 16195
/proc/meminfo: memFree=26421368/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=14164 CPUtime=0.68 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 1136 0 0 0 68 0 0 0 25 0 1 0 829527339 14503936 1086 33554432000 134512640 137138936 4288585296 18446744073709551615 136504256 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 3541 1086 192 642 0 2897 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14164

[startup+1.5009 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16196
/proc/meminfo: memFree=26417268/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=14164 CPUtime=1.49 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 1137 0 0 0 148 1 0 0 25 0 1 0 829527339 14503936 1087 33554432000 134512640 137138936 4288585296 18446744073709551615 134598928 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 3541 1087 192 642 0 2897 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14164

[startup+3.10056 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16196
/proc/meminfo: memFree=26415400/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=14536 CPUtime=3.09 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 1256 0 0 0 307 2 0 0 25 0 1 0 829527339 14884864 1206 33554432000 134512640 137138936 4288585296 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 3634 1206 192 642 0 2990 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14536

[startup+6.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16197
/proc/meminfo: memFree=26414416/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=15792 CPUtime=6.29 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 1568 0 0 0 627 2 0 0 25 0 1 0 829527339 16171008 1518 33554432000 134512640 137138936 4288585296 18446744073709551615 134600458 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 3948 1518 192 642 0 3304 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15792

[startup+12.7008 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16197
/proc/meminfo: memFree=26413280/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=15792 CPUtime=12.69 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 1568 0 0 0 1265 4 0 0 25 0 1 0 829527339 16171008 1518 33554432000 134512640 137138936 4288585296 18446744073709551615 134555722 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 3948 1518 192 642 0 3304 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15792

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16197
/proc/meminfo: memFree=26412656/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=17288 CPUtime=25.49 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 1934 0 0 0 2541 8 0 0 25 0 1 0 829527339 17702912 1884 33554432000 134512640 137138936 4288585296 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 4322 1884 192 642 0 3678 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17288

[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16198
/proc/meminfo: memFree=26411076/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=19020 CPUtime=51.09 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 2371 0 0 0 5096 13 0 0 25 0 1 0 829527339 19476480 2321 33554432000 134512640 137138936 4288585296 18446744073709551615 134618271 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 4755 2321 192 642 0 4111 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19020

[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 16199
/proc/meminfo: memFree=26408460/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=21240 CPUtime=102.3 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 2919 0 0 0 10206 24 0 0 25 0 1 0 829527339 21749760 2869 33554432000 134512640 137138936 4288585296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 5310 2869 192 642 0 4666 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 21240

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 16201
/proc/meminfo: memFree=26406952/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=21740 CPUtime=162.29 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 3052 0 0 0 16192 37 0 0 25 0 1 0 829527339 22261760 3002 33554432000 134512640 137138936 4288585296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 5435 3002 192 642 0 4791 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21740

[startup+222.318 s]
/proc/loadavg: 2.04 2.02 2.00 3/482 16230
/proc/meminfo: memFree=26990944/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=21924 CPUtime=222.31 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 3105 0 0 0 22182 49 0 0 25 0 1 0 829527339 22450176 3048 33554432000 134512640 137138936 4288585296 18446744073709551615 134542873 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 5481 3048 192 642 0 4837 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 21924

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/482 16259
/proc/meminfo: memFree=26928548/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=23580 CPUtime=282.3 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 3511 0 0 0 28171 59 0 0 25 0 1 0 829527339 24145920 3454 33554432000 134512640 137138936 4288585296 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 5895 3454 192 642 0 5251 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23580

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 16261
/proc/meminfo: memFree=26884260/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=23880 CPUtime=342.3 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 3586 0 0 0 34158 72 0 0 25 0 1 0 829527339 24453120 3529 33554432000 134512640 137138936 4288585296 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 5970 3529 192 642 0 5326 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23880

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 16262
/proc/meminfo: memFree=26848392/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=25300 CPUtime=402.3 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 3941 0 0 0 40148 82 0 0 25 0 1 0 829527339 25907200 3884 33554432000 134512640 137138936 4288585296 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 6325 3884 192 642 0 5681 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 25300

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 16264
/proc/meminfo: memFree=26820720/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=24944 CPUtime=462.3 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 3941 0 0 0 46138 92 0 0 25 0 1 0 829527339 25542656 3811 33554432000 134512640 137138936 4288585296 18446744073709551615 134601079 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 6236 3811 192 642 0 5592 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24944

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 16265
/proc/meminfo: memFree=26795388/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=24876 CPUtime=522.31 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 3941 0 0 0 52129 102 0 0 25 0 1 0 829527339 25473024 3794 33554432000 134512640 137138936 4288585296 18446744073709551615 136297747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 6219 3794 192 642 0 5575 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24876

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 16267
/proc/meminfo: memFree=26772304/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=25440 CPUtime=582.31 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4084 0 0 0 58119 112 0 0 25 0 1 0 829527339 26050560 3935 33554432000 134512640 137138936 4288585296 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 6360 3935 192 642 0 5716 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 25440

[startup+642.301 s]

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

/proc/meminfo: memFree=26607164/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=26104 CPUtime=1122.33 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4266 0 0 0 112011 222 0 0 25 0 1 0 829527339 26730496 4101 33554432000 134512640 137138936 4288585296 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 6526 4101 192 642 0 5882 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 26104

[startup+1182.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/482 16283
/proc/meminfo: memFree=26596976/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=26104 CPUtime=1182.33 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4266 0 0 0 118001 232 0 0 25 0 1 0 829527339 26730496 4101 33554432000 134512640 137138936 4288585296 18446744073709551615 134543220 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 6526 4101 192 642 0 5882 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 26104

[startup+1242.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/482 16285
/proc/meminfo: memFree=26584296/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=26104 CPUtime=1242.33 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4266 0 0 0 123990 243 0 0 25 0 1 0 829527339 26730496 4101 33554432000 134512640 137138936 4288585296 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 6526 4101 192 642 0 5882 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 26104

[startup+1302.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/482 16286
/proc/meminfo: memFree=26572376/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=26104 CPUtime=1302.34 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4266 0 0 0 129979 255 0 0 25 0 1 0 829527339 26730496 4101 33554432000 134512640 137138936 4288585296 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 6526 4101 192 642 0 5882 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 26104

[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/482 16288
/proc/meminfo: memFree=26561688/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=26104 CPUtime=1362.34 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4266 0 0 0 135970 264 0 0 25 0 1 0 829527339 26730496 4101 33554432000 134512640 137138936 4288585296 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 6526 4101 192 642 0 5882 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 26104

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16289
/proc/meminfo: memFree=26548900/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=27880 CPUtime=1422.35 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4707 0 0 0 141960 275 0 0 25 0 1 0 829527339 28549120 4542 33554432000 134512640 137138936 4288585296 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 6970 4542 192 642 0 6326 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 27880

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16291
/proc/meminfo: memFree=26536484/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28644 CPUtime=1482.34 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4925 0 0 0 147945 289 0 0 25 0 1 0 829527339 29331456 4736 33554432000 134512640 137138936 4288585296 18446744073709551615 134599839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7161 4736 192 642 0 6517 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 28644

[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16293
/proc/meminfo: memFree=26520460/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28640 CPUtime=1542.36 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4925 0 0 0 153933 303 0 0 25 0 1 0 829527339 29327360 4735 33554432000 134512640 137138936 4288585296 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7160 4735 192 642 0 6516 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 28640

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 16294
/proc/meminfo: memFree=26508420/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28252 CPUtime=1602.35 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4952 0 0 0 159922 313 0 0 25 0 1 0 829527339 28930048 4633 33554432000 134512640 137138936 4288585296 18446744073709551615 134577232 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7063 4633 192 642 0 6419 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 28252

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 16296
/proc/meminfo: memFree=26496856/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28252 CPUtime=1662.35 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4952 0 0 0 165911 324 0 0 25 0 1 0 829527339 28930048 4633 33554432000 134512640 137138936 4288585296 18446744073709551615 134543427 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7063 4633 192 642 0 6419 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 28252

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/482 16297
/proc/meminfo: memFree=26485796/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28252 CPUtime=1722.35 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4952 0 0 0 171901 334 0 0 25 0 1 0 829527339 28930048 4633 33554432000 134512640 137138936 4288585296 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7063 4633 192 642 0 6419 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 28252

[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/482 16299
/proc/meminfo: memFree=26476212/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28228 CPUtime=1782.35 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4952 0 0 0 177890 345 0 0 25 0 1 0 829527339 28905472 4632 33554432000 134512640 137138936 4288585296 18446744073709551615 134606683 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7057 4632 192 642 0 6413 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 28228

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

[startup+1785.6 s]
/proc/loadavg: 2.09 2.04 2.01 3/482 16299
/proc/meminfo: memFree=26476584/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28228 CPUtime=1785.65 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4952 0 0 0 178219 346 0 0 25 0 1 0 829527339 28905472 4632 33554432000 134512640 137138936 4288585296 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7057 4632 192 642 0 6413 0
Current children cumulated CPU time (s) 1785.65
Current children cumulated vsize (KiB) 28228

[startup+1792.02 s]
/proc/loadavg: 2.08 2.04 2.00 3/482 16299
/proc/meminfo: memFree=26475344/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28228 CPUtime=1792.07 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4952 0 0 0 178860 347 0 0 25 0 1 0 829527339 28905472 4632 33554432000 134512640 137138936 4288585296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7057 4632 192 642 0 6413 0
Current children cumulated CPU time (s) 1792.07
Current children cumulated vsize (KiB) 28228

[startup+1795.2 s]
/proc/loadavg: 2.07 2.04 2.00 3/482 16299
/proc/meminfo: memFree=26474848/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28224 CPUtime=1795.27 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4952 0 0 0 179179 348 0 0 25 0 1 0 829527339 28901376 4631 33554432000 134512640 137138936 4288585296 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7056 4631 192 642 0 6412 0
Current children cumulated CPU time (s) 1795.27
Current children cumulated vsize (KiB) 28224

[startup+1796.8 s]
/proc/loadavg: 2.07 2.04 2.00 3/482 16299
/proc/meminfo: memFree=26474972/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28224 CPUtime=1796.86 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4952 0 0 0 179337 349 0 0 25 0 1 0 829527339 28901376 4631 33554432000 134512640 137138936 4288585296 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7056 4631 192 642 0 6412 0
Current children cumulated CPU time (s) 1796.86
Current children cumulated vsize (KiB) 28224

[startup+1797.6 s]
/proc/loadavg: 2.07 2.04 2.00 3/482 16299
/proc/meminfo: memFree=26474352/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28224 CPUtime=1797.66 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4952 0 0 0 179417 349 0 0 25 0 1 0 829527339 28901376 4631 33554432000 134512640 137138936 4288585296 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7056 4631 192 642 0 6412 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 28224

[startup+1797.8 s]
/proc/loadavg: 2.07 2.04 2.00 3/482 16299
/proc/meminfo: memFree=26474352/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28224 CPUtime=1797.86 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4952 0 0 0 179437 349 0 0 25 0 1 0 829527339 28901376 4631 33554432000 134512640 137138936 4288585296 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7056 4631 192 642 0 6412 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 28224

[startup+1797.9 s]
/proc/loadavg: 2.07 2.04 2.00 3/482 16299
/proc/meminfo: memFree=26474352/32951124 swapFree=38422276/67111528
[pid=16195] ppid=16193 vsize=28224 CPUtime=1797.96 cores=0,2,4,6
/proc/16195/stat : 16195 (bsolo) R 16193 16195 13859 0 -1 4202496 4952 0 0 0 179447 349 0 0 25 0 1 0 829527339 28901376 4631 33554432000 134512640 137138936 4288585296 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16195/statm: 7056 4631 192 642 0 6412 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 28224

Child status: 0
Real time (s): 1797.94
CPU time (s): 1798
CPU user time (s): 1794.51
CPU system time (s): 3.49347
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 28780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.51
system time used= 3.49347
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4953
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 4335

runsolver used 8.80766 second user time and 18.9851 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-04 11:20:50
IDJOB=3463192
IDBENCH=2912
IDSOLVER=1955
FILE ID=node102/3463192-1307179250
RUNJOBID= node102-1307174251-15505
PBS_JOBID= 13508853
Free space on /tmp= 73960 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463192-1307179250/watcher-3463192-1307179250 -o /tmp/evaluation-result-3463192-1307179250/solver-3463192-1307179250 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463192-1307179250.opb

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

MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d
RANDOM SEED=2105404363

node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26421656 kB
Buffers:        319984 kB
Cached:        1591832 kB
SwapCached:      86940 kB
Active:        1444176 kB
Inactive:      4781924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26421656 kB
SwapTotal:    67111528 kB
SwapFree:     38422276 kB
Dirty:            3908 kB
Writeback:           0 kB
AnonPages:     4249928 kB
Mapped:          14396 kB
Slab:           132728 kB
PageTables:     101024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 136070956 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73952 MiB
End job on node102 at 2011-06-04 11:50:48