Trace number 3708076

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 1798.28

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 benchmark14
Best CPU time to get the best result obtained on this benchmark1792.21
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.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708076-1338312547.opb
0.00/0.00	c File size is 13159 bytes.
0.00/0.00	c Highest Coefficient sum: 5856
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 198 Constr: 16 0/0/16 Lit: 1354 Watch. Lit: 388
0.00/0.00	c Obj. Vars: 128 (64.6465 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    198       16     1354   84      394    2708      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1080
0.02/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.05	c        0    198       17     1482   87      903    2964      1      0 0.00
0.02/0.05	c      103    198      150    11825   78     1368    3261    134   4904 0.02
0.02/0.05	o 1065
0.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c      246    198      317    26117   82     1875    2964    301   4823 0.05
0.02/0.06	o 1040
0.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c      300    198      378    29827   78     2108    2964    362   4918 0.06
0.02/0.06	o 877
0.02/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.07	c      317    198      412    32370   78     2369    2964    396   4953 0.06
0.02/0.07	o 876
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      352    198      467    36758   78     2760    2964    451   4957 0.07
0.09/0.14	c      452    198      587    45724   77     3154    3261    571   4757 0.10
0.09/0.14	o 875
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c      635    198      822    67904   82     4221    2964    806   4568 0.14
0.19/0.26	c      737    198      957    79389   82     4564    3261    941   4493 0.16
0.19/0.26	c      987    198     1269   104359   82     5712    3588   1253   4367 0.23
0.19/0.26	o 873
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c     1129    198     1468   122790   83     6545    2964   1452   4292 0.26
0.19/0.26	o 860
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c     1135    198     1479   123717   83     6676    2964   1463   4266 0.27
0.19/0.27	o 830
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c     1173    198     1525   126934   83     6960    2964   1509   4250 0.28
0.19/0.27	o 673
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1176    198     1531   127453   83     7036    2964   1515   4245 0.28
0.19/0.29	o 644
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     1231    198     1593   131218   82     7225    2964   1577   4274 0.29
0.29/0.38	c     1331    198     1718   139059   80     7729    3261   1702   4321 0.31
0.29/0.38	c     1581    198     1996   160695   80     8293    3588   1980   4319 0.37
0.29/0.38	o 591
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c     1637    198     2064   164857   79     8626    2964   2048   4307 0.38
0.39/0.40	o 588
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c     1726    198     2170   172137   79     8972    2964   2154   4293 0.40
0.39/0.41	o 514
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c     1759    198     2213   175252   79     9301    2964   2197   4290 0.41
0.39/0.45	c     1860    198     2324   180987   77     9517    3261   2308   4295 0.43
0.39/0.45	o 512
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     1929    198     2412   187351   77     9782    2964   2396   4286 0.45
0.49/0.53	c     2029    198     2525   193995   76    10131    3261   2509   4298 0.47
0.49/0.53	o 509
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c     2243    198     2784   213805   76    10769    2964   2768   4232 0.53
0.49/0.57	c     2343    198     2897   220234   76    11126    3261   2881   4206 0.56
0.49/0.57	o 458
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     2398    198     2961   223689   75    11196    2964   2945   4192 0.57
0.59/0.60	o 386
0.59/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.61	c     2481    198     1504   100891   67     4326    2964   1488   4148 0.60
0.59/0.61	o 363
0.59/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.61	c     2562    198     1592   105643   66     4629    2964   1576   4159 0.62
0.59/0.61	o 359
0.79/0.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.81	c     2564    198     1595   105906   66     4758    2964   1579   4155 0.62
0.79/0.81	c     2665    198     1723   115722   67     5152    3261   1707   4151 0.64
0.79/0.81	c     2918    198     2026   141421   69     6174    3588   2010   4109 0.71
0.79/0.81	o 357
0.88/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.88/0.93	c     3359    198     2584   180547   69     7798    2964   2568   4157 0.81
0.88/0.93	c     3459    198     2693   186370   69     8070    3261   2677   4172 0.83
0.88/0.93	c     3709    198     2969   201051   67     8645    3588   2953   4205 0.88
0.88/0.93	o 355
0.99/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.04	c     3923    198     3220   219182   68     9407    2964   3204   4204 0.93
0.99/1.04	c     4025    198     1603   107660   67     4397    3261   1587   4210 0.96
0.99/1.04	c     4277    198     1870   124326   66     4947    3588   1854   4272 1.00
0.99/1.04	o 352
1.09/1.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.18	c     4505    198     2129   140703   66     5780    2964   2113   4315 1.04
1.09/1.18	c     4605    198     2239   146380   65     6102    3261   2223   4340 1.06
1.09/1.18	c     4857    198     2534   163695   64     6877    3588   2518   4340 1.12
1.09/1.18	o 235
1.09/1.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.19	c     5189    198     2908   184093   63     8019    2964   2892   4375 1.19
1.09/1.19	o 215
1.09/1.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.19	c     5204    198     2928   185293   63     8185    2964   2912   4373 1.19
1.09/1.19	o 211
5.28/5.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.28/5.35	c     5209    198     2936   185900   63     8344    2964   2920   4369 1.19
5.28/5.35	c     5309    198     1499    91494   61     4587    3261   1483   4355 1.22
5.28/5.35	c     5561    198     1774   104985   59     5160    3588   1758   4389 1.27
5.28/5.35	c     6036    198     2342   140225   59     6367    3947   2326   4373 1.38
5.28/5.35	c     6849    198     3252   188173   57     8210    4342   3236   4354 1.57
5.28/5.35	c     8169    198     2570   144391   56     6126    4777   2554   4285 1.91
5.28/5.35	c    10250    198     2406   114784   47     5716    5255   2390   4315 2.38
5.28/5.35	c    13473    198     3308   171078   51     7546    5781   3292   4274 3.15
5.28/5.35	c    18409    198     2973   153622   51     6881    6360   2957   4080 4.51
5.28/5.35	o 198
6.38/6.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.38/6.45	c    21661    198     3347   179395   53     7908    2964   3331   4045 5.35
6.38/6.45	c    21761    198     1604    88202   54     4202    3261   1588   4045 5.38
6.38/6.45	c    22011    198     1889   102948   54     4791    3588   1873   4050 5.43
6.38/6.45	c    22486    198     2388   125243   52     5806    3947   2372   4066 5.53
6.38/6.45	c    23299    198     3321   178189   53     7741    4342   3305   4054 5.75
6.38/6.45	c    24619    198     2602   161262   61     6839    4777   2586   4047 6.08
6.38/6.45	o 192
6.49/6.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.49/6.57	c    26100    198     4286   256874   59    10803    2964   4270   4043 6.46
6.49/6.57	c    26200    198     1615    85890   53     4181    3261   1599   4045 6.48
6.49/6.57	c    26450    198     1900   102037   53     4804    3588   1884   4047 6.54
6.49/6.57	o 171
7.29/7.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.33	c    26646    198     2115   112338   53     5381    2964   2099   4055 6.57
7.29/7.33	c    26747    198     2245   123686   55     5922    3261   2229   4053 6.60
7.29/7.33	c    26997    198     2518   135288   53     6472    3588   2502   4065 6.64
7.29/7.33	c    27477    198     3068   163312   53     7591    3947   3052   4078 6.74
7.29/7.33	c    28290    198     1991   106589   53     4934    4342   1975   4080 6.93
7.29/7.33	c    29610    198     3460   181491   52     7917    4777   3444   4090 7.24
7.29/7.33	o 166
520.41/520.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
520.41/520.57	c    29973    198     3893   207057   53     8987    2964   3877   4088 7.33
520.41/520.57	c    30074    198     1601    83662   52     4197    3261   1585   4089 7.35
520.41/520.57	c    30324    198     1883    98478   52     4760    3588   1867   4092 7.41
520.41/520.57	c    30799    198     2392   118721   49     5777    3947   2376   4109 7.49
520.41/520.57	c    31612    198     3292   160784   48     7592    4342   3276   4121 7.67
520.41/520.57	c    32933    198     2532   125615   49     5987    4777   2516   4124 7.99
520.41/520.57	c    35014    198     2406   120787   50     5697    5255   2390   4127 8.48
520.41/520.57	c    38237    198     3214   156703   48     7348    5781   3198   4153 9.21
520.41/520.57	c    43174    198     5525   245259   44    11955    6360   5509   4221 10.23
520.41/520.57	c    50680    198     4243   229018   53     9499    6997   4227   4170 12.15
520.41/520.57	c    62042    198     5990   303490   50    13025    7697   5974   4126 15.03
520.41/520.57	c    79186    198     5127   273394   53    11238    8467   5111   4022 19.68
520.41/520.57	c   105005    198     7426   363883   49    15801    9314   7410   3958 26.53
520.41/520.57	c   143837    198     7738   389519   50    16462   10246   7722   3837 37.48
520.41/520.57	c   202189    198     9834   529619   53    20734   11271   9818   3698 54.67
520.41/520.57	c   289821    198    10674   532947   49    22379   12399  10658   3601 80.47
520.41/520.57	c   421373    198     7206   373073   51    15455   13639   7190   3525 119.52
520.41/520.57	c   618805    198     7629   380436   49    16366   15003   7613   3383 182.91
520.41/520.57	c   915057    198     7519   425302   56    16129   16504   7503   3218 284.33
520.41/520.57	c  1359539    198    14787   678607   45    30743   18155  14771   3147 432.01
520.41/520.57	o 160
1797.91/1798.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.28	c  1590862    198    16844   912544   54    35750    2964  16828   3056 520.49
1797.91/1798.28	c  1590962    198     1599    83884   52     4147    3261   1583   3055 520.71
1797.91/1798.28	c  1591213    198     1871    96153   51     4704    3588   1855   3055 520.76
1797.91/1798.28	c  1591688    198     2406   120879   50     5794    3947   2390   3055 520.86
1797.91/1798.28	c  1592501    198     3348   169602   50     7720    4342   3332   3056 521.05
1797.91/1798.28	c  1593821    198     2572   124532   48     6156    4777   2556   3057 521.33
1797.91/1798.28	c  1595902    198     2484   130404   52     5952    5255   2468   3058 521.85
1797.91/1798.28	c  1599127    198     3463   169402   48     7863    5781   3447   3060 522.58
1797.91/1798.28	c  1604064    198     3154   154726   49     7283    6360   3138   3062 523.77
1797.91/1798.28	c  1611570    198     5288   286739   54    11669    6997   5272   3066 525.60
1797.91/1798.28	c  1622931    198     4335   240508   55     9693    7697   4319   3069 528.67
1797.91/1798.28	c  1640075    198     4576   256672   56    10208    8467   4560   3076 533.06
1797.91/1798.28	c  1665895    198     8457   444149   52    17992    9314   8441   3086 539.81
1797.91/1798.28	c  1704728    198     5592   280146   50    12189   10246   5576   3098 550.09
1797.91/1798.28	c  1763081    198     8604   373210   43    18159   11271   8588   3121 564.77
1797.91/1798.28	c  1850713    198     8745   373287   42    18405   12399   8729   3157 586.11
1797.91/1798.28	c  1982265    198     7537   338638   44    16110   13639   7521   3187 621.89
1797.91/1798.28	c  2179698    198     9767   546426   55    20668   15003   9751   3207 679.56
1797.91/1798.28	c  2475950    198    14328   746840   52    29776   16504  14312   3193 775.41
1797.91/1798.28	c  2920432    198    12066   625722   51    25122   18155  12050   3145 928.36
1797.91/1798.28	c  3587259    198    10855   512743   47    22715   19971  10839   3066 1169.95
1797.91/1798.28	c  4587604    198    14635   654509   44    30209   21969  14619   3047 1505.28
1797.91/1798.28	c Resources Exceeded
1797.91/1798.28	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.91/1798.28	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.28	c  108  5415840 174275  5631055    18995   951050  18979   3012 1798.00
1797.91/1798.28	c Objective: 160
1797.91/1798.28	s SATISFIABLE
1797.91/1798.28	c Total time: 1798 s

Verifier Data

OK	160

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 1,3,5,7

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.01 1.99 1.93 2/171 28096
/proc/meminfo: memFree=31109184/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=18608 CPUtime=0 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 297379610 19054592 251 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 4652 251 192 642 0 4008 0

[startup+0.030965 s]
/proc/loadavg: 2.01 1.99 1.93 2/171 28096
/proc/meminfo: memFree=31109184/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=10916 CPUtime=0.02 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 350 0 0 0 2 0 0 0 20 0 1 0 297379610 11177984 300 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 2729 300 192 642 0 2085 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10916

[startup+0.100296 s]
/proc/loadavg: 2.01 1.99 1.93 2/171 28096
/proc/meminfo: memFree=31109184/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=11412 CPUtime=0.09 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 464 0 0 0 9 0 0 0 20 0 1 0 297379610 11685888 414 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 2853 414 192 642 0 2209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11412

[startup+0.300274 s]
/proc/loadavg: 2.01 1.99 1.93 2/171 28096
/proc/meminfo: memFree=31109184/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=12784 CPUtime=0.29 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 790 0 0 0 29 0 0 0 20 0 1 0 297379610 13090816 740 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 3196 740 192 642 0 2552 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12784

[startup+0.70027 s]
/proc/loadavg: 2.01 1.99 1.93 2/171 28096
/proc/meminfo: memFree=31109184/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=14168 CPUtime=0.69 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1136 0 0 0 69 0 0 0 20 0 1 0 297379610 14508032 1086 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 3542 1086 192 642 0 2898 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14168

[startup+1.50023 s]
/proc/loadavg: 2.01 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31100092/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=14168 CPUtime=1.49 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1138 0 0 0 148 1 0 0 20 0 1 0 297379610 14508032 1087 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 3542 1087 192 642 0 2898 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14168

[startup+3.10023 s]
/proc/loadavg: 2.01 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31098168/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=14796 CPUtime=3.08 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1307 0 0 0 307 1 0 0 20 0 1 0 297379610 15151104 1256 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 3699 1256 192 642 0 3055 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14796

[startup+6.30022 s]
/proc/loadavg: 2.01 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31096060/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=15796 CPUtime=6.28 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1569 0 0 0 626 2 0 0 20 0 1 0 297379610 16175104 1518 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 3949 1518 192 642 0 3305 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15796

[startup+12.7002 s]
/proc/loadavg: 2.01 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31095356/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=16048 CPUtime=12.69 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1625 0 0 0 1265 4 0 0 20 0 1 0 297379610 16433152 1574 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 4012 1574 192 642 0 3368 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16048

[startup+25.5003 s]
/proc/loadavg: 2.01 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31094216/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=17292 CPUtime=25.48 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1936 0 0 0 2540 8 0 0 20 0 1 0 297379610 17707008 1884 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 4323 1884 192 642 0 3679 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17292

[startup+51.1002 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31091980/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=19276 CPUtime=51.08 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 2445 0 0 0 5094 14 0 0 20 0 1 0 297379610 19738624 2392 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 4819 2392 192 642 0 4175 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19276

[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.93 3/178 28115
/proc/meminfo: memFree=31089304/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=21244 CPUtime=102.27 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 2923 0 0 0 10202 25 0 0 20 0 1 0 297379610 21753856 2869 33554432000 134512640 137138936 4294288752 4294287816 134540824 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 5311 2869 192 642 0 4667 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21244

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 28115
/proc/meminfo: memFree=31087760/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=21684 CPUtime=162.26 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 3057 0 0 0 16189 37 0 0 20 0 1 0 297379610 22204416 2995 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 5421 2995 192 642 0 4777 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 21684

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/178 28116
/proc/meminfo: memFree=31085900/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=23584 CPUtime=222.26 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 3516 0 0 0 22174 52 0 0 20 0 1 0 297379610 24150016 3454 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 5896 3454 192 642 0 5252 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 23584

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 28116
/proc/meminfo: memFree=31085348/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=23884 CPUtime=282.24 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 3592 0 0 0 28161 63 0 0 20 0 1 0 297379610 24457216 3529 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 5971 3529 192 642 0 5327 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 23884

[startup+342.3 s]
/proc/loadavg: 2.16 2.03 1.95 3/177 28116
/proc/meminfo: memFree=31083984/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=25288 CPUtime=342.23 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 3947 0 0 0 34148 75 0 0 20 0 1 0 297379610 25894912 3884 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6322 3884 192 642 0 5678 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 25288

[startup+402.3 s]
/proc/loadavg: 2.16 2.05 1.96 3/177 28117
/proc/meminfo: memFree=31084108/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=24944 CPUtime=402.23 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 3947 0 0 0 40131 92 0 0 20 0 1 0 297379610 25542656 3810 33554432000 134512640 137138936 4294288752 4294287680 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6236 3810 192 642 0 5592 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 24944

[startup+462.3 s]
/proc/loadavg: 2.06 2.04 1.96 3/177 28117
/proc/meminfo: memFree=31084108/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=25196 CPUtime=462.21 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4022 0 0 0 46118 103 0 0 20 0 1 0 297379610 25800704 3867 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6299 3867 192 642 0 5655 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 25196

[startup+522.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/177 28117
/proc/meminfo: memFree=31083176/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=26116 CPUtime=522.2 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4273 0 0 0 52107 113 0 0 20 0 1 0 297379610 26742784 4103 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6529 4103 192 642 0 5885 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 26116

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/177 28117
/proc/meminfo: memFree=31083052/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=26108 CPUtime=582.19 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4273 0 0 0 58091 128 0 0 20 0 1 0 297379610 26734592 4101 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6527 4101 192 642 0 5883 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 26108

[startup+642.3 s]

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

/proc/meminfo: memFree=31082120/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=26108 CPUtime=1122.12 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4273 0 0 0 111969 243 0 0 20 0 1 0 297379610 26734592 4101 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6527 4101 192 642 0 5883 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 26108

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28122
/proc/meminfo: memFree=31079700/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28700 CPUtime=1182.1 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4933 0 0 0 117957 253 0 0 20 0 1 0 297379610 29388800 4749 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7175 4749 192 642 0 6531 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 28700

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28122
/proc/meminfo: memFree=31079824/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28644 CPUtime=1242.1 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4933 0 0 0 123942 268 0 0 20 0 1 0 297379610 29331456 4735 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7161 4735 192 642 0 6517 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 28644

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 28126
/proc/meminfo: memFree=31079692/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28256 CPUtime=1302.09 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4960 0 0 0 129929 280 0 0 20 0 1 0 297379610 28934144 4633 33554432000 134512640 137138936 4294288752 4294287680 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7064 4633 192 642 0 6420 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 28256

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28126
/proc/meminfo: memFree=31079948/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28256 CPUtime=1362.08 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4960 0 0 0 135917 291 0 0 20 0 1 0 297379610 28934144 4633 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7064 4633 192 642 0 6420 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 28256

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28126
/proc/meminfo: memFree=31079576/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28232 CPUtime=1422.08 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4960 0 0 0 141905 303 0 0 20 0 1 0 297379610 28909568 4632 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7058 4632 192 642 0 6414 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 28232

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28126
/proc/meminfo: memFree=31079700/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28224 CPUtime=1482.06 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4960 0 0 0 147891 315 0 0 20 0 1 0 297379610 28901376 4630 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7056 4630 192 642 0 6412 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 28224

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28126
/proc/meminfo: memFree=31079824/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28228 CPUtime=1542.05 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4962 0 0 0 153878 327 0 0 20 0 1 0 297379610 28905472 4631 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7057 4631 192 642 0 6413 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 28228

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31079824/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28224 CPUtime=1602.04 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4962 0 0 0 159864 340 0 0 20 0 1 0 297379610 28901376 4630 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7056 4630 192 642 0 6412 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 28224

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31078212/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30180 CPUtime=1662.03 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5443 0 0 0 165852 351 0 0 20 0 1 0 297379610 30904320 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7545 5109 192 642 0 6901 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 30180

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31078148/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30168 CPUtime=1722.02 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 171839 363 0 0 20 0 1 0 297379610 30892032 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7542 5109 192 642 0 6898 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 30168

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077776/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1782.01 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 177827 374 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287680 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 30152

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1791.62 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 178786 376 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 30152

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1794.81 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179105 376 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287680 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 30152

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1796.41 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179264 377 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 30152

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1797.21 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179344 377 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287436 136520996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 30152

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1797.61 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179384 377 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 30152

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1797.81 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179404 377 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 30152

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1797.91 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179414 377 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 30152

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1794.23
CPU system time (s): 3.77243
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 30180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.23
system time used= 3.77243
maximum resident set size= 20440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5445
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= 12
involuntary context switches= 1848

runsolver used 3.55446 second user time and 9.25859 second system time

The end

Launcher Data

Begin job on node142 at 2012-05-29 19:29:07
IDJOB=3708076
IDBENCH=2912
IDSOLVER=2286
FILE ID=node142/3708076-1338312547
RUNJOBID= node142-1338310748-27970
PBS_JOBID= 14632086
Free space on /tmp= 71336 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-3708076-1338312547/watcher-3708076-1338312547 -o /tmp/evaluation-result-3708076-1338312547/solver-3708076-1338312547 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708076-1338312547.opb

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

MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d
RANDOM SEED=649378599

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31110208 kB
Buffers:           98568 kB
Cached:           855612 kB
SwapCached:            0 kB
Active:           494124 kB
Inactive:         471252 kB
Active(anon):       2580 kB
Inactive(anon):    11228 kB
Active(file):     491544 kB
Inactive(file):   460024 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3932 kB
Writeback:             0 kB
AnonPages:         30152 kB
Mapped:             9940 kB
Shmem:               200 kB
Slab:             658824 kB
SReclaimable:     101064 kB
SUnreclaim:       557760 kB
KernelStack:        1464 kB
PageTables:         3820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71328 MiB
End job on node142 at 2012-05-29 19:59:06